= "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"