diff --git "a/routing.json" "b/routing.json" deleted file mode 100644--- "a/routing.json" +++ /dev/null @@ -1,8924 +0,0 @@ -{ - "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