actlib_dataflow_neuro/test/unit_tests/registerA_w/run/test.prs

1276 lines
63 KiB
Plaintext

= "GND" "GND"
= "Vdd" "Vdd"
= "Reset" "Reset"
"Reset"->"b._reset_B"-
~("Reset")->"b._reset_B"+
"b.b.out_val_inv.a"->"b.b.out_val_inv.y"-
~("b.b.out_val_inv.a")->"b.b.out_val_inv.y"+
= "b.b._en2" "b.b.pass.a"
= "b.b._en2" "b.b.A_en2.y"
= "b.b._en2" "b.b.A_en2.n1"
= "b.b._en2" "b.b.A_flush.c1"
= "b.b._en2" "b.b.in_ack_safety.n1"
= "b.b.supply.vss" "b.b.out_valid.supply.vss"
= "b.b.supply.vdd" "b.b.out_valid.supply.vdd"
= "b.b.supply.vss" "b.b.buf.supply.vss"
= "b.b.supply.vdd" "b.b.buf.supply.vdd"
= "b.b.supply.vdd" "b.b.gandalf_f[6].vdd"
= "b.b.supply.vdd" "b.b.gandalf_t[6].vdd"
= "b.b.supply.vdd" "b.b.gandalf_f[5].vdd"
= "b.b.supply.vdd" "b.b.gandalf_t[5].vdd"
= "b.b.supply.vdd" "b.b.gandalf_f[4].vdd"
= "b.b.supply.vdd" "b.b.gandalf_t[4].vdd"
= "b.b.supply.vdd" "b.b.gandalf_f[3].vdd"
= "b.b.supply.vdd" "b.b.gandalf_t[3].vdd"
= "b.b.supply.vdd" "b.b.gandalf_f[2].vdd"
= "b.b.supply.vdd" "b.b.gandalf_t[2].vdd"
= "b.b.supply.vdd" "b.b.gandalf_f[1].vdd"
= "b.b.supply.vdd" "b.b.gandalf_t[1].vdd"
= "b.b.supply.vdd" "b.b.gandalf_f[0].vdd"
= "b.b.supply.vdd" "b.b.gandalf_t[0].vdd"
= "b.b.supply.vdd" "b.b.pass.vdd"
= "b.b.supply.vdd" "b.b.flush_inv.vdd"
= "b.b.supply.vdd" "b.b.A_flush.vdd"
= "b.b.supply.vdd" "b.b.out_val_inv.vdd"
= "b.b.supply.vdd" "b.b.in_ack_safety.vdd"
= "b.b.supply.vdd" "b.b.in_ack_inv.vdd"
= "b.b.supply.vss" "b.b.gandalf_f[6].vss"
= "b.b.supply.vss" "b.b.gandalf_t[6].vss"
= "b.b.supply.vss" "b.b.gandalf_f[5].vss"
= "b.b.supply.vss" "b.b.gandalf_t[5].vss"
= "b.b.supply.vss" "b.b.gandalf_f[4].vss"
= "b.b.supply.vss" "b.b.gandalf_t[4].vss"
= "b.b.supply.vss" "b.b.gandalf_f[3].vss"
= "b.b.supply.vss" "b.b.gandalf_t[3].vss"
= "b.b.supply.vss" "b.b.gandalf_f[2].vss"
= "b.b.supply.vss" "b.b.gandalf_t[2].vss"
= "b.b.supply.vss" "b.b.gandalf_f[1].vss"
= "b.b.supply.vss" "b.b.gandalf_t[1].vss"
= "b.b.supply.vss" "b.b.gandalf_f[0].vss"
= "b.b.supply.vss" "b.b.gandalf_t[0].vss"
= "b.b.supply.vss" "b.b.pass.vss"
= "b.b.supply.vss" "b.b.flush_inv.vss"
= "b.b.supply.vss" "b.b.A_flush.vss"
= "b.b.supply.vss" "b.b.out_val_inv.vss"
= "b.b.supply.vss" "b.b.in_ack_safety.vss"
= "b.b.supply.vss" "b.b.in_ack_inv.vss"
~"b.b.A_flush.p1"&~"b.b.A_flush.c1"|~"b.b.A_flush.pr_B"->"b.b.A_flush._y"+
"b.b.A_flush.c1"&"b.b.A_flush.n1"&"b.b.A_flush.n2"&"b.b.A_flush.sr_B"->"b.b.A_flush._y"-
"b.b.A_flush._y"->"b.b.A_flush.y"-
~("b.b.A_flush._y")->"b.b.A_flush.y"+
= "b.b._flush" "b.b.pass.b"
= "b.b._flush" "b.b.flush_inv.a"
= "b.b._flush" "b.b.A_flush.y"
= "b.b._flush" "b.b.buf.flush"
~"b.b.out_valid.ct.C2Els[0].c1"&~"b.b.out_valid.ct.C2Els[0].c2"->"b.b.out_valid.ct.C2Els[0]._y"+
"b.b.out_valid.ct.C2Els[0].c1"&"b.b.out_valid.ct.C2Els[0].c2"->"b.b.out_valid.ct.C2Els[0]._y"-
"b.b.out_valid.ct.C2Els[0]._y"->"b.b.out_valid.ct.C2Els[0].y"-
~("b.b.out_valid.ct.C2Els[0]._y")->"b.b.out_valid.ct.C2Els[0].y"+
~"b.b.out_valid.ct.C2Els[1].c1"&~"b.b.out_valid.ct.C2Els[1].c2"->"b.b.out_valid.ct.C2Els[1]._y"+
"b.b.out_valid.ct.C2Els[1].c1"&"b.b.out_valid.ct.C2Els[1].c2"->"b.b.out_valid.ct.C2Els[1]._y"-
"b.b.out_valid.ct.C2Els[1]._y"->"b.b.out_valid.ct.C2Els[1].y"-
~("b.b.out_valid.ct.C2Els[1]._y")->"b.b.out_valid.ct.C2Els[1].y"+
~"b.b.out_valid.ct.C3Els[0].c1"&~"b.b.out_valid.ct.C3Els[0].c2"&~"b.b.out_valid.ct.C3Els[0].c3"->"b.b.out_valid.ct.C3Els[0]._y"+
"b.b.out_valid.ct.C3Els[0].c1"&"b.b.out_valid.ct.C3Els[0].c2"&"b.b.out_valid.ct.C3Els[0].c3"->"b.b.out_valid.ct.C3Els[0]._y"-
"b.b.out_valid.ct.C3Els[0]._y"->"b.b.out_valid.ct.C3Els[0].y"-
~("b.b.out_valid.ct.C3Els[0]._y")->"b.b.out_valid.ct.C3Els[0].y"+
~"b.b.out_valid.ct.C3Els[1].c1"&~"b.b.out_valid.ct.C3Els[1].c2"&~"b.b.out_valid.ct.C3Els[1].c3"->"b.b.out_valid.ct.C3Els[1]._y"+
"b.b.out_valid.ct.C3Els[1].c1"&"b.b.out_valid.ct.C3Els[1].c2"&"b.b.out_valid.ct.C3Els[1].c3"->"b.b.out_valid.ct.C3Els[1]._y"-
"b.b.out_valid.ct.C3Els[1]._y"->"b.b.out_valid.ct.C3Els[1].y"-
~("b.b.out_valid.ct.C3Els[1]._y")->"b.b.out_valid.ct.C3Els[1].y"+
= "b.b.out_valid.ct.tmp[7]" "b.b.out_valid.ct.C3Els[1].c1"
= "b.b.out_valid.ct.tmp[7]" "b.b.out_valid.ct.C2Els[0].y"
= "b.b.out_valid.ct.tmp[8]" "b.b.out_valid.ct.C3Els[1].c2"
= "b.b.out_valid.ct.tmp[8]" "b.b.out_valid.ct.C2Els[1].y"
= "b.b.out_valid.ct.tmp[9]" "b.b.out_valid.ct.C3Els[1].c3"
= "b.b.out_valid.ct.tmp[9]" "b.b.out_valid.ct.C3Els[0].y"
= "b.b.out_valid.ct.supply.vdd" "b.b.out_valid.ct.C3Els[1].vdd"
= "b.b.out_valid.ct.supply.vdd" "b.b.out_valid.ct.C3Els[0].vdd"
= "b.b.out_valid.ct.supply.vdd" "b.b.out_valid.ct.C2Els[1].vdd"
= "b.b.out_valid.ct.supply.vdd" "b.b.out_valid.ct.C2Els[0].vdd"
= "b.b.out_valid.ct.supply.vss" "b.b.out_valid.ct.C3Els[1].vss"
= "b.b.out_valid.ct.supply.vss" "b.b.out_valid.ct.C3Els[0].vss"
= "b.b.out_valid.ct.supply.vss" "b.b.out_valid.ct.C2Els[1].vss"
= "b.b.out_valid.ct.supply.vss" "b.b.out_valid.ct.C2Els[0].vss"
= "b.b.out_valid.ct.in[0]" "b.b.out_valid.ct.C2Els[0].c1"
= "b.b.out_valid.ct.in[0]" "b.b.out_valid.ct.tmp[0]"
= "b.b.out_valid.ct.in[1]" "b.b.out_valid.ct.C2Els[0].c2"
= "b.b.out_valid.ct.in[1]" "b.b.out_valid.ct.tmp[1]"
= "b.b.out_valid.ct.in[2]" "b.b.out_valid.ct.C2Els[1].c1"
= "b.b.out_valid.ct.in[2]" "b.b.out_valid.ct.tmp[2]"
= "b.b.out_valid.ct.in[3]" "b.b.out_valid.ct.C2Els[1].c2"
= "b.b.out_valid.ct.in[3]" "b.b.out_valid.ct.tmp[3]"
= "b.b.out_valid.ct.in[4]" "b.b.out_valid.ct.C3Els[0].c1"
= "b.b.out_valid.ct.in[4]" "b.b.out_valid.ct.tmp[4]"
= "b.b.out_valid.ct.in[5]" "b.b.out_valid.ct.C3Els[0].c2"
= "b.b.out_valid.ct.in[5]" "b.b.out_valid.ct.tmp[5]"
= "b.b.out_valid.ct.in[6]" "b.b.out_valid.ct.C3Els[0].c3"
= "b.b.out_valid.ct.in[6]" "b.b.out_valid.ct.tmp[6]"
= "b.b.out_valid.ct.out" "b.b.out_valid.ct.C3Els[1].y"
= "b.b.out_valid.ct.out" "b.b.out_valid.ct.tmp[10]"
= "b.b.out_valid.ct.in[0]" "b.b.out_valid.OR2_tf[0].y"
= "b.b.out_valid.ct.in[1]" "b.b.out_valid.OR2_tf[1].y"
= "b.b.out_valid.ct.in[2]" "b.b.out_valid.OR2_tf[2].y"
= "b.b.out_valid.ct.in[3]" "b.b.out_valid.OR2_tf[3].y"
= "b.b.out_valid.ct.in[4]" "b.b.out_valid.OR2_tf[4].y"
= "b.b.out_valid.ct.in[5]" "b.b.out_valid.OR2_tf[5].y"
= "b.b.out_valid.ct.in[6]" "b.b.out_valid.OR2_tf[6].y"
"b.b.out_valid.OR2_tf[0].a"|"b.b.out_valid.OR2_tf[0].b"->"b.b.out_valid.OR2_tf[0]._y"-
~("b.b.out_valid.OR2_tf[0].a"|"b.b.out_valid.OR2_tf[0].b")->"b.b.out_valid.OR2_tf[0]._y"+
"b.b.out_valid.OR2_tf[0]._y"->"b.b.out_valid.OR2_tf[0].y"-
~("b.b.out_valid.OR2_tf[0]._y")->"b.b.out_valid.OR2_tf[0].y"+
"b.b.out_valid.OR2_tf[1].a"|"b.b.out_valid.OR2_tf[1].b"->"b.b.out_valid.OR2_tf[1]._y"-
~("b.b.out_valid.OR2_tf[1].a"|"b.b.out_valid.OR2_tf[1].b")->"b.b.out_valid.OR2_tf[1]._y"+
"b.b.out_valid.OR2_tf[1]._y"->"b.b.out_valid.OR2_tf[1].y"-
~("b.b.out_valid.OR2_tf[1]._y")->"b.b.out_valid.OR2_tf[1].y"+
"b.b.out_valid.OR2_tf[2].a"|"b.b.out_valid.OR2_tf[2].b"->"b.b.out_valid.OR2_tf[2]._y"-
~("b.b.out_valid.OR2_tf[2].a"|"b.b.out_valid.OR2_tf[2].b")->"b.b.out_valid.OR2_tf[2]._y"+
"b.b.out_valid.OR2_tf[2]._y"->"b.b.out_valid.OR2_tf[2].y"-
~("b.b.out_valid.OR2_tf[2]._y")->"b.b.out_valid.OR2_tf[2].y"+
"b.b.out_valid.OR2_tf[3].a"|"b.b.out_valid.OR2_tf[3].b"->"b.b.out_valid.OR2_tf[3]._y"-
~("b.b.out_valid.OR2_tf[3].a"|"b.b.out_valid.OR2_tf[3].b")->"b.b.out_valid.OR2_tf[3]._y"+
"b.b.out_valid.OR2_tf[3]._y"->"b.b.out_valid.OR2_tf[3].y"-
~("b.b.out_valid.OR2_tf[3]._y")->"b.b.out_valid.OR2_tf[3].y"+
"b.b.out_valid.OR2_tf[4].a"|"b.b.out_valid.OR2_tf[4].b"->"b.b.out_valid.OR2_tf[4]._y"-
~("b.b.out_valid.OR2_tf[4].a"|"b.b.out_valid.OR2_tf[4].b")->"b.b.out_valid.OR2_tf[4]._y"+
"b.b.out_valid.OR2_tf[4]._y"->"b.b.out_valid.OR2_tf[4].y"-
~("b.b.out_valid.OR2_tf[4]._y")->"b.b.out_valid.OR2_tf[4].y"+
"b.b.out_valid.OR2_tf[5].a"|"b.b.out_valid.OR2_tf[5].b"->"b.b.out_valid.OR2_tf[5]._y"-
~("b.b.out_valid.OR2_tf[5].a"|"b.b.out_valid.OR2_tf[5].b")->"b.b.out_valid.OR2_tf[5]._y"+
"b.b.out_valid.OR2_tf[5]._y"->"b.b.out_valid.OR2_tf[5].y"-
~("b.b.out_valid.OR2_tf[5]._y")->"b.b.out_valid.OR2_tf[5].y"+
"b.b.out_valid.OR2_tf[6].a"|"b.b.out_valid.OR2_tf[6].b"->"b.b.out_valid.OR2_tf[6]._y"-
~("b.b.out_valid.OR2_tf[6].a"|"b.b.out_valid.OR2_tf[6].b")->"b.b.out_valid.OR2_tf[6]._y"+
"b.b.out_valid.OR2_tf[6]._y"->"b.b.out_valid.OR2_tf[6].y"-
~("b.b.out_valid.OR2_tf[6]._y")->"b.b.out_valid.OR2_tf[6].y"+
= "b.b.out_valid.supply.vss" "b.b.out_valid.ct.supply.vss"
= "b.b.out_valid.supply.vdd" "b.b.out_valid.ct.supply.vdd"
= "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[6].vdd"
= "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[5].vdd"
= "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[4].vdd"
= "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[3].vdd"
= "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[2].vdd"
= "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[1].vdd"
= "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[0].vdd"
= "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[6].vss"
= "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[5].vss"
= "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[4].vss"
= "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[3].vss"
= "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[2].vss"
= "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[1].vss"
= "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[0].vss"
= "b.b.out_valid.out" "b.b.out_valid.ct.out"
= "b.b.out_valid.in.d[0].d[0]" "b.b.out_valid.in.d[0].f"
= "b.b.out_valid.in.d[0].d[1]" "b.b.out_valid.in.d[0].t"
= "b.b.out_valid.in.d[1].d[0]" "b.b.out_valid.in.d[1].f"
= "b.b.out_valid.in.d[1].d[1]" "b.b.out_valid.in.d[1].t"
= "b.b.out_valid.in.d[2].d[0]" "b.b.out_valid.in.d[2].f"
= "b.b.out_valid.in.d[2].d[1]" "b.b.out_valid.in.d[2].t"
= "b.b.out_valid.in.d[3].d[0]" "b.b.out_valid.in.d[3].f"
= "b.b.out_valid.in.d[3].d[1]" "b.b.out_valid.in.d[3].t"
= "b.b.out_valid.in.d[4].d[0]" "b.b.out_valid.in.d[4].f"
= "b.b.out_valid.in.d[4].d[1]" "b.b.out_valid.in.d[4].t"
= "b.b.out_valid.in.d[5].d[0]" "b.b.out_valid.in.d[5].f"
= "b.b.out_valid.in.d[5].d[1]" "b.b.out_valid.in.d[5].t"
= "b.b.out_valid.in.d[6].d[0]" "b.b.out_valid.in.d[6].f"
= "b.b.out_valid.in.d[6].d[1]" "b.b.out_valid.in.d[6].t"
= "b.b.out_valid.in.d[6].d[0]" "b.b.out_valid.in.d[6].f"
= "b.b.out_valid.in.d[6].d[1]" "b.b.out_valid.in.d[6].t"
= "b.b.out_valid.in.d[5].d[0]" "b.b.out_valid.in.d[5].f"
= "b.b.out_valid.in.d[5].d[1]" "b.b.out_valid.in.d[5].t"
= "b.b.out_valid.in.d[4].d[0]" "b.b.out_valid.in.d[4].f"
= "b.b.out_valid.in.d[4].d[1]" "b.b.out_valid.in.d[4].t"
= "b.b.out_valid.in.d[3].d[0]" "b.b.out_valid.in.d[3].f"
= "b.b.out_valid.in.d[3].d[1]" "b.b.out_valid.in.d[3].t"
= "b.b.out_valid.in.d[2].d[0]" "b.b.out_valid.in.d[2].f"
= "b.b.out_valid.in.d[2].d[1]" "b.b.out_valid.in.d[2].t"
= "b.b.out_valid.in.d[1].d[0]" "b.b.out_valid.in.d[1].f"
= "b.b.out_valid.in.d[1].d[1]" "b.b.out_valid.in.d[1].t"
= "b.b.out_valid.in.d[0].d[0]" "b.b.out_valid.in.d[0].f"
= "b.b.out_valid.in.d[0].d[1]" "b.b.out_valid.in.d[0].t"
= "b.b.out_valid.in.d[6].d[0]" "b.b.out_valid.OR2_tf[6].b"
= "b.b.out_valid.in.d[6].d[0]" "b.b.out_valid.in.d[6].f"
= "b.b.out_valid.in.d[6].d[1]" "b.b.out_valid.OR2_tf[6].a"
= "b.b.out_valid.in.d[6].d[1]" "b.b.out_valid.in.d[6].t"
= "b.b.out_valid.in.d[5].d[0]" "b.b.out_valid.OR2_tf[5].b"
= "b.b.out_valid.in.d[5].d[0]" "b.b.out_valid.in.d[5].f"
= "b.b.out_valid.in.d[5].d[1]" "b.b.out_valid.OR2_tf[5].a"
= "b.b.out_valid.in.d[5].d[1]" "b.b.out_valid.in.d[5].t"
= "b.b.out_valid.in.d[4].d[0]" "b.b.out_valid.OR2_tf[4].b"
= "b.b.out_valid.in.d[4].d[0]" "b.b.out_valid.in.d[4].f"
= "b.b.out_valid.in.d[4].d[1]" "b.b.out_valid.OR2_tf[4].a"
= "b.b.out_valid.in.d[4].d[1]" "b.b.out_valid.in.d[4].t"
= "b.b.out_valid.in.d[3].d[0]" "b.b.out_valid.OR2_tf[3].b"
= "b.b.out_valid.in.d[3].d[0]" "b.b.out_valid.in.d[3].f"
= "b.b.out_valid.in.d[3].d[1]" "b.b.out_valid.OR2_tf[3].a"
= "b.b.out_valid.in.d[3].d[1]" "b.b.out_valid.in.d[3].t"
= "b.b.out_valid.in.d[2].d[0]" "b.b.out_valid.OR2_tf[2].b"
= "b.b.out_valid.in.d[2].d[0]" "b.b.out_valid.in.d[2].f"
= "b.b.out_valid.in.d[2].d[1]" "b.b.out_valid.OR2_tf[2].a"
= "b.b.out_valid.in.d[2].d[1]" "b.b.out_valid.in.d[2].t"
= "b.b.out_valid.in.d[1].d[0]" "b.b.out_valid.OR2_tf[1].b"
= "b.b.out_valid.in.d[1].d[0]" "b.b.out_valid.in.d[1].f"
= "b.b.out_valid.in.d[1].d[1]" "b.b.out_valid.OR2_tf[1].a"
= "b.b.out_valid.in.d[1].d[1]" "b.b.out_valid.in.d[1].t"
= "b.b.out_valid.in.d[0].d[0]" "b.b.out_valid.OR2_tf[0].b"
= "b.b.out_valid.in.d[0].d[0]" "b.b.out_valid.in.d[0].f"
= "b.b.out_valid.in.d[0].d[1]" "b.b.out_valid.OR2_tf[0].a"
= "b.b.out_valid.in.d[0].d[1]" "b.b.out_valid.in.d[0].t"
= "b.b.out.d[0].d[0]" "b.b.out.d[0].f"
= "b.b.out.d[0].d[1]" "b.b.out.d[0].t"
= "b.b.out.d[1].d[0]" "b.b.out.d[1].f"
= "b.b.out.d[1].d[1]" "b.b.out.d[1].t"
= "b.b.out.d[2].d[0]" "b.b.out.d[2].f"
= "b.b.out.d[2].d[1]" "b.b.out.d[2].t"
= "b.b.out.d[3].d[0]" "b.b.out.d[3].f"
= "b.b.out.d[3].d[1]" "b.b.out.d[3].t"
= "b.b.out.d[4].d[0]" "b.b.out.d[4].f"
= "b.b.out.d[4].d[1]" "b.b.out.d[4].t"
= "b.b.out.d[5].d[0]" "b.b.out.d[5].f"
= "b.b.out.d[5].d[1]" "b.b.out.d[5].t"
= "b.b.out.d[6].d[0]" "b.b.out.d[6].f"
= "b.b.out.d[6].d[1]" "b.b.out.d[6].t"
= "b.b.out.d[6].d[0]" "b.b.out.d[6].f"
= "b.b.out.d[6].d[1]" "b.b.out.d[6].t"
= "b.b.out.d[5].d[0]" "b.b.out.d[5].f"
= "b.b.out.d[5].d[1]" "b.b.out.d[5].t"
= "b.b.out.d[4].d[0]" "b.b.out.d[4].f"
= "b.b.out.d[4].d[1]" "b.b.out.d[4].t"
= "b.b.out.d[3].d[0]" "b.b.out.d[3].f"
= "b.b.out.d[3].d[1]" "b.b.out.d[3].t"
= "b.b.out.d[2].d[0]" "b.b.out.d[2].f"
= "b.b.out.d[2].d[1]" "b.b.out.d[2].t"
= "b.b.out.d[1].d[0]" "b.b.out.d[1].f"
= "b.b.out.d[1].d[1]" "b.b.out.d[1].t"
= "b.b.out.d[0].d[0]" "b.b.out.d[0].f"
= "b.b.out.d[0].d[1]" "b.b.out.d[0].t"
= "b.b.out.d[0].f" "b.b.out_valid.in.d[0].f"
= "b.b.out.d[0].t" "b.b.out_valid.in.d[0].t"
= "b.b.out.d[0].d[0]" "b.b.out_valid.in.d[0].d[0]"
= "b.b.out.d[0].d[1]" "b.b.out_valid.in.d[0].d[1]"
= "b.b.out.d[1].f" "b.b.out_valid.in.d[1].f"
= "b.b.out.d[1].t" "b.b.out_valid.in.d[1].t"
= "b.b.out.d[1].d[0]" "b.b.out_valid.in.d[1].d[0]"
= "b.b.out.d[1].d[1]" "b.b.out_valid.in.d[1].d[1]"
= "b.b.out.d[2].f" "b.b.out_valid.in.d[2].f"
= "b.b.out.d[2].t" "b.b.out_valid.in.d[2].t"
= "b.b.out.d[2].d[0]" "b.b.out_valid.in.d[2].d[0]"
= "b.b.out.d[2].d[1]" "b.b.out_valid.in.d[2].d[1]"
= "b.b.out.d[3].f" "b.b.out_valid.in.d[3].f"
= "b.b.out.d[3].t" "b.b.out_valid.in.d[3].t"
= "b.b.out.d[3].d[0]" "b.b.out_valid.in.d[3].d[0]"
= "b.b.out.d[3].d[1]" "b.b.out_valid.in.d[3].d[1]"
= "b.b.out.d[4].f" "b.b.out_valid.in.d[4].f"
= "b.b.out.d[4].t" "b.b.out_valid.in.d[4].t"
= "b.b.out.d[4].d[0]" "b.b.out_valid.in.d[4].d[0]"
= "b.b.out.d[4].d[1]" "b.b.out_valid.in.d[4].d[1]"
= "b.b.out.d[5].f" "b.b.out_valid.in.d[5].f"
= "b.b.out.d[5].t" "b.b.out_valid.in.d[5].t"
= "b.b.out.d[5].d[0]" "b.b.out_valid.in.d[5].d[0]"
= "b.b.out.d[5].d[1]" "b.b.out_valid.in.d[5].d[1]"
= "b.b.out.d[6].f" "b.b.out_valid.in.d[6].f"
= "b.b.out.d[6].t" "b.b.out_valid.in.d[6].t"
= "b.b.out.d[6].d[0]" "b.b.out_valid.in.d[6].d[0]"
= "b.b.out.d[6].d[1]" "b.b.out_valid.in.d[6].d[1]"
= "b.b.out.d[0].f" "b.b.buf.out.d[0].f"
= "b.b.out.d[0].t" "b.b.buf.out.d[0].t"
= "b.b.out.d[0].d[0]" "b.b.buf.out.d[0].d[0]"
= "b.b.out.d[0].d[1]" "b.b.buf.out.d[0].d[1]"
= "b.b.out.d[1].f" "b.b.buf.out.d[1].f"
= "b.b.out.d[1].t" "b.b.buf.out.d[1].t"
= "b.b.out.d[1].d[0]" "b.b.buf.out.d[1].d[0]"
= "b.b.out.d[1].d[1]" "b.b.buf.out.d[1].d[1]"
= "b.b.out.d[2].f" "b.b.buf.out.d[2].f"
= "b.b.out.d[2].t" "b.b.buf.out.d[2].t"
= "b.b.out.d[2].d[0]" "b.b.buf.out.d[2].d[0]"
= "b.b.out.d[2].d[1]" "b.b.buf.out.d[2].d[1]"
= "b.b.out.d[3].f" "b.b.buf.out.d[3].f"
= "b.b.out.d[3].t" "b.b.buf.out.d[3].t"
= "b.b.out.d[3].d[0]" "b.b.buf.out.d[3].d[0]"
= "b.b.out.d[3].d[1]" "b.b.buf.out.d[3].d[1]"
= "b.b.out.d[4].f" "b.b.buf.out.d[4].f"
= "b.b.out.d[4].t" "b.b.buf.out.d[4].t"
= "b.b.out.d[4].d[0]" "b.b.buf.out.d[4].d[0]"
= "b.b.out.d[4].d[1]" "b.b.buf.out.d[4].d[1]"
= "b.b.out.d[5].f" "b.b.buf.out.d[5].f"
= "b.b.out.d[5].t" "b.b.buf.out.d[5].t"
= "b.b.out.d[5].d[0]" "b.b.buf.out.d[5].d[0]"
= "b.b.out.d[5].d[1]" "b.b.buf.out.d[5].d[1]"
= "b.b.out.d[6].f" "b.b.buf.out.d[6].f"
= "b.b.out.d[6].t" "b.b.buf.out.d[6].t"
= "b.b.out.d[6].d[0]" "b.b.buf.out.d[6].d[0]"
= "b.b.out.d[6].d[1]" "b.b.buf.out.d[6].d[1]"
= "b.b.out.d[6].d[0]" "b.b.out.d[6].f"
= "b.b.out.d[6].d[1]" "b.b.out.d[6].t"
= "b.b.out.d[5].d[0]" "b.b.out.d[5].f"
= "b.b.out.d[5].d[1]" "b.b.out.d[5].t"
= "b.b.out.d[4].d[0]" "b.b.out.d[4].f"
= "b.b.out.d[4].d[1]" "b.b.out.d[4].t"
= "b.b.out.d[3].d[0]" "b.b.out.d[3].f"
= "b.b.out.d[3].d[1]" "b.b.out.d[3].t"
= "b.b.out.d[2].d[0]" "b.b.out.d[2].f"
= "b.b.out.d[2].d[1]" "b.b.out.d[2].t"
= "b.b.out.d[1].d[0]" "b.b.out.d[1].f"
= "b.b.out.d[1].d[1]" "b.b.out.d[1].t"
= "b.b.out.d[0].d[0]" "b.b.out.d[0].f"
= "b.b.out.d[0].d[1]" "b.b.out.d[0].t"
= "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f"
= "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t"
= "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f"
= "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t"
= "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f"
= "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t"
= "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f"
= "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t"
= "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f"
= "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t"
= "b.b.in.d.d[5].d[0]" "b.b.in.d.d[5].f"
= "b.b.in.d.d[5].d[1]" "b.b.in.d.d[5].t"
= "b.b.in.d.d[6].d[0]" "b.b.in.d.d[6].f"
= "b.b.in.d.d[6].d[1]" "b.b.in.d.d[6].t"
= "b.b.in.d.d[7].d[0]" "b.b.in.d.d[7].f"
= "b.b.in.d.d[7].d[1]" "b.b.in.d.d[7].t"
= "b.b.in.d.d[7].d[0]" "b.b.in.d.d[7].f"
= "b.b.in.d.d[7].d[1]" "b.b.in.d.d[7].t"
= "b.b.in.d.d[6].d[0]" "b.b.in.d.d[6].f"
= "b.b.in.d.d[6].d[1]" "b.b.in.d.d[6].t"
= "b.b.in.d.d[5].d[0]" "b.b.in.d.d[5].f"
= "b.b.in.d.d[5].d[1]" "b.b.in.d.d[5].t"
= "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f"
= "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t"
= "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f"
= "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t"
= "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f"
= "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t"
= "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f"
= "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t"
= "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f"
= "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t"
= "b.b.in.d.d[7].d[0]" "b.b.in.d.d[7].f"
= "b.b.in.d.d[7].d[1]" "b.b.in.d.d[7].t"
= "b.b.in.d.d[6].d[0]" "b.b.in.d.d[6].f"
= "b.b.in.d.d[6].d[1]" "b.b.in.d.d[6].t"
= "b.b.in.d.d[5].d[0]" "b.b.in.d.d[5].f"
= "b.b.in.d.d[5].d[1]" "b.b.in.d.d[5].t"
= "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f"
= "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t"
= "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f"
= "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t"
= "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f"
= "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t"
= "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f"
= "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t"
= "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f"
= "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t"
= "b.b.in.a" "b.b.in_ack_safety.y"
= "b.b.in.v" "b.b.buf.in.v"
= "b.b.in.d.d[7].d[0]" "b.b.in.d.d[7].f"
= "b.b.in.d.d[7].d[1]" "b.b.A_en2.c1"
= "b.b.in.d.d[7].d[1]" "b.b.A_flush.n2"
= "b.b.in.d.d[7].d[1]" "b.b._w"
= "b.b.in.d.d[7].d[1]" "b.b.in.d.d[7].t"
= "b.b.in.d.d[6].d[0]" "b.b.gandalf_f[6].a"
= "b.b.in.d.d[6].d[0]" "b.b.in.d.d[6].f"
= "b.b.in.d.d[6].d[1]" "b.b.gandalf_t[6].a"
= "b.b.in.d.d[6].d[1]" "b.b.in.d.d[6].t"
= "b.b.in.d.d[5].d[0]" "b.b.gandalf_f[5].a"
= "b.b.in.d.d[5].d[0]" "b.b.in.d.d[5].f"
= "b.b.in.d.d[5].d[1]" "b.b.gandalf_t[5].a"
= "b.b.in.d.d[5].d[1]" "b.b.in.d.d[5].t"
= "b.b.in.d.d[4].d[0]" "b.b.gandalf_f[4].a"
= "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f"
= "b.b.in.d.d[4].d[1]" "b.b.gandalf_t[4].a"
= "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t"
= "b.b.in.d.d[3].d[0]" "b.b.gandalf_f[3].a"
= "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f"
= "b.b.in.d.d[3].d[1]" "b.b.gandalf_t[3].a"
= "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t"
= "b.b.in.d.d[2].d[0]" "b.b.gandalf_f[2].a"
= "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f"
= "b.b.in.d.d[2].d[1]" "b.b.gandalf_t[2].a"
= "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t"
= "b.b.in.d.d[1].d[0]" "b.b.gandalf_f[1].a"
= "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f"
= "b.b.in.d.d[1].d[1]" "b.b.gandalf_t[1].a"
= "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t"
= "b.b.in.d.d[0].d[0]" "b.b.gandalf_f[0].a"
= "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f"
= "b.b.in.d.d[0].d[1]" "b.b.gandalf_t[0].a"
= "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t"
"b.b.pass.a"|"b.b.pass.b"->"b.b.pass.y"-
~("b.b.pass.a"|"b.b.pass.b")->"b.b.pass.y"+
= "b.b.pass.y" "b.b.gandalf_f[6].b"
= "b.b.pass.y" "b.b.gandalf_t[6].b"
= "b.b.pass.y" "b.b.gandalf_f[5].b"
= "b.b.pass.y" "b.b.gandalf_t[5].b"
= "b.b.pass.y" "b.b.gandalf_f[4].b"
= "b.b.pass.y" "b.b.gandalf_t[4].b"
= "b.b.pass.y" "b.b.gandalf_f[3].b"
= "b.b.pass.y" "b.b.gandalf_t[3].b"
= "b.b.pass.y" "b.b.gandalf_f[2].b"
= "b.b.pass.y" "b.b.gandalf_t[2].b"
= "b.b.pass.y" "b.b.gandalf_f[1].b"
= "b.b.pass.y" "b.b.gandalf_t[1].b"
= "b.b.pass.y" "b.b.gandalf_f[0].b"
= "b.b.pass.y" "b.b.gandalf_t[0].b"
~"b.b.A_en2.c1"|~"b.b.A_en2.pr_B"->"b.b.A_en2.y"+
"b.b.A_en2.c1"&"b.b.A_en2.n1"&"b.b.A_en2.n2"&"b.b.A_en2.sr_B"->"b.b.A_en2.y"-
"b.b.flush_inv.a"->"b.b.flush_inv.y"-
~("b.b.flush_inv.a")->"b.b.flush_inv.y"+
= "b.b.reset_B" "b.b.A_en2.sr_B"
= "b.b.reset_B" "b.b.A_en2.pr_B"
= "b.b.reset_B" "b.b.A_flush.pr_B"
= "b.b.reset_B" "b.b.A_flush.sr_B"
= "b.b.reset_B" "b.b.buf.reset_B"
= "b.b._flushB" "b.b.flush_inv.y"
= "b.b._flushB" "b.b.A_flush.p1"
~"b.b.in_ack_safety.c1"->"b.b.in_ack_safety.y"+
"b.b.in_ack_safety.c1"&"b.b.in_ack_safety.n1"->"b.b.in_ack_safety.y"-
"b.b.gandalf_f[0].a"&"b.b.gandalf_f[0].b"->"b.b.gandalf_f[0]._y"-
~("b.b.gandalf_f[0].a"&"b.b.gandalf_f[0].b")->"b.b.gandalf_f[0]._y"+
"b.b.gandalf_f[0]._y"->"b.b.gandalf_f[0].y"-
~("b.b.gandalf_f[0]._y")->"b.b.gandalf_f[0].y"+
"b.b.gandalf_f[1].a"&"b.b.gandalf_f[1].b"->"b.b.gandalf_f[1]._y"-
~("b.b.gandalf_f[1].a"&"b.b.gandalf_f[1].b")->"b.b.gandalf_f[1]._y"+
"b.b.gandalf_f[1]._y"->"b.b.gandalf_f[1].y"-
~("b.b.gandalf_f[1]._y")->"b.b.gandalf_f[1].y"+
"b.b.gandalf_f[2].a"&"b.b.gandalf_f[2].b"->"b.b.gandalf_f[2]._y"-
~("b.b.gandalf_f[2].a"&"b.b.gandalf_f[2].b")->"b.b.gandalf_f[2]._y"+
"b.b.gandalf_f[2]._y"->"b.b.gandalf_f[2].y"-
~("b.b.gandalf_f[2]._y")->"b.b.gandalf_f[2].y"+
"b.b.gandalf_f[3].a"&"b.b.gandalf_f[3].b"->"b.b.gandalf_f[3]._y"-
~("b.b.gandalf_f[3].a"&"b.b.gandalf_f[3].b")->"b.b.gandalf_f[3]._y"+
"b.b.gandalf_f[3]._y"->"b.b.gandalf_f[3].y"-
~("b.b.gandalf_f[3]._y")->"b.b.gandalf_f[3].y"+
"b.b.gandalf_f[4].a"&"b.b.gandalf_f[4].b"->"b.b.gandalf_f[4]._y"-
~("b.b.gandalf_f[4].a"&"b.b.gandalf_f[4].b")->"b.b.gandalf_f[4]._y"+
"b.b.gandalf_f[4]._y"->"b.b.gandalf_f[4].y"-
~("b.b.gandalf_f[4]._y")->"b.b.gandalf_f[4].y"+
"b.b.gandalf_f[5].a"&"b.b.gandalf_f[5].b"->"b.b.gandalf_f[5]._y"-
~("b.b.gandalf_f[5].a"&"b.b.gandalf_f[5].b")->"b.b.gandalf_f[5]._y"+
"b.b.gandalf_f[5]._y"->"b.b.gandalf_f[5].y"-
~("b.b.gandalf_f[5]._y")->"b.b.gandalf_f[5].y"+
"b.b.gandalf_f[6].a"&"b.b.gandalf_f[6].b"->"b.b.gandalf_f[6]._y"-
~("b.b.gandalf_f[6].a"&"b.b.gandalf_f[6].b")->"b.b.gandalf_f[6]._y"+
"b.b.gandalf_f[6]._y"->"b.b.gandalf_f[6].y"-
~("b.b.gandalf_f[6]._y")->"b.b.gandalf_f[6].y"+
= "b.b.gandalf_f[6].y" "b.b.buf.in.d.d[6].f"
= "b.b.gandalf_f[6].y" "b.b.buf.in.d.d[6].d[0]"
= "b.b.gandalf_f[5].y" "b.b.buf.in.d.d[5].f"
= "b.b.gandalf_f[5].y" "b.b.buf.in.d.d[5].d[0]"
= "b.b.gandalf_f[4].y" "b.b.buf.in.d.d[4].f"
= "b.b.gandalf_f[4].y" "b.b.buf.in.d.d[4].d[0]"
= "b.b.gandalf_f[3].y" "b.b.buf.in.d.d[3].f"
= "b.b.gandalf_f[3].y" "b.b.buf.in.d.d[3].d[0]"
= "b.b.gandalf_f[2].y" "b.b.buf.in.d.d[2].f"
= "b.b.gandalf_f[2].y" "b.b.buf.in.d.d[2].d[0]"
= "b.b.gandalf_f[1].y" "b.b.buf.in.d.d[1].f"
= "b.b.gandalf_f[1].y" "b.b.buf.in.d.d[1].d[0]"
= "b.b.gandalf_f[0].y" "b.b.buf.in.d.d[0].f"
= "b.b.gandalf_f[0].y" "b.b.buf.in.d.d[0].d[0]"
= "b.b._out_vB" "b.b.A_en2.n2"
= "b.b._out_vB" "b.b.out_val_inv.y"
= "b.b._out_v" "b.b.A_flush.n1"
= "b.b._out_v" "b.b.out_val_inv.a"
= "b.b._out_v" "b.b.out_valid.out"
= "b.b._out_v" "b.b.buf.out_v"
"b.b.gandalf_t[0].a"&"b.b.gandalf_t[0].b"->"b.b.gandalf_t[0]._y"-
~("b.b.gandalf_t[0].a"&"b.b.gandalf_t[0].b")->"b.b.gandalf_t[0]._y"+
"b.b.gandalf_t[0]._y"->"b.b.gandalf_t[0].y"-
~("b.b.gandalf_t[0]._y")->"b.b.gandalf_t[0].y"+
"b.b.gandalf_t[1].a"&"b.b.gandalf_t[1].b"->"b.b.gandalf_t[1]._y"-
~("b.b.gandalf_t[1].a"&"b.b.gandalf_t[1].b")->"b.b.gandalf_t[1]._y"+
"b.b.gandalf_t[1]._y"->"b.b.gandalf_t[1].y"-
~("b.b.gandalf_t[1]._y")->"b.b.gandalf_t[1].y"+
"b.b.gandalf_t[2].a"&"b.b.gandalf_t[2].b"->"b.b.gandalf_t[2]._y"-
~("b.b.gandalf_t[2].a"&"b.b.gandalf_t[2].b")->"b.b.gandalf_t[2]._y"+
"b.b.gandalf_t[2]._y"->"b.b.gandalf_t[2].y"-
~("b.b.gandalf_t[2]._y")->"b.b.gandalf_t[2].y"+
"b.b.gandalf_t[3].a"&"b.b.gandalf_t[3].b"->"b.b.gandalf_t[3]._y"-
~("b.b.gandalf_t[3].a"&"b.b.gandalf_t[3].b")->"b.b.gandalf_t[3]._y"+
"b.b.gandalf_t[3]._y"->"b.b.gandalf_t[3].y"-
~("b.b.gandalf_t[3]._y")->"b.b.gandalf_t[3].y"+
"b.b.gandalf_t[4].a"&"b.b.gandalf_t[4].b"->"b.b.gandalf_t[4]._y"-
~("b.b.gandalf_t[4].a"&"b.b.gandalf_t[4].b")->"b.b.gandalf_t[4]._y"+
"b.b.gandalf_t[4]._y"->"b.b.gandalf_t[4].y"-
~("b.b.gandalf_t[4]._y")->"b.b.gandalf_t[4].y"+
"b.b.gandalf_t[5].a"&"b.b.gandalf_t[5].b"->"b.b.gandalf_t[5]._y"-
~("b.b.gandalf_t[5].a"&"b.b.gandalf_t[5].b")->"b.b.gandalf_t[5]._y"+
"b.b.gandalf_t[5]._y"->"b.b.gandalf_t[5].y"-
~("b.b.gandalf_t[5]._y")->"b.b.gandalf_t[5].y"+
"b.b.gandalf_t[6].a"&"b.b.gandalf_t[6].b"->"b.b.gandalf_t[6]._y"-
~("b.b.gandalf_t[6].a"&"b.b.gandalf_t[6].b")->"b.b.gandalf_t[6]._y"+
"b.b.gandalf_t[6]._y"->"b.b.gandalf_t[6].y"-
~("b.b.gandalf_t[6]._y")->"b.b.gandalf_t[6].y"+
= "b.b.gandalf_t[6].y" "b.b.buf.in.d.d[6].t"
= "b.b.gandalf_t[6].y" "b.b.buf.in.d.d[6].d[1]"
= "b.b.gandalf_t[5].y" "b.b.buf.in.d.d[5].t"
= "b.b.gandalf_t[5].y" "b.b.buf.in.d.d[5].d[1]"
= "b.b.gandalf_t[4].y" "b.b.buf.in.d.d[4].t"
= "b.b.gandalf_t[4].y" "b.b.buf.in.d.d[4].d[1]"
= "b.b.gandalf_t[3].y" "b.b.buf.in.d.d[3].t"
= "b.b.gandalf_t[3].y" "b.b.buf.in.d.d[3].d[1]"
= "b.b.gandalf_t[2].y" "b.b.buf.in.d.d[2].t"
= "b.b.gandalf_t[2].y" "b.b.buf.in.d.d[2].d[1]"
= "b.b.gandalf_t[1].y" "b.b.buf.in.d.d[1].t"
= "b.b.gandalf_t[1].y" "b.b.buf.in.d.d[1].d[1]"
= "b.b.gandalf_t[0].y" "b.b.buf.in.d.d[0].t"
= "b.b.gandalf_t[0].y" "b.b.buf.in.d.d[0].d[1]"
= "b.b.buf._en_X_f[0]" "b.b.buf.en_buf_f.out[0]"
= "b.b.buf._en_X_f[1]" "b.b.buf.en_buf_f.out[1]"
= "b.b.buf._en_X_f[2]" "b.b.buf.en_buf_f.out[2]"
= "b.b.buf._en_X_f[3]" "b.b.buf.en_buf_f.out[3]"
= "b.b.buf._en_X_f[4]" "b.b.buf.en_buf_f.out[4]"
= "b.b.buf._en_X_f[5]" "b.b.buf.en_buf_f.out[5]"
= "b.b.buf._en_X_f[6]" "b.b.buf.en_buf_f.out[6]"
= "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[6].n2"
= "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[5].n2"
= "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[4].n2"
= "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[3].n2"
= "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[2].n2"
= "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[1].n2"
= "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[0].n2"
= "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[6]"
= "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[5]"
= "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[4]"
= "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[3]"
= "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[2]"
= "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[1]"
"b.b.buf.in_v_buf.a"->"b.b.buf.in_v_buf._y"-
~("b.b.buf.in_v_buf.a")->"b.b.buf.in_v_buf._y"+
"b.b.buf.in_v_buf._y"->"b.b.buf.in_v_buf.y"-
~("b.b.buf.in_v_buf._y")->"b.b.buf.in_v_buf.y"+
"b.b.buf.reset_bufarray.buf2.a"->"b.b.buf.reset_bufarray.buf2._y"-
~("b.b.buf.reset_bufarray.buf2.a")->"b.b.buf.reset_bufarray.buf2._y"+
"b.b.buf.reset_bufarray.buf2._y"->"b.b.buf.reset_bufarray.buf2.y"-
~("b.b.buf.reset_bufarray.buf2._y")->"b.b.buf.reset_bufarray.buf2.y"+
= "b.b.buf.reset_bufarray.supply.vdd" "b.b.buf.reset_bufarray.buf2.vdd"
= "b.b.buf.reset_bufarray.supply.vss" "b.b.buf.reset_bufarray.buf2.vss"
= "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[6]"
= "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[5]"
= "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[4]"
= "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[3]"
= "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[2]"
= "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[1]"
= "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.buf2.y"
= "b.b.buf.reset_bufarray.in" "b.b.buf.reset_bufarray.buf2.a"
= "b.b.buf.flush" "b.b.buf.flush_inv.a"
~"b.b.buf.inack_ctl.c1"&~"b.b.buf.inack_ctl.c2"|~"b.b.buf.inack_ctl.pr_B"->"b.b.buf.inack_ctl.y"+
"b.b.buf.inack_ctl.c1"&"b.b.buf.inack_ctl.c2"&"b.b.buf.inack_ctl.n1"&"b.b.buf.inack_ctl.sr_B"->"b.b.buf.inack_ctl.y"-
~"b.b.buf.vc.ct.C2Els[0].c1"&~"b.b.buf.vc.ct.C2Els[0].c2"->"b.b.buf.vc.ct.C2Els[0]._y"+
"b.b.buf.vc.ct.C2Els[0].c1"&"b.b.buf.vc.ct.C2Els[0].c2"->"b.b.buf.vc.ct.C2Els[0]._y"-
"b.b.buf.vc.ct.C2Els[0]._y"->"b.b.buf.vc.ct.C2Els[0].y"-
~("b.b.buf.vc.ct.C2Els[0]._y")->"b.b.buf.vc.ct.C2Els[0].y"+
~"b.b.buf.vc.ct.C2Els[1].c1"&~"b.b.buf.vc.ct.C2Els[1].c2"->"b.b.buf.vc.ct.C2Els[1]._y"+
"b.b.buf.vc.ct.C2Els[1].c1"&"b.b.buf.vc.ct.C2Els[1].c2"->"b.b.buf.vc.ct.C2Els[1]._y"-
"b.b.buf.vc.ct.C2Els[1]._y"->"b.b.buf.vc.ct.C2Els[1].y"-
~("b.b.buf.vc.ct.C2Els[1]._y")->"b.b.buf.vc.ct.C2Els[1].y"+
~"b.b.buf.vc.ct.C3Els[0].c1"&~"b.b.buf.vc.ct.C3Els[0].c2"&~"b.b.buf.vc.ct.C3Els[0].c3"->"b.b.buf.vc.ct.C3Els[0]._y"+
"b.b.buf.vc.ct.C3Els[0].c1"&"b.b.buf.vc.ct.C3Els[0].c2"&"b.b.buf.vc.ct.C3Els[0].c3"->"b.b.buf.vc.ct.C3Els[0]._y"-
"b.b.buf.vc.ct.C3Els[0]._y"->"b.b.buf.vc.ct.C3Els[0].y"-
~("b.b.buf.vc.ct.C3Els[0]._y")->"b.b.buf.vc.ct.C3Els[0].y"+
~"b.b.buf.vc.ct.C3Els[1].c1"&~"b.b.buf.vc.ct.C3Els[1].c2"&~"b.b.buf.vc.ct.C3Els[1].c3"->"b.b.buf.vc.ct.C3Els[1]._y"+
"b.b.buf.vc.ct.C3Els[1].c1"&"b.b.buf.vc.ct.C3Els[1].c2"&"b.b.buf.vc.ct.C3Els[1].c3"->"b.b.buf.vc.ct.C3Els[1]._y"-
"b.b.buf.vc.ct.C3Els[1]._y"->"b.b.buf.vc.ct.C3Els[1].y"-
~("b.b.buf.vc.ct.C3Els[1]._y")->"b.b.buf.vc.ct.C3Els[1].y"+
= "b.b.buf.vc.ct.tmp[7]" "b.b.buf.vc.ct.C3Els[1].c1"
= "b.b.buf.vc.ct.tmp[7]" "b.b.buf.vc.ct.C2Els[0].y"
= "b.b.buf.vc.ct.tmp[8]" "b.b.buf.vc.ct.C3Els[1].c2"
= "b.b.buf.vc.ct.tmp[8]" "b.b.buf.vc.ct.C2Els[1].y"
= "b.b.buf.vc.ct.tmp[9]" "b.b.buf.vc.ct.C3Els[1].c3"
= "b.b.buf.vc.ct.tmp[9]" "b.b.buf.vc.ct.C3Els[0].y"
= "b.b.buf.vc.ct.supply.vdd" "b.b.buf.vc.ct.C3Els[1].vdd"
= "b.b.buf.vc.ct.supply.vdd" "b.b.buf.vc.ct.C3Els[0].vdd"
= "b.b.buf.vc.ct.supply.vdd" "b.b.buf.vc.ct.C2Els[1].vdd"
= "b.b.buf.vc.ct.supply.vdd" "b.b.buf.vc.ct.C2Els[0].vdd"
= "b.b.buf.vc.ct.supply.vss" "b.b.buf.vc.ct.C3Els[1].vss"
= "b.b.buf.vc.ct.supply.vss" "b.b.buf.vc.ct.C3Els[0].vss"
= "b.b.buf.vc.ct.supply.vss" "b.b.buf.vc.ct.C2Els[1].vss"
= "b.b.buf.vc.ct.supply.vss" "b.b.buf.vc.ct.C2Els[0].vss"
= "b.b.buf.vc.ct.in[0]" "b.b.buf.vc.ct.C2Els[0].c1"
= "b.b.buf.vc.ct.in[0]" "b.b.buf.vc.ct.tmp[0]"
= "b.b.buf.vc.ct.in[1]" "b.b.buf.vc.ct.C2Els[0].c2"
= "b.b.buf.vc.ct.in[1]" "b.b.buf.vc.ct.tmp[1]"
= "b.b.buf.vc.ct.in[2]" "b.b.buf.vc.ct.C2Els[1].c1"
= "b.b.buf.vc.ct.in[2]" "b.b.buf.vc.ct.tmp[2]"
= "b.b.buf.vc.ct.in[3]" "b.b.buf.vc.ct.C2Els[1].c2"
= "b.b.buf.vc.ct.in[3]" "b.b.buf.vc.ct.tmp[3]"
= "b.b.buf.vc.ct.in[4]" "b.b.buf.vc.ct.C3Els[0].c1"
= "b.b.buf.vc.ct.in[4]" "b.b.buf.vc.ct.tmp[4]"
= "b.b.buf.vc.ct.in[5]" "b.b.buf.vc.ct.C3Els[0].c2"
= "b.b.buf.vc.ct.in[5]" "b.b.buf.vc.ct.tmp[5]"
= "b.b.buf.vc.ct.in[6]" "b.b.buf.vc.ct.C3Els[0].c3"
= "b.b.buf.vc.ct.in[6]" "b.b.buf.vc.ct.tmp[6]"
= "b.b.buf.vc.ct.out" "b.b.buf.vc.ct.C3Els[1].y"
= "b.b.buf.vc.ct.out" "b.b.buf.vc.ct.tmp[10]"
= "b.b.buf.vc.ct.in[0]" "b.b.buf.vc.OR2_tf[0].y"
= "b.b.buf.vc.ct.in[1]" "b.b.buf.vc.OR2_tf[1].y"
= "b.b.buf.vc.ct.in[2]" "b.b.buf.vc.OR2_tf[2].y"
= "b.b.buf.vc.ct.in[3]" "b.b.buf.vc.OR2_tf[3].y"
= "b.b.buf.vc.ct.in[4]" "b.b.buf.vc.OR2_tf[4].y"
= "b.b.buf.vc.ct.in[5]" "b.b.buf.vc.OR2_tf[5].y"
= "b.b.buf.vc.ct.in[6]" "b.b.buf.vc.OR2_tf[6].y"
"b.b.buf.vc.OR2_tf[0].a"|"b.b.buf.vc.OR2_tf[0].b"->"b.b.buf.vc.OR2_tf[0]._y"-
~("b.b.buf.vc.OR2_tf[0].a"|"b.b.buf.vc.OR2_tf[0].b")->"b.b.buf.vc.OR2_tf[0]._y"+
"b.b.buf.vc.OR2_tf[0]._y"->"b.b.buf.vc.OR2_tf[0].y"-
~("b.b.buf.vc.OR2_tf[0]._y")->"b.b.buf.vc.OR2_tf[0].y"+
"b.b.buf.vc.OR2_tf[1].a"|"b.b.buf.vc.OR2_tf[1].b"->"b.b.buf.vc.OR2_tf[1]._y"-
~("b.b.buf.vc.OR2_tf[1].a"|"b.b.buf.vc.OR2_tf[1].b")->"b.b.buf.vc.OR2_tf[1]._y"+
"b.b.buf.vc.OR2_tf[1]._y"->"b.b.buf.vc.OR2_tf[1].y"-
~("b.b.buf.vc.OR2_tf[1]._y")->"b.b.buf.vc.OR2_tf[1].y"+
"b.b.buf.vc.OR2_tf[2].a"|"b.b.buf.vc.OR2_tf[2].b"->"b.b.buf.vc.OR2_tf[2]._y"-
~("b.b.buf.vc.OR2_tf[2].a"|"b.b.buf.vc.OR2_tf[2].b")->"b.b.buf.vc.OR2_tf[2]._y"+
"b.b.buf.vc.OR2_tf[2]._y"->"b.b.buf.vc.OR2_tf[2].y"-
~("b.b.buf.vc.OR2_tf[2]._y")->"b.b.buf.vc.OR2_tf[2].y"+
"b.b.buf.vc.OR2_tf[3].a"|"b.b.buf.vc.OR2_tf[3].b"->"b.b.buf.vc.OR2_tf[3]._y"-
~("b.b.buf.vc.OR2_tf[3].a"|"b.b.buf.vc.OR2_tf[3].b")->"b.b.buf.vc.OR2_tf[3]._y"+
"b.b.buf.vc.OR2_tf[3]._y"->"b.b.buf.vc.OR2_tf[3].y"-
~("b.b.buf.vc.OR2_tf[3]._y")->"b.b.buf.vc.OR2_tf[3].y"+
"b.b.buf.vc.OR2_tf[4].a"|"b.b.buf.vc.OR2_tf[4].b"->"b.b.buf.vc.OR2_tf[4]._y"-
~("b.b.buf.vc.OR2_tf[4].a"|"b.b.buf.vc.OR2_tf[4].b")->"b.b.buf.vc.OR2_tf[4]._y"+
"b.b.buf.vc.OR2_tf[4]._y"->"b.b.buf.vc.OR2_tf[4].y"-
~("b.b.buf.vc.OR2_tf[4]._y")->"b.b.buf.vc.OR2_tf[4].y"+
"b.b.buf.vc.OR2_tf[5].a"|"b.b.buf.vc.OR2_tf[5].b"->"b.b.buf.vc.OR2_tf[5]._y"-
~("b.b.buf.vc.OR2_tf[5].a"|"b.b.buf.vc.OR2_tf[5].b")->"b.b.buf.vc.OR2_tf[5]._y"+
"b.b.buf.vc.OR2_tf[5]._y"->"b.b.buf.vc.OR2_tf[5].y"-
~("b.b.buf.vc.OR2_tf[5]._y")->"b.b.buf.vc.OR2_tf[5].y"+
"b.b.buf.vc.OR2_tf[6].a"|"b.b.buf.vc.OR2_tf[6].b"->"b.b.buf.vc.OR2_tf[6]._y"-
~("b.b.buf.vc.OR2_tf[6].a"|"b.b.buf.vc.OR2_tf[6].b")->"b.b.buf.vc.OR2_tf[6]._y"+
"b.b.buf.vc.OR2_tf[6]._y"->"b.b.buf.vc.OR2_tf[6].y"-
~("b.b.buf.vc.OR2_tf[6]._y")->"b.b.buf.vc.OR2_tf[6].y"+
= "b.b.buf.vc.supply.vss" "b.b.buf.vc.ct.supply.vss"
= "b.b.buf.vc.supply.vdd" "b.b.buf.vc.ct.supply.vdd"
= "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[6].vdd"
= "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[5].vdd"
= "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[4].vdd"
= "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[3].vdd"
= "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[2].vdd"
= "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[1].vdd"
= "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[0].vdd"
= "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[6].vss"
= "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[5].vss"
= "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[4].vss"
= "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[3].vss"
= "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[2].vss"
= "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[1].vss"
= "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[0].vss"
= "b.b.buf.vc.out" "b.b.buf.vc.ct.out"
= "b.b.buf.vc.in.d[0].d[0]" "b.b.buf.vc.in.d[0].f"
= "b.b.buf.vc.in.d[0].d[1]" "b.b.buf.vc.in.d[0].t"
= "b.b.buf.vc.in.d[1].d[0]" "b.b.buf.vc.in.d[1].f"
= "b.b.buf.vc.in.d[1].d[1]" "b.b.buf.vc.in.d[1].t"
= "b.b.buf.vc.in.d[2].d[0]" "b.b.buf.vc.in.d[2].f"
= "b.b.buf.vc.in.d[2].d[1]" "b.b.buf.vc.in.d[2].t"
= "b.b.buf.vc.in.d[3].d[0]" "b.b.buf.vc.in.d[3].f"
= "b.b.buf.vc.in.d[3].d[1]" "b.b.buf.vc.in.d[3].t"
= "b.b.buf.vc.in.d[4].d[0]" "b.b.buf.vc.in.d[4].f"
= "b.b.buf.vc.in.d[4].d[1]" "b.b.buf.vc.in.d[4].t"
= "b.b.buf.vc.in.d[5].d[0]" "b.b.buf.vc.in.d[5].f"
= "b.b.buf.vc.in.d[5].d[1]" "b.b.buf.vc.in.d[5].t"
= "b.b.buf.vc.in.d[6].d[0]" "b.b.buf.vc.in.d[6].f"
= "b.b.buf.vc.in.d[6].d[1]" "b.b.buf.vc.in.d[6].t"
= "b.b.buf.vc.in.d[6].d[0]" "b.b.buf.vc.in.d[6].f"
= "b.b.buf.vc.in.d[6].d[1]" "b.b.buf.vc.in.d[6].t"
= "b.b.buf.vc.in.d[5].d[0]" "b.b.buf.vc.in.d[5].f"
= "b.b.buf.vc.in.d[5].d[1]" "b.b.buf.vc.in.d[5].t"
= "b.b.buf.vc.in.d[4].d[0]" "b.b.buf.vc.in.d[4].f"
= "b.b.buf.vc.in.d[4].d[1]" "b.b.buf.vc.in.d[4].t"
= "b.b.buf.vc.in.d[3].d[0]" "b.b.buf.vc.in.d[3].f"
= "b.b.buf.vc.in.d[3].d[1]" "b.b.buf.vc.in.d[3].t"
= "b.b.buf.vc.in.d[2].d[0]" "b.b.buf.vc.in.d[2].f"
= "b.b.buf.vc.in.d[2].d[1]" "b.b.buf.vc.in.d[2].t"
= "b.b.buf.vc.in.d[1].d[0]" "b.b.buf.vc.in.d[1].f"
= "b.b.buf.vc.in.d[1].d[1]" "b.b.buf.vc.in.d[1].t"
= "b.b.buf.vc.in.d[0].d[0]" "b.b.buf.vc.in.d[0].f"
= "b.b.buf.vc.in.d[0].d[1]" "b.b.buf.vc.in.d[0].t"
= "b.b.buf.vc.in.d[6].d[0]" "b.b.buf.vc.OR2_tf[6].b"
= "b.b.buf.vc.in.d[6].d[0]" "b.b.buf.vc.in.d[6].f"
= "b.b.buf.vc.in.d[6].d[1]" "b.b.buf.vc.OR2_tf[6].a"
= "b.b.buf.vc.in.d[6].d[1]" "b.b.buf.vc.in.d[6].t"
= "b.b.buf.vc.in.d[5].d[0]" "b.b.buf.vc.OR2_tf[5].b"
= "b.b.buf.vc.in.d[5].d[0]" "b.b.buf.vc.in.d[5].f"
= "b.b.buf.vc.in.d[5].d[1]" "b.b.buf.vc.OR2_tf[5].a"
= "b.b.buf.vc.in.d[5].d[1]" "b.b.buf.vc.in.d[5].t"
= "b.b.buf.vc.in.d[4].d[0]" "b.b.buf.vc.OR2_tf[4].b"
= "b.b.buf.vc.in.d[4].d[0]" "b.b.buf.vc.in.d[4].f"
= "b.b.buf.vc.in.d[4].d[1]" "b.b.buf.vc.OR2_tf[4].a"
= "b.b.buf.vc.in.d[4].d[1]" "b.b.buf.vc.in.d[4].t"
= "b.b.buf.vc.in.d[3].d[0]" "b.b.buf.vc.OR2_tf[3].b"
= "b.b.buf.vc.in.d[3].d[0]" "b.b.buf.vc.in.d[3].f"
= "b.b.buf.vc.in.d[3].d[1]" "b.b.buf.vc.OR2_tf[3].a"
= "b.b.buf.vc.in.d[3].d[1]" "b.b.buf.vc.in.d[3].t"
= "b.b.buf.vc.in.d[2].d[0]" "b.b.buf.vc.OR2_tf[2].b"
= "b.b.buf.vc.in.d[2].d[0]" "b.b.buf.vc.in.d[2].f"
= "b.b.buf.vc.in.d[2].d[1]" "b.b.buf.vc.OR2_tf[2].a"
= "b.b.buf.vc.in.d[2].d[1]" "b.b.buf.vc.in.d[2].t"
= "b.b.buf.vc.in.d[1].d[0]" "b.b.buf.vc.OR2_tf[1].b"
= "b.b.buf.vc.in.d[1].d[0]" "b.b.buf.vc.in.d[1].f"
= "b.b.buf.vc.in.d[1].d[1]" "b.b.buf.vc.OR2_tf[1].a"
= "b.b.buf.vc.in.d[1].d[1]" "b.b.buf.vc.in.d[1].t"
= "b.b.buf.vc.in.d[0].d[0]" "b.b.buf.vc.OR2_tf[0].b"
= "b.b.buf.vc.in.d[0].d[0]" "b.b.buf.vc.in.d[0].f"
= "b.b.buf.vc.in.d[0].d[1]" "b.b.buf.vc.OR2_tf[0].a"
= "b.b.buf.vc.in.d[0].d[1]" "b.b.buf.vc.in.d[0].t"
= "b.b.buf.supply.vss" "b.b.buf.en_buf_f.supply.vss"
= "b.b.buf.supply.vdd" "b.b.buf.en_buf_f.supply.vdd"
= "b.b.buf.supply.vss" "b.b.buf.en_buf_t.supply.vss"
= "b.b.buf.supply.vdd" "b.b.buf.en_buf_t.supply.vdd"
= "b.b.buf.supply.vss" "b.b.buf.vc.supply.vss"
= "b.b.buf.supply.vdd" "b.b.buf.vc.supply.vdd"
= "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[6].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[6].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[5].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[5].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[4].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[4].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[3].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[3].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[2].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[2].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[1].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[1].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[0].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[0].vdd"
= "b.b.buf.supply.vdd" "b.b.buf.in_v_buf.vdd"
= "b.b.buf.supply.vdd" "b.b.buf.reset_buf.vdd"
= "b.b.buf.supply.vdd" "b.b.buf.inack_inv.vdd"
= "b.b.buf.supply.vdd" "b.b.buf.inack_ctl.vdd"
= "b.b.buf.supply.vss" "b.b.buf.t_buf_func[6].vss"
= "b.b.buf.supply.vss" "b.b.buf.f_buf_func[6].vss"
= "b.b.buf.supply.vss" "b.b.buf.t_buf_func[5].vss"
= "b.b.buf.supply.vss" "b.b.buf.f_buf_func[5].vss"
= "b.b.buf.supply.vss" "b.b.buf.t_buf_func[4].vss"
= "b.b.buf.supply.vss" "b.b.buf.f_buf_func[4].vss"
= "b.b.buf.supply.vss" "b.b.buf.t_buf_func[3].vss"
= "b.b.buf.supply.vss" "b.b.buf.f_buf_func[3].vss"
= "b.b.buf.supply.vss" "b.b.buf.t_buf_func[2].vss"
= "b.b.buf.supply.vss" "b.b.buf.f_buf_func[2].vss"
= "b.b.buf.supply.vss" "b.b.buf.t_buf_func[1].vss"
= "b.b.buf.supply.vss" "b.b.buf.f_buf_func[1].vss"
= "b.b.buf.supply.vss" "b.b.buf.t_buf_func[0].vss"
= "b.b.buf.supply.vss" "b.b.buf.f_buf_func[0].vss"
= "b.b.buf.supply.vss" "b.b.buf.in_v_buf.vss"
= "b.b.buf.supply.vss" "b.b.buf.reset_buf.vss"
= "b.b.buf.supply.vss" "b.b.buf.inack_inv.vss"
= "b.b.buf.supply.vss" "b.b.buf.inack_ctl.vss"
= "b.b.buf._en" "b.b.buf.en_buf_f.in"
= "b.b.buf._en" "b.b.buf.en_buf_t.in"
= "b.b.buf._en" "b.b.buf.inack_inv.a"
= "b.b.buf._en" "b.b.buf.inack_ctl.y"
= "b.b.buf._en" "b.b.buf.inack_ctl.c1"
= "b.b.buf._en" "b.b.buf._in_aB"
"b.b.buf.reset_inv.a"->"b.b.buf.reset_inv.y"-
~("b.b.buf.reset_inv.a")->"b.b.buf.reset_inv.y"+
= "b.b.buf.out.d[0].d[0]" "b.b.buf.out.d[0].f"
= "b.b.buf.out.d[0].d[1]" "b.b.buf.out.d[0].t"
= "b.b.buf.out.d[1].d[0]" "b.b.buf.out.d[1].f"
= "b.b.buf.out.d[1].d[1]" "b.b.buf.out.d[1].t"
= "b.b.buf.out.d[2].d[0]" "b.b.buf.out.d[2].f"
= "b.b.buf.out.d[2].d[1]" "b.b.buf.out.d[2].t"
= "b.b.buf.out.d[3].d[0]" "b.b.buf.out.d[3].f"
= "b.b.buf.out.d[3].d[1]" "b.b.buf.out.d[3].t"
= "b.b.buf.out.d[4].d[0]" "b.b.buf.out.d[4].f"
= "b.b.buf.out.d[4].d[1]" "b.b.buf.out.d[4].t"
= "b.b.buf.out.d[5].d[0]" "b.b.buf.out.d[5].f"
= "b.b.buf.out.d[5].d[1]" "b.b.buf.out.d[5].t"
= "b.b.buf.out.d[6].d[0]" "b.b.buf.out.d[6].f"
= "b.b.buf.out.d[6].d[1]" "b.b.buf.out.d[6].t"
= "b.b.buf.out.d[6].d[0]" "b.b.buf.out.d[6].f"
= "b.b.buf.out.d[6].d[1]" "b.b.buf.out.d[6].t"
= "b.b.buf.out.d[5].d[0]" "b.b.buf.out.d[5].f"
= "b.b.buf.out.d[5].d[1]" "b.b.buf.out.d[5].t"
= "b.b.buf.out.d[4].d[0]" "b.b.buf.out.d[4].f"
= "b.b.buf.out.d[4].d[1]" "b.b.buf.out.d[4].t"
= "b.b.buf.out.d[3].d[0]" "b.b.buf.out.d[3].f"
= "b.b.buf.out.d[3].d[1]" "b.b.buf.out.d[3].t"
= "b.b.buf.out.d[2].d[0]" "b.b.buf.out.d[2].f"
= "b.b.buf.out.d[2].d[1]" "b.b.buf.out.d[2].t"
= "b.b.buf.out.d[1].d[0]" "b.b.buf.out.d[1].f"
= "b.b.buf.out.d[1].d[1]" "b.b.buf.out.d[1].t"
= "b.b.buf.out.d[0].d[0]" "b.b.buf.out.d[0].f"
= "b.b.buf.out.d[0].d[1]" "b.b.buf.out.d[0].t"
= "b.b.buf.out.d[6].d[0]" "b.b.buf.f_buf_func[6].y"
= "b.b.buf.out.d[6].d[0]" "b.b.buf.out.d[6].f"
= "b.b.buf.out.d[6].d[1]" "b.b.buf.t_buf_func[6].y"
= "b.b.buf.out.d[6].d[1]" "b.b.buf.out.d[6].t"
= "b.b.buf.out.d[5].d[0]" "b.b.buf.f_buf_func[5].y"
= "b.b.buf.out.d[5].d[0]" "b.b.buf.out.d[5].f"
= "b.b.buf.out.d[5].d[1]" "b.b.buf.t_buf_func[5].y"
= "b.b.buf.out.d[5].d[1]" "b.b.buf.out.d[5].t"
= "b.b.buf.out.d[4].d[0]" "b.b.buf.f_buf_func[4].y"
= "b.b.buf.out.d[4].d[0]" "b.b.buf.out.d[4].f"
= "b.b.buf.out.d[4].d[1]" "b.b.buf.t_buf_func[4].y"
= "b.b.buf.out.d[4].d[1]" "b.b.buf.out.d[4].t"
= "b.b.buf.out.d[3].d[0]" "b.b.buf.f_buf_func[3].y"
= "b.b.buf.out.d[3].d[0]" "b.b.buf.out.d[3].f"
= "b.b.buf.out.d[3].d[1]" "b.b.buf.t_buf_func[3].y"
= "b.b.buf.out.d[3].d[1]" "b.b.buf.out.d[3].t"
= "b.b.buf.out.d[2].d[0]" "b.b.buf.f_buf_func[2].y"
= "b.b.buf.out.d[2].d[0]" "b.b.buf.out.d[2].f"
= "b.b.buf.out.d[2].d[1]" "b.b.buf.t_buf_func[2].y"
= "b.b.buf.out.d[2].d[1]" "b.b.buf.out.d[2].t"
= "b.b.buf.out.d[1].d[0]" "b.b.buf.f_buf_func[1].y"
= "b.b.buf.out.d[1].d[0]" "b.b.buf.out.d[1].f"
= "b.b.buf.out.d[1].d[1]" "b.b.buf.t_buf_func[1].y"
= "b.b.buf.out.d[1].d[1]" "b.b.buf.out.d[1].t"
= "b.b.buf.out.d[0].d[0]" "b.b.buf.f_buf_func[0].y"
= "b.b.buf.out.d[0].d[0]" "b.b.buf.out.d[0].f"
= "b.b.buf.out.d[0].d[1]" "b.b.buf.t_buf_func[0].y"
= "b.b.buf.out.d[0].d[1]" "b.b.buf.out.d[0].t"
= "b.b.buf.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].f"
= "b.b.buf.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].t"
= "b.b.buf.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].f"
= "b.b.buf.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].t"
= "b.b.buf.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].f"
= "b.b.buf.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].t"
= "b.b.buf.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].f"
= "b.b.buf.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].t"
= "b.b.buf.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].f"
= "b.b.buf.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].t"
= "b.b.buf.in.d.d[5].d[0]" "b.b.buf.in.d.d[5].f"
= "b.b.buf.in.d.d[5].d[1]" "b.b.buf.in.d.d[5].t"
= "b.b.buf.in.d.d[6].d[0]" "b.b.buf.in.d.d[6].f"
= "b.b.buf.in.d.d[6].d[1]" "b.b.buf.in.d.d[6].t"
= "b.b.buf.in.d.d[6].d[0]" "b.b.buf.in.d.d[6].f"
= "b.b.buf.in.d.d[6].d[1]" "b.b.buf.in.d.d[6].t"
= "b.b.buf.in.d.d[5].d[0]" "b.b.buf.in.d.d[5].f"
= "b.b.buf.in.d.d[5].d[1]" "b.b.buf.in.d.d[5].t"
= "b.b.buf.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].f"
= "b.b.buf.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].t"
= "b.b.buf.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].f"
= "b.b.buf.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].t"
= "b.b.buf.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].f"
= "b.b.buf.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].t"
= "b.b.buf.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].f"
= "b.b.buf.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].t"
= "b.b.buf.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].f"
= "b.b.buf.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].t"
= "b.b.buf.in.d.d[6].d[0]" "b.b.buf.in.d.d[6].f"
= "b.b.buf.in.d.d[6].d[1]" "b.b.buf.in.d.d[6].t"
= "b.b.buf.in.d.d[5].d[0]" "b.b.buf.in.d.d[5].f"
= "b.b.buf.in.d.d[5].d[1]" "b.b.buf.in.d.d[5].t"
= "b.b.buf.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].f"
= "b.b.buf.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].t"
= "b.b.buf.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].f"
= "b.b.buf.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].t"
= "b.b.buf.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].f"
= "b.b.buf.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].t"
= "b.b.buf.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].f"
= "b.b.buf.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].t"
= "b.b.buf.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].f"
= "b.b.buf.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].t"
= "b.b.buf.in.d.d[0].f" "b.b.buf.vc.in.d[0].f"
= "b.b.buf.in.d.d[0].t" "b.b.buf.vc.in.d[0].t"
= "b.b.buf.in.d.d[0].d[0]" "b.b.buf.vc.in.d[0].d[0]"
= "b.b.buf.in.d.d[0].d[1]" "b.b.buf.vc.in.d[0].d[1]"
= "b.b.buf.in.d.d[1].f" "b.b.buf.vc.in.d[1].f"
= "b.b.buf.in.d.d[1].t" "b.b.buf.vc.in.d[1].t"
= "b.b.buf.in.d.d[1].d[0]" "b.b.buf.vc.in.d[1].d[0]"
= "b.b.buf.in.d.d[1].d[1]" "b.b.buf.vc.in.d[1].d[1]"
= "b.b.buf.in.d.d[2].f" "b.b.buf.vc.in.d[2].f"
= "b.b.buf.in.d.d[2].t" "b.b.buf.vc.in.d[2].t"
= "b.b.buf.in.d.d[2].d[0]" "b.b.buf.vc.in.d[2].d[0]"
= "b.b.buf.in.d.d[2].d[1]" "b.b.buf.vc.in.d[2].d[1]"
= "b.b.buf.in.d.d[3].f" "b.b.buf.vc.in.d[3].f"
= "b.b.buf.in.d.d[3].t" "b.b.buf.vc.in.d[3].t"
= "b.b.buf.in.d.d[3].d[0]" "b.b.buf.vc.in.d[3].d[0]"
= "b.b.buf.in.d.d[3].d[1]" "b.b.buf.vc.in.d[3].d[1]"
= "b.b.buf.in.d.d[4].f" "b.b.buf.vc.in.d[4].f"
= "b.b.buf.in.d.d[4].t" "b.b.buf.vc.in.d[4].t"
= "b.b.buf.in.d.d[4].d[0]" "b.b.buf.vc.in.d[4].d[0]"
= "b.b.buf.in.d.d[4].d[1]" "b.b.buf.vc.in.d[4].d[1]"
= "b.b.buf.in.d.d[5].f" "b.b.buf.vc.in.d[5].f"
= "b.b.buf.in.d.d[5].t" "b.b.buf.vc.in.d[5].t"
= "b.b.buf.in.d.d[5].d[0]" "b.b.buf.vc.in.d[5].d[0]"
= "b.b.buf.in.d.d[5].d[1]" "b.b.buf.vc.in.d[5].d[1]"
= "b.b.buf.in.d.d[6].f" "b.b.buf.vc.in.d[6].f"
= "b.b.buf.in.d.d[6].t" "b.b.buf.vc.in.d[6].t"
= "b.b.buf.in.d.d[6].d[0]" "b.b.buf.vc.in.d[6].d[0]"
= "b.b.buf.in.d.d[6].d[1]" "b.b.buf.vc.in.d[6].d[1]"
= "b.b.buf.in.a" "b.b.buf.inack_inv.y"
= "b.b.buf.in.v" "b.b.buf.in_v_buf.y"
= "b.b.buf.in.v" "b.b.buf.inack_ctl.c2"
= "b.b.buf.in.d.d[6].d[0]" "b.b.buf.f_buf_func[6].n1"
= "b.b.buf.in.d.d[6].d[0]" "b.b.buf.in.d.d[6].f"
= "b.b.buf.in.d.d[6].d[1]" "b.b.buf.t_buf_func[6].n1"
= "b.b.buf.in.d.d[6].d[1]" "b.b.buf.in.d.d[6].t"
= "b.b.buf.in.d.d[5].d[0]" "b.b.buf.f_buf_func[5].n1"
= "b.b.buf.in.d.d[5].d[0]" "b.b.buf.in.d.d[5].f"
= "b.b.buf.in.d.d[5].d[1]" "b.b.buf.t_buf_func[5].n1"
= "b.b.buf.in.d.d[5].d[1]" "b.b.buf.in.d.d[5].t"
= "b.b.buf.in.d.d[4].d[0]" "b.b.buf.f_buf_func[4].n1"
= "b.b.buf.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].f"
= "b.b.buf.in.d.d[4].d[1]" "b.b.buf.t_buf_func[4].n1"
= "b.b.buf.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].t"
= "b.b.buf.in.d.d[3].d[0]" "b.b.buf.f_buf_func[3].n1"
= "b.b.buf.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].f"
= "b.b.buf.in.d.d[3].d[1]" "b.b.buf.t_buf_func[3].n1"
= "b.b.buf.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].t"
= "b.b.buf.in.d.d[2].d[0]" "b.b.buf.f_buf_func[2].n1"
= "b.b.buf.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].f"
= "b.b.buf.in.d.d[2].d[1]" "b.b.buf.t_buf_func[2].n1"
= "b.b.buf.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].t"
= "b.b.buf.in.d.d[1].d[0]" "b.b.buf.f_buf_func[1].n1"
= "b.b.buf.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].f"
= "b.b.buf.in.d.d[1].d[1]" "b.b.buf.t_buf_func[1].n1"
= "b.b.buf.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].t"
= "b.b.buf.in.d.d[0].d[0]" "b.b.buf.f_buf_func[0].n1"
= "b.b.buf.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].f"
= "b.b.buf.in.d.d[0].d[1]" "b.b.buf.t_buf_func[0].n1"
= "b.b.buf.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].t"
"b.b.buf.inack_inv.a"->"b.b.buf.inack_inv.y"-
~("b.b.buf.inack_inv.a")->"b.b.buf.inack_inv.y"+
= "b.b.buf._in_v" "b.b.buf.in_v_buf.a"
= "b.b.buf._in_v" "b.b.buf.vc.out"
"b.b.buf.reset_buf.a"->"b.b.buf.reset_buf._y"-
~("b.b.buf.reset_buf.a")->"b.b.buf.reset_buf._y"+
"b.b.buf.reset_buf._y"->"b.b.buf.reset_buf.y"-
~("b.b.buf.reset_buf._y")->"b.b.buf.reset_buf.y"+
"b.b.buf.flush_inv.a"->"b.b.buf.flush_inv.y"-
~("b.b.buf.flush_inv.a")->"b.b.buf.flush_inv.y"+
= "b.b.buf._reset_BX" "b.b.buf.reset_bufarray.in"
= "b.b.buf._reset_BX" "b.b.buf.reset_buf.y"
= "b.b.buf._reset_BX" "b.b.buf.inack_ctl.sr_B"
= "b.b.buf._reset_BX" "b.b.buf.inack_ctl.pr_B"
= "b.b.buf.reset_B" "b.b.buf.reset_buf.a"
= "b.b.buf.reset_B" "b.b.buf.reset_inv.a"
= "b.b.buf._reset" "b.b.buf.t_buf_func[6].sr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[6].pr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[5].sr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[5].pr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[4].sr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[4].pr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[3].sr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[3].pr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[2].sr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[2].pr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[1].sr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[1].pr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[0].sr"
= "b.b.buf._reset" "b.b.buf.t_buf_func[0].pr"
= "b.b.buf._reset" "b.b.buf.reset_inv.y"
= "b.b.buf._flushB" "b.b.buf.t_buf_func[6].c1"
= "b.b.buf._flushB" "b.b.buf.f_buf_func[6].c1"
= "b.b.buf._flushB" "b.b.buf.t_buf_func[5].c1"
= "b.b.buf._flushB" "b.b.buf.f_buf_func[5].c1"
= "b.b.buf._flushB" "b.b.buf.t_buf_func[4].c1"
= "b.b.buf._flushB" "b.b.buf.f_buf_func[4].c1"
= "b.b.buf._flushB" "b.b.buf.t_buf_func[3].c1"
= "b.b.buf._flushB" "b.b.buf.f_buf_func[3].c1"
= "b.b.buf._flushB" "b.b.buf.t_buf_func[2].c1"
= "b.b.buf._flushB" "b.b.buf.f_buf_func[2].c1"
= "b.b.buf._flushB" "b.b.buf.t_buf_func[1].c1"
= "b.b.buf._flushB" "b.b.buf.f_buf_func[1].c1"
= "b.b.buf._flushB" "b.b.buf.t_buf_func[0].c1"
= "b.b.buf._flushB" "b.b.buf.f_buf_func[0].c1"
= "b.b.buf._flushB" "b.b.buf.flush_inv.y"
"b.b.buf.en_buf_f.buf2.a"->"b.b.buf.en_buf_f.buf2._y"-
~("b.b.buf.en_buf_f.buf2.a")->"b.b.buf.en_buf_f.buf2._y"+
"b.b.buf.en_buf_f.buf2._y"->"b.b.buf.en_buf_f.buf2.y"-
~("b.b.buf.en_buf_f.buf2._y")->"b.b.buf.en_buf_f.buf2.y"+
= "b.b.buf.en_buf_f.supply.vdd" "b.b.buf.en_buf_f.buf2.vdd"
= "b.b.buf.en_buf_f.supply.vss" "b.b.buf.en_buf_f.buf2.vss"
= "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[6]"
= "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[5]"
= "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[4]"
= "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[3]"
= "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[2]"
= "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[1]"
= "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.buf2.y"
= "b.b.buf.en_buf_f.in" "b.b.buf.en_buf_f.buf2.a"
"b.b.buf.en_buf_t.buf2.a"->"b.b.buf.en_buf_t.buf2._y"-
~("b.b.buf.en_buf_t.buf2.a")->"b.b.buf.en_buf_t.buf2._y"+
"b.b.buf.en_buf_t.buf2._y"->"b.b.buf.en_buf_t.buf2.y"-
~("b.b.buf.en_buf_t.buf2._y")->"b.b.buf.en_buf_t.buf2.y"+
= "b.b.buf.en_buf_t.supply.vdd" "b.b.buf.en_buf_t.buf2.vdd"
= "b.b.buf.en_buf_t.supply.vss" "b.b.buf.en_buf_t.buf2.vss"
= "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[6]"
= "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[5]"
= "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[4]"
= "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[3]"
= "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[2]"
= "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[1]"
= "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.buf2.y"
= "b.b.buf.en_buf_t.in" "b.b.buf.en_buf_t.buf2.a"
= "b.b.buf._reset_BXX[0]" "b.b.buf.reset_bufarray.out[0]"
= "b.b.buf._reset_BXX[1]" "b.b.buf.reset_bufarray.out[1]"
= "b.b.buf._reset_BXX[2]" "b.b.buf.reset_bufarray.out[2]"
= "b.b.buf._reset_BXX[3]" "b.b.buf.reset_bufarray.out[3]"
= "b.b.buf._reset_BXX[4]" "b.b.buf.reset_bufarray.out[4]"
= "b.b.buf._reset_BXX[5]" "b.b.buf.reset_bufarray.out[5]"
= "b.b.buf._reset_BXX[6]" "b.b.buf.reset_bufarray.out[6]"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[6].sr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[6].pr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[5].sr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[5].pr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[4].sr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[4].pr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[3].sr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[3].pr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[2].sr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[2].pr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[1].sr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[1].pr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[0].sr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[0].pr_B"
= "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[6]"
= "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[5]"
= "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[4]"
= "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[3]"
= "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[2]"
= "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[1]"
~"b.b.buf.t_buf_func[0].c1"&~"b.b.buf.t_buf_func[0].sr"->"b.b.buf.t_buf_func[0]._y"+
"b.b.buf.t_buf_func[0].c1"&"b.b.buf.t_buf_func[0].n1"&"b.b.buf.t_buf_func[0].n2"|"b.b.buf.t_buf_func[0].pr"->"b.b.buf.t_buf_func[0]._y"-
"b.b.buf.t_buf_func[0]._y"->"b.b.buf.t_buf_func[0].y"-
~("b.b.buf.t_buf_func[0]._y")->"b.b.buf.t_buf_func[0].y"+
~"b.b.buf.t_buf_func[1].c1"&~"b.b.buf.t_buf_func[1].sr"->"b.b.buf.t_buf_func[1]._y"+
"b.b.buf.t_buf_func[1].c1"&"b.b.buf.t_buf_func[1].n1"&"b.b.buf.t_buf_func[1].n2"|"b.b.buf.t_buf_func[1].pr"->"b.b.buf.t_buf_func[1]._y"-
"b.b.buf.t_buf_func[1]._y"->"b.b.buf.t_buf_func[1].y"-
~("b.b.buf.t_buf_func[1]._y")->"b.b.buf.t_buf_func[1].y"+
~"b.b.buf.t_buf_func[2].c1"&~"b.b.buf.t_buf_func[2].sr"->"b.b.buf.t_buf_func[2]._y"+
"b.b.buf.t_buf_func[2].c1"&"b.b.buf.t_buf_func[2].n1"&"b.b.buf.t_buf_func[2].n2"|"b.b.buf.t_buf_func[2].pr"->"b.b.buf.t_buf_func[2]._y"-
"b.b.buf.t_buf_func[2]._y"->"b.b.buf.t_buf_func[2].y"-
~("b.b.buf.t_buf_func[2]._y")->"b.b.buf.t_buf_func[2].y"+
~"b.b.buf.t_buf_func[3].c1"&~"b.b.buf.t_buf_func[3].sr"->"b.b.buf.t_buf_func[3]._y"+
"b.b.buf.t_buf_func[3].c1"&"b.b.buf.t_buf_func[3].n1"&"b.b.buf.t_buf_func[3].n2"|"b.b.buf.t_buf_func[3].pr"->"b.b.buf.t_buf_func[3]._y"-
"b.b.buf.t_buf_func[3]._y"->"b.b.buf.t_buf_func[3].y"-
~("b.b.buf.t_buf_func[3]._y")->"b.b.buf.t_buf_func[3].y"+
~"b.b.buf.t_buf_func[4].c1"&~"b.b.buf.t_buf_func[4].sr"->"b.b.buf.t_buf_func[4]._y"+
"b.b.buf.t_buf_func[4].c1"&"b.b.buf.t_buf_func[4].n1"&"b.b.buf.t_buf_func[4].n2"|"b.b.buf.t_buf_func[4].pr"->"b.b.buf.t_buf_func[4]._y"-
"b.b.buf.t_buf_func[4]._y"->"b.b.buf.t_buf_func[4].y"-
~("b.b.buf.t_buf_func[4]._y")->"b.b.buf.t_buf_func[4].y"+
~"b.b.buf.t_buf_func[5].c1"&~"b.b.buf.t_buf_func[5].sr"->"b.b.buf.t_buf_func[5]._y"+
"b.b.buf.t_buf_func[5].c1"&"b.b.buf.t_buf_func[5].n1"&"b.b.buf.t_buf_func[5].n2"|"b.b.buf.t_buf_func[5].pr"->"b.b.buf.t_buf_func[5]._y"-
"b.b.buf.t_buf_func[5]._y"->"b.b.buf.t_buf_func[5].y"-
~("b.b.buf.t_buf_func[5]._y")->"b.b.buf.t_buf_func[5].y"+
~"b.b.buf.t_buf_func[6].c1"&~"b.b.buf.t_buf_func[6].sr"->"b.b.buf.t_buf_func[6]._y"+
"b.b.buf.t_buf_func[6].c1"&"b.b.buf.t_buf_func[6].n1"&"b.b.buf.t_buf_func[6].n2"|"b.b.buf.t_buf_func[6].pr"->"b.b.buf.t_buf_func[6]._y"-
"b.b.buf.t_buf_func[6]._y"->"b.b.buf.t_buf_func[6].y"-
~("b.b.buf.t_buf_func[6]._y")->"b.b.buf.t_buf_func[6].y"+
~"b.b.buf.f_buf_func[0].c1"|~"b.b.buf.f_buf_func[0].pr_B"->"b.b.buf.f_buf_func[0]._y"+
"b.b.buf.f_buf_func[0].c1"&"b.b.buf.f_buf_func[0].n1"&"b.b.buf.f_buf_func[0].n2"&"b.b.buf.f_buf_func[0].sr_B"->"b.b.buf.f_buf_func[0]._y"-
"b.b.buf.f_buf_func[0]._y"->"b.b.buf.f_buf_func[0].y"-
~("b.b.buf.f_buf_func[0]._y")->"b.b.buf.f_buf_func[0].y"+
~"b.b.buf.f_buf_func[1].c1"|~"b.b.buf.f_buf_func[1].pr_B"->"b.b.buf.f_buf_func[1]._y"+
"b.b.buf.f_buf_func[1].c1"&"b.b.buf.f_buf_func[1].n1"&"b.b.buf.f_buf_func[1].n2"&"b.b.buf.f_buf_func[1].sr_B"->"b.b.buf.f_buf_func[1]._y"-
"b.b.buf.f_buf_func[1]._y"->"b.b.buf.f_buf_func[1].y"-
~("b.b.buf.f_buf_func[1]._y")->"b.b.buf.f_buf_func[1].y"+
~"b.b.buf.f_buf_func[2].c1"|~"b.b.buf.f_buf_func[2].pr_B"->"b.b.buf.f_buf_func[2]._y"+
"b.b.buf.f_buf_func[2].c1"&"b.b.buf.f_buf_func[2].n1"&"b.b.buf.f_buf_func[2].n2"&"b.b.buf.f_buf_func[2].sr_B"->"b.b.buf.f_buf_func[2]._y"-
"b.b.buf.f_buf_func[2]._y"->"b.b.buf.f_buf_func[2].y"-
~("b.b.buf.f_buf_func[2]._y")->"b.b.buf.f_buf_func[2].y"+
~"b.b.buf.f_buf_func[3].c1"|~"b.b.buf.f_buf_func[3].pr_B"->"b.b.buf.f_buf_func[3]._y"+
"b.b.buf.f_buf_func[3].c1"&"b.b.buf.f_buf_func[3].n1"&"b.b.buf.f_buf_func[3].n2"&"b.b.buf.f_buf_func[3].sr_B"->"b.b.buf.f_buf_func[3]._y"-
"b.b.buf.f_buf_func[3]._y"->"b.b.buf.f_buf_func[3].y"-
~("b.b.buf.f_buf_func[3]._y")->"b.b.buf.f_buf_func[3].y"+
~"b.b.buf.f_buf_func[4].c1"|~"b.b.buf.f_buf_func[4].pr_B"->"b.b.buf.f_buf_func[4]._y"+
"b.b.buf.f_buf_func[4].c1"&"b.b.buf.f_buf_func[4].n1"&"b.b.buf.f_buf_func[4].n2"&"b.b.buf.f_buf_func[4].sr_B"->"b.b.buf.f_buf_func[4]._y"-
"b.b.buf.f_buf_func[4]._y"->"b.b.buf.f_buf_func[4].y"-
~("b.b.buf.f_buf_func[4]._y")->"b.b.buf.f_buf_func[4].y"+
~"b.b.buf.f_buf_func[5].c1"|~"b.b.buf.f_buf_func[5].pr_B"->"b.b.buf.f_buf_func[5]._y"+
"b.b.buf.f_buf_func[5].c1"&"b.b.buf.f_buf_func[5].n1"&"b.b.buf.f_buf_func[5].n2"&"b.b.buf.f_buf_func[5].sr_B"->"b.b.buf.f_buf_func[5]._y"-
"b.b.buf.f_buf_func[5]._y"->"b.b.buf.f_buf_func[5].y"-
~("b.b.buf.f_buf_func[5]._y")->"b.b.buf.f_buf_func[5].y"+
~"b.b.buf.f_buf_func[6].c1"|~"b.b.buf.f_buf_func[6].pr_B"->"b.b.buf.f_buf_func[6]._y"+
"b.b.buf.f_buf_func[6].c1"&"b.b.buf.f_buf_func[6].n1"&"b.b.buf.f_buf_func[6].n2"&"b.b.buf.f_buf_func[6].sr_B"->"b.b.buf.f_buf_func[6]._y"-
"b.b.buf.f_buf_func[6]._y"->"b.b.buf.f_buf_func[6].y"-
~("b.b.buf.f_buf_func[6]._y")->"b.b.buf.f_buf_func[6].y"+
= "b.b.buf._en_X_t[0]" "b.b.buf.en_buf_t.out[0]"
= "b.b.buf._en_X_t[1]" "b.b.buf.en_buf_t.out[1]"
= "b.b.buf._en_X_t[2]" "b.b.buf.en_buf_t.out[2]"
= "b.b.buf._en_X_t[3]" "b.b.buf.en_buf_t.out[3]"
= "b.b.buf._en_X_t[4]" "b.b.buf.en_buf_t.out[4]"
= "b.b.buf._en_X_t[5]" "b.b.buf.en_buf_t.out[5]"
= "b.b.buf._en_X_t[6]" "b.b.buf.en_buf_t.out[6]"
= "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[6].n2"
= "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[5].n2"
= "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[4].n2"
= "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[3].n2"
= "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[2].n2"
= "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[1].n2"
= "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[0].n2"
= "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[6]"
= "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[5]"
= "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[4]"
= "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[3]"
= "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[2]"
= "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[1]"
= "b.b.buf.out_v" "b.b.buf.inack_ctl.n1"
"b.b.in_ack_inv.a"->"b.b.in_ack_inv.y"-
~("b.b.in_ack_inv.a")->"b.b.in_ack_inv.y"+
= "b.b.in_ack_inv.y" "b.b.in_ack_safety.c1"
= "b.b.in_ack_inv.a" "b.b.buf.in.a"
= "b._reset_B" "b.b.reset_B"
= "b.supply.vss" "b.b.supply.vss"
= "b.supply.vdd" "b.b.supply.vdd"
= "Vdd" "b.supply.vdd"
= "GND" "b.supply.vss"
= "b.out.d[0].d[0]" "b.out.d[0].f"
= "b.out.d[0].d[1]" "b.out.d[0].t"
= "b.out.d[1].d[0]" "b.out.d[1].f"
= "b.out.d[1].d[1]" "b.out.d[1].t"
= "b.out.d[2].d[0]" "b.out.d[2].f"
= "b.out.d[2].d[1]" "b.out.d[2].t"
= "b.out.d[3].d[0]" "b.out.d[3].f"
= "b.out.d[3].d[1]" "b.out.d[3].t"
= "b.out.d[4].d[0]" "b.out.d[4].f"
= "b.out.d[4].d[1]" "b.out.d[4].t"
= "b.out.d[5].d[0]" "b.out.d[5].f"
= "b.out.d[5].d[1]" "b.out.d[5].t"
= "b.out.d[6].d[0]" "b.out.d[6].f"
= "b.out.d[6].d[1]" "b.out.d[6].t"
= "b.out.d[6].d[0]" "b.out.d[6].f"
= "b.out.d[6].d[1]" "b.out.d[6].t"
= "b.out.d[5].d[0]" "b.out.d[5].f"
= "b.out.d[5].d[1]" "b.out.d[5].t"
= "b.out.d[4].d[0]" "b.out.d[4].f"
= "b.out.d[4].d[1]" "b.out.d[4].t"
= "b.out.d[3].d[0]" "b.out.d[3].f"
= "b.out.d[3].d[1]" "b.out.d[3].t"
= "b.out.d[2].d[0]" "b.out.d[2].f"
= "b.out.d[2].d[1]" "b.out.d[2].t"
= "b.out.d[1].d[0]" "b.out.d[1].f"
= "b.out.d[1].d[1]" "b.out.d[1].t"
= "b.out.d[0].d[0]" "b.out.d[0].f"
= "b.out.d[0].d[1]" "b.out.d[0].t"
= "b.out.d[0].f" "b.b.out.d[0].f"
= "b.out.d[0].t" "b.b.out.d[0].t"
= "b.out.d[0].d[0]" "b.b.out.d[0].d[0]"
= "b.out.d[0].d[1]" "b.b.out.d[0].d[1]"
= "b.out.d[1].f" "b.b.out.d[1].f"
= "b.out.d[1].t" "b.b.out.d[1].t"
= "b.out.d[1].d[0]" "b.b.out.d[1].d[0]"
= "b.out.d[1].d[1]" "b.b.out.d[1].d[1]"
= "b.out.d[2].f" "b.b.out.d[2].f"
= "b.out.d[2].t" "b.b.out.d[2].t"
= "b.out.d[2].d[0]" "b.b.out.d[2].d[0]"
= "b.out.d[2].d[1]" "b.b.out.d[2].d[1]"
= "b.out.d[3].f" "b.b.out.d[3].f"
= "b.out.d[3].t" "b.b.out.d[3].t"
= "b.out.d[3].d[0]" "b.b.out.d[3].d[0]"
= "b.out.d[3].d[1]" "b.b.out.d[3].d[1]"
= "b.out.d[4].f" "b.b.out.d[4].f"
= "b.out.d[4].t" "b.b.out.d[4].t"
= "b.out.d[4].d[0]" "b.b.out.d[4].d[0]"
= "b.out.d[4].d[1]" "b.b.out.d[4].d[1]"
= "b.out.d[5].f" "b.b.out.d[5].f"
= "b.out.d[5].t" "b.b.out.d[5].t"
= "b.out.d[5].d[0]" "b.b.out.d[5].d[0]"
= "b.out.d[5].d[1]" "b.b.out.d[5].d[1]"
= "b.out.d[6].f" "b.b.out.d[6].f"
= "b.out.d[6].t" "b.b.out.d[6].t"
= "b.out.d[6].d[0]" "b.b.out.d[6].d[0]"
= "b.out.d[6].d[1]" "b.b.out.d[6].d[1]"
= "b.out.d[6].d[0]" "b.out.d[6].f"
= "b.out.d[6].d[1]" "b.out.d[6].t"
= "b.out.d[5].d[0]" "b.out.d[5].f"
= "b.out.d[5].d[1]" "b.out.d[5].t"
= "b.out.d[4].d[0]" "b.out.d[4].f"
= "b.out.d[4].d[1]" "b.out.d[4].t"
= "b.out.d[3].d[0]" "b.out.d[3].f"
= "b.out.d[3].d[1]" "b.out.d[3].t"
= "b.out.d[2].d[0]" "b.out.d[2].f"
= "b.out.d[2].d[1]" "b.out.d[2].t"
= "b.out.d[1].d[0]" "b.out.d[1].f"
= "b.out.d[1].d[1]" "b.out.d[1].t"
= "b.out.d[0].d[0]" "b.out.d[0].f"
= "b.out.d[0].d[1]" "b.out.d[0].t"
= "b.in.d.d[0].d[0]" "b.in.d.d[0].f"
= "b.in.d.d[0].d[1]" "b.in.d.d[0].t"
= "b.in.d.d[1].d[0]" "b.in.d.d[1].f"
= "b.in.d.d[1].d[1]" "b.in.d.d[1].t"
= "b.in.d.d[2].d[0]" "b.in.d.d[2].f"
= "b.in.d.d[2].d[1]" "b.in.d.d[2].t"
= "b.in.d.d[3].d[0]" "b.in.d.d[3].f"
= "b.in.d.d[3].d[1]" "b.in.d.d[3].t"
= "b.in.d.d[4].d[0]" "b.in.d.d[4].f"
= "b.in.d.d[4].d[1]" "b.in.d.d[4].t"
= "b.in.d.d[5].d[0]" "b.in.d.d[5].f"
= "b.in.d.d[5].d[1]" "b.in.d.d[5].t"
= "b.in.d.d[6].d[0]" "b.in.d.d[6].f"
= "b.in.d.d[6].d[1]" "b.in.d.d[6].t"
= "b.in.d.d[7].d[0]" "b.in.d.d[7].f"
= "b.in.d.d[7].d[1]" "b.in.d.d[7].t"
= "b.in.d.d[7].d[0]" "b.in.d.d[7].f"
= "b.in.d.d[7].d[1]" "b.in.d.d[7].t"
= "b.in.d.d[6].d[0]" "b.in.d.d[6].f"
= "b.in.d.d[6].d[1]" "b.in.d.d[6].t"
= "b.in.d.d[5].d[0]" "b.in.d.d[5].f"
= "b.in.d.d[5].d[1]" "b.in.d.d[5].t"
= "b.in.d.d[4].d[0]" "b.in.d.d[4].f"
= "b.in.d.d[4].d[1]" "b.in.d.d[4].t"
= "b.in.d.d[3].d[0]" "b.in.d.d[3].f"
= "b.in.d.d[3].d[1]" "b.in.d.d[3].t"
= "b.in.d.d[2].d[0]" "b.in.d.d[2].f"
= "b.in.d.d[2].d[1]" "b.in.d.d[2].t"
= "b.in.d.d[1].d[0]" "b.in.d.d[1].f"
= "b.in.d.d[1].d[1]" "b.in.d.d[1].t"
= "b.in.d.d[0].d[0]" "b.in.d.d[0].f"
= "b.in.d.d[0].d[1]" "b.in.d.d[0].t"
= "b.in.d.d[7].d[0]" "b.in.d.d[7].f"
= "b.in.d.d[7].d[1]" "b.in.d.d[7].t"
= "b.in.d.d[6].d[0]" "b.in.d.d[6].f"
= "b.in.d.d[6].d[1]" "b.in.d.d[6].t"
= "b.in.d.d[5].d[0]" "b.in.d.d[5].f"
= "b.in.d.d[5].d[1]" "b.in.d.d[5].t"
= "b.in.d.d[4].d[0]" "b.in.d.d[4].f"
= "b.in.d.d[4].d[1]" "b.in.d.d[4].t"
= "b.in.d.d[3].d[0]" "b.in.d.d[3].f"
= "b.in.d.d[3].d[1]" "b.in.d.d[3].t"
= "b.in.d.d[2].d[0]" "b.in.d.d[2].f"
= "b.in.d.d[2].d[1]" "b.in.d.d[2].t"
= "b.in.d.d[1].d[0]" "b.in.d.d[1].f"
= "b.in.d.d[1].d[1]" "b.in.d.d[1].t"
= "b.in.d.d[0].d[0]" "b.in.d.d[0].f"
= "b.in.d.d[0].d[1]" "b.in.d.d[0].t"
= "b.in.v" "b.b.in.v"
= "b.in.a" "b.b.in.a"
= "b.in.d.d[0].f" "b.b.in.d.d[0].f"
= "b.in.d.d[0].t" "b.b.in.d.d[0].t"
= "b.in.d.d[0].d[0]" "b.b.in.d.d[0].d[0]"
= "b.in.d.d[0].d[1]" "b.b.in.d.d[0].d[1]"
= "b.in.d.d[1].f" "b.b.in.d.d[1].f"
= "b.in.d.d[1].t" "b.b.in.d.d[1].t"
= "b.in.d.d[1].d[0]" "b.b.in.d.d[1].d[0]"
= "b.in.d.d[1].d[1]" "b.b.in.d.d[1].d[1]"
= "b.in.d.d[2].f" "b.b.in.d.d[2].f"
= "b.in.d.d[2].t" "b.b.in.d.d[2].t"
= "b.in.d.d[2].d[0]" "b.b.in.d.d[2].d[0]"
= "b.in.d.d[2].d[1]" "b.b.in.d.d[2].d[1]"
= "b.in.d.d[3].f" "b.b.in.d.d[3].f"
= "b.in.d.d[3].t" "b.b.in.d.d[3].t"
= "b.in.d.d[3].d[0]" "b.b.in.d.d[3].d[0]"
= "b.in.d.d[3].d[1]" "b.b.in.d.d[3].d[1]"
= "b.in.d.d[4].f" "b.b.in.d.d[4].f"
= "b.in.d.d[4].t" "b.b.in.d.d[4].t"
= "b.in.d.d[4].d[0]" "b.b.in.d.d[4].d[0]"
= "b.in.d.d[4].d[1]" "b.b.in.d.d[4].d[1]"
= "b.in.d.d[5].f" "b.b.in.d.d[5].f"
= "b.in.d.d[5].t" "b.b.in.d.d[5].t"
= "b.in.d.d[5].d[0]" "b.b.in.d.d[5].d[0]"
= "b.in.d.d[5].d[1]" "b.b.in.d.d[5].d[1]"
= "b.in.d.d[6].f" "b.b.in.d.d[6].f"
= "b.in.d.d[6].t" "b.b.in.d.d[6].t"
= "b.in.d.d[6].d[0]" "b.b.in.d.d[6].d[0]"
= "b.in.d.d[6].d[1]" "b.b.in.d.d[6].d[1]"
= "b.in.d.d[7].f" "b.b.in.d.d[7].f"
= "b.in.d.d[7].t" "b.b.in.d.d[7].t"
= "b.in.d.d[7].d[0]" "b.b.in.d.d[7].d[0]"
= "b.in.d.d[7].d[1]" "b.b.in.d.d[7].d[1]"
= "b.in.d.d[7].d[0]" "b.in.d.d[7].f"
= "b.in.d.d[7].d[1]" "b.in.d.d[7].t"
= "b.in.d.d[6].d[0]" "b.in.d.d[6].f"
= "b.in.d.d[6].d[1]" "b.in.d.d[6].t"
= "b.in.d.d[5].d[0]" "b.in.d.d[5].f"
= "b.in.d.d[5].d[1]" "b.in.d.d[5].t"
= "b.in.d.d[4].d[0]" "b.in.d.d[4].f"
= "b.in.d.d[4].d[1]" "b.in.d.d[4].t"
= "b.in.d.d[3].d[0]" "b.in.d.d[3].f"
= "b.in.d.d[3].d[1]" "b.in.d.d[3].t"
= "b.in.d.d[2].d[0]" "b.in.d.d[2].f"
= "b.in.d.d[2].d[1]" "b.in.d.d[2].t"
= "b.in.d.d[1].d[0]" "b.in.d.d[1].f"
= "b.in.d.d[1].d[1]" "b.in.d.d[1].t"
= "b.in.d.d[0].d[0]" "b.in.d.d[0].f"
= "b.in.d.d[0].d[1]" "b.in.d.d[0].t"