diff --git "a/routing/routing.json" "b/routing/routing.json" new file mode 100644--- /dev/null +++ "b/routing/routing.json" @@ -0,0 +1,8924 @@ +{ + "version": 1, + "description": "Routing information for 8-bit threshold computer", + "circuits": { + "boolean.and": { + "inputs": [ + "$a", + "$b" + ], + "type": "single_layer" + }, + "boolean.or": { + "inputs": [ + "$a", + "$b" + ], + "type": "single_layer" + }, + "boolean.nand": { + "inputs": [ + "$a", + "$b" + ], + "type": "single_layer" + }, + "boolean.nor": { + "inputs": [ + "$a", + "$b" + ], + "type": "single_layer" + }, + "boolean.implies": { + "inputs": [ + "$a", + "$b" + ], + "type": "single_layer" + }, + "boolean.not": { + "inputs": [ + "$a" + ], + "type": "single_layer" + }, + "boolean.xor": { + "inputs": [ + "$a", + "$b" + ], + "type": "two_layer_neuron", + "internal": { + "layer1.neuron1": [ + "$a", + "$b" + ], + "layer1.neuron2": [ + "$a", + "$b" + ], + "layer2": [ + "layer1.neuron1", + "layer1.neuron2" + ] + }, + "output": "layer2" + }, + "boolean.xnor": { + "inputs": [ + "$a", + "$b" + ], + "type": "two_layer_neuron", + "internal": { + "layer1.neuron1": [ + "$a", + "$b" + ], + "layer1.neuron2": [ + "$a", + "$b" + ], + "layer2": [ + "layer1.neuron1", + "layer1.neuron2" + ] + }, + "output": "layer2" + }, + "boolean.biimplies": { + "inputs": [ + "$a", + "$b" + ], + "type": "two_layer_neuron", + "internal": { + "layer1.neuron1": [ + "$a", + "$b" + ], + "layer1.neuron2": [ + "$a", + "$b" + ], + "layer2": [ + "layer1.neuron1", + "layer1.neuron2" + ] + }, + "output": "layer2" + }, + "arithmetic.halfadder": { + "inputs": [ + "$a", + "$b" + ], + "type": "composite", + "internal": { + "sum.layer1.or": [ + "$a", + "$b" + ], + "sum.layer1.nand": [ + "$a", + "$b" + ], + "sum.layer2": [ + "sum.layer1.or", + "sum.layer1.nand" + ], + "carry": [ + "$a", + "$b" + ] + }, + "outputs": { + "sum": "sum.layer2", + "carry": "carry" + } + }, + "arithmetic.fulladder": { + "inputs": [ + "$a", + "$b", + "$cin" + ], + "type": "composite", + "internal": { + "ha1.sum.layer1.or": [ + "$a", + "$b" + ], + "ha1.sum.layer1.nand": [ + "$a", + "$b" + ], + "ha1.sum.layer2": [ + "ha1.sum.layer1.or", + "ha1.sum.layer1.nand" + ], + "ha1.carry": [ + "$a", + "$b" + ], + "ha2.sum.layer1.or": [ + "ha1.sum.layer2", + "$cin" + ], + "ha2.sum.layer1.nand": [ + "ha1.sum.layer2", + "$cin" + ], + "ha2.sum.layer2": [ + "ha2.sum.layer1.or", + "ha2.sum.layer1.nand" + ], + "ha2.carry": [ + "ha1.sum.layer2", + "$cin" + ], + "carry_or": [ + "ha1.carry", + "ha2.carry" + ] + }, + "outputs": { + "sum": "ha2.sum.layer2", + "cout": "carry_or" + } + }, + "arithmetic.ripplecarry2bit": { + "inputs": [ + "$a[0:1]", + "$b[0:1]" + ], + "type": "ripple_carry", + "internal": { + "fa0.ha1.sum.layer1.or": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha1.sum.layer1.nand": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha1.sum.layer2": [ + "fa0.ha1.sum.layer1.or", + "fa0.ha1.sum.layer1.nand" + ], + "fa0.ha1.carry": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha2.sum.layer1.or": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.ha2.sum.layer1.nand": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.ha2.sum.layer2": [ + "fa0.ha2.sum.layer1.or", + "fa0.ha2.sum.layer1.nand" + ], + "fa0.ha2.carry": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.carry_or": [ + "fa0.ha1.carry", + "fa0.ha2.carry" + ], + "fa1.ha1.sum.layer1.or": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha1.sum.layer1.nand": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha1.sum.layer2": [ + "fa1.ha1.sum.layer1.or", + "fa1.ha1.sum.layer1.nand" + ], + "fa1.ha1.carry": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha2.sum.layer1.or": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.ha2.sum.layer1.nand": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.ha2.sum.layer2": [ + "fa1.ha2.sum.layer1.or", + "fa1.ha2.sum.layer1.nand" + ], + "fa1.ha2.carry": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.carry_or": [ + "fa1.ha1.carry", + "fa1.ha2.carry" + ] + }, + "outputs": { + "sum[0]": "fa0.ha2.sum.layer2", + "sum[1]": "fa1.ha2.sum.layer2", + "cout": "fa1.carry_or" + } + }, + "arithmetic.ripplecarry4bit": { + "inputs": [ + "$a[0:3]", + "$b[0:3]" + ], + "type": "ripple_carry", + "internal": { + "fa0.ha1.sum.layer1.or": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha1.sum.layer1.nand": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha1.sum.layer2": [ + "fa0.ha1.sum.layer1.or", + "fa0.ha1.sum.layer1.nand" + ], + "fa0.ha1.carry": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha2.sum.layer1.or": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.ha2.sum.layer1.nand": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.ha2.sum.layer2": [ + "fa0.ha2.sum.layer1.or", + "fa0.ha2.sum.layer1.nand" + ], + "fa0.ha2.carry": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.carry_or": [ + "fa0.ha1.carry", + "fa0.ha2.carry" + ], + "fa1.ha1.sum.layer1.or": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha1.sum.layer1.nand": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha1.sum.layer2": [ + "fa1.ha1.sum.layer1.or", + "fa1.ha1.sum.layer1.nand" + ], + "fa1.ha1.carry": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha2.sum.layer1.or": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.ha2.sum.layer1.nand": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.ha2.sum.layer2": [ + "fa1.ha2.sum.layer1.or", + "fa1.ha2.sum.layer1.nand" + ], + "fa1.ha2.carry": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.carry_or": [ + "fa1.ha1.carry", + "fa1.ha2.carry" + ], + "fa2.ha1.sum.layer1.or": [ + "$a[2]", + "$b[2]" + ], + "fa2.ha1.sum.layer1.nand": [ + "$a[2]", + "$b[2]" + ], + "fa2.ha1.sum.layer2": [ + "fa2.ha1.sum.layer1.or", + "fa2.ha1.sum.layer1.nand" + ], + "fa2.ha1.carry": [ + "$a[2]", + "$b[2]" + ], + "fa2.ha2.sum.layer1.or": [ + "fa2.ha1.sum.layer2", + "fa1.carry_or" + ], + "fa2.ha2.sum.layer1.nand": [ + "fa2.ha1.sum.layer2", + "fa1.carry_or" + ], + "fa2.ha2.sum.layer2": [ + "fa2.ha2.sum.layer1.or", + "fa2.ha2.sum.layer1.nand" + ], + "fa2.ha2.carry": [ + "fa2.ha1.sum.layer2", + "fa1.carry_or" + ], + "fa2.carry_or": [ + "fa2.ha1.carry", + "fa2.ha2.carry" + ], + "fa3.ha1.sum.layer1.or": [ + "$a[3]", + "$b[3]" + ], + "fa3.ha1.sum.layer1.nand": [ + "$a[3]", + "$b[3]" + ], + "fa3.ha1.sum.layer2": [ + "fa3.ha1.sum.layer1.or", + "fa3.ha1.sum.layer1.nand" + ], + "fa3.ha1.carry": [ + "$a[3]", + "$b[3]" + ], + "fa3.ha2.sum.layer1.or": [ + "fa3.ha1.sum.layer2", + "fa2.carry_or" + ], + "fa3.ha2.sum.layer1.nand": [ + "fa3.ha1.sum.layer2", + "fa2.carry_or" + ], + "fa3.ha2.sum.layer2": [ + "fa3.ha2.sum.layer1.or", + "fa3.ha2.sum.layer1.nand" + ], + "fa3.ha2.carry": [ + "fa3.ha1.sum.layer2", + "fa2.carry_or" + ], + "fa3.carry_or": [ + "fa3.ha1.carry", + "fa3.ha2.carry" + ] + }, + "outputs": { + "sum[0]": "fa0.ha2.sum.layer2", + "sum[1]": "fa1.ha2.sum.layer2", + "sum[2]": "fa2.ha2.sum.layer2", + "sum[3]": "fa3.ha2.sum.layer2", + "cout": "fa3.carry_or" + } + }, + "arithmetic.ripplecarry8bit": { + "inputs": [ + "$a[0:7]", + "$b[0:7]" + ], + "type": "ripple_carry", + "internal": { + "fa0.ha1.sum.layer1.or": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha1.sum.layer1.nand": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha1.sum.layer2": [ + "fa0.ha1.sum.layer1.or", + "fa0.ha1.sum.layer1.nand" + ], + "fa0.ha1.carry": [ + "$a[0]", + "$b[0]" + ], + "fa0.ha2.sum.layer1.or": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.ha2.sum.layer1.nand": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.ha2.sum.layer2": [ + "fa0.ha2.sum.layer1.or", + "fa0.ha2.sum.layer1.nand" + ], + "fa0.ha2.carry": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.carry_or": [ + "fa0.ha1.carry", + "fa0.ha2.carry" + ], + "fa1.ha1.sum.layer1.or": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha1.sum.layer1.nand": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha1.sum.layer2": [ + "fa1.ha1.sum.layer1.or", + "fa1.ha1.sum.layer1.nand" + ], + "fa1.ha1.carry": [ + "$a[1]", + "$b[1]" + ], + "fa1.ha2.sum.layer1.or": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.ha2.sum.layer1.nand": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.ha2.sum.layer2": [ + "fa1.ha2.sum.layer1.or", + "fa1.ha2.sum.layer1.nand" + ], + "fa1.ha2.carry": [ + "fa1.ha1.sum.layer2", + "fa0.carry_or" + ], + "fa1.carry_or": [ + "fa1.ha1.carry", + "fa1.ha2.carry" + ], + "fa2.ha1.sum.layer1.or": [ + "$a[2]", + "$b[2]" + ], + "fa2.ha1.sum.layer1.nand": [ + "$a[2]", + "$b[2]" + ], + "fa2.ha1.sum.layer2": [ + "fa2.ha1.sum.layer1.or", + "fa2.ha1.sum.layer1.nand" + ], + "fa2.ha1.carry": [ + "$a[2]", + "$b[2]" + ], + "fa2.ha2.sum.layer1.or": [ + "fa2.ha1.sum.layer2", + "fa1.carry_or" + ], + "fa2.ha2.sum.layer1.nand": [ + "fa2.ha1.sum.layer2", + "fa1.carry_or" + ], + "fa2.ha2.sum.layer2": [ + "fa2.ha2.sum.layer1.or", + "fa2.ha2.sum.layer1.nand" + ], + "fa2.ha2.carry": [ + "fa2.ha1.sum.layer2", + "fa1.carry_or" + ], + "fa2.carry_or": [ + "fa2.ha1.carry", + "fa2.ha2.carry" + ], + "fa3.ha1.sum.layer1.or": [ + "$a[3]", + "$b[3]" + ], + "fa3.ha1.sum.layer1.nand": [ + "$a[3]", + "$b[3]" + ], + "fa3.ha1.sum.layer2": [ + "fa3.ha1.sum.layer1.or", + "fa3.ha1.sum.layer1.nand" + ], + "fa3.ha1.carry": [ + "$a[3]", + "$b[3]" + ], + "fa3.ha2.sum.layer1.or": [ + "fa3.ha1.sum.layer2", + "fa2.carry_or" + ], + "fa3.ha2.sum.layer1.nand": [ + "fa3.ha1.sum.layer2", + "fa2.carry_or" + ], + "fa3.ha2.sum.layer2": [ + "fa3.ha2.sum.layer1.or", + "fa3.ha2.sum.layer1.nand" + ], + "fa3.ha2.carry": [ + "fa3.ha1.sum.layer2", + "fa2.carry_or" + ], + "fa3.carry_or": [ + "fa3.ha1.carry", + "fa3.ha2.carry" + ], + "fa4.ha1.sum.layer1.or": [ + "$a[4]", + "$b[4]" + ], + "fa4.ha1.sum.layer1.nand": [ + "$a[4]", + "$b[4]" + ], + "fa4.ha1.sum.layer2": [ + "fa4.ha1.sum.layer1.or", + "fa4.ha1.sum.layer1.nand" + ], + "fa4.ha1.carry": [ + "$a[4]", + "$b[4]" + ], + "fa4.ha2.sum.layer1.or": [ + "fa4.ha1.sum.layer2", + "fa3.carry_or" + ], + "fa4.ha2.sum.layer1.nand": [ + "fa4.ha1.sum.layer2", + "fa3.carry_or" + ], + "fa4.ha2.sum.layer2": [ + "fa4.ha2.sum.layer1.or", + "fa4.ha2.sum.layer1.nand" + ], + "fa4.ha2.carry": [ + "fa4.ha1.sum.layer2", + "fa3.carry_or" + ], + "fa4.carry_or": [ + "fa4.ha1.carry", + "fa4.ha2.carry" + ], + "fa5.ha1.sum.layer1.or": [ + "$a[5]", + "$b[5]" + ], + "fa5.ha1.sum.layer1.nand": [ + "$a[5]", + "$b[5]" + ], + "fa5.ha1.sum.layer2": [ + "fa5.ha1.sum.layer1.or", + "fa5.ha1.sum.layer1.nand" + ], + "fa5.ha1.carry": [ + "$a[5]", + "$b[5]" + ], + "fa5.ha2.sum.layer1.or": [ + "fa5.ha1.sum.layer2", + "fa4.carry_or" + ], + "fa5.ha2.sum.layer1.nand": [ + "fa5.ha1.sum.layer2", + "fa4.carry_or" + ], + "fa5.ha2.sum.layer2": [ + "fa5.ha2.sum.layer1.or", + "fa5.ha2.sum.layer1.nand" + ], + "fa5.ha2.carry": [ + "fa5.ha1.sum.layer2", + "fa4.carry_or" + ], + "fa5.carry_or": [ + "fa5.ha1.carry", + "fa5.ha2.carry" + ], + "fa6.ha1.sum.layer1.or": [ + "$a[6]", + "$b[6]" + ], + "fa6.ha1.sum.layer1.nand": [ + "$a[6]", + "$b[6]" + ], + "fa6.ha1.sum.layer2": [ + "fa6.ha1.sum.layer1.or", + "fa6.ha1.sum.layer1.nand" + ], + "fa6.ha1.carry": [ + "$a[6]", + "$b[6]" + ], + "fa6.ha2.sum.layer1.or": [ + "fa6.ha1.sum.layer2", + "fa5.carry_or" + ], + "fa6.ha2.sum.layer1.nand": [ + "fa6.ha1.sum.layer2", + "fa5.carry_or" + ], + "fa6.ha2.sum.layer2": [ + "fa6.ha2.sum.layer1.or", + "fa6.ha2.sum.layer1.nand" + ], + "fa6.ha2.carry": [ + "fa6.ha1.sum.layer2", + "fa5.carry_or" + ], + "fa6.carry_or": [ + "fa6.ha1.carry", + "fa6.ha2.carry" + ], + "fa7.ha1.sum.layer1.or": [ + "$a[7]", + "$b[7]" + ], + "fa7.ha1.sum.layer1.nand": [ + "$a[7]", + "$b[7]" + ], + "fa7.ha1.sum.layer2": [ + "fa7.ha1.sum.layer1.or", + "fa7.ha1.sum.layer1.nand" + ], + "fa7.ha1.carry": [ + "$a[7]", + "$b[7]" + ], + "fa7.ha2.sum.layer1.or": [ + "fa7.ha1.sum.layer2", + "fa6.carry_or" + ], + "fa7.ha2.sum.layer1.nand": [ + "fa7.ha1.sum.layer2", + "fa6.carry_or" + ], + "fa7.ha2.sum.layer2": [ + "fa7.ha2.sum.layer1.or", + "fa7.ha2.sum.layer1.nand" + ], + "fa7.ha2.carry": [ + "fa7.ha1.sum.layer2", + "fa6.carry_or" + ], + "fa7.carry_or": [ + "fa7.ha1.carry", + "fa7.ha2.carry" + ] + }, + "outputs": { + "sum[0]": "fa0.ha2.sum.layer2", + "sum[1]": "fa1.ha2.sum.layer2", + "sum[2]": "fa2.ha2.sum.layer2", + "sum[3]": "fa3.ha2.sum.layer2", + "sum[4]": "fa4.ha2.sum.layer2", + "sum[5]": "fa5.ha2.sum.layer2", + "sum[6]": "fa6.ha2.sum.layer2", + "sum[7]": "fa7.ha2.sum.layer2", + "cout": "fa7.carry_or" + } + }, + "arithmetic.greaterthan8bit": { + "inputs": [ + "$a[0:7]", + "$b[0:7]" + ], + "type": "weighted_comparator", + "internal": { + "comparator": [ + "$a[0:7]", + "$b[0:7]" + ] + }, + "output": "comparator" + }, + "arithmetic.lessthan8bit": { + "inputs": [ + "$a[0:7]", + "$b[0:7]" + ], + "type": "weighted_comparator", + "internal": { + "comparator": [ + "$a[0:7]", + "$b[0:7]" + ] + }, + "output": "comparator" + }, + "arithmetic.greaterorequal8bit": { + "inputs": [ + "$a[0:7]", + "$b[0:7]" + ], + "type": "weighted_comparator", + "internal": { + "comparator": [ + "$a[0:7]", + "$b[0:7]" + ] + }, + "output": "comparator" + }, + "arithmetic.lessorequal8bit": { + "inputs": [ + "$a[0:7]", + "$b[0:7]" + ], + "type": "weighted_comparator", + "internal": { + "comparator": [ + "$a[0:7]", + "$b[0:7]" + ] + }, + "output": "comparator" + }, + "arithmetic.equality8bit": { + "inputs": [ + "$a[0:7]", + "$b[0:7]" + ], + "type": "equality", + "internal": { + "xnor0.layer1.and": [ + "$a[0]", + "$b[0]" + ], + "xnor0.layer1.nor": [ + "$a[0]", + "$b[0]" + ], + "xnor0.layer2": [ + "xnor0.layer1.and", + "xnor0.layer1.nor" + ], + "xnor1.layer1.and": [ + "$a[1]", + "$b[1]" + ], + "xnor1.layer1.nor": [ + "$a[1]", + "$b[1]" + ], + "xnor1.layer2": [ + "xnor1.layer1.and", + "xnor1.layer1.nor" + ], + "xnor2.layer1.and": [ + "$a[2]", + "$b[2]" + ], + "xnor2.layer1.nor": [ + "$a[2]", + "$b[2]" + ], + "xnor2.layer2": [ + "xnor2.layer1.and", + "xnor2.layer1.nor" + ], + "xnor3.layer1.and": [ + "$a[3]", + "$b[3]" + ], + "xnor3.layer1.nor": [ + "$a[3]", + "$b[3]" + ], + "xnor3.layer2": [ + "xnor3.layer1.and", + "xnor3.layer1.nor" + ], + "xnor4.layer1.and": [ + "$a[4]", + "$b[4]" + ], + "xnor4.layer1.nor": [ + "$a[4]", + "$b[4]" + ], + "xnor4.layer2": [ + "xnor4.layer1.and", + "xnor4.layer1.nor" + ], + "xnor5.layer1.and": [ + "$a[5]", + "$b[5]" + ], + "xnor5.layer1.nor": [ + "$a[5]", + "$b[5]" + ], + "xnor5.layer2": [ + "xnor5.layer1.and", + "xnor5.layer1.nor" + ], + "xnor6.layer1.and": [ + "$a[6]", + "$b[6]" + ], + "xnor6.layer1.nor": [ + "$a[6]", + "$b[6]" + ], + "xnor6.layer2": [ + "xnor6.layer1.and", + "xnor6.layer1.nor" + ], + "xnor7.layer1.and": [ + "$a[7]", + "$b[7]" + ], + "xnor7.layer1.nor": [ + "$a[7]", + "$b[7]" + ], + "xnor7.layer2": [ + "xnor7.layer1.and", + "xnor7.layer1.nor" + ], + "and": [ + "xnor0.layer2", + "xnor1.layer2", + "xnor2.layer2", + "xnor3.layer2", + "xnor4.layer2", + "xnor5.layer2", + "xnor6.layer2", + "xnor7.layer2" + ] + }, + "output": "and" + }, + "arithmetic.neg8bit": { + "inputs": [ + "$x[0:7]" + ], + "type": "negation", + "internal": { + "not0": [ + "$x[0]" + ], + "not1": [ + "$x[1]" + ], + "not2": [ + "$x[2]" + ], + "not3": [ + "$x[3]" + ], + "not4": [ + "$x[4]" + ], + "not5": [ + "$x[5]" + ], + "not6": [ + "$x[6]" + ], + "not7": [ + "$x[7]" + ], + "sum0": [ + "not0" + ], + "carry0": [ + "not0" + ], + "xor1.layer1.nand": [ + "not1", + "carry0" + ], + "xor1.layer1.or": [ + "not1", + "carry0" + ], + "xor1.layer2": [ + "xor1.layer1.nand", + "xor1.layer1.or" + ], + "and1": [ + "not1", + "carry0" + ], + "xor2.layer1.nand": [ + "not2", + "carry1" + ], + "xor2.layer1.or": [ + "not2", + "carry1" + ], + "xor2.layer2": [ + "xor2.layer1.nand", + "xor2.layer1.or" + ], + "and2": [ + "not2", + "carry1" + ], + "xor3.layer1.nand": [ + "not3", + "carry2" + ], + "xor3.layer1.or": [ + "not3", + "carry2" + ], + "xor3.layer2": [ + "xor3.layer1.nand", + "xor3.layer1.or" + ], + "and3": [ + "not3", + "carry2" + ], + "xor4.layer1.nand": [ + "not4", + "carry3" + ], + "xor4.layer1.or": [ + "not4", + "carry3" + ], + "xor4.layer2": [ + "xor4.layer1.nand", + "xor4.layer1.or" + ], + "and4": [ + "not4", + "carry3" + ], + "xor5.layer1.nand": [ + "not5", + "carry4" + ], + "xor5.layer1.or": [ + "not5", + "carry4" + ], + "xor5.layer2": [ + "xor5.layer1.nand", + "xor5.layer1.or" + ], + "and5": [ + "not5", + "carry4" + ], + "xor6.layer1.nand": [ + "not6", + "carry5" + ], + "xor6.layer1.or": [ + "not6", + "carry5" + ], + "xor6.layer2": [ + "xor6.layer1.nand", + "xor6.layer1.or" + ], + "and6": [ + "not6", + "carry5" + ], + "xor7.layer1.nand": [ + "not7", + "carry6" + ], + "xor7.layer1.or": [ + "not7", + "carry6" + ], + "xor7.layer2": [ + "xor7.layer1.nand", + "xor7.layer1.or" + ], + "and7": [ + "not7", + "carry6" + ], + "overflow": [ + "not7", + "carry6" + ] + }, + "outputs": { + "out[0]": "sum0", + "out[1]": "xor1.layer2", + "out[2]": "xor2.layer2", + "out[3]": "xor3.layer2", + "out[4]": "xor4.layer2", + "out[5]": "xor5.layer2", + "out[6]": "xor6.layer2", + "out[7]": "xor7.layer2" + } + }, + "arithmetic.multiplier2x2": { + "inputs": [ + "$a[0:1]", + "$b[0:1]" + ], + "type": "multiplier", + "internal": { + "and00": [ + "$a[0]", + "$b[0]" + ], + "and01": [ + "$a[0]", + "$b[1]" + ], + "and10": [ + "$a[1]", + "$b[0]" + ], + "and11": [ + "$a[1]", + "$b[1]" + ], + "ha0.sum.layer1.or": [ + "and10", + "and01" + ], + "ha0.sum.layer1.nand": [ + "and10", + "and01" + ], + "ha0.sum.layer2": [ + "ha0.sum.layer1.or", + "ha0.sum.layer1.nand" + ], + "ha0.carry": [ + "and10", + "and01" + ], + "fa0.ha1.sum.layer1.or": [ + "and11", + "ha0.carry" + ], + "fa0.ha1.sum.layer1.nand": [ + "and11", + "ha0.carry" + ], + "fa0.ha1.sum.layer2": [ + "fa0.ha1.sum.layer1.or", + "fa0.ha1.sum.layer1.nand" + ], + "fa0.ha1.carry": [ + "and11", + "ha0.carry" + ], + "fa0.ha2.sum.layer1.or": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.ha2.sum.layer1.nand": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.ha2.sum.layer2": [ + "fa0.ha2.sum.layer1.or", + "fa0.ha2.sum.layer1.nand" + ], + "fa0.ha2.carry": [ + "fa0.ha1.sum.layer2", + "#0" + ], + "fa0.carry_or": [ + "fa0.ha1.carry", + "fa0.ha2.carry" + ] + }, + "outputs": { + "p[0]": "and00", + "p[1]": "ha0.sum.layer2", + "p[2]": "fa0.ha2.sum.layer2", + "p[3]": "fa0.carry_or" + } + }, + "arithmetic.div8bit": { + "inputs": [ + "$dividend[0:7]", + "$divisor[0:7]" + ], + "type": "restoring_division", + "internal": { + "stage0.shift.bit0": [ + "$dividend[7]" + ], + "stage0.shift.bit1": [ + "#0" + ], + "stage0.shift.bit2": [ + "#0" + ], + "stage0.shift.bit3": [ + "#0" + ], + "stage0.shift.bit4": [ + "#0" + ], + "stage0.shift.bit5": [ + "#0" + ], + "stage0.shift.bit6": [ + "#0" + ], + "stage0.shift.bit7": [ + "#0" + ], + "stage0.sub.notd0": [ + "$divisor[0]" + ], + "stage0.sub.notd1": [ + "$divisor[1]" + ], + "stage0.sub.notd2": [ + "$divisor[2]" + ], + "stage0.sub.notd3": [ + "$divisor[3]" + ], + "stage0.sub.notd4": [ + "$divisor[4]" + ], + "stage0.sub.notd5": [ + "$divisor[5]" + ], + "stage0.sub.notd6": [ + "$divisor[6]" + ], + "stage0.sub.notd7": [ + "$divisor[7]" + ], + "stage0.sub.fa0.xor1.layer1.or": [ + "stage0.shift.bit0", + "stage0.sub.notd0" + ], + "stage0.sub.fa0.xor1.layer1.nand": [ + "stage0.shift.bit0", + "stage0.sub.notd0" + ], + "stage0.sub.fa0.xor1.layer2": [ + "stage0.sub.fa0.xor1.layer1.or", + "stage0.sub.fa0.xor1.layer1.nand" + ], + "stage0.sub.fa0.xor2.layer1.or": [ + "stage0.sub.fa0.xor1.layer2", + "#1" + ], + "stage0.sub.fa0.xor2.layer1.nand": [ + "stage0.sub.fa0.xor1.layer2", + "#1" + ], + "stage0.sub.fa0.xor2.layer2": [ + "stage0.sub.fa0.xor2.layer1.or", + "stage0.sub.fa0.xor2.layer1.nand" + ], + "stage0.sub.fa0.and1": [ + "stage0.shift.bit0", + "stage0.sub.notd0" + ], + "stage0.sub.fa0.and2": [ + "stage0.sub.fa0.xor1.layer2", + "#1" + ], + "stage0.sub.fa0.or_carry": [ + "stage0.sub.fa0.and1", + "stage0.sub.fa0.and2" + ], + "stage0.sub.fa1.xor1.layer1.or": [ + "stage0.shift.bit1", + "stage0.sub.notd1" + ], + "stage0.sub.fa1.xor1.layer1.nand": [ + "stage0.shift.bit1", + "stage0.sub.notd1" + ], + "stage0.sub.fa1.xor1.layer2": [ + "stage0.sub.fa1.xor1.layer1.or", + "stage0.sub.fa1.xor1.layer1.nand" + ], + "stage0.sub.fa1.xor2.layer1.or": [ + "stage0.sub.fa1.xor1.layer2", + "stage0.sub.fa0.or_carry" + ], + "stage0.sub.fa1.xor2.layer1.nand": [ + "stage0.sub.fa1.xor1.layer2", + "stage0.sub.fa0.or_carry" + ], + "stage0.sub.fa1.xor2.layer2": [ + "stage0.sub.fa1.xor2.layer1.or", + "stage0.sub.fa1.xor2.layer1.nand" + ], + "stage0.sub.fa1.and1": [ + "stage0.shift.bit1", + "stage0.sub.notd1" + ], + "stage0.sub.fa1.and2": [ + "stage0.sub.fa1.xor1.layer2", + "stage0.sub.fa0.or_carry" + ], + "stage0.sub.fa1.or_carry": [ + "stage0.sub.fa1.and1", + "stage0.sub.fa1.and2" + ], + "stage0.sub.fa2.xor1.layer1.or": [ + "stage0.shift.bit2", + "stage0.sub.notd2" + ], + "stage0.sub.fa2.xor1.layer1.nand": [ + "stage0.shift.bit2", + "stage0.sub.notd2" + ], + "stage0.sub.fa2.xor1.layer2": [ + "stage0.sub.fa2.xor1.layer1.or", + "stage0.sub.fa2.xor1.layer1.nand" + ], + "stage0.sub.fa2.xor2.layer1.or": [ + "stage0.sub.fa2.xor1.layer2", + "stage0.sub.fa1.or_carry" + ], + "stage0.sub.fa2.xor2.layer1.nand": [ + "stage0.sub.fa2.xor1.layer2", + "stage0.sub.fa1.or_carry" + ], + "stage0.sub.fa2.xor2.layer2": [ + "stage0.sub.fa2.xor2.layer1.or", + "stage0.sub.fa2.xor2.layer1.nand" + ], + "stage0.sub.fa2.and1": [ + "stage0.shift.bit2", + "stage0.sub.notd2" + ], + "stage0.sub.fa2.and2": [ + "stage0.sub.fa2.xor1.layer2", + "stage0.sub.fa1.or_carry" + ], + "stage0.sub.fa2.or_carry": [ + "stage0.sub.fa2.and1", + "stage0.sub.fa2.and2" + ], + "stage0.sub.fa3.xor1.layer1.or": [ + "stage0.shift.bit3", + "stage0.sub.notd3" + ], + "stage0.sub.fa3.xor1.layer1.nand": [ + "stage0.shift.bit3", + "stage0.sub.notd3" + ], + "stage0.sub.fa3.xor1.layer2": [ + "stage0.sub.fa3.xor1.layer1.or", + "stage0.sub.fa3.xor1.layer1.nand" + ], + "stage0.sub.fa3.xor2.layer1.or": [ + "stage0.sub.fa3.xor1.layer2", + "stage0.sub.fa2.or_carry" + ], + "stage0.sub.fa3.xor2.layer1.nand": [ + "stage0.sub.fa3.xor1.layer2", + "stage0.sub.fa2.or_carry" + ], + "stage0.sub.fa3.xor2.layer2": [ + "stage0.sub.fa3.xor2.layer1.or", + "stage0.sub.fa3.xor2.layer1.nand" + ], + "stage0.sub.fa3.and1": [ + "stage0.shift.bit3", + "stage0.sub.notd3" + ], + "stage0.sub.fa3.and2": [ + "stage0.sub.fa3.xor1.layer2", + "stage0.sub.fa2.or_carry" + ], + "stage0.sub.fa3.or_carry": [ + "stage0.sub.fa3.and1", + "stage0.sub.fa3.and2" + ], + "stage0.sub.fa4.xor1.layer1.or": [ + "stage0.shift.bit4", + "stage0.sub.notd4" + ], + "stage0.sub.fa4.xor1.layer1.nand": [ + "stage0.shift.bit4", + "stage0.sub.notd4" + ], + "stage0.sub.fa4.xor1.layer2": [ + "stage0.sub.fa4.xor1.layer1.or", + "stage0.sub.fa4.xor1.layer1.nand" + ], + "stage0.sub.fa4.xor2.layer1.or": [ + "stage0.sub.fa4.xor1.layer2", + "stage0.sub.fa3.or_carry" + ], + "stage0.sub.fa4.xor2.layer1.nand": [ + "stage0.sub.fa4.xor1.layer2", + "stage0.sub.fa3.or_carry" + ], + "stage0.sub.fa4.xor2.layer2": [ + "stage0.sub.fa4.xor2.layer1.or", + "stage0.sub.fa4.xor2.layer1.nand" + ], + "stage0.sub.fa4.and1": [ + "stage0.shift.bit4", + "stage0.sub.notd4" + ], + "stage0.sub.fa4.and2": [ + "stage0.sub.fa4.xor1.layer2", + "stage0.sub.fa3.or_carry" + ], + "stage0.sub.fa4.or_carry": [ + "stage0.sub.fa4.and1", + "stage0.sub.fa4.and2" + ], + "stage0.sub.fa5.xor1.layer1.or": [ + "stage0.shift.bit5", + "stage0.sub.notd5" + ], + "stage0.sub.fa5.xor1.layer1.nand": [ + "stage0.shift.bit5", + "stage0.sub.notd5" + ], + "stage0.sub.fa5.xor1.layer2": [ + "stage0.sub.fa5.xor1.layer1.or", + "stage0.sub.fa5.xor1.layer1.nand" + ], + "stage0.sub.fa5.xor2.layer1.or": [ + "stage0.sub.fa5.xor1.layer2", + "stage0.sub.fa4.or_carry" + ], + "stage0.sub.fa5.xor2.layer1.nand": [ + "stage0.sub.fa5.xor1.layer2", + "stage0.sub.fa4.or_carry" + ], + "stage0.sub.fa5.xor2.layer2": [ + "stage0.sub.fa5.xor2.layer1.or", + "stage0.sub.fa5.xor2.layer1.nand" + ], + "stage0.sub.fa5.and1": [ + "stage0.shift.bit5", + "stage0.sub.notd5" + ], + "stage0.sub.fa5.and2": [ + "stage0.sub.fa5.xor1.layer2", + "stage0.sub.fa4.or_carry" + ], + "stage0.sub.fa5.or_carry": [ + "stage0.sub.fa5.and1", + "stage0.sub.fa5.and2" + ], + "stage0.sub.fa6.xor1.layer1.or": [ + "stage0.shift.bit6", + "stage0.sub.notd6" + ], + "stage0.sub.fa6.xor1.layer1.nand": [ + "stage0.shift.bit6", + "stage0.sub.notd6" + ], + "stage0.sub.fa6.xor1.layer2": [ + "stage0.sub.fa6.xor1.layer1.or", + "stage0.sub.fa6.xor1.layer1.nand" + ], + "stage0.sub.fa6.xor2.layer1.or": [ + "stage0.sub.fa6.xor1.layer2", + "stage0.sub.fa5.or_carry" + ], + "stage0.sub.fa6.xor2.layer1.nand": [ + "stage0.sub.fa6.xor1.layer2", + "stage0.sub.fa5.or_carry" + ], + "stage0.sub.fa6.xor2.layer2": [ + "stage0.sub.fa6.xor2.layer1.or", + "stage0.sub.fa6.xor2.layer1.nand" + ], + "stage0.sub.fa6.and1": [ + "stage0.shift.bit6", + "stage0.sub.notd6" + ], + "stage0.sub.fa6.and2": [ + "stage0.sub.fa6.xor1.layer2", + "stage0.sub.fa5.or_carry" + ], + "stage0.sub.fa6.or_carry": [ + "stage0.sub.fa6.and1", + "stage0.sub.fa6.and2" + ], + "stage0.sub.fa7.xor1.layer1.or": [ + "stage0.shift.bit7", + "stage0.sub.notd7" + ], + "stage0.sub.fa7.xor1.layer1.nand": [ + "stage0.shift.bit7", + "stage0.sub.notd7" + ], + "stage0.sub.fa7.xor1.layer2": [ + "stage0.sub.fa7.xor1.layer1.or", + "stage0.sub.fa7.xor1.layer1.nand" + ], + "stage0.sub.fa7.xor2.layer1.or": [ + "stage0.sub.fa7.xor1.layer2", + "stage0.sub.fa6.or_carry" + ], + "stage0.sub.fa7.xor2.layer1.nand": [ + "stage0.sub.fa7.xor1.layer2", + "stage0.sub.fa6.or_carry" + ], + "stage0.sub.fa7.xor2.layer2": [ + "stage0.sub.fa7.xor2.layer1.or", + "stage0.sub.fa7.xor2.layer1.nand" + ], + "stage0.sub.fa7.and1": [ + "stage0.shift.bit7", + "stage0.sub.notd7" + ], + "stage0.sub.fa7.and2": [ + "stage0.sub.fa7.xor1.layer2", + "stage0.sub.fa6.or_carry" + ], + "stage0.sub.fa7.or_carry": [ + "stage0.sub.fa7.and1", + "stage0.sub.fa7.and2" + ], + "stage0.cmp": [ + "stage0.sub.fa7.or_carry" + ], + "stage0.or_dividend": [ + "stage0.shift.bit7", + "$dividend[7]" + ], + "stage0.mux0.not_sel": [ + "stage0.cmp" + ], + "stage0.mux0.and0": [ + "stage0.shift.bit0", + "stage0.mux0.not_sel" + ], + "stage0.mux0.and1": [ + "stage0.sub.fa0.xor2.layer2", + "stage0.cmp" + ], + "stage0.mux0.or": [ + "stage0.mux0.and0", + "stage0.mux0.and1" + ], + "stage0.mux1.not_sel": [ + "stage0.cmp" + ], + "stage0.mux1.and0": [ + "stage0.shift.bit1", + "stage0.mux1.not_sel" + ], + "stage0.mux1.and1": [ + "stage0.sub.fa1.xor2.layer2", + "stage0.cmp" + ], + "stage0.mux1.or": [ + "stage0.mux1.and0", + "stage0.mux1.and1" + ], + "stage0.mux2.not_sel": [ + "stage0.cmp" + ], + "stage0.mux2.and0": [ + "stage0.shift.bit2", + "stage0.mux2.not_sel" + ], + "stage0.mux2.and1": [ + "stage0.sub.fa2.xor2.layer2", + "stage0.cmp" + ], + "stage0.mux2.or": [ + "stage0.mux2.and0", + "stage0.mux2.and1" + ], + "stage0.mux3.not_sel": [ + "stage0.cmp" + ], + "stage0.mux3.and0": [ + "stage0.shift.bit3", + "stage0.mux3.not_sel" + ], + "stage0.mux3.and1": [ + "stage0.sub.fa3.xor2.layer2", + "stage0.cmp" + ], + "stage0.mux3.or": [ + "stage0.mux3.and0", + "stage0.mux3.and1" + ], + "stage0.mux4.not_sel": [ + "stage0.cmp" + ], + "stage0.mux4.and0": [ + "stage0.shift.bit4", + "stage0.mux4.not_sel" + ], + "stage0.mux4.and1": [ + "stage0.sub.fa4.xor2.layer2", + "stage0.cmp" + ], + "stage0.mux4.or": [ + "stage0.mux4.and0", + "stage0.mux4.and1" + ], + "stage0.mux5.not_sel": [ + "stage0.cmp" + ], + "stage0.mux5.and0": [ + "stage0.shift.bit5", + "stage0.mux5.not_sel" + ], + "stage0.mux5.and1": [ + "stage0.sub.fa5.xor2.layer2", + "stage0.cmp" + ], + "stage0.mux5.or": [ + "stage0.mux5.and0", + "stage0.mux5.and1" + ], + "stage0.mux6.not_sel": [ + "stage0.cmp" + ], + "stage0.mux6.and0": [ + "stage0.shift.bit6", + "stage0.mux6.not_sel" + ], + "stage0.mux6.and1": [ + "stage0.sub.fa6.xor2.layer2", + "stage0.cmp" + ], + "stage0.mux6.or": [ + "stage0.mux6.and0", + "stage0.mux6.and1" + ], + "stage0.mux7.not_sel": [ + "stage0.cmp" + ], + "stage0.mux7.and0": [ + "stage0.shift.bit7", + "stage0.mux7.not_sel" + ], + "stage0.mux7.and1": [ + "stage0.sub.fa7.xor2.layer2", + "stage0.cmp" + ], + "stage0.mux7.or": [ + "stage0.mux7.and0", + "stage0.mux7.and1" + ], + "stage1.shift.bit0": [ + "$dividend[6]" + ], + "stage1.shift.bit1": [ + "stage0.mux0.or" + ], + "stage1.shift.bit2": [ + "stage0.mux1.or" + ], + "stage1.shift.bit3": [ + "stage0.mux2.or" + ], + "stage1.shift.bit4": [ + "stage0.mux3.or" + ], + "stage1.shift.bit5": [ + "stage0.mux4.or" + ], + "stage1.shift.bit6": [ + "stage0.mux5.or" + ], + "stage1.shift.bit7": [ + "stage0.mux6.or" + ], + "stage1.sub.notd0": [ + "$divisor[0]" + ], + "stage1.sub.notd1": [ + "$divisor[1]" + ], + "stage1.sub.notd2": [ + "$divisor[2]" + ], + "stage1.sub.notd3": [ + "$divisor[3]" + ], + "stage1.sub.notd4": [ + "$divisor[4]" + ], + "stage1.sub.notd5": [ + "$divisor[5]" + ], + "stage1.sub.notd6": [ + "$divisor[6]" + ], + "stage1.sub.notd7": [ + "$divisor[7]" + ], + "stage1.sub.fa0.xor1.layer1.or": [ + "stage1.shift.bit0", + "stage1.sub.notd0" + ], + "stage1.sub.fa0.xor1.layer1.nand": [ + "stage1.shift.bit0", + "stage1.sub.notd0" + ], + "stage1.sub.fa0.xor1.layer2": [ + "stage1.sub.fa0.xor1.layer1.or", + "stage1.sub.fa0.xor1.layer1.nand" + ], + "stage1.sub.fa0.xor2.layer1.or": [ + "stage1.sub.fa0.xor1.layer2", + "#1" + ], + "stage1.sub.fa0.xor2.layer1.nand": [ + "stage1.sub.fa0.xor1.layer2", + "#1" + ], + "stage1.sub.fa0.xor2.layer2": [ + "stage1.sub.fa0.xor2.layer1.or", + "stage1.sub.fa0.xor2.layer1.nand" + ], + "stage1.sub.fa0.and1": [ + "stage1.shift.bit0", + "stage1.sub.notd0" + ], + "stage1.sub.fa0.and2": [ + "stage1.sub.fa0.xor1.layer2", + "#1" + ], + "stage1.sub.fa0.or_carry": [ + "stage1.sub.fa0.and1", + "stage1.sub.fa0.and2" + ], + "stage1.sub.fa1.xor1.layer1.or": [ + "stage1.shift.bit1", + "stage1.sub.notd1" + ], + "stage1.sub.fa1.xor1.layer1.nand": [ + "stage1.shift.bit1", + "stage1.sub.notd1" + ], + "stage1.sub.fa1.xor1.layer2": [ + "stage1.sub.fa1.xor1.layer1.or", + "stage1.sub.fa1.xor1.layer1.nand" + ], + "stage1.sub.fa1.xor2.layer1.or": [ + "stage1.sub.fa1.xor1.layer2", + "stage1.sub.fa0.or_carry" + ], + "stage1.sub.fa1.xor2.layer1.nand": [ + "stage1.sub.fa1.xor1.layer2", + "stage1.sub.fa0.or_carry" + ], + "stage1.sub.fa1.xor2.layer2": [ + "stage1.sub.fa1.xor2.layer1.or", + "stage1.sub.fa1.xor2.layer1.nand" + ], + "stage1.sub.fa1.and1": [ + "stage1.shift.bit1", + "stage1.sub.notd1" + ], + "stage1.sub.fa1.and2": [ + "stage1.sub.fa1.xor1.layer2", + "stage1.sub.fa0.or_carry" + ], + "stage1.sub.fa1.or_carry": [ + "stage1.sub.fa1.and1", + "stage1.sub.fa1.and2" + ], + "stage1.sub.fa2.xor1.layer1.or": [ + "stage1.shift.bit2", + "stage1.sub.notd2" + ], + "stage1.sub.fa2.xor1.layer1.nand": [ + "stage1.shift.bit2", + "stage1.sub.notd2" + ], + "stage1.sub.fa2.xor1.layer2": [ + "stage1.sub.fa2.xor1.layer1.or", + "stage1.sub.fa2.xor1.layer1.nand" + ], + "stage1.sub.fa2.xor2.layer1.or": [ + "stage1.sub.fa2.xor1.layer2", + "stage1.sub.fa1.or_carry" + ], + "stage1.sub.fa2.xor2.layer1.nand": [ + "stage1.sub.fa2.xor1.layer2", + "stage1.sub.fa1.or_carry" + ], + "stage1.sub.fa2.xor2.layer2": [ + "stage1.sub.fa2.xor2.layer1.or", + "stage1.sub.fa2.xor2.layer1.nand" + ], + "stage1.sub.fa2.and1": [ + "stage1.shift.bit2", + "stage1.sub.notd2" + ], + "stage1.sub.fa2.and2": [ + "stage1.sub.fa2.xor1.layer2", + "stage1.sub.fa1.or_carry" + ], + "stage1.sub.fa2.or_carry": [ + "stage1.sub.fa2.and1", + "stage1.sub.fa2.and2" + ], + "stage1.sub.fa3.xor1.layer1.or": [ + "stage1.shift.bit3", + "stage1.sub.notd3" + ], + "stage1.sub.fa3.xor1.layer1.nand": [ + "stage1.shift.bit3", + "stage1.sub.notd3" + ], + "stage1.sub.fa3.xor1.layer2": [ + "stage1.sub.fa3.xor1.layer1.or", + "stage1.sub.fa3.xor1.layer1.nand" + ], + "stage1.sub.fa3.xor2.layer1.or": [ + "stage1.sub.fa3.xor1.layer2", + "stage1.sub.fa2.or_carry" + ], + "stage1.sub.fa3.xor2.layer1.nand": [ + "stage1.sub.fa3.xor1.layer2", + "stage1.sub.fa2.or_carry" + ], + "stage1.sub.fa3.xor2.layer2": [ + "stage1.sub.fa3.xor2.layer1.or", + "stage1.sub.fa3.xor2.layer1.nand" + ], + "stage1.sub.fa3.and1": [ + "stage1.shift.bit3", + "stage1.sub.notd3" + ], + "stage1.sub.fa3.and2": [ + "stage1.sub.fa3.xor1.layer2", + "stage1.sub.fa2.or_carry" + ], + "stage1.sub.fa3.or_carry": [ + "stage1.sub.fa3.and1", + "stage1.sub.fa3.and2" + ], + "stage1.sub.fa4.xor1.layer1.or": [ + "stage1.shift.bit4", + "stage1.sub.notd4" + ], + "stage1.sub.fa4.xor1.layer1.nand": [ + "stage1.shift.bit4", + "stage1.sub.notd4" + ], + "stage1.sub.fa4.xor1.layer2": [ + "stage1.sub.fa4.xor1.layer1.or", + "stage1.sub.fa4.xor1.layer1.nand" + ], + "stage1.sub.fa4.xor2.layer1.or": [ + "stage1.sub.fa4.xor1.layer2", + "stage1.sub.fa3.or_carry" + ], + "stage1.sub.fa4.xor2.layer1.nand": [ + "stage1.sub.fa4.xor1.layer2", + "stage1.sub.fa3.or_carry" + ], + "stage1.sub.fa4.xor2.layer2": [ + "stage1.sub.fa4.xor2.layer1.or", + "stage1.sub.fa4.xor2.layer1.nand" + ], + "stage1.sub.fa4.and1": [ + "stage1.shift.bit4", + "stage1.sub.notd4" + ], + "stage1.sub.fa4.and2": [ + "stage1.sub.fa4.xor1.layer2", + "stage1.sub.fa3.or_carry" + ], + "stage1.sub.fa4.or_carry": [ + "stage1.sub.fa4.and1", + "stage1.sub.fa4.and2" + ], + "stage1.sub.fa5.xor1.layer1.or": [ + "stage1.shift.bit5", + "stage1.sub.notd5" + ], + "stage1.sub.fa5.xor1.layer1.nand": [ + "stage1.shift.bit5", + "stage1.sub.notd5" + ], + "stage1.sub.fa5.xor1.layer2": [ + "stage1.sub.fa5.xor1.layer1.or", + "stage1.sub.fa5.xor1.layer1.nand" + ], + "stage1.sub.fa5.xor2.layer1.or": [ + "stage1.sub.fa5.xor1.layer2", + "stage1.sub.fa4.or_carry" + ], + "stage1.sub.fa5.xor2.layer1.nand": [ + "stage1.sub.fa5.xor1.layer2", + "stage1.sub.fa4.or_carry" + ], + "stage1.sub.fa5.xor2.layer2": [ + "stage1.sub.fa5.xor2.layer1.or", + "stage1.sub.fa5.xor2.layer1.nand" + ], + "stage1.sub.fa5.and1": [ + "stage1.shift.bit5", + "stage1.sub.notd5" + ], + "stage1.sub.fa5.and2": [ + "stage1.sub.fa5.xor1.layer2", + "stage1.sub.fa4.or_carry" + ], + "stage1.sub.fa5.or_carry": [ + "stage1.sub.fa5.and1", + "stage1.sub.fa5.and2" + ], + "stage1.sub.fa6.xor1.layer1.or": [ + "stage1.shift.bit6", + "stage1.sub.notd6" + ], + "stage1.sub.fa6.xor1.layer1.nand": [ + "stage1.shift.bit6", + "stage1.sub.notd6" + ], + "stage1.sub.fa6.xor1.layer2": [ + "stage1.sub.fa6.xor1.layer1.or", + "stage1.sub.fa6.xor1.layer1.nand" + ], + "stage1.sub.fa6.xor2.layer1.or": [ + "stage1.sub.fa6.xor1.layer2", + "stage1.sub.fa5.or_carry" + ], + "stage1.sub.fa6.xor2.layer1.nand": [ + "stage1.sub.fa6.xor1.layer2", + "stage1.sub.fa5.or_carry" + ], + "stage1.sub.fa6.xor2.layer2": [ + "stage1.sub.fa6.xor2.layer1.or", + "stage1.sub.fa6.xor2.layer1.nand" + ], + "stage1.sub.fa6.and1": [ + "stage1.shift.bit6", + "stage1.sub.notd6" + ], + "stage1.sub.fa6.and2": [ + "stage1.sub.fa6.xor1.layer2", + "stage1.sub.fa5.or_carry" + ], + "stage1.sub.fa6.or_carry": [ + "stage1.sub.fa6.and1", + "stage1.sub.fa6.and2" + ], + "stage1.sub.fa7.xor1.layer1.or": [ + "stage1.shift.bit7", + "stage1.sub.notd7" + ], + "stage1.sub.fa7.xor1.layer1.nand": [ + "stage1.shift.bit7", + "stage1.sub.notd7" + ], + "stage1.sub.fa7.xor1.layer2": [ + "stage1.sub.fa7.xor1.layer1.or", + "stage1.sub.fa7.xor1.layer1.nand" + ], + "stage1.sub.fa7.xor2.layer1.or": [ + "stage1.sub.fa7.xor1.layer2", + "stage1.sub.fa6.or_carry" + ], + "stage1.sub.fa7.xor2.layer1.nand": [ + "stage1.sub.fa7.xor1.layer2", + "stage1.sub.fa6.or_carry" + ], + "stage1.sub.fa7.xor2.layer2": [ + "stage1.sub.fa7.xor2.layer1.or", + "stage1.sub.fa7.xor2.layer1.nand" + ], + "stage1.sub.fa7.and1": [ + "stage1.shift.bit7", + "stage1.sub.notd7" + ], + "stage1.sub.fa7.and2": [ + "stage1.sub.fa7.xor1.layer2", + "stage1.sub.fa6.or_carry" + ], + "stage1.sub.fa7.or_carry": [ + "stage1.sub.fa7.and1", + "stage1.sub.fa7.and2" + ], + "stage1.cmp": [ + "stage1.sub.fa7.or_carry" + ], + "stage1.or_dividend": [ + "stage1.shift.bit7", + "$dividend[6]" + ], + "stage1.mux0.not_sel": [ + "stage1.cmp" + ], + "stage1.mux0.and0": [ + "stage1.shift.bit0", + "stage1.mux0.not_sel" + ], + "stage1.mux0.and1": [ + "stage1.sub.fa0.xor2.layer2", + "stage1.cmp" + ], + "stage1.mux0.or": [ + "stage1.mux0.and0", + "stage1.mux0.and1" + ], + "stage1.mux1.not_sel": [ + "stage1.cmp" + ], + "stage1.mux1.and0": [ + "stage1.shift.bit1", + "stage1.mux1.not_sel" + ], + "stage1.mux1.and1": [ + "stage1.sub.fa1.xor2.layer2", + "stage1.cmp" + ], + "stage1.mux1.or": [ + "stage1.mux1.and0", + "stage1.mux1.and1" + ], + "stage1.mux2.not_sel": [ + "stage1.cmp" + ], + "stage1.mux2.and0": [ + "stage1.shift.bit2", + "stage1.mux2.not_sel" + ], + "stage1.mux2.and1": [ + "stage1.sub.fa2.xor2.layer2", + "stage1.cmp" + ], + "stage1.mux2.or": [ + "stage1.mux2.and0", + "stage1.mux2.and1" + ], + "stage1.mux3.not_sel": [ + "stage1.cmp" + ], + "stage1.mux3.and0": [ + "stage1.shift.bit3", + "stage1.mux3.not_sel" + ], + "stage1.mux3.and1": [ + "stage1.sub.fa3.xor2.layer2", + "stage1.cmp" + ], + "stage1.mux3.or": [ + "stage1.mux3.and0", + "stage1.mux3.and1" + ], + "stage1.mux4.not_sel": [ + "stage1.cmp" + ], + "stage1.mux4.and0": [ + "stage1.shift.bit4", + "stage1.mux4.not_sel" + ], + "stage1.mux4.and1": [ + "stage1.sub.fa4.xor2.layer2", + "stage1.cmp" + ], + "stage1.mux4.or": [ + "stage1.mux4.and0", + "stage1.mux4.and1" + ], + "stage1.mux5.not_sel": [ + "stage1.cmp" + ], + "stage1.mux5.and0": [ + "stage1.shift.bit5", + "stage1.mux5.not_sel" + ], + "stage1.mux5.and1": [ + "stage1.sub.fa5.xor2.layer2", + "stage1.cmp" + ], + "stage1.mux5.or": [ + "stage1.mux5.and0", + "stage1.mux5.and1" + ], + "stage1.mux6.not_sel": [ + "stage1.cmp" + ], + "stage1.mux6.and0": [ + "stage1.shift.bit6", + "stage1.mux6.not_sel" + ], + "stage1.mux6.and1": [ + "stage1.sub.fa6.xor2.layer2", + "stage1.cmp" + ], + "stage1.mux6.or": [ + "stage1.mux6.and0", + "stage1.mux6.and1" + ], + "stage1.mux7.not_sel": [ + "stage1.cmp" + ], + "stage1.mux7.and0": [ + "stage1.shift.bit7", + "stage1.mux7.not_sel" + ], + "stage1.mux7.and1": [ + "stage1.sub.fa7.xor2.layer2", + "stage1.cmp" + ], + "stage1.mux7.or": [ + "stage1.mux7.and0", + "stage1.mux7.and1" + ], + "stage2.shift.bit0": [ + "$dividend[5]" + ], + "stage2.shift.bit1": [ + "stage1.mux0.or" + ], + "stage2.shift.bit2": [ + "stage1.mux1.or" + ], + "stage2.shift.bit3": [ + "stage1.mux2.or" + ], + "stage2.shift.bit4": [ + "stage1.mux3.or" + ], + "stage2.shift.bit5": [ + "stage1.mux4.or" + ], + "stage2.shift.bit6": [ + "stage1.mux5.or" + ], + "stage2.shift.bit7": [ + "stage1.mux6.or" + ], + "stage2.sub.notd0": [ + "$divisor[0]" + ], + "stage2.sub.notd1": [ + "$divisor[1]" + ], + "stage2.sub.notd2": [ + "$divisor[2]" + ], + "stage2.sub.notd3": [ + "$divisor[3]" + ], + "stage2.sub.notd4": [ + "$divisor[4]" + ], + "stage2.sub.notd5": [ + "$divisor[5]" + ], + "stage2.sub.notd6": [ + "$divisor[6]" + ], + "stage2.sub.notd7": [ + "$divisor[7]" + ], + "stage2.sub.fa0.xor1.layer1.or": [ + "stage2.shift.bit0", + "stage2.sub.notd0" + ], + "stage2.sub.fa0.xor1.layer1.nand": [ + "stage2.shift.bit0", + "stage2.sub.notd0" + ], + "stage2.sub.fa0.xor1.layer2": [ + "stage2.sub.fa0.xor1.layer1.or", + "stage2.sub.fa0.xor1.layer1.nand" + ], + "stage2.sub.fa0.xor2.layer1.or": [ + "stage2.sub.fa0.xor1.layer2", + "#1" + ], + "stage2.sub.fa0.xor2.layer1.nand": [ + "stage2.sub.fa0.xor1.layer2", + "#1" + ], + "stage2.sub.fa0.xor2.layer2": [ + "stage2.sub.fa0.xor2.layer1.or", + "stage2.sub.fa0.xor2.layer1.nand" + ], + "stage2.sub.fa0.and1": [ + "stage2.shift.bit0", + "stage2.sub.notd0" + ], + "stage2.sub.fa0.and2": [ + "stage2.sub.fa0.xor1.layer2", + "#1" + ], + "stage2.sub.fa0.or_carry": [ + "stage2.sub.fa0.and1", + "stage2.sub.fa0.and2" + ], + "stage2.sub.fa1.xor1.layer1.or": [ + "stage2.shift.bit1", + "stage2.sub.notd1" + ], + "stage2.sub.fa1.xor1.layer1.nand": [ + "stage2.shift.bit1", + "stage2.sub.notd1" + ], + "stage2.sub.fa1.xor1.layer2": [ + "stage2.sub.fa1.xor1.layer1.or", + "stage2.sub.fa1.xor1.layer1.nand" + ], + "stage2.sub.fa1.xor2.layer1.or": [ + "stage2.sub.fa1.xor1.layer2", + "stage2.sub.fa0.or_carry" + ], + "stage2.sub.fa1.xor2.layer1.nand": [ + "stage2.sub.fa1.xor1.layer2", + "stage2.sub.fa0.or_carry" + ], + "stage2.sub.fa1.xor2.layer2": [ + "stage2.sub.fa1.xor2.layer1.or", + "stage2.sub.fa1.xor2.layer1.nand" + ], + "stage2.sub.fa1.and1": [ + "stage2.shift.bit1", + "stage2.sub.notd1" + ], + "stage2.sub.fa1.and2": [ + "stage2.sub.fa1.xor1.layer2", + "stage2.sub.fa0.or_carry" + ], + "stage2.sub.fa1.or_carry": [ + "stage2.sub.fa1.and1", + "stage2.sub.fa1.and2" + ], + "stage2.sub.fa2.xor1.layer1.or": [ + "stage2.shift.bit2", + "stage2.sub.notd2" + ], + "stage2.sub.fa2.xor1.layer1.nand": [ + "stage2.shift.bit2", + "stage2.sub.notd2" + ], + "stage2.sub.fa2.xor1.layer2": [ + "stage2.sub.fa2.xor1.layer1.or", + "stage2.sub.fa2.xor1.layer1.nand" + ], + "stage2.sub.fa2.xor2.layer1.or": [ + "stage2.sub.fa2.xor1.layer2", + "stage2.sub.fa1.or_carry" + ], + "stage2.sub.fa2.xor2.layer1.nand": [ + "stage2.sub.fa2.xor1.layer2", + "stage2.sub.fa1.or_carry" + ], + "stage2.sub.fa2.xor2.layer2": [ + "stage2.sub.fa2.xor2.layer1.or", + "stage2.sub.fa2.xor2.layer1.nand" + ], + "stage2.sub.fa2.and1": [ + "stage2.shift.bit2", + "stage2.sub.notd2" + ], + "stage2.sub.fa2.and2": [ + "stage2.sub.fa2.xor1.layer2", + "stage2.sub.fa1.or_carry" + ], + "stage2.sub.fa2.or_carry": [ + "stage2.sub.fa2.and1", + "stage2.sub.fa2.and2" + ], + "stage2.sub.fa3.xor1.layer1.or": [ + "stage2.shift.bit3", + "stage2.sub.notd3" + ], + "stage2.sub.fa3.xor1.layer1.nand": [ + "stage2.shift.bit3", + "stage2.sub.notd3" + ], + "stage2.sub.fa3.xor1.layer2": [ + "stage2.sub.fa3.xor1.layer1.or", + "stage2.sub.fa3.xor1.layer1.nand" + ], + "stage2.sub.fa3.xor2.layer1.or": [ + "stage2.sub.fa3.xor1.layer2", + "stage2.sub.fa2.or_carry" + ], + "stage2.sub.fa3.xor2.layer1.nand": [ + "stage2.sub.fa3.xor1.layer2", + "stage2.sub.fa2.or_carry" + ], + "stage2.sub.fa3.xor2.layer2": [ + "stage2.sub.fa3.xor2.layer1.or", + "stage2.sub.fa3.xor2.layer1.nand" + ], + "stage2.sub.fa3.and1": [ + "stage2.shift.bit3", + "stage2.sub.notd3" + ], + "stage2.sub.fa3.and2": [ + "stage2.sub.fa3.xor1.layer2", + "stage2.sub.fa2.or_carry" + ], + "stage2.sub.fa3.or_carry": [ + "stage2.sub.fa3.and1", + "stage2.sub.fa3.and2" + ], + "stage2.sub.fa4.xor1.layer1.or": [ + "stage2.shift.bit4", + "stage2.sub.notd4" + ], + "stage2.sub.fa4.xor1.layer1.nand": [ + "stage2.shift.bit4", + "stage2.sub.notd4" + ], + "stage2.sub.fa4.xor1.layer2": [ + "stage2.sub.fa4.xor1.layer1.or", + "stage2.sub.fa4.xor1.layer1.nand" + ], + "stage2.sub.fa4.xor2.layer1.or": [ + "stage2.sub.fa4.xor1.layer2", + "stage2.sub.fa3.or_carry" + ], + "stage2.sub.fa4.xor2.layer1.nand": [ + "stage2.sub.fa4.xor1.layer2", + "stage2.sub.fa3.or_carry" + ], + "stage2.sub.fa4.xor2.layer2": [ + "stage2.sub.fa4.xor2.layer1.or", + "stage2.sub.fa4.xor2.layer1.nand" + ], + "stage2.sub.fa4.and1": [ + "stage2.shift.bit4", + "stage2.sub.notd4" + ], + "stage2.sub.fa4.and2": [ + "stage2.sub.fa4.xor1.layer2", + "stage2.sub.fa3.or_carry" + ], + "stage2.sub.fa4.or_carry": [ + "stage2.sub.fa4.and1", + "stage2.sub.fa4.and2" + ], + "stage2.sub.fa5.xor1.layer1.or": [ + "stage2.shift.bit5", + "stage2.sub.notd5" + ], + "stage2.sub.fa5.xor1.layer1.nand": [ + "stage2.shift.bit5", + "stage2.sub.notd5" + ], + "stage2.sub.fa5.xor1.layer2": [ + "stage2.sub.fa5.xor1.layer1.or", + "stage2.sub.fa5.xor1.layer1.nand" + ], + "stage2.sub.fa5.xor2.layer1.or": [ + "stage2.sub.fa5.xor1.layer2", + "stage2.sub.fa4.or_carry" + ], + "stage2.sub.fa5.xor2.layer1.nand": [ + "stage2.sub.fa5.xor1.layer2", + "stage2.sub.fa4.or_carry" + ], + "stage2.sub.fa5.xor2.layer2": [ + "stage2.sub.fa5.xor2.layer1.or", + "stage2.sub.fa5.xor2.layer1.nand" + ], + "stage2.sub.fa5.and1": [ + "stage2.shift.bit5", + "stage2.sub.notd5" + ], + "stage2.sub.fa5.and2": [ + "stage2.sub.fa5.xor1.layer2", + "stage2.sub.fa4.or_carry" + ], + "stage2.sub.fa5.or_carry": [ + "stage2.sub.fa5.and1", + "stage2.sub.fa5.and2" + ], + "stage2.sub.fa6.xor1.layer1.or": [ + "stage2.shift.bit6", + "stage2.sub.notd6" + ], + "stage2.sub.fa6.xor1.layer1.nand": [ + "stage2.shift.bit6", + "stage2.sub.notd6" + ], + "stage2.sub.fa6.xor1.layer2": [ + "stage2.sub.fa6.xor1.layer1.or", + "stage2.sub.fa6.xor1.layer1.nand" + ], + "stage2.sub.fa6.xor2.layer1.or": [ + "stage2.sub.fa6.xor1.layer2", + "stage2.sub.fa5.or_carry" + ], + "stage2.sub.fa6.xor2.layer1.nand": [ + "stage2.sub.fa6.xor1.layer2", + "stage2.sub.fa5.or_carry" + ], + "stage2.sub.fa6.xor2.layer2": [ + "stage2.sub.fa6.xor2.layer1.or", + "stage2.sub.fa6.xor2.layer1.nand" + ], + "stage2.sub.fa6.and1": [ + "stage2.shift.bit6", + "stage2.sub.notd6" + ], + "stage2.sub.fa6.and2": [ + "stage2.sub.fa6.xor1.layer2", + "stage2.sub.fa5.or_carry" + ], + "stage2.sub.fa6.or_carry": [ + "stage2.sub.fa6.and1", + "stage2.sub.fa6.and2" + ], + "stage2.sub.fa7.xor1.layer1.or": [ + "stage2.shift.bit7", + "stage2.sub.notd7" + ], + "stage2.sub.fa7.xor1.layer1.nand": [ + "stage2.shift.bit7", + "stage2.sub.notd7" + ], + "stage2.sub.fa7.xor1.layer2": [ + "stage2.sub.fa7.xor1.layer1.or", + "stage2.sub.fa7.xor1.layer1.nand" + ], + "stage2.sub.fa7.xor2.layer1.or": [ + "stage2.sub.fa7.xor1.layer2", + "stage2.sub.fa6.or_carry" + ], + "stage2.sub.fa7.xor2.layer1.nand": [ + "stage2.sub.fa7.xor1.layer2", + "stage2.sub.fa6.or_carry" + ], + "stage2.sub.fa7.xor2.layer2": [ + "stage2.sub.fa7.xor2.layer1.or", + "stage2.sub.fa7.xor2.layer1.nand" + ], + "stage2.sub.fa7.and1": [ + "stage2.shift.bit7", + "stage2.sub.notd7" + ], + "stage2.sub.fa7.and2": [ + "stage2.sub.fa7.xor1.layer2", + "stage2.sub.fa6.or_carry" + ], + "stage2.sub.fa7.or_carry": [ + "stage2.sub.fa7.and1", + "stage2.sub.fa7.and2" + ], + "stage2.cmp": [ + "stage2.sub.fa7.or_carry" + ], + "stage2.or_dividend": [ + "stage2.shift.bit7", + "$dividend[5]" + ], + "stage2.mux0.not_sel": [ + "stage2.cmp" + ], + "stage2.mux0.and0": [ + "stage2.shift.bit0", + "stage2.mux0.not_sel" + ], + "stage2.mux0.and1": [ + "stage2.sub.fa0.xor2.layer2", + "stage2.cmp" + ], + "stage2.mux0.or": [ + "stage2.mux0.and0", + "stage2.mux0.and1" + ], + "stage2.mux1.not_sel": [ + "stage2.cmp" + ], + "stage2.mux1.and0": [ + "stage2.shift.bit1", + "stage2.mux1.not_sel" + ], + "stage2.mux1.and1": [ + "stage2.sub.fa1.xor2.layer2", + "stage2.cmp" + ], + "stage2.mux1.or": [ + "stage2.mux1.and0", + "stage2.mux1.and1" + ], + "stage2.mux2.not_sel": [ + "stage2.cmp" + ], + "stage2.mux2.and0": [ + "stage2.shift.bit2", + "stage2.mux2.not_sel" + ], + "stage2.mux2.and1": [ + "stage2.sub.fa2.xor2.layer2", + "stage2.cmp" + ], + "stage2.mux2.or": [ + "stage2.mux2.and0", + "stage2.mux2.and1" + ], + "stage2.mux3.not_sel": [ + "stage2.cmp" + ], + "stage2.mux3.and0": [ + "stage2.shift.bit3", + "stage2.mux3.not_sel" + ], + "stage2.mux3.and1": [ + "stage2.sub.fa3.xor2.layer2", + "stage2.cmp" + ], + "stage2.mux3.or": [ + "stage2.mux3.and0", + "stage2.mux3.and1" + ], + "stage2.mux4.not_sel": [ + "stage2.cmp" + ], + "stage2.mux4.and0": [ + "stage2.shift.bit4", + "stage2.mux4.not_sel" + ], + "stage2.mux4.and1": [ + "stage2.sub.fa4.xor2.layer2", + "stage2.cmp" + ], + "stage2.mux4.or": [ + "stage2.mux4.and0", + "stage2.mux4.and1" + ], + "stage2.mux5.not_sel": [ + "stage2.cmp" + ], + "stage2.mux5.and0": [ + "stage2.shift.bit5", + "stage2.mux5.not_sel" + ], + "stage2.mux5.and1": [ + "stage2.sub.fa5.xor2.layer2", + "stage2.cmp" + ], + "stage2.mux5.or": [ + "stage2.mux5.and0", + "stage2.mux5.and1" + ], + "stage2.mux6.not_sel": [ + "stage2.cmp" + ], + "stage2.mux6.and0": [ + "stage2.shift.bit6", + "stage2.mux6.not_sel" + ], + "stage2.mux6.and1": [ + "stage2.sub.fa6.xor2.layer2", + "stage2.cmp" + ], + "stage2.mux6.or": [ + "stage2.mux6.and0", + "stage2.mux6.and1" + ], + "stage2.mux7.not_sel": [ + "stage2.cmp" + ], + "stage2.mux7.and0": [ + "stage2.shift.bit7", + "stage2.mux7.not_sel" + ], + "stage2.mux7.and1": [ + "stage2.sub.fa7.xor2.layer2", + "stage2.cmp" + ], + "stage2.mux7.or": [ + "stage2.mux7.and0", + "stage2.mux7.and1" + ], + "stage3.shift.bit0": [ + "$dividend[4]" + ], + "stage3.shift.bit1": [ + "stage2.mux0.or" + ], + "stage3.shift.bit2": [ + "stage2.mux1.or" + ], + "stage3.shift.bit3": [ + "stage2.mux2.or" + ], + "stage3.shift.bit4": [ + "stage2.mux3.or" + ], + "stage3.shift.bit5": [ + "stage2.mux4.or" + ], + "stage3.shift.bit6": [ + "stage2.mux5.or" + ], + "stage3.shift.bit7": [ + "stage2.mux6.or" + ], + "stage3.sub.notd0": [ + "$divisor[0]" + ], + "stage3.sub.notd1": [ + "$divisor[1]" + ], + "stage3.sub.notd2": [ + "$divisor[2]" + ], + "stage3.sub.notd3": [ + "$divisor[3]" + ], + "stage3.sub.notd4": [ + "$divisor[4]" + ], + "stage3.sub.notd5": [ + "$divisor[5]" + ], + "stage3.sub.notd6": [ + "$divisor[6]" + ], + "stage3.sub.notd7": [ + "$divisor[7]" + ], + "stage3.sub.fa0.xor1.layer1.or": [ + "stage3.shift.bit0", + "stage3.sub.notd0" + ], + "stage3.sub.fa0.xor1.layer1.nand": [ + "stage3.shift.bit0", + "stage3.sub.notd0" + ], + "stage3.sub.fa0.xor1.layer2": [ + "stage3.sub.fa0.xor1.layer1.or", + "stage3.sub.fa0.xor1.layer1.nand" + ], + "stage3.sub.fa0.xor2.layer1.or": [ + "stage3.sub.fa0.xor1.layer2", + "#1" + ], + "stage3.sub.fa0.xor2.layer1.nand": [ + "stage3.sub.fa0.xor1.layer2", + "#1" + ], + "stage3.sub.fa0.xor2.layer2": [ + "stage3.sub.fa0.xor2.layer1.or", + "stage3.sub.fa0.xor2.layer1.nand" + ], + "stage3.sub.fa0.and1": [ + "stage3.shift.bit0", + "stage3.sub.notd0" + ], + "stage3.sub.fa0.and2": [ + "stage3.sub.fa0.xor1.layer2", + "#1" + ], + "stage3.sub.fa0.or_carry": [ + "stage3.sub.fa0.and1", + "stage3.sub.fa0.and2" + ], + "stage3.sub.fa1.xor1.layer1.or": [ + "stage3.shift.bit1", + "stage3.sub.notd1" + ], + "stage3.sub.fa1.xor1.layer1.nand": [ + "stage3.shift.bit1", + "stage3.sub.notd1" + ], + "stage3.sub.fa1.xor1.layer2": [ + "stage3.sub.fa1.xor1.layer1.or", + "stage3.sub.fa1.xor1.layer1.nand" + ], + "stage3.sub.fa1.xor2.layer1.or": [ + "stage3.sub.fa1.xor1.layer2", + "stage3.sub.fa0.or_carry" + ], + "stage3.sub.fa1.xor2.layer1.nand": [ + "stage3.sub.fa1.xor1.layer2", + "stage3.sub.fa0.or_carry" + ], + "stage3.sub.fa1.xor2.layer2": [ + "stage3.sub.fa1.xor2.layer1.or", + "stage3.sub.fa1.xor2.layer1.nand" + ], + "stage3.sub.fa1.and1": [ + "stage3.shift.bit1", + "stage3.sub.notd1" + ], + "stage3.sub.fa1.and2": [ + "stage3.sub.fa1.xor1.layer2", + "stage3.sub.fa0.or_carry" + ], + "stage3.sub.fa1.or_carry": [ + "stage3.sub.fa1.and1", + "stage3.sub.fa1.and2" + ], + "stage3.sub.fa2.xor1.layer1.or": [ + "stage3.shift.bit2", + "stage3.sub.notd2" + ], + "stage3.sub.fa2.xor1.layer1.nand": [ + "stage3.shift.bit2", + "stage3.sub.notd2" + ], + "stage3.sub.fa2.xor1.layer2": [ + "stage3.sub.fa2.xor1.layer1.or", + "stage3.sub.fa2.xor1.layer1.nand" + ], + "stage3.sub.fa2.xor2.layer1.or": [ + "stage3.sub.fa2.xor1.layer2", + "stage3.sub.fa1.or_carry" + ], + "stage3.sub.fa2.xor2.layer1.nand": [ + "stage3.sub.fa2.xor1.layer2", + "stage3.sub.fa1.or_carry" + ], + "stage3.sub.fa2.xor2.layer2": [ + "stage3.sub.fa2.xor2.layer1.or", + "stage3.sub.fa2.xor2.layer1.nand" + ], + "stage3.sub.fa2.and1": [ + "stage3.shift.bit2", + "stage3.sub.notd2" + ], + "stage3.sub.fa2.and2": [ + "stage3.sub.fa2.xor1.layer2", + "stage3.sub.fa1.or_carry" + ], + "stage3.sub.fa2.or_carry": [ + "stage3.sub.fa2.and1", + "stage3.sub.fa2.and2" + ], + "stage3.sub.fa3.xor1.layer1.or": [ + "stage3.shift.bit3", + "stage3.sub.notd3" + ], + "stage3.sub.fa3.xor1.layer1.nand": [ + "stage3.shift.bit3", + "stage3.sub.notd3" + ], + "stage3.sub.fa3.xor1.layer2": [ + "stage3.sub.fa3.xor1.layer1.or", + "stage3.sub.fa3.xor1.layer1.nand" + ], + "stage3.sub.fa3.xor2.layer1.or": [ + "stage3.sub.fa3.xor1.layer2", + "stage3.sub.fa2.or_carry" + ], + "stage3.sub.fa3.xor2.layer1.nand": [ + "stage3.sub.fa3.xor1.layer2", + "stage3.sub.fa2.or_carry" + ], + "stage3.sub.fa3.xor2.layer2": [ + "stage3.sub.fa3.xor2.layer1.or", + "stage3.sub.fa3.xor2.layer1.nand" + ], + "stage3.sub.fa3.and1": [ + "stage3.shift.bit3", + "stage3.sub.notd3" + ], + "stage3.sub.fa3.and2": [ + "stage3.sub.fa3.xor1.layer2", + "stage3.sub.fa2.or_carry" + ], + "stage3.sub.fa3.or_carry": [ + "stage3.sub.fa3.and1", + "stage3.sub.fa3.and2" + ], + "stage3.sub.fa4.xor1.layer1.or": [ + "stage3.shift.bit4", + "stage3.sub.notd4" + ], + "stage3.sub.fa4.xor1.layer1.nand": [ + "stage3.shift.bit4", + "stage3.sub.notd4" + ], + "stage3.sub.fa4.xor1.layer2": [ + "stage3.sub.fa4.xor1.layer1.or", + "stage3.sub.fa4.xor1.layer1.nand" + ], + "stage3.sub.fa4.xor2.layer1.or": [ + "stage3.sub.fa4.xor1.layer2", + "stage3.sub.fa3.or_carry" + ], + "stage3.sub.fa4.xor2.layer1.nand": [ + "stage3.sub.fa4.xor1.layer2", + "stage3.sub.fa3.or_carry" + ], + "stage3.sub.fa4.xor2.layer2": [ + "stage3.sub.fa4.xor2.layer1.or", + "stage3.sub.fa4.xor2.layer1.nand" + ], + "stage3.sub.fa4.and1": [ + "stage3.shift.bit4", + "stage3.sub.notd4" + ], + "stage3.sub.fa4.and2": [ + "stage3.sub.fa4.xor1.layer2", + "stage3.sub.fa3.or_carry" + ], + "stage3.sub.fa4.or_carry": [ + "stage3.sub.fa4.and1", + "stage3.sub.fa4.and2" + ], + "stage3.sub.fa5.xor1.layer1.or": [ + "stage3.shift.bit5", + "stage3.sub.notd5" + ], + "stage3.sub.fa5.xor1.layer1.nand": [ + "stage3.shift.bit5", + "stage3.sub.notd5" + ], + "stage3.sub.fa5.xor1.layer2": [ + "stage3.sub.fa5.xor1.layer1.or", + "stage3.sub.fa5.xor1.layer1.nand" + ], + "stage3.sub.fa5.xor2.layer1.or": [ + "stage3.sub.fa5.xor1.layer2", + "stage3.sub.fa4.or_carry" + ], + "stage3.sub.fa5.xor2.layer1.nand": [ + "stage3.sub.fa5.xor1.layer2", + "stage3.sub.fa4.or_carry" + ], + "stage3.sub.fa5.xor2.layer2": [ + "stage3.sub.fa5.xor2.layer1.or", + "stage3.sub.fa5.xor2.layer1.nand" + ], + "stage3.sub.fa5.and1": [ + "stage3.shift.bit5", + "stage3.sub.notd5" + ], + "stage3.sub.fa5.and2": [ + "stage3.sub.fa5.xor1.layer2", + "stage3.sub.fa4.or_carry" + ], + "stage3.sub.fa5.or_carry": [ + "stage3.sub.fa5.and1", + "stage3.sub.fa5.and2" + ], + "stage3.sub.fa6.xor1.layer1.or": [ + "stage3.shift.bit6", + "stage3.sub.notd6" + ], + "stage3.sub.fa6.xor1.layer1.nand": [ + "stage3.shift.bit6", + "stage3.sub.notd6" + ], + "stage3.sub.fa6.xor1.layer2": [ + "stage3.sub.fa6.xor1.layer1.or", + "stage3.sub.fa6.xor1.layer1.nand" + ], + "stage3.sub.fa6.xor2.layer1.or": [ + "stage3.sub.fa6.xor1.layer2", + "stage3.sub.fa5.or_carry" + ], + "stage3.sub.fa6.xor2.layer1.nand": [ + "stage3.sub.fa6.xor1.layer2", + "stage3.sub.fa5.or_carry" + ], + "stage3.sub.fa6.xor2.layer2": [ + "stage3.sub.fa6.xor2.layer1.or", + "stage3.sub.fa6.xor2.layer1.nand" + ], + "stage3.sub.fa6.and1": [ + "stage3.shift.bit6", + "stage3.sub.notd6" + ], + "stage3.sub.fa6.and2": [ + "stage3.sub.fa6.xor1.layer2", + "stage3.sub.fa5.or_carry" + ], + "stage3.sub.fa6.or_carry": [ + "stage3.sub.fa6.and1", + "stage3.sub.fa6.and2" + ], + "stage3.sub.fa7.xor1.layer1.or": [ + "stage3.shift.bit7", + "stage3.sub.notd7" + ], + "stage3.sub.fa7.xor1.layer1.nand": [ + "stage3.shift.bit7", + "stage3.sub.notd7" + ], + "stage3.sub.fa7.xor1.layer2": [ + "stage3.sub.fa7.xor1.layer1.or", + "stage3.sub.fa7.xor1.layer1.nand" + ], + "stage3.sub.fa7.xor2.layer1.or": [ + "stage3.sub.fa7.xor1.layer2", + "stage3.sub.fa6.or_carry" + ], + "stage3.sub.fa7.xor2.layer1.nand": [ + "stage3.sub.fa7.xor1.layer2", + "stage3.sub.fa6.or_carry" + ], + "stage3.sub.fa7.xor2.layer2": [ + "stage3.sub.fa7.xor2.layer1.or", + "stage3.sub.fa7.xor2.layer1.nand" + ], + "stage3.sub.fa7.and1": [ + "stage3.shift.bit7", + "stage3.sub.notd7" + ], + "stage3.sub.fa7.and2": [ + "stage3.sub.fa7.xor1.layer2", + "stage3.sub.fa6.or_carry" + ], + "stage3.sub.fa7.or_carry": [ + "stage3.sub.fa7.and1", + "stage3.sub.fa7.and2" + ], + "stage3.cmp": [ + "stage3.sub.fa7.or_carry" + ], + "stage3.or_dividend": [ + "stage3.shift.bit7", + "$dividend[4]" + ], + "stage3.mux0.not_sel": [ + "stage3.cmp" + ], + "stage3.mux0.and0": [ + "stage3.shift.bit0", + "stage3.mux0.not_sel" + ], + "stage3.mux0.and1": [ + "stage3.sub.fa0.xor2.layer2", + "stage3.cmp" + ], + "stage3.mux0.or": [ + "stage3.mux0.and0", + "stage3.mux0.and1" + ], + "stage3.mux1.not_sel": [ + "stage3.cmp" + ], + "stage3.mux1.and0": [ + "stage3.shift.bit1", + "stage3.mux1.not_sel" + ], + "stage3.mux1.and1": [ + "stage3.sub.fa1.xor2.layer2", + "stage3.cmp" + ], + "stage3.mux1.or": [ + "stage3.mux1.and0", + "stage3.mux1.and1" + ], + "stage3.mux2.not_sel": [ + "stage3.cmp" + ], + "stage3.mux2.and0": [ + "stage3.shift.bit2", + "stage3.mux2.not_sel" + ], + "stage3.mux2.and1": [ + "stage3.sub.fa2.xor2.layer2", + "stage3.cmp" + ], + "stage3.mux2.or": [ + "stage3.mux2.and0", + "stage3.mux2.and1" + ], + "stage3.mux3.not_sel": [ + "stage3.cmp" + ], + "stage3.mux3.and0": [ + "stage3.shift.bit3", + "stage3.mux3.not_sel" + ], + "stage3.mux3.and1": [ + "stage3.sub.fa3.xor2.layer2", + "stage3.cmp" + ], + "stage3.mux3.or": [ + "stage3.mux3.and0", + "stage3.mux3.and1" + ], + "stage3.mux4.not_sel": [ + "stage3.cmp" + ], + "stage3.mux4.and0": [ + "stage3.shift.bit4", + "stage3.mux4.not_sel" + ], + "stage3.mux4.and1": [ + "stage3.sub.fa4.xor2.layer2", + "stage3.cmp" + ], + "stage3.mux4.or": [ + "stage3.mux4.and0", + "stage3.mux4.and1" + ], + "stage3.mux5.not_sel": [ + "stage3.cmp" + ], + "stage3.mux5.and0": [ + "stage3.shift.bit5", + "stage3.mux5.not_sel" + ], + "stage3.mux5.and1": [ + "stage3.sub.fa5.xor2.layer2", + "stage3.cmp" + ], + "stage3.mux5.or": [ + "stage3.mux5.and0", + "stage3.mux5.and1" + ], + "stage3.mux6.not_sel": [ + "stage3.cmp" + ], + "stage3.mux6.and0": [ + "stage3.shift.bit6", + "stage3.mux6.not_sel" + ], + "stage3.mux6.and1": [ + "stage3.sub.fa6.xor2.layer2", + "stage3.cmp" + ], + "stage3.mux6.or": [ + "stage3.mux6.and0", + "stage3.mux6.and1" + ], + "stage3.mux7.not_sel": [ + "stage3.cmp" + ], + "stage3.mux7.and0": [ + "stage3.shift.bit7", + "stage3.mux7.not_sel" + ], + "stage3.mux7.and1": [ + "stage3.sub.fa7.xor2.layer2", + "stage3.cmp" + ], + "stage3.mux7.or": [ + "stage3.mux7.and0", + "stage3.mux7.and1" + ], + "stage4.shift.bit0": [ + "$dividend[3]" + ], + "stage4.shift.bit1": [ + "stage3.mux0.or" + ], + "stage4.shift.bit2": [ + "stage3.mux1.or" + ], + "stage4.shift.bit3": [ + "stage3.mux2.or" + ], + "stage4.shift.bit4": [ + "stage3.mux3.or" + ], + "stage4.shift.bit5": [ + "stage3.mux4.or" + ], + "stage4.shift.bit6": [ + "stage3.mux5.or" + ], + "stage4.shift.bit7": [ + "stage3.mux6.or" + ], + "stage4.sub.notd0": [ + "$divisor[0]" + ], + "stage4.sub.notd1": [ + "$divisor[1]" + ], + "stage4.sub.notd2": [ + "$divisor[2]" + ], + "stage4.sub.notd3": [ + "$divisor[3]" + ], + "stage4.sub.notd4": [ + "$divisor[4]" + ], + "stage4.sub.notd5": [ + "$divisor[5]" + ], + "stage4.sub.notd6": [ + "$divisor[6]" + ], + "stage4.sub.notd7": [ + "$divisor[7]" + ], + "stage4.sub.fa0.xor1.layer1.or": [ + "stage4.shift.bit0", + "stage4.sub.notd0" + ], + "stage4.sub.fa0.xor1.layer1.nand": [ + "stage4.shift.bit0", + "stage4.sub.notd0" + ], + "stage4.sub.fa0.xor1.layer2": [ + "stage4.sub.fa0.xor1.layer1.or", + "stage4.sub.fa0.xor1.layer1.nand" + ], + "stage4.sub.fa0.xor2.layer1.or": [ + "stage4.sub.fa0.xor1.layer2", + "#1" + ], + "stage4.sub.fa0.xor2.layer1.nand": [ + "stage4.sub.fa0.xor1.layer2", + "#1" + ], + "stage4.sub.fa0.xor2.layer2": [ + "stage4.sub.fa0.xor2.layer1.or", + "stage4.sub.fa0.xor2.layer1.nand" + ], + "stage4.sub.fa0.and1": [ + "stage4.shift.bit0", + "stage4.sub.notd0" + ], + "stage4.sub.fa0.and2": [ + "stage4.sub.fa0.xor1.layer2", + "#1" + ], + "stage4.sub.fa0.or_carry": [ + "stage4.sub.fa0.and1", + "stage4.sub.fa0.and2" + ], + "stage4.sub.fa1.xor1.layer1.or": [ + "stage4.shift.bit1", + "stage4.sub.notd1" + ], + "stage4.sub.fa1.xor1.layer1.nand": [ + "stage4.shift.bit1", + "stage4.sub.notd1" + ], + "stage4.sub.fa1.xor1.layer2": [ + "stage4.sub.fa1.xor1.layer1.or", + "stage4.sub.fa1.xor1.layer1.nand" + ], + "stage4.sub.fa1.xor2.layer1.or": [ + "stage4.sub.fa1.xor1.layer2", + "stage4.sub.fa0.or_carry" + ], + "stage4.sub.fa1.xor2.layer1.nand": [ + "stage4.sub.fa1.xor1.layer2", + "stage4.sub.fa0.or_carry" + ], + "stage4.sub.fa1.xor2.layer2": [ + "stage4.sub.fa1.xor2.layer1.or", + "stage4.sub.fa1.xor2.layer1.nand" + ], + "stage4.sub.fa1.and1": [ + "stage4.shift.bit1", + "stage4.sub.notd1" + ], + "stage4.sub.fa1.and2": [ + "stage4.sub.fa1.xor1.layer2", + "stage4.sub.fa0.or_carry" + ], + "stage4.sub.fa1.or_carry": [ + "stage4.sub.fa1.and1", + "stage4.sub.fa1.and2" + ], + "stage4.sub.fa2.xor1.layer1.or": [ + "stage4.shift.bit2", + "stage4.sub.notd2" + ], + "stage4.sub.fa2.xor1.layer1.nand": [ + "stage4.shift.bit2", + "stage4.sub.notd2" + ], + "stage4.sub.fa2.xor1.layer2": [ + "stage4.sub.fa2.xor1.layer1.or", + "stage4.sub.fa2.xor1.layer1.nand" + ], + "stage4.sub.fa2.xor2.layer1.or": [ + "stage4.sub.fa2.xor1.layer2", + "stage4.sub.fa1.or_carry" + ], + "stage4.sub.fa2.xor2.layer1.nand": [ + "stage4.sub.fa2.xor1.layer2", + "stage4.sub.fa1.or_carry" + ], + "stage4.sub.fa2.xor2.layer2": [ + "stage4.sub.fa2.xor2.layer1.or", + "stage4.sub.fa2.xor2.layer1.nand" + ], + "stage4.sub.fa2.and1": [ + "stage4.shift.bit2", + "stage4.sub.notd2" + ], + "stage4.sub.fa2.and2": [ + "stage4.sub.fa2.xor1.layer2", + "stage4.sub.fa1.or_carry" + ], + "stage4.sub.fa2.or_carry": [ + "stage4.sub.fa2.and1", + "stage4.sub.fa2.and2" + ], + "stage4.sub.fa3.xor1.layer1.or": [ + "stage4.shift.bit3", + "stage4.sub.notd3" + ], + "stage4.sub.fa3.xor1.layer1.nand": [ + "stage4.shift.bit3", + "stage4.sub.notd3" + ], + "stage4.sub.fa3.xor1.layer2": [ + "stage4.sub.fa3.xor1.layer1.or", + "stage4.sub.fa3.xor1.layer1.nand" + ], + "stage4.sub.fa3.xor2.layer1.or": [ + "stage4.sub.fa3.xor1.layer2", + "stage4.sub.fa2.or_carry" + ], + "stage4.sub.fa3.xor2.layer1.nand": [ + "stage4.sub.fa3.xor1.layer2", + "stage4.sub.fa2.or_carry" + ], + "stage4.sub.fa3.xor2.layer2": [ + "stage4.sub.fa3.xor2.layer1.or", + "stage4.sub.fa3.xor2.layer1.nand" + ], + "stage4.sub.fa3.and1": [ + "stage4.shift.bit3", + "stage4.sub.notd3" + ], + "stage4.sub.fa3.and2": [ + "stage4.sub.fa3.xor1.layer2", + "stage4.sub.fa2.or_carry" + ], + "stage4.sub.fa3.or_carry": [ + "stage4.sub.fa3.and1", + "stage4.sub.fa3.and2" + ], + "stage4.sub.fa4.xor1.layer1.or": [ + "stage4.shift.bit4", + "stage4.sub.notd4" + ], + "stage4.sub.fa4.xor1.layer1.nand": [ + "stage4.shift.bit4", + "stage4.sub.notd4" + ], + "stage4.sub.fa4.xor1.layer2": [ + "stage4.sub.fa4.xor1.layer1.or", + "stage4.sub.fa4.xor1.layer1.nand" + ], + "stage4.sub.fa4.xor2.layer1.or": [ + "stage4.sub.fa4.xor1.layer2", + "stage4.sub.fa3.or_carry" + ], + "stage4.sub.fa4.xor2.layer1.nand": [ + "stage4.sub.fa4.xor1.layer2", + "stage4.sub.fa3.or_carry" + ], + "stage4.sub.fa4.xor2.layer2": [ + "stage4.sub.fa4.xor2.layer1.or", + "stage4.sub.fa4.xor2.layer1.nand" + ], + "stage4.sub.fa4.and1": [ + "stage4.shift.bit4", + "stage4.sub.notd4" + ], + "stage4.sub.fa4.and2": [ + "stage4.sub.fa4.xor1.layer2", + "stage4.sub.fa3.or_carry" + ], + "stage4.sub.fa4.or_carry": [ + "stage4.sub.fa4.and1", + "stage4.sub.fa4.and2" + ], + "stage4.sub.fa5.xor1.layer1.or": [ + "stage4.shift.bit5", + "stage4.sub.notd5" + ], + "stage4.sub.fa5.xor1.layer1.nand": [ + "stage4.shift.bit5", + "stage4.sub.notd5" + ], + "stage4.sub.fa5.xor1.layer2": [ + "stage4.sub.fa5.xor1.layer1.or", + "stage4.sub.fa5.xor1.layer1.nand" + ], + "stage4.sub.fa5.xor2.layer1.or": [ + "stage4.sub.fa5.xor1.layer2", + "stage4.sub.fa4.or_carry" + ], + "stage4.sub.fa5.xor2.layer1.nand": [ + "stage4.sub.fa5.xor1.layer2", + "stage4.sub.fa4.or_carry" + ], + "stage4.sub.fa5.xor2.layer2": [ + "stage4.sub.fa5.xor2.layer1.or", + "stage4.sub.fa5.xor2.layer1.nand" + ], + "stage4.sub.fa5.and1": [ + "stage4.shift.bit5", + "stage4.sub.notd5" + ], + "stage4.sub.fa5.and2": [ + "stage4.sub.fa5.xor1.layer2", + "stage4.sub.fa4.or_carry" + ], + "stage4.sub.fa5.or_carry": [ + "stage4.sub.fa5.and1", + "stage4.sub.fa5.and2" + ], + "stage4.sub.fa6.xor1.layer1.or": [ + "stage4.shift.bit6", + "stage4.sub.notd6" + ], + "stage4.sub.fa6.xor1.layer1.nand": [ + "stage4.shift.bit6", + "stage4.sub.notd6" + ], + "stage4.sub.fa6.xor1.layer2": [ + "stage4.sub.fa6.xor1.layer1.or", + "stage4.sub.fa6.xor1.layer1.nand" + ], + "stage4.sub.fa6.xor2.layer1.or": [ + "stage4.sub.fa6.xor1.layer2", + "stage4.sub.fa5.or_carry" + ], + "stage4.sub.fa6.xor2.layer1.nand": [ + "stage4.sub.fa6.xor1.layer2", + "stage4.sub.fa5.or_carry" + ], + "stage4.sub.fa6.xor2.layer2": [ + "stage4.sub.fa6.xor2.layer1.or", + "stage4.sub.fa6.xor2.layer1.nand" + ], + "stage4.sub.fa6.and1": [ + "stage4.shift.bit6", + "stage4.sub.notd6" + ], + "stage4.sub.fa6.and2": [ + "stage4.sub.fa6.xor1.layer2", + "stage4.sub.fa5.or_carry" + ], + "stage4.sub.fa6.or_carry": [ + "stage4.sub.fa6.and1", + "stage4.sub.fa6.and2" + ], + "stage4.sub.fa7.xor1.layer1.or": [ + "stage4.shift.bit7", + "stage4.sub.notd7" + ], + "stage4.sub.fa7.xor1.layer1.nand": [ + "stage4.shift.bit7", + "stage4.sub.notd7" + ], + "stage4.sub.fa7.xor1.layer2": [ + "stage4.sub.fa7.xor1.layer1.or", + "stage4.sub.fa7.xor1.layer1.nand" + ], + "stage4.sub.fa7.xor2.layer1.or": [ + "stage4.sub.fa7.xor1.layer2", + "stage4.sub.fa6.or_carry" + ], + "stage4.sub.fa7.xor2.layer1.nand": [ + "stage4.sub.fa7.xor1.layer2", + "stage4.sub.fa6.or_carry" + ], + "stage4.sub.fa7.xor2.layer2": [ + "stage4.sub.fa7.xor2.layer1.or", + "stage4.sub.fa7.xor2.layer1.nand" + ], + "stage4.sub.fa7.and1": [ + "stage4.shift.bit7", + "stage4.sub.notd7" + ], + "stage4.sub.fa7.and2": [ + "stage4.sub.fa7.xor1.layer2", + "stage4.sub.fa6.or_carry" + ], + "stage4.sub.fa7.or_carry": [ + "stage4.sub.fa7.and1", + "stage4.sub.fa7.and2" + ], + "stage4.cmp": [ + "stage4.sub.fa7.or_carry" + ], + "stage4.or_dividend": [ + "stage4.shift.bit7", + "$dividend[3]" + ], + "stage4.mux0.not_sel": [ + "stage4.cmp" + ], + "stage4.mux0.and0": [ + "stage4.shift.bit0", + "stage4.mux0.not_sel" + ], + "stage4.mux0.and1": [ + "stage4.sub.fa0.xor2.layer2", + "stage4.cmp" + ], + "stage4.mux0.or": [ + "stage4.mux0.and0", + "stage4.mux0.and1" + ], + "stage4.mux1.not_sel": [ + "stage4.cmp" + ], + "stage4.mux1.and0": [ + "stage4.shift.bit1", + "stage4.mux1.not_sel" + ], + "stage4.mux1.and1": [ + "stage4.sub.fa1.xor2.layer2", + "stage4.cmp" + ], + "stage4.mux1.or": [ + "stage4.mux1.and0", + "stage4.mux1.and1" + ], + "stage4.mux2.not_sel": [ + "stage4.cmp" + ], + "stage4.mux2.and0": [ + "stage4.shift.bit2", + "stage4.mux2.not_sel" + ], + "stage4.mux2.and1": [ + "stage4.sub.fa2.xor2.layer2", + "stage4.cmp" + ], + "stage4.mux2.or": [ + "stage4.mux2.and0", + "stage4.mux2.and1" + ], + "stage4.mux3.not_sel": [ + "stage4.cmp" + ], + "stage4.mux3.and0": [ + "stage4.shift.bit3", + "stage4.mux3.not_sel" + ], + "stage4.mux3.and1": [ + "stage4.sub.fa3.xor2.layer2", + "stage4.cmp" + ], + "stage4.mux3.or": [ + "stage4.mux3.and0", + "stage4.mux3.and1" + ], + "stage4.mux4.not_sel": [ + "stage4.cmp" + ], + "stage4.mux4.and0": [ + "stage4.shift.bit4", + "stage4.mux4.not_sel" + ], + "stage4.mux4.and1": [ + "stage4.sub.fa4.xor2.layer2", + "stage4.cmp" + ], + "stage4.mux4.or": [ + "stage4.mux4.and0", + "stage4.mux4.and1" + ], + "stage4.mux5.not_sel": [ + "stage4.cmp" + ], + "stage4.mux5.and0": [ + "stage4.shift.bit5", + "stage4.mux5.not_sel" + ], + "stage4.mux5.and1": [ + "stage4.sub.fa5.xor2.layer2", + "stage4.cmp" + ], + "stage4.mux5.or": [ + "stage4.mux5.and0", + "stage4.mux5.and1" + ], + "stage4.mux6.not_sel": [ + "stage4.cmp" + ], + "stage4.mux6.and0": [ + "stage4.shift.bit6", + "stage4.mux6.not_sel" + ], + "stage4.mux6.and1": [ + "stage4.sub.fa6.xor2.layer2", + "stage4.cmp" + ], + "stage4.mux6.or": [ + "stage4.mux6.and0", + "stage4.mux6.and1" + ], + "stage4.mux7.not_sel": [ + "stage4.cmp" + ], + "stage4.mux7.and0": [ + "stage4.shift.bit7", + "stage4.mux7.not_sel" + ], + "stage4.mux7.and1": [ + "stage4.sub.fa7.xor2.layer2", + "stage4.cmp" + ], + "stage4.mux7.or": [ + "stage4.mux7.and0", + "stage4.mux7.and1" + ], + "stage5.shift.bit0": [ + "$dividend[2]" + ], + "stage5.shift.bit1": [ + "stage4.mux0.or" + ], + "stage5.shift.bit2": [ + "stage4.mux1.or" + ], + "stage5.shift.bit3": [ + "stage4.mux2.or" + ], + "stage5.shift.bit4": [ + "stage4.mux3.or" + ], + "stage5.shift.bit5": [ + "stage4.mux4.or" + ], + "stage5.shift.bit6": [ + "stage4.mux5.or" + ], + "stage5.shift.bit7": [ + "stage4.mux6.or" + ], + "stage5.sub.notd0": [ + "$divisor[0]" + ], + "stage5.sub.notd1": [ + "$divisor[1]" + ], + "stage5.sub.notd2": [ + "$divisor[2]" + ], + "stage5.sub.notd3": [ + "$divisor[3]" + ], + "stage5.sub.notd4": [ + "$divisor[4]" + ], + "stage5.sub.notd5": [ + "$divisor[5]" + ], + "stage5.sub.notd6": [ + "$divisor[6]" + ], + "stage5.sub.notd7": [ + "$divisor[7]" + ], + "stage5.sub.fa0.xor1.layer1.or": [ + "stage5.shift.bit0", + "stage5.sub.notd0" + ], + "stage5.sub.fa0.xor1.layer1.nand": [ + "stage5.shift.bit0", + "stage5.sub.notd0" + ], + "stage5.sub.fa0.xor1.layer2": [ + "stage5.sub.fa0.xor1.layer1.or", + "stage5.sub.fa0.xor1.layer1.nand" + ], + "stage5.sub.fa0.xor2.layer1.or": [ + "stage5.sub.fa0.xor1.layer2", + "#1" + ], + "stage5.sub.fa0.xor2.layer1.nand": [ + "stage5.sub.fa0.xor1.layer2", + "#1" + ], + "stage5.sub.fa0.xor2.layer2": [ + "stage5.sub.fa0.xor2.layer1.or", + "stage5.sub.fa0.xor2.layer1.nand" + ], + "stage5.sub.fa0.and1": [ + "stage5.shift.bit0", + "stage5.sub.notd0" + ], + "stage5.sub.fa0.and2": [ + "stage5.sub.fa0.xor1.layer2", + "#1" + ], + "stage5.sub.fa0.or_carry": [ + "stage5.sub.fa0.and1", + "stage5.sub.fa0.and2" + ], + "stage5.sub.fa1.xor1.layer1.or": [ + "stage5.shift.bit1", + "stage5.sub.notd1" + ], + "stage5.sub.fa1.xor1.layer1.nand": [ + "stage5.shift.bit1", + "stage5.sub.notd1" + ], + "stage5.sub.fa1.xor1.layer2": [ + "stage5.sub.fa1.xor1.layer1.or", + "stage5.sub.fa1.xor1.layer1.nand" + ], + "stage5.sub.fa1.xor2.layer1.or": [ + "stage5.sub.fa1.xor1.layer2", + "stage5.sub.fa0.or_carry" + ], + "stage5.sub.fa1.xor2.layer1.nand": [ + "stage5.sub.fa1.xor1.layer2", + "stage5.sub.fa0.or_carry" + ], + "stage5.sub.fa1.xor2.layer2": [ + "stage5.sub.fa1.xor2.layer1.or", + "stage5.sub.fa1.xor2.layer1.nand" + ], + "stage5.sub.fa1.and1": [ + "stage5.shift.bit1", + "stage5.sub.notd1" + ], + "stage5.sub.fa1.and2": [ + "stage5.sub.fa1.xor1.layer2", + "stage5.sub.fa0.or_carry" + ], + "stage5.sub.fa1.or_carry": [ + "stage5.sub.fa1.and1", + "stage5.sub.fa1.and2" + ], + "stage5.sub.fa2.xor1.layer1.or": [ + "stage5.shift.bit2", + "stage5.sub.notd2" + ], + "stage5.sub.fa2.xor1.layer1.nand": [ + "stage5.shift.bit2", + "stage5.sub.notd2" + ], + "stage5.sub.fa2.xor1.layer2": [ + "stage5.sub.fa2.xor1.layer1.or", + "stage5.sub.fa2.xor1.layer1.nand" + ], + "stage5.sub.fa2.xor2.layer1.or": [ + "stage5.sub.fa2.xor1.layer2", + "stage5.sub.fa1.or_carry" + ], + "stage5.sub.fa2.xor2.layer1.nand": [ + "stage5.sub.fa2.xor1.layer2", + "stage5.sub.fa1.or_carry" + ], + "stage5.sub.fa2.xor2.layer2": [ + "stage5.sub.fa2.xor2.layer1.or", + "stage5.sub.fa2.xor2.layer1.nand" + ], + "stage5.sub.fa2.and1": [ + "stage5.shift.bit2", + "stage5.sub.notd2" + ], + "stage5.sub.fa2.and2": [ + "stage5.sub.fa2.xor1.layer2", + "stage5.sub.fa1.or_carry" + ], + "stage5.sub.fa2.or_carry": [ + "stage5.sub.fa2.and1", + "stage5.sub.fa2.and2" + ], + "stage5.sub.fa3.xor1.layer1.or": [ + "stage5.shift.bit3", + "stage5.sub.notd3" + ], + "stage5.sub.fa3.xor1.layer1.nand": [ + "stage5.shift.bit3", + "stage5.sub.notd3" + ], + "stage5.sub.fa3.xor1.layer2": [ + "stage5.sub.fa3.xor1.layer1.or", + "stage5.sub.fa3.xor1.layer1.nand" + ], + "stage5.sub.fa3.xor2.layer1.or": [ + "stage5.sub.fa3.xor1.layer2", + "stage5.sub.fa2.or_carry" + ], + "stage5.sub.fa3.xor2.layer1.nand": [ + "stage5.sub.fa3.xor1.layer2", + "stage5.sub.fa2.or_carry" + ], + "stage5.sub.fa3.xor2.layer2": [ + "stage5.sub.fa3.xor2.layer1.or", + "stage5.sub.fa3.xor2.layer1.nand" + ], + "stage5.sub.fa3.and1": [ + "stage5.shift.bit3", + "stage5.sub.notd3" + ], + "stage5.sub.fa3.and2": [ + "stage5.sub.fa3.xor1.layer2", + "stage5.sub.fa2.or_carry" + ], + "stage5.sub.fa3.or_carry": [ + "stage5.sub.fa3.and1", + "stage5.sub.fa3.and2" + ], + "stage5.sub.fa4.xor1.layer1.or": [ + "stage5.shift.bit4", + "stage5.sub.notd4" + ], + "stage5.sub.fa4.xor1.layer1.nand": [ + "stage5.shift.bit4", + "stage5.sub.notd4" + ], + "stage5.sub.fa4.xor1.layer2": [ + "stage5.sub.fa4.xor1.layer1.or", + "stage5.sub.fa4.xor1.layer1.nand" + ], + "stage5.sub.fa4.xor2.layer1.or": [ + "stage5.sub.fa4.xor1.layer2", + "stage5.sub.fa3.or_carry" + ], + "stage5.sub.fa4.xor2.layer1.nand": [ + "stage5.sub.fa4.xor1.layer2", + "stage5.sub.fa3.or_carry" + ], + "stage5.sub.fa4.xor2.layer2": [ + "stage5.sub.fa4.xor2.layer1.or", + "stage5.sub.fa4.xor2.layer1.nand" + ], + "stage5.sub.fa4.and1": [ + "stage5.shift.bit4", + "stage5.sub.notd4" + ], + "stage5.sub.fa4.and2": [ + "stage5.sub.fa4.xor1.layer2", + "stage5.sub.fa3.or_carry" + ], + "stage5.sub.fa4.or_carry": [ + "stage5.sub.fa4.and1", + "stage5.sub.fa4.and2" + ], + "stage5.sub.fa5.xor1.layer1.or": [ + "stage5.shift.bit5", + "stage5.sub.notd5" + ], + "stage5.sub.fa5.xor1.layer1.nand": [ + "stage5.shift.bit5", + "stage5.sub.notd5" + ], + "stage5.sub.fa5.xor1.layer2": [ + "stage5.sub.fa5.xor1.layer1.or", + "stage5.sub.fa5.xor1.layer1.nand" + ], + "stage5.sub.fa5.xor2.layer1.or": [ + "stage5.sub.fa5.xor1.layer2", + "stage5.sub.fa4.or_carry" + ], + "stage5.sub.fa5.xor2.layer1.nand": [ + "stage5.sub.fa5.xor1.layer2", + "stage5.sub.fa4.or_carry" + ], + "stage5.sub.fa5.xor2.layer2": [ + "stage5.sub.fa5.xor2.layer1.or", + "stage5.sub.fa5.xor2.layer1.nand" + ], + "stage5.sub.fa5.and1": [ + "stage5.shift.bit5", + "stage5.sub.notd5" + ], + "stage5.sub.fa5.and2": [ + "stage5.sub.fa5.xor1.layer2", + "stage5.sub.fa4.or_carry" + ], + "stage5.sub.fa5.or_carry": [ + "stage5.sub.fa5.and1", + "stage5.sub.fa5.and2" + ], + "stage5.sub.fa6.xor1.layer1.or": [ + "stage5.shift.bit6", + "stage5.sub.notd6" + ], + "stage5.sub.fa6.xor1.layer1.nand": [ + "stage5.shift.bit6", + "stage5.sub.notd6" + ], + "stage5.sub.fa6.xor1.layer2": [ + "stage5.sub.fa6.xor1.layer1.or", + "stage5.sub.fa6.xor1.layer1.nand" + ], + "stage5.sub.fa6.xor2.layer1.or": [ + "stage5.sub.fa6.xor1.layer2", + "stage5.sub.fa5.or_carry" + ], + "stage5.sub.fa6.xor2.layer1.nand": [ + "stage5.sub.fa6.xor1.layer2", + "stage5.sub.fa5.or_carry" + ], + "stage5.sub.fa6.xor2.layer2": [ + "stage5.sub.fa6.xor2.layer1.or", + "stage5.sub.fa6.xor2.layer1.nand" + ], + "stage5.sub.fa6.and1": [ + "stage5.shift.bit6", + "stage5.sub.notd6" + ], + "stage5.sub.fa6.and2": [ + "stage5.sub.fa6.xor1.layer2", + "stage5.sub.fa5.or_carry" + ], + "stage5.sub.fa6.or_carry": [ + "stage5.sub.fa6.and1", + "stage5.sub.fa6.and2" + ], + "stage5.sub.fa7.xor1.layer1.or": [ + "stage5.shift.bit7", + "stage5.sub.notd7" + ], + "stage5.sub.fa7.xor1.layer1.nand": [ + "stage5.shift.bit7", + "stage5.sub.notd7" + ], + "stage5.sub.fa7.xor1.layer2": [ + "stage5.sub.fa7.xor1.layer1.or", + "stage5.sub.fa7.xor1.layer1.nand" + ], + "stage5.sub.fa7.xor2.layer1.or": [ + "stage5.sub.fa7.xor1.layer2", + "stage5.sub.fa6.or_carry" + ], + "stage5.sub.fa7.xor2.layer1.nand": [ + "stage5.sub.fa7.xor1.layer2", + "stage5.sub.fa6.or_carry" + ], + "stage5.sub.fa7.xor2.layer2": [ + "stage5.sub.fa7.xor2.layer1.or", + "stage5.sub.fa7.xor2.layer1.nand" + ], + "stage5.sub.fa7.and1": [ + "stage5.shift.bit7", + "stage5.sub.notd7" + ], + "stage5.sub.fa7.and2": [ + "stage5.sub.fa7.xor1.layer2", + "stage5.sub.fa6.or_carry" + ], + "stage5.sub.fa7.or_carry": [ + "stage5.sub.fa7.and1", + "stage5.sub.fa7.and2" + ], + "stage5.cmp": [ + "stage5.sub.fa7.or_carry" + ], + "stage5.or_dividend": [ + "stage5.shift.bit7", + "$dividend[2]" + ], + "stage5.mux0.not_sel": [ + "stage5.cmp" + ], + "stage5.mux0.and0": [ + "stage5.shift.bit0", + "stage5.mux0.not_sel" + ], + "stage5.mux0.and1": [ + "stage5.sub.fa0.xor2.layer2", + "stage5.cmp" + ], + "stage5.mux0.or": [ + "stage5.mux0.and0", + "stage5.mux0.and1" + ], + "stage5.mux1.not_sel": [ + "stage5.cmp" + ], + "stage5.mux1.and0": [ + "stage5.shift.bit1", + "stage5.mux1.not_sel" + ], + "stage5.mux1.and1": [ + "stage5.sub.fa1.xor2.layer2", + "stage5.cmp" + ], + "stage5.mux1.or": [ + "stage5.mux1.and0", + "stage5.mux1.and1" + ], + "stage5.mux2.not_sel": [ + "stage5.cmp" + ], + "stage5.mux2.and0": [ + "stage5.shift.bit2", + "stage5.mux2.not_sel" + ], + "stage5.mux2.and1": [ + "stage5.sub.fa2.xor2.layer2", + "stage5.cmp" + ], + "stage5.mux2.or": [ + "stage5.mux2.and0", + "stage5.mux2.and1" + ], + "stage5.mux3.not_sel": [ + "stage5.cmp" + ], + "stage5.mux3.and0": [ + "stage5.shift.bit3", + "stage5.mux3.not_sel" + ], + "stage5.mux3.and1": [ + "stage5.sub.fa3.xor2.layer2", + "stage5.cmp" + ], + "stage5.mux3.or": [ + "stage5.mux3.and0", + "stage5.mux3.and1" + ], + "stage5.mux4.not_sel": [ + "stage5.cmp" + ], + "stage5.mux4.and0": [ + "stage5.shift.bit4", + "stage5.mux4.not_sel" + ], + "stage5.mux4.and1": [ + "stage5.sub.fa4.xor2.layer2", + "stage5.cmp" + ], + "stage5.mux4.or": [ + "stage5.mux4.and0", + "stage5.mux4.and1" + ], + "stage5.mux5.not_sel": [ + "stage5.cmp" + ], + "stage5.mux5.and0": [ + "stage5.shift.bit5", + "stage5.mux5.not_sel" + ], + "stage5.mux5.and1": [ + "stage5.sub.fa5.xor2.layer2", + "stage5.cmp" + ], + "stage5.mux5.or": [ + "stage5.mux5.and0", + "stage5.mux5.and1" + ], + "stage5.mux6.not_sel": [ + "stage5.cmp" + ], + "stage5.mux6.and0": [ + "stage5.shift.bit6", + "stage5.mux6.not_sel" + ], + "stage5.mux6.and1": [ + "stage5.sub.fa6.xor2.layer2", + "stage5.cmp" + ], + "stage5.mux6.or": [ + "stage5.mux6.and0", + "stage5.mux6.and1" + ], + "stage5.mux7.not_sel": [ + "stage5.cmp" + ], + "stage5.mux7.and0": [ + "stage5.shift.bit7", + "stage5.mux7.not_sel" + ], + "stage5.mux7.and1": [ + "stage5.sub.fa7.xor2.layer2", + "stage5.cmp" + ], + "stage5.mux7.or": [ + "stage5.mux7.and0", + "stage5.mux7.and1" + ], + "stage6.shift.bit0": [ + "$dividend[1]" + ], + "stage6.shift.bit1": [ + "stage5.mux0.or" + ], + "stage6.shift.bit2": [ + "stage5.mux1.or" + ], + "stage6.shift.bit3": [ + "stage5.mux2.or" + ], + "stage6.shift.bit4": [ + "stage5.mux3.or" + ], + "stage6.shift.bit5": [ + "stage5.mux4.or" + ], + "stage6.shift.bit6": [ + "stage5.mux5.or" + ], + "stage6.shift.bit7": [ + "stage5.mux6.or" + ], + "stage6.sub.notd0": [ + "$divisor[0]" + ], + "stage6.sub.notd1": [ + "$divisor[1]" + ], + "stage6.sub.notd2": [ + "$divisor[2]" + ], + "stage6.sub.notd3": [ + "$divisor[3]" + ], + "stage6.sub.notd4": [ + "$divisor[4]" + ], + "stage6.sub.notd5": [ + "$divisor[5]" + ], + "stage6.sub.notd6": [ + "$divisor[6]" + ], + "stage6.sub.notd7": [ + "$divisor[7]" + ], + "stage6.sub.fa0.xor1.layer1.or": [ + "stage6.shift.bit0", + "stage6.sub.notd0" + ], + "stage6.sub.fa0.xor1.layer1.nand": [ + "stage6.shift.bit0", + "stage6.sub.notd0" + ], + "stage6.sub.fa0.xor1.layer2": [ + "stage6.sub.fa0.xor1.layer1.or", + "stage6.sub.fa0.xor1.layer1.nand" + ], + "stage6.sub.fa0.xor2.layer1.or": [ + "stage6.sub.fa0.xor1.layer2", + "#1" + ], + "stage6.sub.fa0.xor2.layer1.nand": [ + "stage6.sub.fa0.xor1.layer2", + "#1" + ], + "stage6.sub.fa0.xor2.layer2": [ + "stage6.sub.fa0.xor2.layer1.or", + "stage6.sub.fa0.xor2.layer1.nand" + ], + "stage6.sub.fa0.and1": [ + "stage6.shift.bit0", + "stage6.sub.notd0" + ], + "stage6.sub.fa0.and2": [ + "stage6.sub.fa0.xor1.layer2", + "#1" + ], + "stage6.sub.fa0.or_carry": [ + "stage6.sub.fa0.and1", + "stage6.sub.fa0.and2" + ], + "stage6.sub.fa1.xor1.layer1.or": [ + "stage6.shift.bit1", + "stage6.sub.notd1" + ], + "stage6.sub.fa1.xor1.layer1.nand": [ + "stage6.shift.bit1", + "stage6.sub.notd1" + ], + "stage6.sub.fa1.xor1.layer2": [ + "stage6.sub.fa1.xor1.layer1.or", + "stage6.sub.fa1.xor1.layer1.nand" + ], + "stage6.sub.fa1.xor2.layer1.or": [ + "stage6.sub.fa1.xor1.layer2", + "stage6.sub.fa0.or_carry" + ], + "stage6.sub.fa1.xor2.layer1.nand": [ + "stage6.sub.fa1.xor1.layer2", + "stage6.sub.fa0.or_carry" + ], + "stage6.sub.fa1.xor2.layer2": [ + "stage6.sub.fa1.xor2.layer1.or", + "stage6.sub.fa1.xor2.layer1.nand" + ], + "stage6.sub.fa1.and1": [ + "stage6.shift.bit1", + "stage6.sub.notd1" + ], + "stage6.sub.fa1.and2": [ + "stage6.sub.fa1.xor1.layer2", + "stage6.sub.fa0.or_carry" + ], + "stage6.sub.fa1.or_carry": [ + "stage6.sub.fa1.and1", + "stage6.sub.fa1.and2" + ], + "stage6.sub.fa2.xor1.layer1.or": [ + "stage6.shift.bit2", + "stage6.sub.notd2" + ], + "stage6.sub.fa2.xor1.layer1.nand": [ + "stage6.shift.bit2", + "stage6.sub.notd2" + ], + "stage6.sub.fa2.xor1.layer2": [ + "stage6.sub.fa2.xor1.layer1.or", + "stage6.sub.fa2.xor1.layer1.nand" + ], + "stage6.sub.fa2.xor2.layer1.or": [ + "stage6.sub.fa2.xor1.layer2", + "stage6.sub.fa1.or_carry" + ], + "stage6.sub.fa2.xor2.layer1.nand": [ + "stage6.sub.fa2.xor1.layer2", + "stage6.sub.fa1.or_carry" + ], + "stage6.sub.fa2.xor2.layer2": [ + "stage6.sub.fa2.xor2.layer1.or", + "stage6.sub.fa2.xor2.layer1.nand" + ], + "stage6.sub.fa2.and1": [ + "stage6.shift.bit2", + "stage6.sub.notd2" + ], + "stage6.sub.fa2.and2": [ + "stage6.sub.fa2.xor1.layer2", + "stage6.sub.fa1.or_carry" + ], + "stage6.sub.fa2.or_carry": [ + "stage6.sub.fa2.and1", + "stage6.sub.fa2.and2" + ], + "stage6.sub.fa3.xor1.layer1.or": [ + "stage6.shift.bit3", + "stage6.sub.notd3" + ], + "stage6.sub.fa3.xor1.layer1.nand": [ + "stage6.shift.bit3", + "stage6.sub.notd3" + ], + "stage6.sub.fa3.xor1.layer2": [ + "stage6.sub.fa3.xor1.layer1.or", + "stage6.sub.fa3.xor1.layer1.nand" + ], + "stage6.sub.fa3.xor2.layer1.or": [ + "stage6.sub.fa3.xor1.layer2", + "stage6.sub.fa2.or_carry" + ], + "stage6.sub.fa3.xor2.layer1.nand": [ + "stage6.sub.fa3.xor1.layer2", + "stage6.sub.fa2.or_carry" + ], + "stage6.sub.fa3.xor2.layer2": [ + "stage6.sub.fa3.xor2.layer1.or", + "stage6.sub.fa3.xor2.layer1.nand" + ], + "stage6.sub.fa3.and1": [ + "stage6.shift.bit3", + "stage6.sub.notd3" + ], + "stage6.sub.fa3.and2": [ + "stage6.sub.fa3.xor1.layer2", + "stage6.sub.fa2.or_carry" + ], + "stage6.sub.fa3.or_carry": [ + "stage6.sub.fa3.and1", + "stage6.sub.fa3.and2" + ], + "stage6.sub.fa4.xor1.layer1.or": [ + "stage6.shift.bit4", + "stage6.sub.notd4" + ], + "stage6.sub.fa4.xor1.layer1.nand": [ + "stage6.shift.bit4", + "stage6.sub.notd4" + ], + "stage6.sub.fa4.xor1.layer2": [ + "stage6.sub.fa4.xor1.layer1.or", + "stage6.sub.fa4.xor1.layer1.nand" + ], + "stage6.sub.fa4.xor2.layer1.or": [ + "stage6.sub.fa4.xor1.layer2", + "stage6.sub.fa3.or_carry" + ], + "stage6.sub.fa4.xor2.layer1.nand": [ + "stage6.sub.fa4.xor1.layer2", + "stage6.sub.fa3.or_carry" + ], + "stage6.sub.fa4.xor2.layer2": [ + "stage6.sub.fa4.xor2.layer1.or", + "stage6.sub.fa4.xor2.layer1.nand" + ], + "stage6.sub.fa4.and1": [ + "stage6.shift.bit4", + "stage6.sub.notd4" + ], + "stage6.sub.fa4.and2": [ + "stage6.sub.fa4.xor1.layer2", + "stage6.sub.fa3.or_carry" + ], + "stage6.sub.fa4.or_carry": [ + "stage6.sub.fa4.and1", + "stage6.sub.fa4.and2" + ], + "stage6.sub.fa5.xor1.layer1.or": [ + "stage6.shift.bit5", + "stage6.sub.notd5" + ], + "stage6.sub.fa5.xor1.layer1.nand": [ + "stage6.shift.bit5", + "stage6.sub.notd5" + ], + "stage6.sub.fa5.xor1.layer2": [ + "stage6.sub.fa5.xor1.layer1.or", + "stage6.sub.fa5.xor1.layer1.nand" + ], + "stage6.sub.fa5.xor2.layer1.or": [ + "stage6.sub.fa5.xor1.layer2", + "stage6.sub.fa4.or_carry" + ], + "stage6.sub.fa5.xor2.layer1.nand": [ + "stage6.sub.fa5.xor1.layer2", + "stage6.sub.fa4.or_carry" + ], + "stage6.sub.fa5.xor2.layer2": [ + "stage6.sub.fa5.xor2.layer1.or", + "stage6.sub.fa5.xor2.layer1.nand" + ], + "stage6.sub.fa5.and1": [ + "stage6.shift.bit5", + "stage6.sub.notd5" + ], + "stage6.sub.fa5.and2": [ + "stage6.sub.fa5.xor1.layer2", + "stage6.sub.fa4.or_carry" + ], + "stage6.sub.fa5.or_carry": [ + "stage6.sub.fa5.and1", + "stage6.sub.fa5.and2" + ], + "stage6.sub.fa6.xor1.layer1.or": [ + "stage6.shift.bit6", + "stage6.sub.notd6" + ], + "stage6.sub.fa6.xor1.layer1.nand": [ + "stage6.shift.bit6", + "stage6.sub.notd6" + ], + "stage6.sub.fa6.xor1.layer2": [ + "stage6.sub.fa6.xor1.layer1.or", + "stage6.sub.fa6.xor1.layer1.nand" + ], + "stage6.sub.fa6.xor2.layer1.or": [ + "stage6.sub.fa6.xor1.layer2", + "stage6.sub.fa5.or_carry" + ], + "stage6.sub.fa6.xor2.layer1.nand": [ + "stage6.sub.fa6.xor1.layer2", + "stage6.sub.fa5.or_carry" + ], + "stage6.sub.fa6.xor2.layer2": [ + "stage6.sub.fa6.xor2.layer1.or", + "stage6.sub.fa6.xor2.layer1.nand" + ], + "stage6.sub.fa6.and1": [ + "stage6.shift.bit6", + "stage6.sub.notd6" + ], + "stage6.sub.fa6.and2": [ + "stage6.sub.fa6.xor1.layer2", + "stage6.sub.fa5.or_carry" + ], + "stage6.sub.fa6.or_carry": [ + "stage6.sub.fa6.and1", + "stage6.sub.fa6.and2" + ], + "stage6.sub.fa7.xor1.layer1.or": [ + "stage6.shift.bit7", + "stage6.sub.notd7" + ], + "stage6.sub.fa7.xor1.layer1.nand": [ + "stage6.shift.bit7", + "stage6.sub.notd7" + ], + "stage6.sub.fa7.xor1.layer2": [ + "stage6.sub.fa7.xor1.layer1.or", + "stage6.sub.fa7.xor1.layer1.nand" + ], + "stage6.sub.fa7.xor2.layer1.or": [ + "stage6.sub.fa7.xor1.layer2", + "stage6.sub.fa6.or_carry" + ], + "stage6.sub.fa7.xor2.layer1.nand": [ + "stage6.sub.fa7.xor1.layer2", + "stage6.sub.fa6.or_carry" + ], + "stage6.sub.fa7.xor2.layer2": [ + "stage6.sub.fa7.xor2.layer1.or", + "stage6.sub.fa7.xor2.layer1.nand" + ], + "stage6.sub.fa7.and1": [ + "stage6.shift.bit7", + "stage6.sub.notd7" + ], + "stage6.sub.fa7.and2": [ + "stage6.sub.fa7.xor1.layer2", + "stage6.sub.fa6.or_carry" + ], + "stage6.sub.fa7.or_carry": [ + "stage6.sub.fa7.and1", + "stage6.sub.fa7.and2" + ], + "stage6.cmp": [ + "stage6.sub.fa7.or_carry" + ], + "stage6.or_dividend": [ + "stage6.shift.bit7", + "$dividend[1]" + ], + "stage6.mux0.not_sel": [ + "stage6.cmp" + ], + "stage6.mux0.and0": [ + "stage6.shift.bit0", + "stage6.mux0.not_sel" + ], + "stage6.mux0.and1": [ + "stage6.sub.fa0.xor2.layer2", + "stage6.cmp" + ], + "stage6.mux0.or": [ + "stage6.mux0.and0", + "stage6.mux0.and1" + ], + "stage6.mux1.not_sel": [ + "stage6.cmp" + ], + "stage6.mux1.and0": [ + "stage6.shift.bit1", + "stage6.mux1.not_sel" + ], + "stage6.mux1.and1": [ + "stage6.sub.fa1.xor2.layer2", + "stage6.cmp" + ], + "stage6.mux1.or": [ + "stage6.mux1.and0", + "stage6.mux1.and1" + ], + "stage6.mux2.not_sel": [ + "stage6.cmp" + ], + "stage6.mux2.and0": [ + "stage6.shift.bit2", + "stage6.mux2.not_sel" + ], + "stage6.mux2.and1": [ + "stage6.sub.fa2.xor2.layer2", + "stage6.cmp" + ], + "stage6.mux2.or": [ + "stage6.mux2.and0", + "stage6.mux2.and1" + ], + "stage6.mux3.not_sel": [ + "stage6.cmp" + ], + "stage6.mux3.and0": [ + "stage6.shift.bit3", + "stage6.mux3.not_sel" + ], + "stage6.mux3.and1": [ + "stage6.sub.fa3.xor2.layer2", + "stage6.cmp" + ], + "stage6.mux3.or": [ + "stage6.mux3.and0", + "stage6.mux3.and1" + ], + "stage6.mux4.not_sel": [ + "stage6.cmp" + ], + "stage6.mux4.and0": [ + "stage6.shift.bit4", + "stage6.mux4.not_sel" + ], + "stage6.mux4.and1": [ + "stage6.sub.fa4.xor2.layer2", + "stage6.cmp" + ], + "stage6.mux4.or": [ + "stage6.mux4.and0", + "stage6.mux4.and1" + ], + "stage6.mux5.not_sel": [ + "stage6.cmp" + ], + "stage6.mux5.and0": [ + "stage6.shift.bit5", + "stage6.mux5.not_sel" + ], + "stage6.mux5.and1": [ + "stage6.sub.fa5.xor2.layer2", + "stage6.cmp" + ], + "stage6.mux5.or": [ + "stage6.mux5.and0", + "stage6.mux5.and1" + ], + "stage6.mux6.not_sel": [ + "stage6.cmp" + ], + "stage6.mux6.and0": [ + "stage6.shift.bit6", + "stage6.mux6.not_sel" + ], + "stage6.mux6.and1": [ + "stage6.sub.fa6.xor2.layer2", + "stage6.cmp" + ], + "stage6.mux6.or": [ + "stage6.mux6.and0", + "stage6.mux6.and1" + ], + "stage6.mux7.not_sel": [ + "stage6.cmp" + ], + "stage6.mux7.and0": [ + "stage6.shift.bit7", + "stage6.mux7.not_sel" + ], + "stage6.mux7.and1": [ + "stage6.sub.fa7.xor2.layer2", + "stage6.cmp" + ], + "stage6.mux7.or": [ + "stage6.mux7.and0", + "stage6.mux7.and1" + ], + "stage7.shift.bit0": [ + "$dividend[0]" + ], + "stage7.shift.bit1": [ + "stage6.mux0.or" + ], + "stage7.shift.bit2": [ + "stage6.mux1.or" + ], + "stage7.shift.bit3": [ + "stage6.mux2.or" + ], + "stage7.shift.bit4": [ + "stage6.mux3.or" + ], + "stage7.shift.bit5": [ + "stage6.mux4.or" + ], + "stage7.shift.bit6": [ + "stage6.mux5.or" + ], + "stage7.shift.bit7": [ + "stage6.mux6.or" + ], + "stage7.sub.notd0": [ + "$divisor[0]" + ], + "stage7.sub.notd1": [ + "$divisor[1]" + ], + "stage7.sub.notd2": [ + "$divisor[2]" + ], + "stage7.sub.notd3": [ + "$divisor[3]" + ], + "stage7.sub.notd4": [ + "$divisor[4]" + ], + "stage7.sub.notd5": [ + "$divisor[5]" + ], + "stage7.sub.notd6": [ + "$divisor[6]" + ], + "stage7.sub.notd7": [ + "$divisor[7]" + ], + "stage7.sub.fa0.xor1.layer1.or": [ + "stage7.shift.bit0", + "stage7.sub.notd0" + ], + "stage7.sub.fa0.xor1.layer1.nand": [ + "stage7.shift.bit0", + "stage7.sub.notd0" + ], + "stage7.sub.fa0.xor1.layer2": [ + "stage7.sub.fa0.xor1.layer1.or", + "stage7.sub.fa0.xor1.layer1.nand" + ], + "stage7.sub.fa0.xor2.layer1.or": [ + "stage7.sub.fa0.xor1.layer2", + "#1" + ], + "stage7.sub.fa0.xor2.layer1.nand": [ + "stage7.sub.fa0.xor1.layer2", + "#1" + ], + "stage7.sub.fa0.xor2.layer2": [ + "stage7.sub.fa0.xor2.layer1.or", + "stage7.sub.fa0.xor2.layer1.nand" + ], + "stage7.sub.fa0.and1": [ + "stage7.shift.bit0", + "stage7.sub.notd0" + ], + "stage7.sub.fa0.and2": [ + "stage7.sub.fa0.xor1.layer2", + "#1" + ], + "stage7.sub.fa0.or_carry": [ + "stage7.sub.fa0.and1", + "stage7.sub.fa0.and2" + ], + "stage7.sub.fa1.xor1.layer1.or": [ + "stage7.shift.bit1", + "stage7.sub.notd1" + ], + "stage7.sub.fa1.xor1.layer1.nand": [ + "stage7.shift.bit1", + "stage7.sub.notd1" + ], + "stage7.sub.fa1.xor1.layer2": [ + "stage7.sub.fa1.xor1.layer1.or", + "stage7.sub.fa1.xor1.layer1.nand" + ], + "stage7.sub.fa1.xor2.layer1.or": [ + "stage7.sub.fa1.xor1.layer2", + "stage7.sub.fa0.or_carry" + ], + "stage7.sub.fa1.xor2.layer1.nand": [ + "stage7.sub.fa1.xor1.layer2", + "stage7.sub.fa0.or_carry" + ], + "stage7.sub.fa1.xor2.layer2": [ + "stage7.sub.fa1.xor2.layer1.or", + "stage7.sub.fa1.xor2.layer1.nand" + ], + "stage7.sub.fa1.and1": [ + "stage7.shift.bit1", + "stage7.sub.notd1" + ], + "stage7.sub.fa1.and2": [ + "stage7.sub.fa1.xor1.layer2", + "stage7.sub.fa0.or_carry" + ], + "stage7.sub.fa1.or_carry": [ + "stage7.sub.fa1.and1", + "stage7.sub.fa1.and2" + ], + "stage7.sub.fa2.xor1.layer1.or": [ + "stage7.shift.bit2", + "stage7.sub.notd2" + ], + "stage7.sub.fa2.xor1.layer1.nand": [ + "stage7.shift.bit2", + "stage7.sub.notd2" + ], + "stage7.sub.fa2.xor1.layer2": [ + "stage7.sub.fa2.xor1.layer1.or", + "stage7.sub.fa2.xor1.layer1.nand" + ], + "stage7.sub.fa2.xor2.layer1.or": [ + "stage7.sub.fa2.xor1.layer2", + "stage7.sub.fa1.or_carry" + ], + "stage7.sub.fa2.xor2.layer1.nand": [ + "stage7.sub.fa2.xor1.layer2", + "stage7.sub.fa1.or_carry" + ], + "stage7.sub.fa2.xor2.layer2": [ + "stage7.sub.fa2.xor2.layer1.or", + "stage7.sub.fa2.xor2.layer1.nand" + ], + "stage7.sub.fa2.and1": [ + "stage7.shift.bit2", + "stage7.sub.notd2" + ], + "stage7.sub.fa2.and2": [ + "stage7.sub.fa2.xor1.layer2", + "stage7.sub.fa1.or_carry" + ], + "stage7.sub.fa2.or_carry": [ + "stage7.sub.fa2.and1", + "stage7.sub.fa2.and2" + ], + "stage7.sub.fa3.xor1.layer1.or": [ + "stage7.shift.bit3", + "stage7.sub.notd3" + ], + "stage7.sub.fa3.xor1.layer1.nand": [ + "stage7.shift.bit3", + "stage7.sub.notd3" + ], + "stage7.sub.fa3.xor1.layer2": [ + "stage7.sub.fa3.xor1.layer1.or", + "stage7.sub.fa3.xor1.layer1.nand" + ], + "stage7.sub.fa3.xor2.layer1.or": [ + "stage7.sub.fa3.xor1.layer2", + "stage7.sub.fa2.or_carry" + ], + "stage7.sub.fa3.xor2.layer1.nand": [ + "stage7.sub.fa3.xor1.layer2", + "stage7.sub.fa2.or_carry" + ], + "stage7.sub.fa3.xor2.layer2": [ + "stage7.sub.fa3.xor2.layer1.or", + "stage7.sub.fa3.xor2.layer1.nand" + ], + "stage7.sub.fa3.and1": [ + "stage7.shift.bit3", + "stage7.sub.notd3" + ], + "stage7.sub.fa3.and2": [ + "stage7.sub.fa3.xor1.layer2", + "stage7.sub.fa2.or_carry" + ], + "stage7.sub.fa3.or_carry": [ + "stage7.sub.fa3.and1", + "stage7.sub.fa3.and2" + ], + "stage7.sub.fa4.xor1.layer1.or": [ + "stage7.shift.bit4", + "stage7.sub.notd4" + ], + "stage7.sub.fa4.xor1.layer1.nand": [ + "stage7.shift.bit4", + "stage7.sub.notd4" + ], + "stage7.sub.fa4.xor1.layer2": [ + "stage7.sub.fa4.xor1.layer1.or", + "stage7.sub.fa4.xor1.layer1.nand" + ], + "stage7.sub.fa4.xor2.layer1.or": [ + "stage7.sub.fa4.xor1.layer2", + "stage7.sub.fa3.or_carry" + ], + "stage7.sub.fa4.xor2.layer1.nand": [ + "stage7.sub.fa4.xor1.layer2", + "stage7.sub.fa3.or_carry" + ], + "stage7.sub.fa4.xor2.layer2": [ + "stage7.sub.fa4.xor2.layer1.or", + "stage7.sub.fa4.xor2.layer1.nand" + ], + "stage7.sub.fa4.and1": [ + "stage7.shift.bit4", + "stage7.sub.notd4" + ], + "stage7.sub.fa4.and2": [ + "stage7.sub.fa4.xor1.layer2", + "stage7.sub.fa3.or_carry" + ], + "stage7.sub.fa4.or_carry": [ + "stage7.sub.fa4.and1", + "stage7.sub.fa4.and2" + ], + "stage7.sub.fa5.xor1.layer1.or": [ + "stage7.shift.bit5", + "stage7.sub.notd5" + ], + "stage7.sub.fa5.xor1.layer1.nand": [ + "stage7.shift.bit5", + "stage7.sub.notd5" + ], + "stage7.sub.fa5.xor1.layer2": [ + "stage7.sub.fa5.xor1.layer1.or", + "stage7.sub.fa5.xor1.layer1.nand" + ], + "stage7.sub.fa5.xor2.layer1.or": [ + "stage7.sub.fa5.xor1.layer2", + "stage7.sub.fa4.or_carry" + ], + "stage7.sub.fa5.xor2.layer1.nand": [ + "stage7.sub.fa5.xor1.layer2", + "stage7.sub.fa4.or_carry" + ], + "stage7.sub.fa5.xor2.layer2": [ + "stage7.sub.fa5.xor2.layer1.or", + "stage7.sub.fa5.xor2.layer1.nand" + ], + "stage7.sub.fa5.and1": [ + "stage7.shift.bit5", + "stage7.sub.notd5" + ], + "stage7.sub.fa5.and2": [ + "stage7.sub.fa5.xor1.layer2", + "stage7.sub.fa4.or_carry" + ], + "stage7.sub.fa5.or_carry": [ + "stage7.sub.fa5.and1", + "stage7.sub.fa5.and2" + ], + "stage7.sub.fa6.xor1.layer1.or": [ + "stage7.shift.bit6", + "stage7.sub.notd6" + ], + "stage7.sub.fa6.xor1.layer1.nand": [ + "stage7.shift.bit6", + "stage7.sub.notd6" + ], + "stage7.sub.fa6.xor1.layer2": [ + "stage7.sub.fa6.xor1.layer1.or", + "stage7.sub.fa6.xor1.layer1.nand" + ], + "stage7.sub.fa6.xor2.layer1.or": [ + "stage7.sub.fa6.xor1.layer2", + "stage7.sub.fa5.or_carry" + ], + "stage7.sub.fa6.xor2.layer1.nand": [ + "stage7.sub.fa6.xor1.layer2", + "stage7.sub.fa5.or_carry" + ], + "stage7.sub.fa6.xor2.layer2": [ + "stage7.sub.fa6.xor2.layer1.or", + "stage7.sub.fa6.xor2.layer1.nand" + ], + "stage7.sub.fa6.and1": [ + "stage7.shift.bit6", + "stage7.sub.notd6" + ], + "stage7.sub.fa6.and2": [ + "stage7.sub.fa6.xor1.layer2", + "stage7.sub.fa5.or_carry" + ], + "stage7.sub.fa6.or_carry": [ + "stage7.sub.fa6.and1", + "stage7.sub.fa6.and2" + ], + "stage7.sub.fa7.xor1.layer1.or": [ + "stage7.shift.bit7", + "stage7.sub.notd7" + ], + "stage7.sub.fa7.xor1.layer1.nand": [ + "stage7.shift.bit7", + "stage7.sub.notd7" + ], + "stage7.sub.fa7.xor1.layer2": [ + "stage7.sub.fa7.xor1.layer1.or", + "stage7.sub.fa7.xor1.layer1.nand" + ], + "stage7.sub.fa7.xor2.layer1.or": [ + "stage7.sub.fa7.xor1.layer2", + "stage7.sub.fa6.or_carry" + ], + "stage7.sub.fa7.xor2.layer1.nand": [ + "stage7.sub.fa7.xor1.layer2", + "stage7.sub.fa6.or_carry" + ], + "stage7.sub.fa7.xor2.layer2": [ + "stage7.sub.fa7.xor2.layer1.or", + "stage7.sub.fa7.xor2.layer1.nand" + ], + "stage7.sub.fa7.and1": [ + "stage7.shift.bit7", + "stage7.sub.notd7" + ], + "stage7.sub.fa7.and2": [ + "stage7.sub.fa7.xor1.layer2", + "stage7.sub.fa6.or_carry" + ], + "stage7.sub.fa7.or_carry": [ + "stage7.sub.fa7.and1", + "stage7.sub.fa7.and2" + ], + "stage7.cmp": [ + "stage7.sub.fa7.or_carry" + ], + "stage7.or_dividend": [ + "stage7.shift.bit7", + "$dividend[0]" + ], + "stage7.mux0.not_sel": [ + "stage7.cmp" + ], + "stage7.mux0.and0": [ + "stage7.shift.bit0", + "stage7.mux0.not_sel" + ], + "stage7.mux0.and1": [ + "stage7.sub.fa0.xor2.layer2", + "stage7.cmp" + ], + "stage7.mux0.or": [ + "stage7.mux0.and0", + "stage7.mux0.and1" + ], + "stage7.mux1.not_sel": [ + "stage7.cmp" + ], + "stage7.mux1.and0": [ + "stage7.shift.bit1", + "stage7.mux1.not_sel" + ], + "stage7.mux1.and1": [ + "stage7.sub.fa1.xor2.layer2", + "stage7.cmp" + ], + "stage7.mux1.or": [ + "stage7.mux1.and0", + "stage7.mux1.and1" + ], + "stage7.mux2.not_sel": [ + "stage7.cmp" + ], + "stage7.mux2.and0": [ + "stage7.shift.bit2", + "stage7.mux2.not_sel" + ], + "stage7.mux2.and1": [ + "stage7.sub.fa2.xor2.layer2", + "stage7.cmp" + ], + "stage7.mux2.or": [ + "stage7.mux2.and0", + "stage7.mux2.and1" + ], + "stage7.mux3.not_sel": [ + "stage7.cmp" + ], + "stage7.mux3.and0": [ + "stage7.shift.bit3", + "stage7.mux3.not_sel" + ], + "stage7.mux3.and1": [ + "stage7.sub.fa3.xor2.layer2", + "stage7.cmp" + ], + "stage7.mux3.or": [ + "stage7.mux3.and0", + "stage7.mux3.and1" + ], + "stage7.mux4.not_sel": [ + "stage7.cmp" + ], + "stage7.mux4.and0": [ + "stage7.shift.bit4", + "stage7.mux4.not_sel" + ], + "stage7.mux4.and1": [ + "stage7.sub.fa4.xor2.layer2", + "stage7.cmp" + ], + "stage7.mux4.or": [ + "stage7.mux4.and0", + "stage7.mux4.and1" + ], + "stage7.mux5.not_sel": [ + "stage7.cmp" + ], + "stage7.mux5.and0": [ + "stage7.shift.bit5", + "stage7.mux5.not_sel" + ], + "stage7.mux5.and1": [ + "stage7.sub.fa5.xor2.layer2", + "stage7.cmp" + ], + "stage7.mux5.or": [ + "stage7.mux5.and0", + "stage7.mux5.and1" + ], + "stage7.mux6.not_sel": [ + "stage7.cmp" + ], + "stage7.mux6.and0": [ + "stage7.shift.bit6", + "stage7.mux6.not_sel" + ], + "stage7.mux6.and1": [ + "stage7.sub.fa6.xor2.layer2", + "stage7.cmp" + ], + "stage7.mux6.or": [ + "stage7.mux6.and0", + "stage7.mux6.and1" + ], + "stage7.mux7.not_sel": [ + "stage7.cmp" + ], + "stage7.mux7.and0": [ + "stage7.shift.bit7", + "stage7.mux7.not_sel" + ], + "stage7.mux7.and1": [ + "stage7.sub.fa7.xor2.layer2", + "stage7.cmp" + ], + "stage7.mux7.or": [ + "stage7.mux7.and0", + "stage7.mux7.and1" + ], + "quotient0": [ + "stage0.cmp" + ], + "quotient1": [ + "stage1.cmp" + ], + "quotient2": [ + "stage2.cmp" + ], + "quotient3": [ + "stage3.cmp" + ], + "quotient4": [ + "stage4.cmp" + ], + "quotient5": [ + "stage5.cmp" + ], + "quotient6": [ + "stage6.cmp" + ], + "quotient7": [ + "stage7.cmp" + ], + "remainder0": [ + "stage7.mux0.or" + ], + "remainder1": [ + "stage7.mux1.or" + ], + "remainder2": [ + "stage7.mux2.or" + ], + "remainder3": [ + "stage7.mux3.or" + ], + "remainder4": [ + "stage7.mux4.or" + ], + "remainder5": [ + "stage7.mux5.or" + ], + "remainder6": [ + "stage7.mux6.or" + ], + "remainder7": [ + "stage7.mux7.or" + ] + }, + "outputs": { + "quotient[0]": "quotient0", + "quotient[1]": "quotient1", + "quotient[2]": "quotient2", + "quotient[3]": "quotient3", + "quotient[4]": "quotient4", + "quotient[5]": "quotient5", + "quotient[6]": "quotient6", + "quotient[7]": "quotient7", + "remainder[0]": "remainder0", + "remainder[1]": "remainder1", + "remainder[2]": "remainder2", + "remainder[3]": "remainder3", + "remainder[4]": "remainder4", + "remainder[5]": "remainder5", + "remainder[6]": "remainder6", + "remainder[7]": "remainder7" + } + }, + "threshold.oneoutof8": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0]", + "$x[1]", + "$x[2]", + "$x[3]", + "$x[4]", + "$x[5]", + "$x[6]", + "$x[7]" + ] + } + }, + "threshold.twooutof8": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0]", + "$x[1]", + "$x[2]", + "$x[3]", + "$x[4]", + "$x[5]", + "$x[6]", + "$x[7]" + ] + } + }, + "threshold.threeoutof8": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0]", + "$x[1]", + "$x[2]", + "$x[3]", + "$x[4]", + "$x[5]", + "$x[6]", + "$x[7]" + ] + } + }, + "threshold.fouroutof8": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0]", + "$x[1]", + "$x[2]", + "$x[3]", + "$x[4]", + "$x[5]", + "$x[6]", + "$x[7]" + ] + } + }, + "threshold.fiveoutof8": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0]", + "$x[1]", + "$x[2]", + "$x[3]", + "$x[4]", + "$x[5]", + "$x[6]", + "$x[7]" + ] + } + }, + "threshold.sixoutof8": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0]", + "$x[1]", + "$x[2]", + "$x[3]", + "$x[4]", + "$x[5]", + "$x[6]", + "$x[7]" + ] + } + }, + "threshold.sevenoutof8": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0]", + "$x[1]", + "$x[2]", + "$x[3]", + "$x[4]", + "$x[5]", + "$x[6]", + "$x[7]" + ] + } + }, + "threshold.alloutof8": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0]", + "$x[1]", + "$x[2]", + "$x[3]", + "$x[4]", + "$x[5]", + "$x[6]", + "$x[7]" + ] + } + }, + "threshold.majority": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0:7]" + ] + } + }, + "threshold.minority": { + "inputs": [ + "$x[0:7]" + ], + "type": "threshold_gate", + "internal": { + "": [ + "$x[0:7]" + ] + } + }, + "threshold.atleastk_4": { + "inputs": [ + "$x[0:3]" + ], + "type": "threshold_gate" + }, + "threshold.atmostk_4": { + "inputs": [ + "$x[0:3]" + ], + "type": "threshold_gate" + }, + "threshold.exactlyk_4": { + "inputs": [ + "$x[0:3]" + ], + "type": "composite", + "internal": { + "atleast": [ + "$x[0:3]" + ], + "atmost": [ + "$x[0:3]" + ], + "and": [ + "atleast", + "atmost" + ] + }, + "output": "and" + }, + "modular.mod2": { + "inputs": [ + "$x[0:7]" + ], + "type": "single_layer", + "internal": { + "": [ + "$x[0:7]" + ] + } + }, + "modular.mod4": { + "inputs": [ + "$x[0:7]" + ], + "type": "single_layer", + "internal": { + "": [ + "$x[0:7]" + ] + } + }, + "modular.mod8": { + "inputs": [ + "$x[0:7]" + ], + "type": "single_layer", + "internal": { + "": [ + "$x[0:7]" + ] + } + }, + "modular.mod3": { + "inputs": [ + "$x[0:7]" + ], + "type": "modular_detector", + "internal": { + "layer1.geq0": [ + "$x[0:7]" + ], + "layer1.leq0": [ + "$x[0:7]" + ], + "layer2.eq0": [ + "layer1.geq0", + "layer1.leq0" + ], + "layer1.geq1": [ + "$x[0:7]" + ], + "layer1.leq1": [ + "$x[0:7]" + ], + "layer2.eq1": [ + "layer1.geq1", + "layer1.leq1" + ], + "layer1.geq2": [ + "$x[0:7]" + ], + "layer1.leq2": [ + "$x[0:7]" + ], + "layer2.eq2": [ + "layer1.geq2", + "layer1.leq2" + ], + "layer1.geq3": [ + "$x[0:7]" + ], + "layer1.leq3": [ + "$x[0:7]" + ], + "layer2.eq3": [ + "layer1.geq3", + "layer1.leq3" + ], + "layer1.geq4": [ + "$x[0:7]" + ], + "layer1.leq4": [ + "$x[0:7]" + ], + "layer2.eq4": [ + "layer1.geq4", + "layer1.leq4" + ], + "layer1.geq5": [ + "$x[0:7]" + ], + "layer1.leq5": [ + "$x[0:7]" + ], + "layer2.eq5": [ + "layer1.geq5", + "layer1.leq5" + ], + "layer1.geq6": [ + "$x[0:7]" + ], + "layer1.leq6": [ + "$x[0:7]" + ], + "layer2.eq6": [ + "layer1.geq6", + "layer1.leq6" + ], + "layer1.geq7": [ + "$x[0:7]" + ], + "layer1.leq7": [ + "$x[0:7]" + ], + "layer2.eq7": [ + "layer1.geq7", + "layer1.leq7" + ], + "layer1.geq8": [ + "$x[0:7]" + ], + "layer1.leq8": [ + "$x[0:7]" + ], + "layer2.eq8": [ + "layer1.geq8", + "layer1.leq8" + ], + "layer1.geq9": [ + "$x[0:7]" + ], + "layer1.leq9": [ + "$x[0:7]" + ], + "layer2.eq9": [ + "layer1.geq9", + "layer1.leq9" + ], + "layer1.geq10": [ + "$x[0:7]" + ], + "layer1.leq10": [ + "$x[0:7]" + ], + "layer2.eq10": [ + "layer1.geq10", + "layer1.leq10" + ], + "layer1.geq11": [ + "$x[0:7]" + ], + "layer1.leq11": [ + "$x[0:7]" + ], + "layer2.eq11": [ + "layer1.geq11", + "layer1.leq11" + ], + "layer1.geq12": [ + "$x[0:7]" + ], + "layer1.leq12": [ + "$x[0:7]" + ], + "layer2.eq12": [ + "layer1.geq12", + "layer1.leq12" + ], + "layer1.geq13": [ + "$x[0:7]" + ], + "layer1.leq13": [ + "$x[0:7]" + ], + "layer2.eq13": [ + "layer1.geq13", + "layer1.leq13" + ], + "layer1.geq14": [ + "$x[0:7]" + ], + "layer1.leq14": [ + "$x[0:7]" + ], + "layer2.eq14": [ + "layer1.geq14", + "layer1.leq14" + ], + "layer1.geq15": [ + "$x[0:7]" + ], + "layer1.leq15": [ + "$x[0:7]" + ], + "layer2.eq15": [ + "layer1.geq15", + "layer1.leq15" + ], + "layer1.geq16": [ + "$x[0:7]" + ], + "layer1.leq16": [ + "$x[0:7]" + ], + "layer2.eq16": [ + "layer1.geq16", + "layer1.leq16" + ], + "layer1.geq17": [ + "$x[0:7]" + ], + "layer1.leq17": [ + "$x[0:7]" + ], + "layer2.eq17": [ + "layer1.geq17", + "layer1.leq17" + ], + "layer1.geq18": [ + "$x[0:7]" + ], + "layer1.leq18": [ + "$x[0:7]" + ], + "layer2.eq18": [ + "layer1.geq18", + "layer1.leq18" + ], + "layer1.geq19": [ + "$x[0:7]" + ], + "layer1.leq19": [ + "$x[0:7]" + ], + "layer2.eq19": [ + "layer1.geq19", + "layer1.leq19" + ], + "layer1.geq20": [ + "$x[0:7]" + ], + "layer1.leq20": [ + "$x[0:7]" + ], + "layer2.eq20": [ + "layer1.geq20", + "layer1.leq20" + ], + "layer1.geq21": [ + "$x[0:7]" + ], + "layer1.leq21": [ + "$x[0:7]" + ], + "layer2.eq21": [ + "layer1.geq21", + "layer1.leq21" + ], + "layer1.geq22": [ + "$x[0:7]" + ], + "layer1.leq22": [ + "$x[0:7]" + ], + "layer2.eq22": [ + "layer1.geq22", + "layer1.leq22" + ], + "layer1.geq23": [ + "$x[0:7]" + ], + "layer1.leq23": [ + "$x[0:7]" + ], + "layer2.eq23": [ + "layer1.geq23", + "layer1.leq23" + ], + "layer1.geq24": [ + "$x[0:7]" + ], + "layer1.leq24": [ + "$x[0:7]" + ], + "layer2.eq24": [ + "layer1.geq24", + "layer1.leq24" + ], + "layer1.geq25": [ + "$x[0:7]" + ], + "layer1.leq25": [ + "$x[0:7]" + ], + "layer2.eq25": [ + "layer1.geq25", + "layer1.leq25" + ], + "layer1.geq26": [ + "$x[0:7]" + ], + "layer1.leq26": [ + "$x[0:7]" + ], + "layer2.eq26": [ + "layer1.geq26", + "layer1.leq26" + ], + "layer1.geq27": [ + "$x[0:7]" + ], + "layer1.leq27": [ + "$x[0:7]" + ], + "layer2.eq27": [ + "layer1.geq27", + "layer1.leq27" + ], + "layer1.geq28": [ + "$x[0:7]" + ], + "layer1.leq28": [ + "$x[0:7]" + ], + "layer2.eq28": [ + "layer1.geq28", + "layer1.leq28" + ], + "layer1.geq29": [ + "$x[0:7]" + ], + "layer1.leq29": [ + "$x[0:7]" + ], + "layer2.eq29": [ + "layer1.geq29", + "layer1.leq29" + ], + "layer1.geq30": [ + "$x[0:7]" + ], + "layer1.leq30": [ + "$x[0:7]" + ], + "layer2.eq30": [ + "layer1.geq30", + "layer1.leq30" + ], + "layer1.geq31": [ + "$x[0:7]" + ], + "layer1.leq31": [ + "$x[0:7]" + ], + "layer2.eq31": [ + "layer1.geq31", + "layer1.leq31" + ], + "layer1.geq32": [ + "$x[0:7]" + ], + "layer1.leq32": [ + "$x[0:7]" + ], + "layer2.eq32": [ + "layer1.geq32", + "layer1.leq32" + ], + "layer1.geq33": [ + "$x[0:7]" + ], + "layer1.leq33": [ + "$x[0:7]" + ], + "layer2.eq33": [ + "layer1.geq33", + "layer1.leq33" + ], + "layer1.geq34": [ + "$x[0:7]" + ], + "layer1.leq34": [ + "$x[0:7]" + ], + "layer2.eq34": [ + "layer1.geq34", + "layer1.leq34" + ], + "layer1.geq35": [ + "$x[0:7]" + ], + "layer1.leq35": [ + "$x[0:7]" + ], + "layer2.eq35": [ + "layer1.geq35", + "layer1.leq35" + ], + "layer1.geq36": [ + "$x[0:7]" + ], + "layer1.leq36": [ + "$x[0:7]" + ], + "layer2.eq36": [ + "layer1.geq36", + "layer1.leq36" + ], + "layer1.geq37": [ + "$x[0:7]" + ], + "layer1.leq37": [ + "$x[0:7]" + ], + "layer2.eq37": [ + "layer1.geq37", + "layer1.leq37" + ], + "layer1.geq38": [ + "$x[0:7]" + ], + "layer1.leq38": [ + "$x[0:7]" + ], + "layer2.eq38": [ + "layer1.geq38", + "layer1.leq38" + ], + "layer1.geq39": [ + "$x[0:7]" + ], + "layer1.leq39": [ + "$x[0:7]" + ], + "layer2.eq39": [ + "layer1.geq39", + "layer1.leq39" + ], + "layer1.geq40": [ + "$x[0:7]" + ], + "layer1.leq40": [ + "$x[0:7]" + ], + "layer2.eq40": [ + "layer1.geq40", + "layer1.leq40" + ], + "layer1.geq41": [ + "$x[0:7]" + ], + "layer1.leq41": [ + "$x[0:7]" + ], + "layer2.eq41": [ + "layer1.geq41", + "layer1.leq41" + ], + "layer1.geq42": [ + "$x[0:7]" + ], + "layer1.leq42": [ + "$x[0:7]" + ], + "layer2.eq42": [ + "layer1.geq42", + "layer1.leq42" + ], + "layer1.geq43": [ + "$x[0:7]" + ], + "layer1.leq43": [ + "$x[0:7]" + ], + "layer2.eq43": [ + "layer1.geq43", + "layer1.leq43" + ], + "layer1.geq44": [ + "$x[0:7]" + ], + "layer1.leq44": [ + "$x[0:7]" + ], + "layer2.eq44": [ + "layer1.geq44", + "layer1.leq44" + ], + "layer1.geq45": [ + "$x[0:7]" + ], + "layer1.leq45": [ + "$x[0:7]" + ], + "layer2.eq45": [ + "layer1.geq45", + "layer1.leq45" + ], + "layer1.geq46": [ + "$x[0:7]" + ], + "layer1.leq46": [ + "$x[0:7]" + ], + "layer2.eq46": [ + "layer1.geq46", + "layer1.leq46" + ], + "layer1.geq47": [ + "$x[0:7]" + ], + "layer1.leq47": [ + "$x[0:7]" + ], + "layer2.eq47": [ + "layer1.geq47", + "layer1.leq47" + ], + "layer1.geq48": [ + "$x[0:7]" + ], + "layer1.leq48": [ + "$x[0:7]" + ], + "layer2.eq48": [ + "layer1.geq48", + "layer1.leq48" + ], + "layer1.geq49": [ + "$x[0:7]" + ], + "layer1.leq49": [ + "$x[0:7]" + ], + "layer2.eq49": [ + "layer1.geq49", + "layer1.leq49" + ], + "layer1.geq50": [ + "$x[0:7]" + ], + "layer1.leq50": [ + "$x[0:7]" + ], + "layer2.eq50": [ + "layer1.geq50", + "layer1.leq50" + ], + "layer1.geq51": [ + "$x[0:7]" + ], + "layer1.leq51": [ + "$x[0:7]" + ], + "layer2.eq51": [ + "layer1.geq51", + "layer1.leq51" + ], + "layer1.geq52": [ + "$x[0:7]" + ], + "layer1.leq52": [ + "$x[0:7]" + ], + "layer2.eq52": [ + "layer1.geq52", + "layer1.leq52" + ], + "layer1.geq53": [ + "$x[0:7]" + ], + "layer1.leq53": [ + "$x[0:7]" + ], + "layer2.eq53": [ + "layer1.geq53", + "layer1.leq53" + ], + "layer1.geq54": [ + "$x[0:7]" + ], + "layer1.leq54": [ + "$x[0:7]" + ], + "layer2.eq54": [ + "layer1.geq54", + "layer1.leq54" + ], + "layer1.geq55": [ + "$x[0:7]" + ], + "layer1.leq55": [ + "$x[0:7]" + ], + "layer2.eq55": [ + "layer1.geq55", + "layer1.leq55" + ], + "layer1.geq56": [ + "$x[0:7]" + ], + "layer1.leq56": [ + "$x[0:7]" + ], + "layer2.eq56": [ + "layer1.geq56", + "layer1.leq56" + ], + "layer1.geq57": [ + "$x[0:7]" + ], + "layer1.leq57": [ + "$x[0:7]" + ], + "layer2.eq57": [ + "layer1.geq57", + "layer1.leq57" + ], + "layer1.geq58": [ + "$x[0:7]" + ], + "layer1.leq58": [ + "$x[0:7]" + ], + "layer2.eq58": [ + "layer1.geq58", + "layer1.leq58" + ], + "layer1.geq59": [ + "$x[0:7]" + ], + "layer1.leq59": [ + "$x[0:7]" + ], + "layer2.eq59": [ + "layer1.geq59", + "layer1.leq59" + ], + "layer1.geq60": [ + "$x[0:7]" + ], + "layer1.leq60": [ + "$x[0:7]" + ], + "layer2.eq60": [ + "layer1.geq60", + "layer1.leq60" + ], + "layer1.geq61": [ + "$x[0:7]" + ], + "layer1.leq61": [ + "$x[0:7]" + ], + "layer2.eq61": [ + "layer1.geq61", + "layer1.leq61" + ], + "layer1.geq62": [ + "$x[0:7]" + ], + "layer1.leq62": [ + "$x[0:7]" + ], + "layer2.eq62": [ + "layer1.geq62", + "layer1.leq62" + ], + "layer1.geq63": [ + "$x[0:7]" + ], + "layer1.leq63": [ + "$x[0:7]" + ], + "layer2.eq63": [ + "layer1.geq63", + "layer1.leq63" + ], + "layer1.geq64": [ + "$x[0:7]" + ], + "layer1.leq64": [ + "$x[0:7]" + ], + "layer2.eq64": [ + "layer1.geq64", + "layer1.leq64" + ], + "layer1.geq65": [ + "$x[0:7]" + ], + "layer1.leq65": [ + "$x[0:7]" + ], + "layer2.eq65": [ + "layer1.geq65", + "layer1.leq65" + ], + "layer1.geq66": [ + "$x[0:7]" + ], + "layer1.leq66": [ + "$x[0:7]" + ], + "layer2.eq66": [ + "layer1.geq66", + "layer1.leq66" + ], + "layer1.geq67": [ + "$x[0:7]" + ], + "layer1.leq67": [ + "$x[0:7]" + ], + "layer2.eq67": [ + "layer1.geq67", + "layer1.leq67" + ], + "layer1.geq68": [ + "$x[0:7]" + ], + "layer1.leq68": [ + "$x[0:7]" + ], + "layer2.eq68": [ + "layer1.geq68", + "layer1.leq68" + ], + "layer1.geq69": [ + "$x[0:7]" + ], + "layer1.leq69": [ + "$x[0:7]" + ], + "layer2.eq69": [ + "layer1.geq69", + "layer1.leq69" + ], + "layer1.geq70": [ + "$x[0:7]" + ], + "layer1.leq70": [ + "$x[0:7]" + ], + "layer2.eq70": [ + "layer1.geq70", + "layer1.leq70" + ], + "layer1.geq71": [ + "$x[0:7]" + ], + "layer1.leq71": [ + "$x[0:7]" + ], + "layer2.eq71": [ + "layer1.geq71", + "layer1.leq71" + ], + "layer1.geq72": [ + "$x[0:7]" + ], + "layer1.leq72": [ + "$x[0:7]" + ], + "layer2.eq72": [ + "layer1.geq72", + "layer1.leq72" + ], + "layer1.geq73": [ + "$x[0:7]" + ], + "layer1.leq73": [ + "$x[0:7]" + ], + "layer2.eq73": [ + "layer1.geq73", + "layer1.leq73" + ], + "layer1.geq74": [ + "$x[0:7]" + ], + "layer1.leq74": [ + "$x[0:7]" + ], + "layer2.eq74": [ + "layer1.geq74", + "layer1.leq74" + ], + "layer1.geq75": [ + "$x[0:7]" + ], + "layer1.leq75": [ + "$x[0:7]" + ], + "layer2.eq75": [ + "layer1.geq75", + "layer1.leq75" + ], + "layer1.geq76": [ + "$x[0:7]" + ], + "layer1.leq76": [ + "$x[0:7]" + ], + "layer2.eq76": [ + "layer1.geq76", + "layer1.leq76" + ], + "layer1.geq77": [ + "$x[0:7]" + ], + "layer1.leq77": [ + "$x[0:7]" + ], + "layer2.eq77": [ + "layer1.geq77", + "layer1.leq77" + ], + "layer1.geq78": [ + "$x[0:7]" + ], + "layer1.leq78": [ + "$x[0:7]" + ], + "layer2.eq78": [ + "layer1.geq78", + "layer1.leq78" + ], + "layer1.geq79": [ + "$x[0:7]" + ], + "layer1.leq79": [ + "$x[0:7]" + ], + "layer2.eq79": [ + "layer1.geq79", + "layer1.leq79" + ], + "layer1.geq80": [ + "$x[0:7]" + ], + "layer1.leq80": [ + "$x[0:7]" + ], + "layer2.eq80": [ + "layer1.geq80", + "layer1.leq80" + ], + "layer1.geq81": [ + "$x[0:7]" + ], + "layer1.leq81": [ + "$x[0:7]" + ], + "layer2.eq81": [ + "layer1.geq81", + "layer1.leq81" + ], + "layer1.geq82": [ + "$x[0:7]" + ], + "layer1.leq82": [ + "$x[0:7]" + ], + "layer2.eq82": [ + "layer1.geq82", + "layer1.leq82" + ], + "layer1.geq83": [ + "$x[0:7]" + ], + "layer1.leq83": [ + "$x[0:7]" + ], + "layer2.eq83": [ + "layer1.geq83", + "layer1.leq83" + ], + "layer1.geq84": [ + "$x[0:7]" + ], + "layer1.leq84": [ + "$x[0:7]" + ], + "layer2.eq84": [ + "layer1.geq84", + "layer1.leq84" + ], + "layer1.geq85": [ + "$x[0:7]" + ], + "layer1.leq85": [ + "$x[0:7]" + ], + "layer2.eq85": [ + "layer1.geq85", + "layer1.leq85" + ], + "layer3.or": [ + "layer2.eq0", + "layer2.eq1", + "layer2.eq2", + "layer2.eq3", + "layer2.eq4", + "layer2.eq5", + "layer2.eq6", + "layer2.eq7", + "layer2.eq8", + "layer2.eq9", + "layer2.eq10", + "layer2.eq11", + "layer2.eq12", + "layer2.eq13", + "layer2.eq14", + "layer2.eq15", + "layer2.eq16", + "layer2.eq17", + "layer2.eq18", + "layer2.eq19", + "layer2.eq20", + "layer2.eq21", + "layer2.eq22", + "layer2.eq23", + "layer2.eq24", + "layer2.eq25", + "layer2.eq26", + "layer2.eq27", + "layer2.eq28", + "layer2.eq29", + "layer2.eq30", + "layer2.eq31", + "layer2.eq32", + "layer2.eq33", + "layer2.eq34", + "layer2.eq35", + "layer2.eq36", + "layer2.eq37", + "layer2.eq38", + "layer2.eq39", + "layer2.eq40", + "layer2.eq41", + "layer2.eq42", + "layer2.eq43", + "layer2.eq44", + "layer2.eq45", + "layer2.eq46", + "layer2.eq47", + "layer2.eq48", + "layer2.eq49", + "layer2.eq50", + "layer2.eq51", + "layer2.eq52", + "layer2.eq53", + "layer2.eq54", + "layer2.eq55", + "layer2.eq56", + "layer2.eq57", + "layer2.eq58", + "layer2.eq59", + "layer2.eq60", + "layer2.eq61", + "layer2.eq62", + "layer2.eq63", + "layer2.eq64", + "layer2.eq65", + "layer2.eq66", + "layer2.eq67", + "layer2.eq68", + "layer2.eq69", + "layer2.eq70", + "layer2.eq71", + "layer2.eq72", + "layer2.eq73", + "layer2.eq74", + "layer2.eq75", + "layer2.eq76", + "layer2.eq77", + "layer2.eq78", + "layer2.eq79", + "layer2.eq80", + "layer2.eq81", + "layer2.eq82", + "layer2.eq83", + "layer2.eq84", + "layer2.eq85" + ] + }, + "output": "layer3.or" + }, + "modular.mod5": { + "inputs": [ + "$x[0:7]" + ], + "type": "modular_detector", + "internal": { + "layer1.geq0": [ + "$x[0:7]" + ], + "layer1.leq0": [ + "$x[0:7]" + ], + "layer2.eq0": [ + "layer1.geq0", + "layer1.leq0" + ], + "layer1.geq1": [ + "$x[0:7]" + ], + "layer1.leq1": [ + "$x[0:7]" + ], + "layer2.eq1": [ + "layer1.geq1", + "layer1.leq1" + ], + "layer1.geq2": [ + "$x[0:7]" + ], + "layer1.leq2": [ + "$x[0:7]" + ], + "layer2.eq2": [ + "layer1.geq2", + "layer1.leq2" + ], + "layer1.geq3": [ + "$x[0:7]" + ], + "layer1.leq3": [ + "$x[0:7]" + ], + "layer2.eq3": [ + "layer1.geq3", + "layer1.leq3" + ], + "layer1.geq4": [ + "$x[0:7]" + ], + "layer1.leq4": [ + "$x[0:7]" + ], + "layer2.eq4": [ + "layer1.geq4", + "layer1.leq4" + ], + "layer1.geq5": [ + "$x[0:7]" + ], + "layer1.leq5": [ + "$x[0:7]" + ], + "layer2.eq5": [ + "layer1.geq5", + "layer1.leq5" + ], + "layer1.geq6": [ + "$x[0:7]" + ], + "layer1.leq6": [ + "$x[0:7]" + ], + "layer2.eq6": [ + "layer1.geq6", + "layer1.leq6" + ], + "layer1.geq7": [ + "$x[0:7]" + ], + "layer1.leq7": [ + "$x[0:7]" + ], + "layer2.eq7": [ + "layer1.geq7", + "layer1.leq7" + ], + "layer1.geq8": [ + "$x[0:7]" + ], + "layer1.leq8": [ + "$x[0:7]" + ], + "layer2.eq8": [ + "layer1.geq8", + "layer1.leq8" + ], + "layer1.geq9": [ + "$x[0:7]" + ], + "layer1.leq9": [ + "$x[0:7]" + ], + "layer2.eq9": [ + "layer1.geq9", + "layer1.leq9" + ], + "layer1.geq10": [ + "$x[0:7]" + ], + "layer1.leq10": [ + "$x[0:7]" + ], + "layer2.eq10": [ + "layer1.geq10", + "layer1.leq10" + ], + "layer1.geq11": [ + "$x[0:7]" + ], + "layer1.leq11": [ + "$x[0:7]" + ], + "layer2.eq11": [ + "layer1.geq11", + "layer1.leq11" + ], + "layer1.geq12": [ + "$x[0:7]" + ], + "layer1.leq12": [ + "$x[0:7]" + ], + "layer2.eq12": [ + "layer1.geq12", + "layer1.leq12" + ], + "layer1.geq13": [ + "$x[0:7]" + ], + "layer1.leq13": [ + "$x[0:7]" + ], + "layer2.eq13": [ + "layer1.geq13", + "layer1.leq13" + ], + "layer1.geq14": [ + "$x[0:7]" + ], + "layer1.leq14": [ + "$x[0:7]" + ], + "layer2.eq14": [ + "layer1.geq14", + "layer1.leq14" + ], + "layer1.geq15": [ + "$x[0:7]" + ], + "layer1.leq15": [ + "$x[0:7]" + ], + "layer2.eq15": [ + "layer1.geq15", + "layer1.leq15" + ], + "layer1.geq16": [ + "$x[0:7]" + ], + "layer1.leq16": [ + "$x[0:7]" + ], + "layer2.eq16": [ + "layer1.geq16", + "layer1.leq16" + ], + "layer1.geq17": [ + "$x[0:7]" + ], + "layer1.leq17": [ + "$x[0:7]" + ], + "layer2.eq17": [ + "layer1.geq17", + "layer1.leq17" + ], + "layer1.geq18": [ + "$x[0:7]" + ], + "layer1.leq18": [ + "$x[0:7]" + ], + "layer2.eq18": [ + "layer1.geq18", + "layer1.leq18" + ], + "layer1.geq19": [ + "$x[0:7]" + ], + "layer1.leq19": [ + "$x[0:7]" + ], + "layer2.eq19": [ + "layer1.geq19", + "layer1.leq19" + ], + "layer1.geq20": [ + "$x[0:7]" + ], + "layer1.leq20": [ + "$x[0:7]" + ], + "layer2.eq20": [ + "layer1.geq20", + "layer1.leq20" + ], + "layer1.geq21": [ + "$x[0:7]" + ], + "layer1.leq21": [ + "$x[0:7]" + ], + "layer2.eq21": [ + "layer1.geq21", + "layer1.leq21" + ], + "layer1.geq22": [ + "$x[0:7]" + ], + "layer1.leq22": [ + "$x[0:7]" + ], + "layer2.eq22": [ + "layer1.geq22", + "layer1.leq22" + ], + "layer1.geq23": [ + "$x[0:7]" + ], + "layer1.leq23": [ + "$x[0:7]" + ], + "layer2.eq23": [ + "layer1.geq23", + "layer1.leq23" + ], + "layer1.geq24": [ + "$x[0:7]" + ], + "layer1.leq24": [ + "$x[0:7]" + ], + "layer2.eq24": [ + "layer1.geq24", + "layer1.leq24" + ], + "layer1.geq25": [ + "$x[0:7]" + ], + "layer1.leq25": [ + "$x[0:7]" + ], + "layer2.eq25": [ + "layer1.geq25", + "layer1.leq25" + ], + "layer1.geq26": [ + "$x[0:7]" + ], + "layer1.leq26": [ + "$x[0:7]" + ], + "layer2.eq26": [ + "layer1.geq26", + "layer1.leq26" + ], + "layer1.geq27": [ + "$x[0:7]" + ], + "layer1.leq27": [ + "$x[0:7]" + ], + "layer2.eq27": [ + "layer1.geq27", + "layer1.leq27" + ], + "layer1.geq28": [ + "$x[0:7]" + ], + "layer1.leq28": [ + "$x[0:7]" + ], + "layer2.eq28": [ + "layer1.geq28", + "layer1.leq28" + ], + "layer1.geq29": [ + "$x[0:7]" + ], + "layer1.leq29": [ + "$x[0:7]" + ], + "layer2.eq29": [ + "layer1.geq29", + "layer1.leq29" + ], + "layer1.geq30": [ + "$x[0:7]" + ], + "layer1.leq30": [ + "$x[0:7]" + ], + "layer2.eq30": [ + "layer1.geq30", + "layer1.leq30" + ], + "layer1.geq31": [ + "$x[0:7]" + ], + "layer1.leq31": [ + "$x[0:7]" + ], + "layer2.eq31": [ + "layer1.geq31", + "layer1.leq31" + ], + "layer1.geq32": [ + "$x[0:7]" + ], + "layer1.leq32": [ + "$x[0:7]" + ], + "layer2.eq32": [ + "layer1.geq32", + "layer1.leq32" + ], + "layer1.geq33": [ + "$x[0:7]" + ], + "layer1.leq33": [ + "$x[0:7]" + ], + "layer2.eq33": [ + "layer1.geq33", + "layer1.leq33" + ], + "layer1.geq34": [ + "$x[0:7]" + ], + "layer1.leq34": [ + "$x[0:7]" + ], + "layer2.eq34": [ + "layer1.geq34", + "layer1.leq34" + ], + "layer1.geq35": [ + "$x[0:7]" + ], + "layer1.leq35": [ + "$x[0:7]" + ], + "layer2.eq35": [ + "layer1.geq35", + "layer1.leq35" + ], + "layer1.geq36": [ + "$x[0:7]" + ], + "layer1.leq36": [ + "$x[0:7]" + ], + "layer2.eq36": [ + "layer1.geq36", + "layer1.leq36" + ], + "layer1.geq37": [ + "$x[0:7]" + ], + "layer1.leq37": [ + "$x[0:7]" + ], + "layer2.eq37": [ + "layer1.geq37", + "layer1.leq37" + ], + "layer1.geq38": [ + "$x[0:7]" + ], + "layer1.leq38": [ + "$x[0:7]" + ], + "layer2.eq38": [ + "layer1.geq38", + "layer1.leq38" + ], + "layer1.geq39": [ + "$x[0:7]" + ], + "layer1.leq39": [ + "$x[0:7]" + ], + "layer2.eq39": [ + "layer1.geq39", + "layer1.leq39" + ], + "layer1.geq40": [ + "$x[0:7]" + ], + "layer1.leq40": [ + "$x[0:7]" + ], + "layer2.eq40": [ + "layer1.geq40", + "layer1.leq40" + ], + "layer1.geq41": [ + "$x[0:7]" + ], + "layer1.leq41": [ + "$x[0:7]" + ], + "layer2.eq41": [ + "layer1.geq41", + "layer1.leq41" + ], + "layer1.geq42": [ + "$x[0:7]" + ], + "layer1.leq42": [ + "$x[0:7]" + ], + "layer2.eq42": [ + "layer1.geq42", + "layer1.leq42" + ], + "layer1.geq43": [ + "$x[0:7]" + ], + "layer1.leq43": [ + "$x[0:7]" + ], + "layer2.eq43": [ + "layer1.geq43", + "layer1.leq43" + ], + "layer1.geq44": [ + "$x[0:7]" + ], + "layer1.leq44": [ + "$x[0:7]" + ], + "layer2.eq44": [ + "layer1.geq44", + "layer1.leq44" + ], + "layer1.geq45": [ + "$x[0:7]" + ], + "layer1.leq45": [ + "$x[0:7]" + ], + "layer2.eq45": [ + "layer1.geq45", + "layer1.leq45" + ], + "layer1.geq46": [ + "$x[0:7]" + ], + "layer1.leq46": [ + "$x[0:7]" + ], + "layer2.eq46": [ + "layer1.geq46", + "layer1.leq46" + ], + "layer1.geq47": [ + "$x[0:7]" + ], + "layer1.leq47": [ + "$x[0:7]" + ], + "layer2.eq47": [ + "layer1.geq47", + "layer1.leq47" + ], + "layer1.geq48": [ + "$x[0:7]" + ], + "layer1.leq48": [ + "$x[0:7]" + ], + "layer2.eq48": [ + "layer1.geq48", + "layer1.leq48" + ], + "layer1.geq49": [ + "$x[0:7]" + ], + "layer1.leq49": [ + "$x[0:7]" + ], + "layer2.eq49": [ + "layer1.geq49", + "layer1.leq49" + ], + "layer1.geq50": [ + "$x[0:7]" + ], + "layer1.leq50": [ + "$x[0:7]" + ], + "layer2.eq50": [ + "layer1.geq50", + "layer1.leq50" + ], + "layer1.geq51": [ + "$x[0:7]" + ], + "layer1.leq51": [ + "$x[0:7]" + ], + "layer2.eq51": [ + "layer1.geq51", + "layer1.leq51" + ], + "layer3.or": [ + "layer2.eq0", + "layer2.eq1", + "layer2.eq2", + "layer2.eq3", + "layer2.eq4", + "layer2.eq5", + "layer2.eq6", + "layer2.eq7", + "layer2.eq8", + "layer2.eq9", + "layer2.eq10", + "layer2.eq11", + "layer2.eq12", + "layer2.eq13", + "layer2.eq14", + "layer2.eq15", + "layer2.eq16", + "layer2.eq17", + "layer2.eq18", + "layer2.eq19", + "layer2.eq20", + "layer2.eq21", + "layer2.eq22", + "layer2.eq23", + "layer2.eq24", + "layer2.eq25", + "layer2.eq26", + "layer2.eq27", + "layer2.eq28", + "layer2.eq29", + "layer2.eq30", + "layer2.eq31", + "layer2.eq32", + "layer2.eq33", + "layer2.eq34", + "layer2.eq35", + "layer2.eq36", + "layer2.eq37", + "layer2.eq38", + "layer2.eq39", + "layer2.eq40", + "layer2.eq41", + "layer2.eq42", + "layer2.eq43", + "layer2.eq44", + "layer2.eq45", + "layer2.eq46", + "layer2.eq47", + "layer2.eq48", + "layer2.eq49", + "layer2.eq50", + "layer2.eq51" + ] + }, + "output": "layer3.or" + }, + "modular.mod6": { + "inputs": [ + "$x[0:7]" + ], + "type": "modular_detector", + "internal": { + "layer1.geq0": [ + "$x[0:7]" + ], + "layer1.leq0": [ + "$x[0:7]" + ], + "layer2.eq0": [ + "layer1.geq0", + "layer1.leq0" + ], + "layer1.geq1": [ + "$x[0:7]" + ], + "layer1.leq1": [ + "$x[0:7]" + ], + "layer2.eq1": [ + "layer1.geq1", + "layer1.leq1" + ], + "layer1.geq2": [ + "$x[0:7]" + ], + "layer1.leq2": [ + "$x[0:7]" + ], + "layer2.eq2": [ + "layer1.geq2", + "layer1.leq2" + ], + "layer1.geq3": [ + "$x[0:7]" + ], + "layer1.leq3": [ + "$x[0:7]" + ], + "layer2.eq3": [ + "layer1.geq3", + "layer1.leq3" + ], + "layer1.geq4": [ + "$x[0:7]" + ], + "layer1.leq4": [ + "$x[0:7]" + ], + "layer2.eq4": [ + "layer1.geq4", + "layer1.leq4" + ], + "layer1.geq5": [ + "$x[0:7]" + ], + "layer1.leq5": [ + "$x[0:7]" + ], + "layer2.eq5": [ + "layer1.geq5", + "layer1.leq5" + ], + "layer1.geq6": [ + "$x[0:7]" + ], + "layer1.leq6": [ + "$x[0:7]" + ], + "layer2.eq6": [ + "layer1.geq6", + "layer1.leq6" + ], + "layer1.geq7": [ + "$x[0:7]" + ], + "layer1.leq7": [ + "$x[0:7]" + ], + "layer2.eq7": [ + "layer1.geq7", + "layer1.leq7" + ], + "layer1.geq8": [ + "$x[0:7]" + ], + "layer1.leq8": [ + "$x[0:7]" + ], + "layer2.eq8": [ + "layer1.geq8", + "layer1.leq8" + ], + "layer1.geq9": [ + "$x[0:7]" + ], + "layer1.leq9": [ + "$x[0:7]" + ], + "layer2.eq9": [ + "layer1.geq9", + "layer1.leq9" + ], + "layer1.geq10": [ + "$x[0:7]" + ], + "layer1.leq10": [ + "$x[0:7]" + ], + "layer2.eq10": [ + "layer1.geq10", + "layer1.leq10" + ], + "layer1.geq11": [ + "$x[0:7]" + ], + "layer1.leq11": [ + "$x[0:7]" + ], + "layer2.eq11": [ + "layer1.geq11", + "layer1.leq11" + ], + "layer1.geq12": [ + "$x[0:7]" + ], + "layer1.leq12": [ + "$x[0:7]" + ], + "layer2.eq12": [ + "layer1.geq12", + "layer1.leq12" + ], + "layer1.geq13": [ + "$x[0:7]" + ], + "layer1.leq13": [ + "$x[0:7]" + ], + "layer2.eq13": [ + "layer1.geq13", + "layer1.leq13" + ], + "layer1.geq14": [ + "$x[0:7]" + ], + "layer1.leq14": [ + "$x[0:7]" + ], + "layer2.eq14": [ + "layer1.geq14", + "layer1.leq14" + ], + "layer1.geq15": [ + "$x[0:7]" + ], + "layer1.leq15": [ + "$x[0:7]" + ], + "layer2.eq15": [ + "layer1.geq15", + "layer1.leq15" + ], + "layer1.geq16": [ + "$x[0:7]" + ], + "layer1.leq16": [ + "$x[0:7]" + ], + "layer2.eq16": [ + "layer1.geq16", + "layer1.leq16" + ], + "layer1.geq17": [ + "$x[0:7]" + ], + "layer1.leq17": [ + "$x[0:7]" + ], + "layer2.eq17": [ + "layer1.geq17", + "layer1.leq17" + ], + "layer1.geq18": [ + "$x[0:7]" + ], + "layer1.leq18": [ + "$x[0:7]" + ], + "layer2.eq18": [ + "layer1.geq18", + "layer1.leq18" + ], + "layer1.geq19": [ + "$x[0:7]" + ], + "layer1.leq19": [ + "$x[0:7]" + ], + "layer2.eq19": [ + "layer1.geq19", + "layer1.leq19" + ], + "layer1.geq20": [ + "$x[0:7]" + ], + "layer1.leq20": [ + "$x[0:7]" + ], + "layer2.eq20": [ + "layer1.geq20", + "layer1.leq20" + ], + "layer1.geq21": [ + "$x[0:7]" + ], + "layer1.leq21": [ + "$x[0:7]" + ], + "layer2.eq21": [ + "layer1.geq21", + "layer1.leq21" + ], + "layer1.geq22": [ + "$x[0:7]" + ], + "layer1.leq22": [ + "$x[0:7]" + ], + "layer2.eq22": [ + "layer1.geq22", + "layer1.leq22" + ], + "layer1.geq23": [ + "$x[0:7]" + ], + "layer1.leq23": [ + "$x[0:7]" + ], + "layer2.eq23": [ + "layer1.geq23", + "layer1.leq23" + ], + "layer1.geq24": [ + "$x[0:7]" + ], + "layer1.leq24": [ + "$x[0:7]" + ], + "layer2.eq24": [ + "layer1.geq24", + "layer1.leq24" + ], + "layer1.geq25": [ + "$x[0:7]" + ], + "layer1.leq25": [ + "$x[0:7]" + ], + "layer2.eq25": [ + "layer1.geq25", + "layer1.leq25" + ], + "layer1.geq26": [ + "$x[0:7]" + ], + "layer1.leq26": [ + "$x[0:7]" + ], + "layer2.eq26": [ + "layer1.geq26", + "layer1.leq26" + ], + "layer1.geq27": [ + "$x[0:7]" + ], + "layer1.leq27": [ + "$x[0:7]" + ], + "layer2.eq27": [ + "layer1.geq27", + "layer1.leq27" + ], + "layer1.geq28": [ + "$x[0:7]" + ], + "layer1.leq28": [ + "$x[0:7]" + ], + "layer2.eq28": [ + "layer1.geq28", + "layer1.leq28" + ], + "layer1.geq29": [ + "$x[0:7]" + ], + "layer1.leq29": [ + "$x[0:7]" + ], + "layer2.eq29": [ + "layer1.geq29", + "layer1.leq29" + ], + "layer1.geq30": [ + "$x[0:7]" + ], + "layer1.leq30": [ + "$x[0:7]" + ], + "layer2.eq30": [ + "layer1.geq30", + "layer1.leq30" + ], + "layer1.geq31": [ + "$x[0:7]" + ], + "layer1.leq31": [ + "$x[0:7]" + ], + "layer2.eq31": [ + "layer1.geq31", + "layer1.leq31" + ], + "layer1.geq32": [ + "$x[0:7]" + ], + "layer1.leq32": [ + "$x[0:7]" + ], + "layer2.eq32": [ + "layer1.geq32", + "layer1.leq32" + ], + "layer1.geq33": [ + "$x[0:7]" + ], + "layer1.leq33": [ + "$x[0:7]" + ], + "layer2.eq33": [ + "layer1.geq33", + "layer1.leq33" + ], + "layer1.geq34": [ + "$x[0:7]" + ], + "layer1.leq34": [ + "$x[0:7]" + ], + "layer2.eq34": [ + "layer1.geq34", + "layer1.leq34" + ], + "layer1.geq35": [ + "$x[0:7]" + ], + "layer1.leq35": [ + "$x[0:7]" + ], + "layer2.eq35": [ + "layer1.geq35", + "layer1.leq35" + ], + "layer1.geq36": [ + "$x[0:7]" + ], + "layer1.leq36": [ + "$x[0:7]" + ], + "layer2.eq36": [ + "layer1.geq36", + "layer1.leq36" + ], + "layer1.geq37": [ + "$x[0:7]" + ], + "layer1.leq37": [ + "$x[0:7]" + ], + "layer2.eq37": [ + "layer1.geq37", + "layer1.leq37" + ], + "layer1.geq38": [ + "$x[0:7]" + ], + "layer1.leq38": [ + "$x[0:7]" + ], + "layer2.eq38": [ + "layer1.geq38", + "layer1.leq38" + ], + "layer1.geq39": [ + "$x[0:7]" + ], + "layer1.leq39": [ + "$x[0:7]" + ], + "layer2.eq39": [ + "layer1.geq39", + "layer1.leq39" + ], + "layer1.geq40": [ + "$x[0:7]" + ], + "layer1.leq40": [ + "$x[0:7]" + ], + "layer2.eq40": [ + "layer1.geq40", + "layer1.leq40" + ], + "layer1.geq41": [ + "$x[0:7]" + ], + "layer1.leq41": [ + "$x[0:7]" + ], + "layer2.eq41": [ + "layer1.geq41", + "layer1.leq41" + ], + "layer1.geq42": [ + "$x[0:7]" + ], + "layer1.leq42": [ + "$x[0:7]" + ], + "layer2.eq42": [ + "layer1.geq42", + "layer1.leq42" + ], + "layer3.or": [ + "layer2.eq0", + "layer2.eq1", + "layer2.eq2", + "layer2.eq3", + "layer2.eq4", + "layer2.eq5", + "layer2.eq6", + "layer2.eq7", + "layer2.eq8", + "layer2.eq9", + "layer2.eq10", + "layer2.eq11", + "layer2.eq12", + "layer2.eq13", + "layer2.eq14", + "layer2.eq15", + "layer2.eq16", + "layer2.eq17", + "layer2.eq18", + "layer2.eq19", + "layer2.eq20", + "layer2.eq21", + "layer2.eq22", + "layer2.eq23", + "layer2.eq24", + "layer2.eq25", + "layer2.eq26", + "layer2.eq27", + "layer2.eq28", + "layer2.eq29", + "layer2.eq30", + "layer2.eq31", + "layer2.eq32", + "layer2.eq33", + "layer2.eq34", + "layer2.eq35", + "layer2.eq36", + "layer2.eq37", + "layer2.eq38", + "layer2.eq39", + "layer2.eq40", + "layer2.eq41", + "layer2.eq42" + ] + }, + "output": "layer3.or" + }, + "modular.mod7": { + "inputs": [ + "$x[0:7]" + ], + "type": "modular_detector", + "internal": { + "layer1.geq0": [ + "$x[0:7]" + ], + "layer1.leq0": [ + "$x[0:7]" + ], + "layer2.eq0": [ + "layer1.geq0", + "layer1.leq0" + ], + "layer1.geq1": [ + "$x[0:7]" + ], + "layer1.leq1": [ + "$x[0:7]" + ], + "layer2.eq1": [ + "layer1.geq1", + "layer1.leq1" + ], + "layer1.geq2": [ + "$x[0:7]" + ], + "layer1.leq2": [ + "$x[0:7]" + ], + "layer2.eq2": [ + "layer1.geq2", + "layer1.leq2" + ], + "layer1.geq3": [ + "$x[0:7]" + ], + "layer1.leq3": [ + "$x[0:7]" + ], + "layer2.eq3": [ + "layer1.geq3", + "layer1.leq3" + ], + "layer1.geq4": [ + "$x[0:7]" + ], + "layer1.leq4": [ + "$x[0:7]" + ], + "layer2.eq4": [ + "layer1.geq4", + "layer1.leq4" + ], + "layer1.geq5": [ + "$x[0:7]" + ], + "layer1.leq5": [ + "$x[0:7]" + ], + "layer2.eq5": [ + "layer1.geq5", + "layer1.leq5" + ], + "layer1.geq6": [ + "$x[0:7]" + ], + "layer1.leq6": [ + "$x[0:7]" + ], + "layer2.eq6": [ + "layer1.geq6", + "layer1.leq6" + ], + "layer1.geq7": [ + "$x[0:7]" + ], + "layer1.leq7": [ + "$x[0:7]" + ], + "layer2.eq7": [ + "layer1.geq7", + "layer1.leq7" + ], + "layer1.geq8": [ + "$x[0:7]" + ], + "layer1.leq8": [ + "$x[0:7]" + ], + "layer2.eq8": [ + "layer1.geq8", + "layer1.leq8" + ], + "layer1.geq9": [ + "$x[0:7]" + ], + "layer1.leq9": [ + "$x[0:7]" + ], + "layer2.eq9": [ + "layer1.geq9", + "layer1.leq9" + ], + "layer1.geq10": [ + "$x[0:7]" + ], + "layer1.leq10": [ + "$x[0:7]" + ], + "layer2.eq10": [ + "layer1.geq10", + "layer1.leq10" + ], + "layer1.geq11": [ + "$x[0:7]" + ], + "layer1.leq11": [ + "$x[0:7]" + ], + "layer2.eq11": [ + "layer1.geq11", + "layer1.leq11" + ], + "layer1.geq12": [ + "$x[0:7]" + ], + "layer1.leq12": [ + "$x[0:7]" + ], + "layer2.eq12": [ + "layer1.geq12", + "layer1.leq12" + ], + "layer1.geq13": [ + "$x[0:7]" + ], + "layer1.leq13": [ + "$x[0:7]" + ], + "layer2.eq13": [ + "layer1.geq13", + "layer1.leq13" + ], + "layer1.geq14": [ + "$x[0:7]" + ], + "layer1.leq14": [ + "$x[0:7]" + ], + "layer2.eq14": [ + "layer1.geq14", + "layer1.leq14" + ], + "layer1.geq15": [ + "$x[0:7]" + ], + "layer1.leq15": [ + "$x[0:7]" + ], + "layer2.eq15": [ + "layer1.geq15", + "layer1.leq15" + ], + "layer1.geq16": [ + "$x[0:7]" + ], + "layer1.leq16": [ + "$x[0:7]" + ], + "layer2.eq16": [ + "layer1.geq16", + "layer1.leq16" + ], + "layer1.geq17": [ + "$x[0:7]" + ], + "layer1.leq17": [ + "$x[0:7]" + ], + "layer2.eq17": [ + "layer1.geq17", + "layer1.leq17" + ], + "layer1.geq18": [ + "$x[0:7]" + ], + "layer1.leq18": [ + "$x[0:7]" + ], + "layer2.eq18": [ + "layer1.geq18", + "layer1.leq18" + ], + "layer1.geq19": [ + "$x[0:7]" + ], + "layer1.leq19": [ + "$x[0:7]" + ], + "layer2.eq19": [ + "layer1.geq19", + "layer1.leq19" + ], + "layer1.geq20": [ + "$x[0:7]" + ], + "layer1.leq20": [ + "$x[0:7]" + ], + "layer2.eq20": [ + "layer1.geq20", + "layer1.leq20" + ], + "layer1.geq21": [ + "$x[0:7]" + ], + "layer1.leq21": [ + "$x[0:7]" + ], + "layer2.eq21": [ + "layer1.geq21", + "layer1.leq21" + ], + "layer1.geq22": [ + "$x[0:7]" + ], + "layer1.leq22": [ + "$x[0:7]" + ], + "layer2.eq22": [ + "layer1.geq22", + "layer1.leq22" + ], + "layer1.geq23": [ + "$x[0:7]" + ], + "layer1.leq23": [ + "$x[0:7]" + ], + "layer2.eq23": [ + "layer1.geq23", + "layer1.leq23" + ], + "layer1.geq24": [ + "$x[0:7]" + ], + "layer1.leq24": [ + "$x[0:7]" + ], + "layer2.eq24": [ + "layer1.geq24", + "layer1.leq24" + ], + "layer1.geq25": [ + "$x[0:7]" + ], + "layer1.leq25": [ + "$x[0:7]" + ], + "layer2.eq25": [ + "layer1.geq25", + "layer1.leq25" + ], + "layer1.geq26": [ + "$x[0:7]" + ], + "layer1.leq26": [ + "$x[0:7]" + ], + "layer2.eq26": [ + "layer1.geq26", + "layer1.leq26" + ], + "layer1.geq27": [ + "$x[0:7]" + ], + "layer1.leq27": [ + "$x[0:7]" + ], + "layer2.eq27": [ + "layer1.geq27", + "layer1.leq27" + ], + "layer1.geq28": [ + "$x[0:7]" + ], + "layer1.leq28": [ + "$x[0:7]" + ], + "layer2.eq28": [ + "layer1.geq28", + "layer1.leq28" + ], + "layer1.geq29": [ + "$x[0:7]" + ], + "layer1.leq29": [ + "$x[0:7]" + ], + "layer2.eq29": [ + "layer1.geq29", + "layer1.leq29" + ], + "layer1.geq30": [ + "$x[0:7]" + ], + "layer1.leq30": [ + "$x[0:7]" + ], + "layer2.eq30": [ + "layer1.geq30", + "layer1.leq30" + ], + "layer1.geq31": [ + "$x[0:7]" + ], + "layer1.leq31": [ + "$x[0:7]" + ], + "layer2.eq31": [ + "layer1.geq31", + "layer1.leq31" + ], + "layer1.geq32": [ + "$x[0:7]" + ], + "layer1.leq32": [ + "$x[0:7]" + ], + "layer2.eq32": [ + "layer1.geq32", + "layer1.leq32" + ], + "layer1.geq33": [ + "$x[0:7]" + ], + "layer1.leq33": [ + "$x[0:7]" + ], + "layer2.eq33": [ + "layer1.geq33", + "layer1.leq33" + ], + "layer1.geq34": [ + "$x[0:7]" + ], + "layer1.leq34": [ + "$x[0:7]" + ], + "layer2.eq34": [ + "layer1.geq34", + "layer1.leq34" + ], + "layer1.geq35": [ + "$x[0:7]" + ], + "layer1.leq35": [ + "$x[0:7]" + ], + "layer2.eq35": [ + "layer1.geq35", + "layer1.leq35" + ], + "layer1.geq36": [ + "$x[0:7]" + ], + "layer1.leq36": [ + "$x[0:7]" + ], + "layer2.eq36": [ + "layer1.geq36", + "layer1.leq36" + ], + "layer3.or": [ + "layer2.eq0", + "layer2.eq1", + "layer2.eq2", + "layer2.eq3", + "layer2.eq4", + "layer2.eq5", + "layer2.eq6", + "layer2.eq7", + "layer2.eq8", + "layer2.eq9", + "layer2.eq10", + "layer2.eq11", + "layer2.eq12", + "layer2.eq13", + "layer2.eq14", + "layer2.eq15", + "layer2.eq16", + "layer2.eq17", + "layer2.eq18", + "layer2.eq19", + "layer2.eq20", + "layer2.eq21", + "layer2.eq22", + "layer2.eq23", + "layer2.eq24", + "layer2.eq25", + "layer2.eq26", + "layer2.eq27", + "layer2.eq28", + "layer2.eq29", + "layer2.eq30", + "layer2.eq31", + "layer2.eq32", + "layer2.eq33", + "layer2.eq34", + "layer2.eq35", + "layer2.eq36" + ] + }, + "output": "layer3.or" + }, + "modular.mod9": { + "inputs": [ + "$x[0:7]" + ], + "type": "modular_detector", + "internal": { + "layer1.geq0": [ + "$x[0:7]" + ], + "layer1.leq0": [ + "$x[0:7]" + ], + "layer2.eq0": [ + "layer1.geq0", + "layer1.leq0" + ], + "layer1.geq1": [ + "$x[0:7]" + ], + "layer1.leq1": [ + "$x[0:7]" + ], + "layer2.eq1": [ + "layer1.geq1", + "layer1.leq1" + ], + "layer1.geq2": [ + "$x[0:7]" + ], + "layer1.leq2": [ + "$x[0:7]" + ], + "layer2.eq2": [ + "layer1.geq2", + "layer1.leq2" + ], + "layer1.geq3": [ + "$x[0:7]" + ], + "layer1.leq3": [ + "$x[0:7]" + ], + "layer2.eq3": [ + "layer1.geq3", + "layer1.leq3" + ], + "layer1.geq4": [ + "$x[0:7]" + ], + "layer1.leq4": [ + "$x[0:7]" + ], + "layer2.eq4": [ + "layer1.geq4", + "layer1.leq4" + ], + "layer1.geq5": [ + "$x[0:7]" + ], + "layer1.leq5": [ + "$x[0:7]" + ], + "layer2.eq5": [ + "layer1.geq5", + "layer1.leq5" + ], + "layer1.geq6": [ + "$x[0:7]" + ], + "layer1.leq6": [ + "$x[0:7]" + ], + "layer2.eq6": [ + "layer1.geq6", + "layer1.leq6" + ], + "layer1.geq7": [ + "$x[0:7]" + ], + "layer1.leq7": [ + "$x[0:7]" + ], + "layer2.eq7": [ + "layer1.geq7", + "layer1.leq7" + ], + "layer1.geq8": [ + "$x[0:7]" + ], + "layer1.leq8": [ + "$x[0:7]" + ], + "layer2.eq8": [ + "layer1.geq8", + "layer1.leq8" + ], + "layer1.geq9": [ + "$x[0:7]" + ], + "layer1.leq9": [ + "$x[0:7]" + ], + "layer2.eq9": [ + "layer1.geq9", + "layer1.leq9" + ], + "layer1.geq10": [ + "$x[0:7]" + ], + "layer1.leq10": [ + "$x[0:7]" + ], + "layer2.eq10": [ + "layer1.geq10", + "layer1.leq10" + ], + "layer1.geq11": [ + "$x[0:7]" + ], + "layer1.leq11": [ + "$x[0:7]" + ], + "layer2.eq11": [ + "layer1.geq11", + "layer1.leq11" + ], + "layer1.geq12": [ + "$x[0:7]" + ], + "layer1.leq12": [ + "$x[0:7]" + ], + "layer2.eq12": [ + "layer1.geq12", + "layer1.leq12" + ], + "layer1.geq13": [ + "$x[0:7]" + ], + "layer1.leq13": [ + "$x[0:7]" + ], + "layer2.eq13": [ + "layer1.geq13", + "layer1.leq13" + ], + "layer1.geq14": [ + "$x[0:7]" + ], + "layer1.leq14": [ + "$x[0:7]" + ], + "layer2.eq14": [ + "layer1.geq14", + "layer1.leq14" + ], + "layer1.geq15": [ + "$x[0:7]" + ], + "layer1.leq15": [ + "$x[0:7]" + ], + "layer2.eq15": [ + "layer1.geq15", + "layer1.leq15" + ], + "layer1.geq16": [ + "$x[0:7]" + ], + "layer1.leq16": [ + "$x[0:7]" + ], + "layer2.eq16": [ + "layer1.geq16", + "layer1.leq16" + ], + "layer1.geq17": [ + "$x[0:7]" + ], + "layer1.leq17": [ + "$x[0:7]" + ], + "layer2.eq17": [ + "layer1.geq17", + "layer1.leq17" + ], + "layer1.geq18": [ + "$x[0:7]" + ], + "layer1.leq18": [ + "$x[0:7]" + ], + "layer2.eq18": [ + "layer1.geq18", + "layer1.leq18" + ], + "layer1.geq19": [ + "$x[0:7]" + ], + "layer1.leq19": [ + "$x[0:7]" + ], + "layer2.eq19": [ + "layer1.geq19", + "layer1.leq19" + ], + "layer1.geq20": [ + "$x[0:7]" + ], + "layer1.leq20": [ + "$x[0:7]" + ], + "layer2.eq20": [ + "layer1.geq20", + "layer1.leq20" + ], + "layer1.geq21": [ + "$x[0:7]" + ], + "layer1.leq21": [ + "$x[0:7]" + ], + "layer2.eq21": [ + "layer1.geq21", + "layer1.leq21" + ], + "layer1.geq22": [ + "$x[0:7]" + ], + "layer1.leq22": [ + "$x[0:7]" + ], + "layer2.eq22": [ + "layer1.geq22", + "layer1.leq22" + ], + "layer1.geq23": [ + "$x[0:7]" + ], + "layer1.leq23": [ + "$x[0:7]" + ], + "layer2.eq23": [ + "layer1.geq23", + "layer1.leq23" + ], + "layer1.geq24": [ + "$x[0:7]" + ], + "layer1.leq24": [ + "$x[0:7]" + ], + "layer2.eq24": [ + "layer1.geq24", + "layer1.leq24" + ], + "layer1.geq25": [ + "$x[0:7]" + ], + "layer1.leq25": [ + "$x[0:7]" + ], + "layer2.eq25": [ + "layer1.geq25", + "layer1.leq25" + ], + "layer1.geq26": [ + "$x[0:7]" + ], + "layer1.leq26": [ + "$x[0:7]" + ], + "layer2.eq26": [ + "layer1.geq26", + "layer1.leq26" + ], + "layer1.geq27": [ + "$x[0:7]" + ], + "layer1.leq27": [ + "$x[0:7]" + ], + "layer2.eq27": [ + "layer1.geq27", + "layer1.leq27" + ], + "layer1.geq28": [ + "$x[0:7]" + ], + "layer1.leq28": [ + "$x[0:7]" + ], + "layer2.eq28": [ + "layer1.geq28", + "layer1.leq28" + ], + "layer3.or": [ + "layer2.eq0", + "layer2.eq1", + "layer2.eq2", + "layer2.eq3", + "layer2.eq4", + "layer2.eq5", + "layer2.eq6", + "layer2.eq7", + "layer2.eq8", + "layer2.eq9", + "layer2.eq10", + "layer2.eq11", + "layer2.eq12", + "layer2.eq13", + "layer2.eq14", + "layer2.eq15", + "layer2.eq16", + "layer2.eq17", + "layer2.eq18", + "layer2.eq19", + "layer2.eq20", + "layer2.eq21", + "layer2.eq22", + "layer2.eq23", + "layer2.eq24", + "layer2.eq25", + "layer2.eq26", + "layer2.eq27", + "layer2.eq28" + ] + }, + "output": "layer3.or" + }, + "modular.mod10": { + "inputs": [ + "$x[0:7]" + ], + "type": "modular_detector", + "internal": { + "layer1.geq0": [ + "$x[0:7]" + ], + "layer1.leq0": [ + "$x[0:7]" + ], + "layer2.eq0": [ + "layer1.geq0", + "layer1.leq0" + ], + "layer1.geq1": [ + "$x[0:7]" + ], + "layer1.leq1": [ + "$x[0:7]" + ], + "layer2.eq1": [ + "layer1.geq1", + "layer1.leq1" + ], + "layer1.geq2": [ + "$x[0:7]" + ], + "layer1.leq2": [ + "$x[0:7]" + ], + "layer2.eq2": [ + "layer1.geq2", + "layer1.leq2" + ], + "layer1.geq3": [ + "$x[0:7]" + ], + "layer1.leq3": [ + "$x[0:7]" + ], + "layer2.eq3": [ + "layer1.geq3", + "layer1.leq3" + ], + "layer1.geq4": [ + "$x[0:7]" + ], + "layer1.leq4": [ + "$x[0:7]" + ], + "layer2.eq4": [ + "layer1.geq4", + "layer1.leq4" + ], + "layer1.geq5": [ + "$x[0:7]" + ], + "layer1.leq5": [ + "$x[0:7]" + ], + "layer2.eq5": [ + "layer1.geq5", + "layer1.leq5" + ], + "layer1.geq6": [ + "$x[0:7]" + ], + "layer1.leq6": [ + "$x[0:7]" + ], + "layer2.eq6": [ + "layer1.geq6", + "layer1.leq6" + ], + "layer1.geq7": [ + "$x[0:7]" + ], + "layer1.leq7": [ + "$x[0:7]" + ], + "layer2.eq7": [ + "layer1.geq7", + "layer1.leq7" + ], + "layer1.geq8": [ + "$x[0:7]" + ], + "layer1.leq8": [ + "$x[0:7]" + ], + "layer2.eq8": [ + "layer1.geq8", + "layer1.leq8" + ], + "layer1.geq9": [ + "$x[0:7]" + ], + "layer1.leq9": [ + "$x[0:7]" + ], + "layer2.eq9": [ + "layer1.geq9", + "layer1.leq9" + ], + "layer1.geq10": [ + "$x[0:7]" + ], + "layer1.leq10": [ + "$x[0:7]" + ], + "layer2.eq10": [ + "layer1.geq10", + "layer1.leq10" + ], + "layer1.geq11": [ + "$x[0:7]" + ], + "layer1.leq11": [ + "$x[0:7]" + ], + "layer2.eq11": [ + "layer1.geq11", + "layer1.leq11" + ], + "layer1.geq12": [ + "$x[0:7]" + ], + "layer1.leq12": [ + "$x[0:7]" + ], + "layer2.eq12": [ + "layer1.geq12", + "layer1.leq12" + ], + "layer1.geq13": [ + "$x[0:7]" + ], + "layer1.leq13": [ + "$x[0:7]" + ], + "layer2.eq13": [ + "layer1.geq13", + "layer1.leq13" + ], + "layer1.geq14": [ + "$x[0:7]" + ], + "layer1.leq14": [ + "$x[0:7]" + ], + "layer2.eq14": [ + "layer1.geq14", + "layer1.leq14" + ], + "layer1.geq15": [ + "$x[0:7]" + ], + "layer1.leq15": [ + "$x[0:7]" + ], + "layer2.eq15": [ + "layer1.geq15", + "layer1.leq15" + ], + "layer1.geq16": [ + "$x[0:7]" + ], + "layer1.leq16": [ + "$x[0:7]" + ], + "layer2.eq16": [ + "layer1.geq16", + "layer1.leq16" + ], + "layer1.geq17": [ + "$x[0:7]" + ], + "layer1.leq17": [ + "$x[0:7]" + ], + "layer2.eq17": [ + "layer1.geq17", + "layer1.leq17" + ], + "layer1.geq18": [ + "$x[0:7]" + ], + "layer1.leq18": [ + "$x[0:7]" + ], + "layer2.eq18": [ + "layer1.geq18", + "layer1.leq18" + ], + "layer1.geq19": [ + "$x[0:7]" + ], + "layer1.leq19": [ + "$x[0:7]" + ], + "layer2.eq19": [ + "layer1.geq19", + "layer1.leq19" + ], + "layer1.geq20": [ + "$x[0:7]" + ], + "layer1.leq20": [ + "$x[0:7]" + ], + "layer2.eq20": [ + "layer1.geq20", + "layer1.leq20" + ], + "layer1.geq21": [ + "$x[0:7]" + ], + "layer1.leq21": [ + "$x[0:7]" + ], + "layer2.eq21": [ + "layer1.geq21", + "layer1.leq21" + ], + "layer1.geq22": [ + "$x[0:7]" + ], + "layer1.leq22": [ + "$x[0:7]" + ], + "layer2.eq22": [ + "layer1.geq22", + "layer1.leq22" + ], + "layer1.geq23": [ + "$x[0:7]" + ], + "layer1.leq23": [ + "$x[0:7]" + ], + "layer2.eq23": [ + "layer1.geq23", + "layer1.leq23" + ], + "layer1.geq24": [ + "$x[0:7]" + ], + "layer1.leq24": [ + "$x[0:7]" + ], + "layer2.eq24": [ + "layer1.geq24", + "layer1.leq24" + ], + "layer1.geq25": [ + "$x[0:7]" + ], + "layer1.leq25": [ + "$x[0:7]" + ], + "layer2.eq25": [ + "layer1.geq25", + "layer1.leq25" + ], + "layer3.or": [ + "layer2.eq0", + "layer2.eq1", + "layer2.eq2", + "layer2.eq3", + "layer2.eq4", + "layer2.eq5", + "layer2.eq6", + "layer2.eq7", + "layer2.eq8", + "layer2.eq9", + "layer2.eq10", + "layer2.eq11", + "layer2.eq12", + "layer2.eq13", + "layer2.eq14", + "layer2.eq15", + "layer2.eq16", + "layer2.eq17", + "layer2.eq18", + "layer2.eq19", + "layer2.eq20", + "layer2.eq21", + "layer2.eq22", + "layer2.eq23", + "layer2.eq24", + "layer2.eq25" + ] + }, + "output": "layer3.or" + }, + "modular.mod11": { + "inputs": [ + "$x[0:7]" + ], + "type": "modular_detector", + "internal": { + "layer1.geq0": [ + "$x[0:7]" + ], + "layer1.leq0": [ + "$x[0:7]" + ], + "layer2.eq0": [ + "layer1.geq0", + "layer1.leq0" + ], + "layer1.geq1": [ + "$x[0:7]" + ], + "layer1.leq1": [ + "$x[0:7]" + ], + "layer2.eq1": [ + "layer1.geq1", + "layer1.leq1" + ], + "layer1.geq2": [ + "$x[0:7]" + ], + "layer1.leq2": [ + "$x[0:7]" + ], + "layer2.eq2": [ + "layer1.geq2", + "layer1.leq2" + ], + "layer1.geq3": [ + "$x[0:7]" + ], + "layer1.leq3": [ + "$x[0:7]" + ], + "layer2.eq3": [ + "layer1.geq3", + "layer1.leq3" + ], + "layer1.geq4": [ + "$x[0:7]" + ], + "layer1.leq4": [ + "$x[0:7]" + ], + "layer2.eq4": [ + "layer1.geq4", + "layer1.leq4" + ], + "layer1.geq5": [ + "$x[0:7]" + ], + "layer1.leq5": [ + "$x[0:7]" + ], + "layer2.eq5": [ + "layer1.geq5", + "layer1.leq5" + ], + "layer1.geq6": [ + "$x[0:7]" + ], + "layer1.leq6": [ + "$x[0:7]" + ], + "layer2.eq6": [ + "layer1.geq6", + "layer1.leq6" + ], + "layer1.geq7": [ + "$x[0:7]" + ], + "layer1.leq7": [ + "$x[0:7]" + ], + "layer2.eq7": [ + "layer1.geq7", + "layer1.leq7" + ], + "layer1.geq8": [ + "$x[0:7]" + ], + "layer1.leq8": [ + "$x[0:7]" + ], + "layer2.eq8": [ + "layer1.geq8", + "layer1.leq8" + ], + "layer1.geq9": [ + "$x[0:7]" + ], + "layer1.leq9": [ + "$x[0:7]" + ], + "layer2.eq9": [ + "layer1.geq9", + "layer1.leq9" + ], + "layer1.geq10": [ + "$x[0:7]" + ], + "layer1.leq10": [ + "$x[0:7]" + ], + "layer2.eq10": [ + "layer1.geq10", + "layer1.leq10" + ], + "layer1.geq11": [ + "$x[0:7]" + ], + "layer1.leq11": [ + "$x[0:7]" + ], + "layer2.eq11": [ + "layer1.geq11", + "layer1.leq11" + ], + "layer1.geq12": [ + "$x[0:7]" + ], + "layer1.leq12": [ + "$x[0:7]" + ], + "layer2.eq12": [ + "layer1.geq12", + "layer1.leq12" + ], + "layer1.geq13": [ + "$x[0:7]" + ], + "layer1.leq13": [ + "$x[0:7]" + ], + "layer2.eq13": [ + "layer1.geq13", + "layer1.leq13" + ], + "layer1.geq14": [ + "$x[0:7]" + ], + "layer1.leq14": [ + "$x[0:7]" + ], + "layer2.eq14": [ + "layer1.geq14", + "layer1.leq14" + ], + "layer1.geq15": [ + "$x[0:7]" + ], + "layer1.leq15": [ + "$x[0:7]" + ], + "layer2.eq15": [ + "layer1.geq15", + "layer1.leq15" + ], + "layer1.geq16": [ + "$x[0:7]" + ], + "layer1.leq16": [ + "$x[0:7]" + ], + "layer2.eq16": [ + "layer1.geq16", + "layer1.leq16" + ], + "layer1.geq17": [ + "$x[0:7]" + ], + "layer1.leq17": [ + "$x[0:7]" + ], + "layer2.eq17": [ + "layer1.geq17", + "layer1.leq17" + ], + "layer1.geq18": [ + "$x[0:7]" + ], + "layer1.leq18": [ + "$x[0:7]" + ], + "layer2.eq18": [ + "layer1.geq18", + "layer1.leq18" + ], + "layer1.geq19": [ + "$x[0:7]" + ], + "layer1.leq19": [ + "$x[0:7]" + ], + "layer2.eq19": [ + "layer1.geq19", + "layer1.leq19" + ], + "layer1.geq20": [ + "$x[0:7]" + ], + "layer1.leq20": [ + "$x[0:7]" + ], + "layer2.eq20": [ + "layer1.geq20", + "layer1.leq20" + ], + "layer1.geq21": [ + "$x[0:7]" + ], + "layer1.leq21": [ + "$x[0:7]" + ], + "layer2.eq21": [ + "layer1.geq21", + "layer1.leq21" + ], + "layer1.geq22": [ + "$x[0:7]" + ], + "layer1.leq22": [ + "$x[0:7]" + ], + "layer2.eq22": [ + "layer1.geq22", + "layer1.leq22" + ], + "layer1.geq23": [ + "$x[0:7]" + ], + "layer1.leq23": [ + "$x[0:7]" + ], + "layer2.eq23": [ + "layer1.geq23", + "layer1.leq23" + ], + "layer3.or": [ + "layer2.eq0", + "layer2.eq1", + "layer2.eq2", + "layer2.eq3", + "layer2.eq4", + "layer2.eq5", + "layer2.eq6", + "layer2.eq7", + "layer2.eq8", + "layer2.eq9", + "layer2.eq10", + "layer2.eq11", + "layer2.eq12", + "layer2.eq13", + "layer2.eq14", + "layer2.eq15", + "layer2.eq16", + "layer2.eq17", + "layer2.eq18", + "layer2.eq19", + "layer2.eq20", + "layer2.eq21", + "layer2.eq22", + "layer2.eq23" + ] + }, + "output": "layer3.or" + }, + "modular.mod12": { + "inputs": [ + "$x[0:7]" + ], + "type": "modular_detector", + "internal": { + "layer1.geq0": [ + "$x[0:7]" + ], + "layer1.leq0": [ + "$x[0:7]" + ], + "layer2.eq0": [ + "layer1.geq0", + "layer1.leq0" + ], + "layer1.geq1": [ + "$x[0:7]" + ], + "layer1.leq1": [ + "$x[0:7]" + ], + "layer2.eq1": [ + "layer1.geq1", + "layer1.leq1" + ], + "layer1.geq2": [ + "$x[0:7]" + ], + "layer1.leq2": [ + "$x[0:7]" + ], + "layer2.eq2": [ + "layer1.geq2", + "layer1.leq2" + ], + "layer1.geq3": [ + "$x[0:7]" + ], + "layer1.leq3": [ + "$x[0:7]" + ], + "layer2.eq3": [ + "layer1.geq3", + "layer1.leq3" + ], + "layer1.geq4": [ + "$x[0:7]" + ], + "layer1.leq4": [ + "$x[0:7]" + ], + "layer2.eq4": [ + "layer1.geq4", + "layer1.leq4" + ], + "layer1.geq5": [ + "$x[0:7]" + ], + "layer1.leq5": [ + "$x[0:7]" + ], + "layer2.eq5": [ + "layer1.geq5", + "layer1.leq5" + ], + "layer1.geq6": [ + "$x[0:7]" + ], + "layer1.leq6": [ + "$x[0:7]" + ], + "layer2.eq6": [ + "layer1.geq6", + "layer1.leq6" + ], + "layer1.geq7": [ + "$x[0:7]" + ], + "layer1.leq7": [ + "$x[0:7]" + ], + "layer2.eq7": [ + "layer1.geq7", + "layer1.leq7" + ], + "layer1.geq8": [ + "$x[0:7]" + ], + "layer1.leq8": [ + "$x[0:7]" + ], + "layer2.eq8": [ + "layer1.geq8", + "layer1.leq8" + ], + "layer1.geq9": [ + "$x[0:7]" + ], + "layer1.leq9": [ + "$x[0:7]" + ], + "layer2.eq9": [ + "layer1.geq9", + "layer1.leq9" + ], + "layer1.geq10": [ + "$x[0:7]" + ], + "layer1.leq10": [ + "$x[0:7]" + ], + "layer2.eq10": [ + "layer1.geq10", + "layer1.leq10" + ], + "layer1.geq11": [ + "$x[0:7]" + ], + "layer1.leq11": [ + "$x[0:7]" + ], + "layer2.eq11": [ + "layer1.geq11", + "layer1.leq11" + ], + "layer1.geq12": [ + "$x[0:7]" + ], + "layer1.leq12": [ + "$x[0:7]" + ], + "layer2.eq12": [ + "layer1.geq12", + "layer1.leq12" + ], + "layer1.geq13": [ + "$x[0:7]" + ], + "layer1.leq13": [ + "$x[0:7]" + ], + "layer2.eq13": [ + "layer1.geq13", + "layer1.leq13" + ], + "layer1.geq14": [ + "$x[0:7]" + ], + "layer1.leq14": [ + "$x[0:7]" + ], + "layer2.eq14": [ + "layer1.geq14", + "layer1.leq14" + ], + "layer1.geq15": [ + "$x[0:7]" + ], + "layer1.leq15": [ + "$x[0:7]" + ], + "layer2.eq15": [ + "layer1.geq15", + "layer1.leq15" + ], + "layer1.geq16": [ + "$x[0:7]" + ], + "layer1.leq16": [ + "$x[0:7]" + ], + "layer2.eq16": [ + "layer1.geq16", + "layer1.leq16" + ], + "layer1.geq17": [ + "$x[0:7]" + ], + "layer1.leq17": [ + "$x[0:7]" + ], + "layer2.eq17": [ + "layer1.geq17", + "layer1.leq17" + ], + "layer1.geq18": [ + "$x[0:7]" + ], + "layer1.leq18": [ + "$x[0:7]" + ], + "layer2.eq18": [ + "layer1.geq18", + "layer1.leq18" + ], + "layer1.geq19": [ + "$x[0:7]" + ], + "layer1.leq19": [ + "$x[0:7]" + ], + "layer2.eq19": [ + "layer1.geq19", + "layer1.leq19" + ], + "layer1.geq20": [ + "$x[0:7]" + ], + "layer1.leq20": [ + "$x[0:7]" + ], + "layer2.eq20": [ + "layer1.geq20", + "layer1.leq20" + ], + "layer1.geq21": [ + "$x[0:7]" + ], + "layer1.leq21": [ + "$x[0:7]" + ], + "layer2.eq21": [ + "layer1.geq21", + "layer1.leq21" + ], + "layer3.or": [ + "layer2.eq0", + "layer2.eq1", + "layer2.eq2", + "layer2.eq3", + "layer2.eq4", + "layer2.eq5", + "layer2.eq6", + "layer2.eq7", + "layer2.eq8", + "layer2.eq9", + "layer2.eq10", + "layer2.eq11", + "layer2.eq12", + "layer2.eq13", + "layer2.eq14", + "layer2.eq15", + "layer2.eq16", + "layer2.eq17", + "layer2.eq18", + "layer2.eq19", + "layer2.eq20", + "layer2.eq21" + ] + }, + "output": "layer3.or" + }, + "pattern_recognition.popcount": { + "inputs": [ + "$x[0:7]" + ], + "type": "weighted_sum" + }, + "pattern_recognition.allzeros": { + "inputs": [ + "$x[0:7]" + ], + "type": "weighted_sum" + }, + "pattern_recognition.allones": { + "inputs": [ + "$x[0:7]" + ], + "type": "weighted_sum" + }, + "pattern_recognition.leadingones": { + "inputs": [ + "$x[0:7]" + ], + "type": "weighted_sum" + }, + "pattern_recognition.trailingones": { + "inputs": [ + "$x[0:7]" + ], + "type": "weighted_sum" + }, + "pattern_recognition.runlength": { + "inputs": [ + "$x[0:7]" + ], + "type": "weighted_sum" + }, + "pattern_recognition.onehotdetector": { + "inputs": [ + "$x[0:7]" + ], + "type": "composite", + "internal": { + "atleast1": [ + "$x[0:7]" + ], + "atmost1": [ + "$x[0:7]" + ], + "and": [ + "atleast1", + "atmost1" + ] + }, + "output": "and" + }, + "pattern_recognition.alternating8bit": { + "inputs": [ + "$x[0:7]" + ], + "type": "composite", + "internal": { + "pattern1": [ + "$x[0:7]" + ], + "pattern2": [ + "$x[0:7]" + ] + } + }, + "pattern_recognition.hammingdistance8bit": { + "inputs": [ + "$a[0:7]", + "$b[0:7]" + ], + "type": "composite", + "internal": { + "xor": [ + "$a[0:7]", + "$b[0:7]" + ], + "popcount": [ + "xor" + ] + }, + "output": "popcount" + }, + "pattern_recognition.symmetry8bit": { + "inputs": [ + "$x[0:7]" + ], + "type": "composite", + "internal": { + "xnor0": [ + "$x[0]", + "$x[7]" + ], + "xnor1": [ + "$x[1]", + "$x[6]" + ], + "xnor2": [ + "$x[2]", + "$x[5]" + ], + "xnor3": [ + "$x[3]", + "$x[4]" + ], + "and": [ + "xnor0", + "xnor1", + "xnor2", + "xnor3" + ] + }, + "output": "and" + }, + "manifest.alu_operations": { + "type": "constant", + "value": 16 + }, + "manifest.flags": { + "type": "constant", + "value": 4 + }, + "manifest.instruction_width": { + "type": "constant", + "value": 16 + }, + "manifest.memory_bytes": { + "type": "constant", + "value": 256 + }, + "manifest.pc_width": { + "type": "constant", + "value": 8 + }, + "manifest.register_width": { + "type": "constant", + "value": 8 + }, + "manifest.registers": { + "type": "constant", + "value": 4 + }, + "manifest.turing_complete": { + "type": "constant", + "value": 1 + }, + "manifest.version": { + "type": "constant", + "value": 1 + } + } +} \ No newline at end of file