actlib_dataflow_neuro/test/unit_tests/arbtree_5/run/test.prs

= "GND" "GND"
= "Vdd" "Vdd"
= "Reset" "Reset"
= "t.at.arbs[0].in1.d.d[0]" "t.at.arbs[0].in1.r"
= "t.at.arbs[0].in1.a" "t.at.arbs[0].arbiter.d"
= "t.at.arbs[0].in1.a" "t.at.arbs[0].ack_cell1.y"
= "t.at.arbs[0].in1.d.d[0]" "t.at.arbs[0].arbiter.a"
= "t.at.arbs[0].in1.d.d[0]" "t.at.arbs[0].in1.r"
~"t.at.arbs[0].ack_cell1.c1"&~"t.at.arbs[0].ack_cell1.c2"->"t.at.arbs[0].ack_cell1._y"+
"t.at.arbs[0].ack_cell1.c1"&"t.at.arbs[0].ack_cell1.c2"->"t.at.arbs[0].ack_cell1._y"-
"t.at.arbs[0].ack_cell1._y"->"t.at.arbs[0].ack_cell1.y"-
~("t.at.arbs[0].ack_cell1._y")->"t.at.arbs[0].ack_cell1.y"+
= "t.at.arbs[0].in2.d.d[0]" "t.at.arbs[0].in2.r"
= "t.at.arbs[0].in2.a" "t.at.arbs[0].arbiter.c"
= "t.at.arbs[0].in2.a" "t.at.arbs[0].ack_cell2.y"
= "t.at.arbs[0].in2.d.d[0]" "t.at.arbs[0].arbiter.b"
= "t.at.arbs[0].in2.d.d[0]" "t.at.arbs[0].in2.r"
= "t.at.arbs[0].supply.vdd" "t.at.arbs[0].arbiter.vdd"
= "t.at.arbs[0].supply.vdd" "t.at.arbs[0].or_cell.vdd"
= "t.at.arbs[0].supply.vdd" "t.at.arbs[0].ack_cell2.vdd"
= "t.at.arbs[0].supply.vdd" "t.at.arbs[0].ack_cell1.vdd"
= "t.at.arbs[0].supply.vss" "t.at.arbs[0].arbiter.vss"
= "t.at.arbs[0].supply.vss" "t.at.arbs[0].or_cell.vss"
= "t.at.arbs[0].supply.vss" "t.at.arbs[0].ack_cell2.vss"
= "t.at.arbs[0].supply.vss" "t.at.arbs[0].ack_cell1.vss"
"t.at.arbs[0].arbiter.a"&"t.at.arbs[0].arbiter._y2"->"t.at.arbs[0].arbiter._y1"-
~"t.at.arbs[0].arbiter.a"|~"t.at.arbs[0].arbiter._y2"->"t.at.arbs[0].arbiter._y1"+
"t.at.arbs[0].arbiter.b"&"t.at.arbs[0].arbiter._y1"->"t.at.arbs[0].arbiter._y2"-
~"t.at.arbs[0].arbiter.b"|~"t.at.arbs[0].arbiter._y1"->"t.at.arbs[0].arbiter._y2"+
"t.at.arbs[0].arbiter._y1"|"t.at.arbs[0].arbiter.c"->"t.at.arbs[0].arbiter.y1"-
~("t.at.arbs[0].arbiter._y1"|"t.at.arbs[0].arbiter.c")->"t.at.arbs[0].arbiter.y1"+
"t.at.arbs[0].arbiter._y2"|"t.at.arbs[0].arbiter.d"->"t.at.arbs[0].arbiter.y2"-
~("t.at.arbs[0].arbiter._y2"|"t.at.arbs[0].arbiter.d")->"t.at.arbs[0].arbiter.y2"+
mk_excllo("t.at.arbs[0].arbiter._y1","t.at.arbs[0].arbiter._y2")
= "t.at.arbs[0]._y1_arb" "t.at.arbs[0].arbiter.y1"
= "t.at.arbs[0]._y1_arb" "t.at.arbs[0].or_cell.a"
= "t.at.arbs[0]._y1_arb" "t.at.arbs[0].ack_cell1.c2"
~"t.at.arbs[0].ack_cell2.c1"&~"t.at.arbs[0].ack_cell2.c2"->"t.at.arbs[0].ack_cell2._y"+
"t.at.arbs[0].ack_cell2.c1"&"t.at.arbs[0].ack_cell2.c2"->"t.at.arbs[0].ack_cell2._y"-
"t.at.arbs[0].ack_cell2._y"->"t.at.arbs[0].ack_cell2.y"-
~("t.at.arbs[0].ack_cell2._y")->"t.at.arbs[0].ack_cell2.y"+
"t.at.arbs[0].or_cell.a"|"t.at.arbs[0].or_cell.b"->"t.at.arbs[0].or_cell._y"-
~("t.at.arbs[0].or_cell.a"|"t.at.arbs[0].or_cell.b")->"t.at.arbs[0].or_cell._y"+
"t.at.arbs[0].or_cell._y"->"t.at.arbs[0].or_cell.y"-
~("t.at.arbs[0].or_cell._y")->"t.at.arbs[0].or_cell.y"+
= "t.at.arbs[0].out.d.d[0]" "t.at.arbs[0].out.r"
= "t.at.arbs[0].out.a" "t.at.arbs[0].ack_cell2.c1"
= "t.at.arbs[0].out.a" "t.at.arbs[0].ack_cell1.c1"
= "t.at.arbs[0].out.d.d[0]" "t.at.arbs[0].or_cell.y"
= "t.at.arbs[0].out.d.d[0]" "t.at.arbs[0].out.r"
= "t.at.arbs[0]._y2_arb" "t.at.arbs[0].arbiter.y2"
= "t.at.arbs[0]._y2_arb" "t.at.arbs[0].or_cell.b"
= "t.at.arbs[0]._y2_arb" "t.at.arbs[0].ack_cell2.c2"
= "t.at.arbs[1].in1.d.d[0]" "t.at.arbs[1].in1.r"
= "t.at.arbs[1].in1.a" "t.at.arbs[1].arbiter.d"
= "t.at.arbs[1].in1.a" "t.at.arbs[1].ack_cell1.y"
= "t.at.arbs[1].in1.d.d[0]" "t.at.arbs[1].arbiter.a"
= "t.at.arbs[1].in1.d.d[0]" "t.at.arbs[1].in1.r"
~"t.at.arbs[1].ack_cell1.c1"&~"t.at.arbs[1].ack_cell1.c2"->"t.at.arbs[1].ack_cell1._y"+
"t.at.arbs[1].ack_cell1.c1"&"t.at.arbs[1].ack_cell1.c2"->"t.at.arbs[1].ack_cell1._y"-
"t.at.arbs[1].ack_cell1._y"->"t.at.arbs[1].ack_cell1.y"-
~("t.at.arbs[1].ack_cell1._y")->"t.at.arbs[1].ack_cell1.y"+
= "t.at.arbs[1].in2.d.d[0]" "t.at.arbs[1].in2.r"
= "t.at.arbs[1].in2.a" "t.at.arbs[1].arbiter.c"
= "t.at.arbs[1].in2.a" "t.at.arbs[1].ack_cell2.y"
= "t.at.arbs[1].in2.d.d[0]" "t.at.arbs[1].arbiter.b"
= "t.at.arbs[1].in2.d.d[0]" "t.at.arbs[1].in2.r"
= "t.at.arbs[1].supply.vdd" "t.at.arbs[1].arbiter.vdd"
= "t.at.arbs[1].supply.vdd" "t.at.arbs[1].or_cell.vdd"
= "t.at.arbs[1].supply.vdd" "t.at.arbs[1].ack_cell2.vdd"
= "t.at.arbs[1].supply.vdd" "t.at.arbs[1].ack_cell1.vdd"
= "t.at.arbs[1].supply.vss" "t.at.arbs[1].arbiter.vss"
= "t.at.arbs[1].supply.vss" "t.at.arbs[1].or_cell.vss"
= "t.at.arbs[1].supply.vss" "t.at.arbs[1].ack_cell2.vss"
= "t.at.arbs[1].supply.vss" "t.at.arbs[1].ack_cell1.vss"
"t.at.arbs[1].arbiter.a"&"t.at.arbs[1].arbiter._y2"->"t.at.arbs[1].arbiter._y1"-
~"t.at.arbs[1].arbiter.a"|~"t.at.arbs[1].arbiter._y2"->"t.at.arbs[1].arbiter._y1"+
"t.at.arbs[1].arbiter.b"&"t.at.arbs[1].arbiter._y1"->"t.at.arbs[1].arbiter._y2"-
~"t.at.arbs[1].arbiter.b"|~"t.at.arbs[1].arbiter._y1"->"t.at.arbs[1].arbiter._y2"+
"t.at.arbs[1].arbiter._y1"|"t.at.arbs[1].arbiter.c"->"t.at.arbs[1].arbiter.y1"-
~("t.at.arbs[1].arbiter._y1"|"t.at.arbs[1].arbiter.c")->"t.at.arbs[1].arbiter.y1"+
"t.at.arbs[1].arbiter._y2"|"t.at.arbs[1].arbiter.d"->"t.at.arbs[1].arbiter.y2"-
~("t.at.arbs[1].arbiter._y2"|"t.at.arbs[1].arbiter.d")->"t.at.arbs[1].arbiter.y2"+
mk_excllo("t.at.arbs[1].arbiter._y1","t.at.arbs[1].arbiter._y2")
= "t.at.arbs[1]._y1_arb" "t.at.arbs[1].arbiter.y1"
= "t.at.arbs[1]._y1_arb" "t.at.arbs[1].or_cell.a"
= "t.at.arbs[1]._y1_arb" "t.at.arbs[1].ack_cell1.c2"
~"t.at.arbs[1].ack_cell2.c1"&~"t.at.arbs[1].ack_cell2.c2"->"t.at.arbs[1].ack_cell2._y"+
"t.at.arbs[1].ack_cell2.c1"&"t.at.arbs[1].ack_cell2.c2"->"t.at.arbs[1].ack_cell2._y"-
"t.at.arbs[1].ack_cell2._y"->"t.at.arbs[1].ack_cell2.y"-
~("t.at.arbs[1].ack_cell2._y")->"t.at.arbs[1].ack_cell2.y"+
"t.at.arbs[1].or_cell.a"|"t.at.arbs[1].or_cell.b"->"t.at.arbs[1].or_cell._y"-
~("t.at.arbs[1].or_cell.a"|"t.at.arbs[1].or_cell.b")->"t.at.arbs[1].or_cell._y"+
"t.at.arbs[1].or_cell._y"->"t.at.arbs[1].or_cell.y"-
~("t.at.arbs[1].or_cell._y")->"t.at.arbs[1].or_cell.y"+
= "t.at.arbs[1].out.d.d[0]" "t.at.arbs[1].out.r"
= "t.at.arbs[1].out.a" "t.at.arbs[1].ack_cell2.c1"
= "t.at.arbs[1].out.a" "t.at.arbs[1].ack_cell1.c1"
= "t.at.arbs[1].out.d.d[0]" "t.at.arbs[1].or_cell.y"
= "t.at.arbs[1].out.d.d[0]" "t.at.arbs[1].out.r"
= "t.at.arbs[1]._y2_arb" "t.at.arbs[1].arbiter.y2"
= "t.at.arbs[1]._y2_arb" "t.at.arbs[1].or_cell.b"
= "t.at.arbs[1]._y2_arb" "t.at.arbs[1].ack_cell2.c2"
= "t.at.arbs[2].in1.d.d[0]" "t.at.arbs[2].in1.r"
= "t.at.arbs[2].in1.a" "t.at.arbs[2].arbiter.d"
= "t.at.arbs[2].in1.a" "t.at.arbs[2].ack_cell1.y"
= "t.at.arbs[2].in1.d.d[0]" "t.at.arbs[2].arbiter.a"
= "t.at.arbs[2].in1.d.d[0]" "t.at.arbs[2].in1.r"
~"t.at.arbs[2].ack_cell1.c1"&~"t.at.arbs[2].ack_cell1.c2"->"t.at.arbs[2].ack_cell1._y"+
"t.at.arbs[2].ack_cell1.c1"&"t.at.arbs[2].ack_cell1.c2"->"t.at.arbs[2].ack_cell1._y"-
"t.at.arbs[2].ack_cell1._y"->"t.at.arbs[2].ack_cell1.y"-
~("t.at.arbs[2].ack_cell1._y")->"t.at.arbs[2].ack_cell1.y"+
= "t.at.arbs[2].in2.d.d[0]" "t.at.arbs[2].in2.r"
= "t.at.arbs[2].in2.a" "t.at.arbs[2].arbiter.c"
= "t.at.arbs[2].in2.a" "t.at.arbs[2].ack_cell2.y"
= "t.at.arbs[2].in2.d.d[0]" "t.at.arbs[2].arbiter.b"
= "t.at.arbs[2].in2.d.d[0]" "t.at.arbs[2].in2.r"
= "t.at.arbs[2].supply.vdd" "t.at.arbs[2].arbiter.vdd"
= "t.at.arbs[2].supply.vdd" "t.at.arbs[2].or_cell.vdd"
= "t.at.arbs[2].supply.vdd" "t.at.arbs[2].ack_cell2.vdd"
= "t.at.arbs[2].supply.vdd" "t.at.arbs[2].ack_cell1.vdd"
= "t.at.arbs[2].supply.vss" "t.at.arbs[2].arbiter.vss"
= "t.at.arbs[2].supply.vss" "t.at.arbs[2].or_cell.vss"
= "t.at.arbs[2].supply.vss" "t.at.arbs[2].ack_cell2.vss"
= "t.at.arbs[2].supply.vss" "t.at.arbs[2].ack_cell1.vss"
"t.at.arbs[2].arbiter.a"&"t.at.arbs[2].arbiter._y2"->"t.at.arbs[2].arbiter._y1"-
~"t.at.arbs[2].arbiter.a"|~"t.at.arbs[2].arbiter._y2"->"t.at.arbs[2].arbiter._y1"+
"t.at.arbs[2].arbiter.b"&"t.at.arbs[2].arbiter._y1"->"t.at.arbs[2].arbiter._y2"-
~"t.at.arbs[2].arbiter.b"|~"t.at.arbs[2].arbiter._y1"->"t.at.arbs[2].arbiter._y2"+
"t.at.arbs[2].arbiter._y1"|"t.at.arbs[2].arbiter.c"->"t.at.arbs[2].arbiter.y1"-
~("t.at.arbs[2].arbiter._y1"|"t.at.arbs[2].arbiter.c")->"t.at.arbs[2].arbiter.y1"+
"t.at.arbs[2].arbiter._y2"|"t.at.arbs[2].arbiter.d"->"t.at.arbs[2].arbiter.y2"-
~("t.at.arbs[2].arbiter._y2"|"t.at.arbs[2].arbiter.d")->"t.at.arbs[2].arbiter.y2"+
mk_excllo("t.at.arbs[2].arbiter._y1","t.at.arbs[2].arbiter._y2")
= "t.at.arbs[2]._y1_arb" "t.at.arbs[2].arbiter.y1"
= "t.at.arbs[2]._y1_arb" "t.at.arbs[2].or_cell.a"
= "t.at.arbs[2]._y1_arb" "t.at.arbs[2].ack_cell1.c2"
~"t.at.arbs[2].ack_cell2.c1"&~"t.at.arbs[2].ack_cell2.c2"->"t.at.arbs[2].ack_cell2._y"+
"t.at.arbs[2].ack_cell2.c1"&"t.at.arbs[2].ack_cell2.c2"->"t.at.arbs[2].ack_cell2._y"-
"t.at.arbs[2].ack_cell2._y"->"t.at.arbs[2].ack_cell2.y"-
~("t.at.arbs[2].ack_cell2._y")->"t.at.arbs[2].ack_cell2.y"+
"t.at.arbs[2].or_cell.a"|"t.at.arbs[2].or_cell.b"->"t.at.arbs[2].or_cell._y"-
~("t.at.arbs[2].or_cell.a"|"t.at.arbs[2].or_cell.b")->"t.at.arbs[2].or_cell._y"+
"t.at.arbs[2].or_cell._y"->"t.at.arbs[2].or_cell.y"-
~("t.at.arbs[2].or_cell._y")->"t.at.arbs[2].or_cell.y"+
= "t.at.arbs[2].out.d.d[0]" "t.at.arbs[2].out.r"
= "t.at.arbs[2].out.a" "t.at.arbs[2].ack_cell2.c1"
= "t.at.arbs[2].out.a" "t.at.arbs[2].ack_cell1.c1"
= "t.at.arbs[2].out.d.d[0]" "t.at.arbs[2].or_cell.y"
= "t.at.arbs[2].out.d.d[0]" "t.at.arbs[2].out.r"
= "t.at.arbs[2]._y2_arb" "t.at.arbs[2].arbiter.y2"
= "t.at.arbs[2]._y2_arb" "t.at.arbs[2].or_cell.b"
= "t.at.arbs[2]._y2_arb" "t.at.arbs[2].ack_cell2.c2"
= "t.at.arbs[3].in1.d.d[0]" "t.at.arbs[3].in1.r"
= "t.at.arbs[3].in1.a" "t.at.arbs[3].arbiter.d"
= "t.at.arbs[3].in1.a" "t.at.arbs[3].ack_cell1.y"
= "t.at.arbs[3].in1.d.d[0]" "t.at.arbs[3].arbiter.a"
= "t.at.arbs[3].in1.d.d[0]" "t.at.arbs[3].in1.r"
~"t.at.arbs[3].ack_cell1.c1"&~"t.at.arbs[3].ack_cell1.c2"->"t.at.arbs[3].ack_cell1._y"+
"t.at.arbs[3].ack_cell1.c1"&"t.at.arbs[3].ack_cell1.c2"->"t.at.arbs[3].ack_cell1._y"-
"t.at.arbs[3].ack_cell1._y"->"t.at.arbs[3].ack_cell1.y"-
~("t.at.arbs[3].ack_cell1._y")->"t.at.arbs[3].ack_cell1.y"+
= "t.at.arbs[3].in2.d.d[0]" "t.at.arbs[3].in2.r"
= "t.at.arbs[3].in2.a" "t.at.arbs[3].arbiter.c"
= "t.at.arbs[3].in2.a" "t.at.arbs[3].ack_cell2.y"
= "t.at.arbs[3].in2.d.d[0]" "t.at.arbs[3].arbiter.b"
= "t.at.arbs[3].in2.d.d[0]" "t.at.arbs[3].in2.r"
= "t.at.arbs[3].supply.vdd" "t.at.arbs[3].arbiter.vdd"
= "t.at.arbs[3].supply.vdd" "t.at.arbs[3].or_cell.vdd"
= "t.at.arbs[3].supply.vdd" "t.at.arbs[3].ack_cell2.vdd"
= "t.at.arbs[3].supply.vdd" "t.at.arbs[3].ack_cell1.vdd"
= "t.at.arbs[3].supply.vss" "t.at.arbs[3].arbiter.vss"
= "t.at.arbs[3].supply.vss" "t.at.arbs[3].or_cell.vss"
= "t.at.arbs[3].supply.vss" "t.at.arbs[3].ack_cell2.vss"
= "t.at.arbs[3].supply.vss" "t.at.arbs[3].ack_cell1.vss"
"t.at.arbs[3].arbiter.a"&"t.at.arbs[3].arbiter._y2"->"t.at.arbs[3].arbiter._y1"-
~"t.at.arbs[3].arbiter.a"|~"t.at.arbs[3].arbiter._y2"->"t.at.arbs[3].arbiter._y1"+
"t.at.arbs[3].arbiter.b"&"t.at.arbs[3].arbiter._y1"->"t.at.arbs[3].arbiter._y2"-
~"t.at.arbs[3].arbiter.b"|~"t.at.arbs[3].arbiter._y1"->"t.at.arbs[3].arbiter._y2"+
"t.at.arbs[3].arbiter._y1"|"t.at.arbs[3].arbiter.c"->"t.at.arbs[3].arbiter.y1"-
~("t.at.arbs[3].arbiter._y1"|"t.at.arbs[3].arbiter.c")->"t.at.arbs[3].arbiter.y1"+
"t.at.arbs[3].arbiter._y2"|"t.at.arbs[3].arbiter.d"->"t.at.arbs[3].arbiter.y2"-
~("t.at.arbs[3].arbiter._y2"|"t.at.arbs[3].arbiter.d")->"t.at.arbs[3].arbiter.y2"+
mk_excllo("t.at.arbs[3].arbiter._y1","t.at.arbs[3].arbiter._y2")
= "t.at.arbs[3]._y1_arb" "t.at.arbs[3].arbiter.y1"
= "t.at.arbs[3]._y1_arb" "t.at.arbs[3].or_cell.a"
= "t.at.arbs[3]._y1_arb" "t.at.arbs[3].ack_cell1.c2"
~"t.at.arbs[3].ack_cell2.c1"&~"t.at.arbs[3].ack_cell2.c2"->"t.at.arbs[3].ack_cell2._y"+
"t.at.arbs[3].ack_cell2.c1"&"t.at.arbs[3].ack_cell2.c2"->"t.at.arbs[3].ack_cell2._y"-
"t.at.arbs[3].ack_cell2._y"->"t.at.arbs[3].ack_cell2.y"-
~("t.at.arbs[3].ack_cell2._y")->"t.at.arbs[3].ack_cell2.y"+
"t.at.arbs[3].or_cell.a"|"t.at.arbs[3].or_cell.b"->"t.at.arbs[3].or_cell._y"-
~("t.at.arbs[3].or_cell.a"|"t.at.arbs[3].or_cell.b")->"t.at.arbs[3].or_cell._y"+
"t.at.arbs[3].or_cell._y"->"t.at.arbs[3].or_cell.y"-
~("t.at.arbs[3].or_cell._y")->"t.at.arbs[3].or_cell.y"+
= "t.at.arbs[3].out.d.d[0]" "t.at.arbs[3].out.r"
= "t.at.arbs[3].out.a" "t.at.arbs[3].ack_cell2.c1"
= "t.at.arbs[3].out.a" "t.at.arbs[3].ack_cell1.c1"
= "t.at.arbs[3].out.d.d[0]" "t.at.arbs[3].or_cell.y"
= "t.at.arbs[3].out.d.d[0]" "t.at.arbs[3].out.r"
= "t.at.arbs[3]._y2_arb" "t.at.arbs[3].arbiter.y2"
= "t.at.arbs[3]._y2_arb" "t.at.arbs[3].or_cell.b"
= "t.at.arbs[3]._y2_arb" "t.at.arbs[3].ack_cell2.c2"
= "t.at.tmp[5].d.d[0]" "t.at.tmp[5].r"
= "t.at.tmp[6].d.d[0]" "t.at.tmp[6].r"
= "t.at.tmp[8].d.d[0]" "t.at.tmp[8].r"
= "t.at.tmp[5].r" "t.at.arbs[2].in1.r"
= "t.at.tmp[5].a" "t.at.arbs[2].in1.a"
= "t.at.tmp[5].d.d[0]" "t.at.arbs[2].in1.d.d[0]"
= "t.at.tmp[5].r" "t.at.arbs[0].out.r"
= "t.at.tmp[5].a" "t.at.arbs[0].out.a"
= "t.at.tmp[5].d.d[0]" "t.at.arbs[0].out.d.d[0]"
= "t.at.tmp[6].r" "t.at.arbs[2].in2.r"
= "t.at.tmp[6].a" "t.at.arbs[2].in2.a"
= "t.at.tmp[6].d.d[0]" "t.at.arbs[2].in2.d.d[0]"
= "t.at.tmp[6].r" "t.at.arbs[1].out.r"
= "t.at.tmp[6].a" "t.at.arbs[1].out.a"
= "t.at.tmp[6].d.d[0]" "t.at.arbs[1].out.d.d[0]"
= "t.at.tmp[8].r" "t.at.arbs[3].in1.r"
= "t.at.tmp[8].a" "t.at.arbs[3].in1.a"
= "t.at.tmp[8].d.d[0]" "t.at.arbs[3].in1.d.d[0]"
= "t.at.tmp[8].r" "t.at.arbs[2].out.r"
= "t.at.tmp[8].a" "t.at.arbs[2].out.a"
= "t.at.tmp[8].d.d[0]" "t.at.arbs[2].out.d.d[0]"
= "t.at.tmp[8].d.d[0]" "t.at.tmp[8].r"
= "t.at.tmp[6].d.d[0]" "t.at.tmp[6].r"
= "t.at.tmp[5].d.d[0]" "t.at.tmp[5].r"
= "t.at.supply.vss" "t.at.arbs[3].supply.vss"
= "t.at.supply.vdd" "t.at.arbs[3].supply.vdd"
= "t.at.supply.vss" "t.at.arbs[2].supply.vss"
= "t.at.supply.vdd" "t.at.arbs[2].supply.vdd"
= "t.at.supply.vss" "t.at.arbs[1].supply.vss"
= "t.at.supply.vdd" "t.at.arbs[1].supply.vdd"
= "t.at.supply.vss" "t.at.arbs[0].supply.vss"
= "t.at.supply.vdd" "t.at.arbs[0].supply.vdd"
= "t.at.in[0].d.d[0]" "t.at.in[0].r"
= "t.at.in[1].d.d[0]" "t.at.in[1].r"
= "t.at.in[2].d.d[0]" "t.at.in[2].r"
= "t.at.in[3].d.d[0]" "t.at.in[3].r"
= "t.at.in[4].d.d[0]" "t.at.in[4].r"
= "t.at.in[0].r" "t.at.arbs[0].in1.r"
= "t.at.in[0].a" "t.at.arbs[0].in1.a"
= "t.at.in[0].d.d[0]" "t.at.arbs[0].in1.d.d[0]"
= "t.at.in[0].r" "t.at.tmp[0].r"
= "t.at.in[0].a" "t.at.tmp[0].a"
= "t.at.in[0].d.d[0]" "t.at.tmp[0].d.d[0]"
= "t.at.in[1].r" "t.at.arbs[0].in2.r"
= "t.at.in[1].a" "t.at.arbs[0].in2.a"
= "t.at.in[1].d.d[0]" "t.at.arbs[0].in2.d.d[0]"
= "t.at.in[1].r" "t.at.tmp[1].r"
= "t.at.in[1].a" "t.at.tmp[1].a"
= "t.at.in[1].d.d[0]" "t.at.tmp[1].d.d[0]"
= "t.at.in[2].r" "t.at.arbs[1].in1.r"
= "t.at.in[2].a" "t.at.arbs[1].in1.a"
= "t.at.in[2].d.d[0]" "t.at.arbs[1].in1.d.d[0]"
= "t.at.in[2].r" "t.at.tmp[2].r"
= "t.at.in[2].a" "t.at.tmp[2].a"
= "t.at.in[2].d.d[0]" "t.at.tmp[2].d.d[0]"
= "t.at.in[3].r" "t.at.arbs[1].in2.r"
= "t.at.in[3].a" "t.at.arbs[1].in2.a"
= "t.at.in[3].d.d[0]" "t.at.arbs[1].in2.d.d[0]"
= "t.at.in[3].r" "t.at.tmp[3].r"
= "t.at.in[3].a" "t.at.tmp[3].a"
= "t.at.in[3].d.d[0]" "t.at.tmp[3].d.d[0]"
= "t.at.in[4].r" "t.at.arbs[3].in2.r"
= "t.at.in[4].a" "t.at.arbs[3].in2.a"
= "t.at.in[4].d.d[0]" "t.at.arbs[3].in2.d.d[0]"
= "t.at.in[4].r" "t.at.tmp[9].r"
= "t.at.in[4].a" "t.at.tmp[9].a"
= "t.at.in[4].d.d[0]" "t.at.tmp[9].d.d[0]"
= "t.at.in[4].r" "t.at.tmp[7].r"
= "t.at.in[4].a" "t.at.tmp[7].a"
= "t.at.in[4].d.d[0]" "t.at.tmp[7].d.d[0]"
= "t.at.in[4].r" "t.at.tmp[4].r"
= "t.at.in[4].a" "t.at.tmp[4].a"
= "t.at.in[4].d.d[0]" "t.at.tmp[4].d.d[0]"
= "t.at.in[4].d.d[0]" "t.at.in[4].r"
= "t.at.in[3].d.d[0]" "t.at.in[3].r"
= "t.at.in[2].d.d[0]" "t.at.in[2].r"
= "t.at.in[1].d.d[0]" "t.at.in[1].r"
= "t.at.in[0].d.d[0]" "t.at.in[0].r"
= "t.at.out.d.d[0]" "t.at.out.r"
= "t.at.out.r" "t.at.arbs[3].out.r"
= "t.at.out.a" "t.at.arbs[3].out.a"
= "t.at.out.d.d[0]" "t.at.arbs[3].out.d.d[0]"
= "t.at.out.r" "t.at.tmp[10].r"
= "t.at.out.a" "t.at.tmp[10].a"
= "t.at.out.d.d[0]" "t.at.tmp[10].d.d[0]"
= "t.at.out.d.d[0]" "t.at.out.r"
= "Vdd" "t.at.supply.vdd"
= "GND" "t.at.supply.vss"
= "t.out.d.d[0]" "t.out.r"
= "t.out.r" "t.at.out.r"
= "t.out.a" "t.at.out.a"
= "t.out.d.d[0]" "t.at.out.d.d[0]"
= "t.out.d.d[0]" "t.out.r"
= "t.in[0].d.d[0]" "t.in[0].r"
= "t.in[1].d.d[0]" "t.in[1].r"
= "t.in[2].d.d[0]" "t.in[2].r"
= "t.in[3].d.d[0]" "t.in[3].r"
= "t.in[4].d.d[0]" "t.in[4].r"
= "t.in[0].r" "t.at.in[0].r"
= "t.in[1].r" "t.at.in[1].r"
= "t.in[2].r" "t.at.in[2].r"
= "t.in[3].r" "t.at.in[3].r"
= "t.in[4].r" "t.at.in[4].r"
= "t.in[0].a" "t.at.in[0].a"
= "t.in[1].a" "t.at.in[1].a"
= "t.in[2].a" "t.at.in[2].a"
= "t.in[3].a" "t.at.in[3].a"
= "t.in[4].a" "t.at.in[4].a"
= "t.in[0].d.d[0]" "t.at.in[0].d.d[0]"
= "t.in[1].d.d[0]" "t.at.in[1].d.d[0]"
= "t.in[2].d.d[0]" "t.at.in[2].d.d[0]"
= "t.in[3].d.d[0]" "t.at.in[3].d.d[0]"
= "t.in[4].d.d[0]" "t.at.in[4].d.d[0]"
= "t.in[4].d.d[0]" "t.in[4].r"
= "t.in[3].d.d[0]" "t.in[3].r"
= "t.in[2].d.d[0]" "t.in[2].r"
= "t.in[1].d.d[0]" "t.in[1].r"
= "t.in[0].d.d[0]" "t.in[0].r"