= "GND" "GND"
= "Vdd" "Vdd"
= "Reset" "Reset"
~"t.vtree_test.ct.C2Els[0].c1"&~"t.vtree_test.ct.C2Els[0].c2"->"t.vtree_test.ct.C2Els[0]._y"+
"t.vtree_test.ct.C2Els[0].c1"&"t.vtree_test.ct.C2Els[0].c2"->"t.vtree_test.ct.C2Els[0]._y"-
"t.vtree_test.ct.C2Els[0]._y"->"t.vtree_test.ct.C2Els[0].y"-
~("t.vtree_test.ct.C2Els[0]._y")->"t.vtree_test.ct.C2Els[0].y"+
~"t.vtree_test.ct.C2Els[1].c1"&~"t.vtree_test.ct.C2Els[1].c2"->"t.vtree_test.ct.C2Els[1]._y"+
"t.vtree_test.ct.C2Els[1].c1"&"t.vtree_test.ct.C2Els[1].c2"->"t.vtree_test.ct.C2Els[1]._y"-
"t.vtree_test.ct.C2Els[1]._y"->"t.vtree_test.ct.C2Els[1].y"-
~("t.vtree_test.ct.C2Els[1]._y")->"t.vtree_test.ct.C2Els[1].y"+
~"t.vtree_test.ct.C3Els[0].c1"&~"t.vtree_test.ct.C3Els[0].c2"&~"t.vtree_test.ct.C3Els[0].c3"->"t.vtree_test.ct.C3Els[0]._y"+
"t.vtree_test.ct.C3Els[0].c1"&"t.vtree_test.ct.C3Els[0].c2"&"t.vtree_test.ct.C3Els[0].c3"->"t.vtree_test.ct.C3Els[0]._y"-
"t.vtree_test.ct.C3Els[0]._y"->"t.vtree_test.ct.C3Els[0].y"-
~("t.vtree_test.ct.C3Els[0]._y")->"t.vtree_test.ct.C3Els[0].y"+
= "t.vtree_test.ct.tmp[5]" "t.vtree_test.ct.C2Els[1].c1"
= "t.vtree_test.ct.tmp[5]" "t.vtree_test.ct.C2Els[0].y"
= "t.vtree_test.ct.tmp[6]" "t.vtree_test.ct.C2Els[1].c2"
= "t.vtree_test.ct.tmp[6]" "t.vtree_test.ct.C3Els[0].y"
= "t.vtree_test.ct.supply.vdd" "t.vtree_test.ct.C3Els[0].vdd"
= "t.vtree_test.ct.supply.vdd" "t.vtree_test.ct.C2Els[1].vdd"
= "t.vtree_test.ct.supply.vdd" "t.vtree_test.ct.C2Els[0].vdd"
= "t.vtree_test.ct.supply.vss" "t.vtree_test.ct.C3Els[0].vss"
= "t.vtree_test.ct.supply.vss" "t.vtree_test.ct.C2Els[1].vss"
= "t.vtree_test.ct.supply.vss" "t.vtree_test.ct.C2Els[0].vss"
= "t.vtree_test.ct.in[0]" "t.vtree_test.ct.C2Els[0].c1"
= "t.vtree_test.ct.in[0]" "t.vtree_test.ct.tmp[0]"
= "t.vtree_test.ct.in[1]" "t.vtree_test.ct.C2Els[0].c2"
= "t.vtree_test.ct.in[1]" "t.vtree_test.ct.tmp[1]"
= "t.vtree_test.ct.in[2]" "t.vtree_test.ct.C3Els[0].c1"
= "t.vtree_test.ct.in[2]" "t.vtree_test.ct.tmp[2]"
= "t.vtree_test.ct.in[3]" "t.vtree_test.ct.C3Els[0].c2"
= "t.vtree_test.ct.in[3]" "t.vtree_test.ct.tmp[3]"
= "t.vtree_test.ct.in[4]" "t.vtree_test.ct.C3Els[0].c3"
= "t.vtree_test.ct.in[4]" "t.vtree_test.ct.tmp[4]"
= "t.vtree_test.ct.out" "t.vtree_test.ct.C2Els[1].y"
= "t.vtree_test.ct.out" "t.vtree_test.ct.tmp[7]"
= "t.vtree_test.ct.in[0]" "t.vtree_test.OR2_tf[0].y"
= "t.vtree_test.ct.in[1]" "t.vtree_test.OR2_tf[1].y"
= "t.vtree_test.ct.in[2]" "t.vtree_test.OR2_tf[2].y"
= "t.vtree_test.ct.in[3]" "t.vtree_test.OR2_tf[3].y"
= "t.vtree_test.ct.in[4]" "t.vtree_test.OR2_tf[4].y"
"t.vtree_test.OR2_tf[0].a"|"t.vtree_test.OR2_tf[0].b"->"t.vtree_test.OR2_tf[0]._y"-
~("t.vtree_test.OR2_tf[0].a"|"t.vtree_test.OR2_tf[0].b")->"t.vtree_test.OR2_tf[0]._y"+
"t.vtree_test.OR2_tf[0]._y"->"t.vtree_test.OR2_tf[0].y"-
~("t.vtree_test.OR2_tf[0]._y")->"t.vtree_test.OR2_tf[0].y"+
"t.vtree_test.OR2_tf[1].a"|"t.vtree_test.OR2_tf[1].b"->"t.vtree_test.OR2_tf[1]._y"-
~("t.vtree_test.OR2_tf[1].a"|"t.vtree_test.OR2_tf[1].b")->"t.vtree_test.OR2_tf[1]._y"+
"t.vtree_test.OR2_tf[1]._y"->"t.vtree_test.OR2_tf[1].y"-
~("t.vtree_test.OR2_tf[1]._y")->"t.vtree_test.OR2_tf[1].y"+
"t.vtree_test.OR2_tf[2].a"|"t.vtree_test.OR2_tf[2].b"->"t.vtree_test.OR2_tf[2]._y"-
~("t.vtree_test.OR2_tf[2].a"|"t.vtree_test.OR2_tf[2].b")->"t.vtree_test.OR2_tf[2]._y"+
"t.vtree_test.OR2_tf[2]._y"->"t.vtree_test.OR2_tf[2].y"-
~("t.vtree_test.OR2_tf[2]._y")->"t.vtree_test.OR2_tf[2].y"+
"t.vtree_test.OR2_tf[3].a"|"t.vtree_test.OR2_tf[3].b"->"t.vtree_test.OR2_tf[3]._y"-
~("t.vtree_test.OR2_tf[3].a"|"t.vtree_test.OR2_tf[3].b")->"t.vtree_test.OR2_tf[3]._y"+
"t.vtree_test.OR2_tf[3]._y"->"t.vtree_test.OR2_tf[3].y"-
~("t.vtree_test.OR2_tf[3]._y")->"t.vtree_test.OR2_tf[3].y"+
"t.vtree_test.OR2_tf[4].a"|"t.vtree_test.OR2_tf[4].b"->"t.vtree_test.OR2_tf[4]._y"-
~("t.vtree_test.OR2_tf[4].a"|"t.vtree_test.OR2_tf[4].b")->"t.vtree_test.OR2_tf[4]._y"+
"t.vtree_test.OR2_tf[4]._y"->"t.vtree_test.OR2_tf[4].y"-
~("t.vtree_test.OR2_tf[4]._y")->"t.vtree_test.OR2_tf[4].y"+
= "t.vtree_test.supply.vss" "t.vtree_test.ct.supply.vss"
= "t.vtree_test.supply.vdd" "t.vtree_test.ct.supply.vdd"
= "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[4].vdd"
= "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[3].vdd"
= "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[2].vdd"
= "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[1].vdd"
= "t.vtree_test.supply.vdd" "t.vtree_test.OR2_tf[0].vdd"
= "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[4].vss"
= "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[3].vss"
= "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[2].vss"
= "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[1].vss"
= "t.vtree_test.supply.vss" "t.vtree_test.OR2_tf[0].vss"
= "t.vtree_test.out" "t.vtree_test.ct.out"
= "t.vtree_test.in.d[0].d[0]" "t.vtree_test.in.d[0].f"
= "t.vtree_test.in.d[0].d[1]" "t.vtree_test.in.d[0].t"
= "t.vtree_test.in.d[1].d[0]" "t.vtree_test.in.d[1].f"
= "t.vtree_test.in.d[1].d[1]" "t.vtree_test.in.d[1].t"
= "t.vtree_test.in.d[2].d[0]" "t.vtree_test.in.d[2].f"
= "t.vtree_test.in.d[2].d[1]" "t.vtree_test.in.d[2].t"
= "t.vtree_test.in.d[3].d[0]" "t.vtree_test.in.d[3].f"
= "t.vtree_test.in.d[3].d[1]" "t.vtree_test.in.d[3].t"
= "t.vtree_test.in.d[4].d[0]" "t.vtree_test.in.d[4].f"
= "t.vtree_test.in.d[4].d[1]" "t.vtree_test.in.d[4].t"
= "t.vtree_test.in.d[4].d[0]" "t.vtree_test.in.d[4].f"
= "t.vtree_test.in.d[4].d[1]" "t.vtree_test.in.d[4].t"
= "t.vtree_test.in.d[3].d[0]" "t.vtree_test.in.d[3].f"
= "t.vtree_test.in.d[3].d[1]" "t.vtree_test.in.d[3].t"
= "t.vtree_test.in.d[2].d[0]" "t.vtree_test.in.d[2].f"
= "t.vtree_test.in.d[2].d[1]" "t.vtree_test.in.d[2].t"
= "t.vtree_test.in.d[1].d[0]" "t.vtree_test.in.d[1].f"
= "t.vtree_test.in.d[1].d[1]" "t.vtree_test.in.d[1].t"
= "t.vtree_test.in.d[0].d[0]" "t.vtree_test.in.d[0].f"
= "t.vtree_test.in.d[0].d[1]" "t.vtree_test.in.d[0].t"
= "t.vtree_test.in.d[4].d[0]" "t.vtree_test.OR2_tf[4].b"
= "t.vtree_test.in.d[4].d[0]" "t.vtree_test.in.d[4].f"
= "t.vtree_test.in.d[4].d[1]" "t.vtree_test.OR2_tf[4].a"
= "t.vtree_test.in.d[4].d[1]" "t.vtree_test.in.d[4].t"
= "t.vtree_test.in.d[3].d[0]" "t.vtree_test.OR2_tf[3].b"
= "t.vtree_test.in.d[3].d[0]" "t.vtree_test.in.d[3].f"
= "t.vtree_test.in.d[3].d[1]" "t.vtree_test.OR2_tf[3].a"
= "t.vtree_test.in.d[3].d[1]" "t.vtree_test.in.d[3].t"
= "t.vtree_test.in.d[2].d[0]" "t.vtree_test.OR2_tf[2].b"
= "t.vtree_test.in.d[2].d[0]" "t.vtree_test.in.d[2].f"
= "t.vtree_test.in.d[2].d[1]" "t.vtree_test.OR2_tf[2].a"
= "t.vtree_test.in.d[2].d[1]" "t.vtree_test.in.d[2].t"
= "t.vtree_test.in.d[1].d[0]" "t.vtree_test.OR2_tf[1].b"
= "t.vtree_test.in.d[1].d[0]" "t.vtree_test.in.d[1].f"
= "t.vtree_test.in.d[1].d[1]" "t.vtree_test.OR2_tf[1].a"
= "t.vtree_test.in.d[1].d[1]" "t.vtree_test.in.d[1].t"
= "t.vtree_test.in.d[0].d[0]" "t.vtree_test.OR2_tf[0].b"
= "t.vtree_test.in.d[0].d[0]" "t.vtree_test.in.d[0].f"
= "t.vtree_test.in.d[0].d[1]" "t.vtree_test.OR2_tf[0].a"
= "t.vtree_test.in.d[0].d[1]" "t.vtree_test.in.d[0].t"
= "Vdd" "t.vtree_test.supply.vdd"
= "GND" "t.vtree_test.supply.vss"
= "t._in.d[0].d[0]" "t._in.d[0].f"
= "t._in.d[0].d[1]" "t._in.d[0].t"
= "t._in.d[1].d[0]" "t._in.d[1].f"
= "t._in.d[1].d[1]" "t._in.d[1].t"
= "t._in.d[2].d[0]" "t._in.d[2].f"
= "t._in.d[2].d[1]" "t._in.d[2].t"
= "t._in.d[3].d[0]" "t._in.d[3].f"
= "t._in.d[3].d[1]" "t._in.d[3].t"
= "t._in.d[4].d[0]" "t._in.d[4].f"
= "t._in.d[4].d[1]" "t._in.d[4].t"
= "t._in.d[4].d[0]" "t._in.d[4].f"
= "t._in.d[4].d[1]" "t._in.d[4].t"
= "t._in.d[3].d[0]" "t._in.d[3].f"
= "t._in.d[3].d[1]" "t._in.d[3].t"
= "t._in.d[2].d[0]" "t._in.d[2].f"
= "t._in.d[2].d[1]" "t._in.d[2].t"
= "t._in.d[1].d[0]" "t._in.d[1].f"
= "t._in.d[1].d[1]" "t._in.d[1].t"
= "t._in.d[0].d[0]" "t._in.d[0].f"
= "t._in.d[0].d[1]" "t._in.d[0].t"
= "t._in.d[0].f" "t.vtree_test.in.d[0].f"
= "t._in.d[0].t" "t.vtree_test.in.d[0].t"
= "t._in.d[0].d[0]" "t.vtree_test.in.d[0].d[0]"
= "t._in.d[0].d[1]" "t.vtree_test.in.d[0].d[1]"
= "t._in.d[1].f" "t.vtree_test.in.d[1].f"
= "t._in.d[1].t" "t.vtree_test.in.d[1].t"
= "t._in.d[1].d[0]" "t.vtree_test.in.d[1].d[0]"
= "t._in.d[1].d[1]" "t.vtree_test.in.d[1].d[1]"
= "t._in.d[2].f" "t.vtree_test.in.d[2].f"
= "t._in.d[2].t" "t.vtree_test.in.d[2].t"
= "t._in.d[2].d[0]" "t.vtree_test.in.d[2].d[0]"
= "t._in.d[2].d[1]" "t.vtree_test.in.d[2].d[1]"
= "t._in.d[3].f" "t.vtree_test.in.d[3].f"
= "t._in.d[3].t" "t.vtree_test.in.d[3].t"
= "t._in.d[3].d[0]" "t.vtree_test.in.d[3].d[0]"
= "t._in.d[3].d[1]" "t.vtree_test.in.d[3].d[1]"
= "t._in.d[4].f" "t.vtree_test.in.d[4].f"
= "t._in.d[4].t" "t.vtree_test.in.d[4].t"
= "t._in.d[4].d[0]" "t.vtree_test.in.d[4].d[0]"
= "t._in.d[4].d[1]" "t.vtree_test.in.d[4].d[1]"
= "t.out" "t.vtree_test.out"
= "t.in.d.d[0].d[0]" "t.in.d.d[0].f"
= "t.in.d.d[0].d[1]" "t.in.d.d[0].t"
= "t.in.d.d[1].d[0]" "t.in.d.d[1].f"
= "t.in.d.d[1].d[1]" "t.in.d.d[1].t"
= "t.in.d.d[2].d[0]" "t.in.d.d[2].f"
= "t.in.d.d[2].d[1]" "t.in.d.d[2].t"
= "t.in.d.d[3].d[0]" "t.in.d.d[3].f"
= "t.in.d.d[3].d[1]" "t.in.d.d[3].t"
= "t.in.d.d[4].d[0]" "t.in.d.d[4].f"
= "t.in.d.d[4].d[1]" "t.in.d.d[4].t"
= "t.in.d.d[4].d[0]" "t.in.d.d[4].f"
= "t.in.d.d[4].d[1]" "t.in.d.d[4].t"
= "t.in.d.d[3].d[0]" "t.in.d.d[3].f"
= "t.in.d.d[3].d[1]" "t.in.d.d[3].t"
= "t.in.d.d[2].d[0]" "t.in.d.d[2].f"
= "t.in.d.d[2].d[1]" "t.in.d.d[2].t"
= "t.in.d.d[1].d[0]" "t.in.d.d[1].f"
= "t.in.d.d[1].d[1]" "t.in.d.d[1].t"
= "t.in.d.d[0].d[0]" "t.in.d.d[0].f"
= "t.in.d.d[0].d[1]" "t.in.d.d[0].t"
= "t.in.d.d[4].d[0]" "t.in.d.d[4].f"
= "t.in.d.d[4].d[1]" "t.in.d.d[4].t"
= "t.in.d.d[3].d[0]" "t.in.d.d[3].f"
= "t.in.d.d[3].d[1]" "t.in.d.d[3].t"
= "t.in.d.d[2].d[0]" "t.in.d.d[2].f"
= "t.in.d.d[2].d[1]" "t.in.d.d[2].t"
= "t.in.d.d[1].d[0]" "t.in.d.d[1].f"
= "t.in.d.d[1].d[1]" "t.in.d.d[1].t"
= "t.in.d.d[0].d[0]" "t.in.d.d[0].f"
= "t.in.d.d[0].d[1]" "t.in.d.d[0].t"
= "t.in.d.d[0].f" "t._in.d[0].f"
= "t.in.d.d[0].t" "t._in.d[0].t"
= "t.in.d.d[0].d[0]" "t._in.d[0].d[0]"
= "t.in.d.d[0].d[1]" "t._in.d[0].d[1]"
= "t.in.d.d[1].f" "t._in.d[1].f"
= "t.in.d.d[1].t" "t._in.d[1].t"
= "t.in.d.d[1].d[0]" "t._in.d[1].d[0]"
= "t.in.d.d[1].d[1]" "t._in.d[1].d[1]"
= "t.in.d.d[2].f" "t._in.d[2].f"
= "t.in.d.d[2].t" "t._in.d[2].t"
= "t.in.d.d[2].d[0]" "t._in.d[2].d[0]"
= "t.in.d.d[2].d[1]" "t._in.d[2].d[1]"
= "t.in.d.d[3].f" "t._in.d[3].f"
= "t.in.d.d[3].t" "t._in.d[3].t"
= "t.in.d.d[3].d[0]" "t._in.d[3].d[0]"
= "t.in.d.d[3].d[1]" "t._in.d[3].d[1]"
= "t.in.d.d[4].f" "t._in.d[4].f"
= "t.in.d.d[4].t" "t._in.d[4].t"
= "t.in.d.d[4].d[0]" "t._in.d[4].d[0]"
= "t.in.d.d[4].d[1]" "t._in.d[4].d[1]"
= "t.in.d.d[4].d[0]" "t.in.d.d[4].f"
= "t.in.d.d[4].d[1]" "t.in.d.d[4].t"
= "t.in.d.d[3].d[0]" "t.in.d.d[3].f"
= "t.in.d.d[3].d[1]" "t.in.d.d[3].t"
= "t.in.d.d[2].d[0]" "t.in.d.d[2].f"
= "t.in.d.d[2].d[1]" "t.in.d.d[2].t"
= "t.in.d.d[1].d[0]" "t.in.d.d[1].f"
= "t.in.d.d[1].d[1]" "t.in.d.d[1].t"
= "t.in.d.d[0].d[0]" "t.in.d.d[0].f"
= "t.in.d.d[0].d[1]" "t.in.d.d[0].t"
