diff --git a/dataflow_neuro/interfaces.act b/dataflow_neuro/interfaces.act index a926b95..285319e 100644 --- a/dataflow_neuro/interfaces.act +++ b/dataflow_neuro/interfaces.act @@ -129,6 +129,36 @@ namespace tmpl { + /** + * quasi delay insensitive channel (dual rail). + * 2 + * Bundled data (non dual rail, with req) + */ + export template + defproc qdi2bd(avMx1of2 in; bd out; bool? dly_cfg[N_dly_cfg]; power supply; bool? reset_B) { + + // Buffer + buffer buf(.in = in, .supply = supply, .reset_B = reset_B); + buf.out.a = out.a; + + // Vtree + vtree out_vtree(.supply = supply); + (i:N: + out_vtree.in.d[i].t = buf.out.d.d[i].t; + out_vtree.in.d[i].f = buf.out.d.d[i].f; + ) + buf.out.v = out_vtree.out; + + // Delay + delayprog dly(.in = out_vtree.out, .out = out.r, .s = dly_cfg, .supply = supply); + out_vtree.out = dly.in; + + // Wire output data bits to buffer True lines + (i:N: + buf.out.d.d[i].t = out.d[i]; + ) + + } diff --git a/test/unit_tests/qdi2bd_5/run/prsim.out b/test/unit_tests/qdi2bd_5/run/prsim.out new file mode 100644 index 0000000..f665cea --- /dev/null +++ b/test/unit_tests/qdi2bd_5/run/prsim.out @@ -0,0 +1,694 @@ +b.b.buf.vc.ct.in[2] b.in.d.d[3].f b.in.d.d[1].t b.b.dly.dly[9].__y b.b.buf.vc.ct.tmp[6] b.in.d.d[0].t b.b.dly.dly[11].__y b.b.buf._out_a_BX_f[0] b.b.dly.dly[4]._y b.b.dly.dly[13].y b.b.dly.dly[11].y b.dly_cfg[2] b.b.buf._in_v b.b.dly.dly[7].___y b.b.buf._out_a_B b.in.d.d[1].f b.b.dly._a[1] b.in.d.d[0].f b.in.d.d[2].t b.in.d.d[3].t b.b.dly.dly[8].__y b.b.dly.dly[4].___y b.in.d.d[4].f b.dly_cfg[0] b.b.dly.dly[8]._y b.b.buf._out_a_BX_t[0] b.in.d.d[2].f b.dly_cfg[3] b.b.dly.dly[10].y b.b.dly.dly[6]._y b.b.buf.vc.ct.in[0] b.b.dly.dly[7].y b.b.buf.vc.ct.C2Els[0]._y b.b.dly._a[3] b.b.dly.dly[5].y b.in.v b.b.dly.dly[12].___y b.b.dly.dly[12].y b.b.buf.in_v_buf._y b.b.buf.vc.ct.in[4] b.b.dly.dly[9].___y b.b.dly.dly[6].y b.b.dly.dly[2].y b.b.dly.dly[14].___y b.b.dly.mu2[0]._y b.b.buf.vc.OR2_tf[1]._y b.b.dly.dly[6].___y b.out.a b.b.dly.mu2[3]._y b.b.buf.vc.OR2_tf[2]._y b.b.dly.mu2[1]._s b.in.d.d[4].t b.b.dly.dly[4].y b.b.dly.and2[3]._y b.b.dly.dly[13].___y b.b.dly.mu2[2]._y b.b.dly.dly[14].__y b.b.buf.vc.OR2_tf[3]._y b.b.buf.vc.ct.in[1] b.b.dly.dly[7]._y b.b.buf.vc.ct.C2Els[1]._y b.out.r b.b.buf.vc.ct.C3Els[0]._y b.b.dly.dly[4].__y b.b.buf.vc.ct.tmp[5] b.b.dly.dly[1].y b.b.dly.dly[12].__y b.b.buf.vc.OR2_tf[4]._y b.b.dly.dly[12]._y b.b.dly.dly[14]._y b.b.buf.vc.ct.in[3] b.b.dly.dly[2].___y b.b.dly.mu2[2]._s b.b.dly.dly[10].___y b.b.dly.dly[3].y b.b.dly.dly[6].__y b.b.buf.out_a_B_buf_f.buf2._y b.b.dly.mu2[0]._s b.b.dly.dly[5].__y b.b.dly.dly[3].a b.b.dly.mu2[3].b b.dly_cfg[1] b.b.dly.dly[7].a b.b.dly.dly[8].y b.b.dly.mu2[1]._y b.b.dly.dly[3].___y b.b.buf.vc.OR2_tf[0]._y b.b.dly.mu2[3]._s b.b.dly._a[2] b.b.buf.out_a_B_buf_t.buf2._y b.b.dly.dly[1].___y b.b.dly.dly[2]._y b.b.dly.dly[7].__y b.b.dly.dly[1].a b.b.dly.dly[8].___y b.b.dly.dly[3]._y b.b.dly.dly[10].__y b.b.dly.dly[5]._y b.b.dly.dly[1]._y b.b.dly.dly[11]._y b.b.dly.and2[1]._y b.b.dly.dly[1].__y b.b.dly.dly[9].y b.b.dly.dly[13]._y b.b.dly.and2[2]._y b.b.dly.dly[11].___y b.b.dly.dly[2].__y b.b.dly.dly[5].___y b.b.dly.dly[3].__y b.b.dly.dly[13].__y b.b.dly.dly[9]._y b.b.dly.dly[10]._y + 277130 b.out.a : 0 + 277130 Reset : 0 + 277130 b.in.d.d[0].t : 0 + 277130 b.in.d.d[2].t : 0 + 277130 b.dly_cfg[3] : 1 + 277130 b.dly_cfg[2] : 1 + 277130 b.in.d.d[2].f : 0 + 277130 b.dly_cfg[1] : 1 + 277130 b.dly_cfg[0] : 1 + 277130 b.in.d.d[0].f : 0 + 277130 b.in.d.d[1].t : 0 + 277130 b.in.d.d[4].t : 0 + 277130 b.in.d.d[4].f : 0 + 277130 b.in.d.d[1].f : 0 + 277130 b.in.d.d[3].t : 0 + 277130 b.in.d.d[3].f : 0 + 277131 b.b.buf.vc.OR2_tf[1]._y : 1 [by b.in.d.d[1].f:=0] + 277141 b.b.dly.mu2[1]._s : 0 [by b.dly_cfg[1]:=1] + 277145 b.b.buf.vc.OR2_tf[4]._y : 1 [by b.in.d.d[4].f:=0] + 277167 b.b.buf.vc.OR2_tf[3]._y : 1 [by b.in.d.d[3].f:=0] + 277199 b.b.buf.vc.OR2_tf[2]._y : 1 [by b.in.d.d[2].f:=0] + 277239 b.b.buf.vc.ct.in[2] : 0 [by b.b.buf.vc.OR2_tf[2]._y:=1] + 277257 b.b.buf.vc.ct.in[4] : 0 [by b.b.buf.vc.OR2_tf[4]._y:=1] + 277269 b.b.dly.mu2[3]._s : 0 [by b.dly_cfg[3]:=1] + 277333 b.b.buf._out_a_B : 1 [by b.out.a:=0] + 277334 b.b.buf.vc.OR2_tf[0]._y : 1 [by b.in.d.d[0].f:=0] + 277420 b.b.buf.out_a_B_buf_f.buf2._y : 0 [by b.b.buf._out_a_B:=1] + 277421 b.b.buf._out_a_BX_t[0] : 1 [by b.b.buf.out_a_B_buf_f.buf2._y:=0] + 277590 b.b.buf.out_a_B_buf_t.buf2._y : 0 [by b.b.buf._out_a_B:=1] + 277628 b.b.buf.vc.ct.in[0] : 0 [by b.b.buf.vc.OR2_tf[0]._y:=1] + 277870 b.b.buf.vc.ct.in[1] : 0 [by b.b.buf.vc.OR2_tf[1]._y:=1] + 278984 b._reset_B : 1 [by Reset:=0] + 279396 b.b.buf._out_a_BX_f[0] : 1 [by b.b.buf.out_a_B_buf_t.buf2._y:=0] + 279877 b.b.buf.vc.ct.C2Els[0]._y : 1 [by b.b.buf.vc.ct.in[1]:=0] + 280193 b.b.buf.reset_buf._y : 0 [by b._reset_B:=1] + 280371 b.b.buf._reset_BX : 1 [by b.b.buf.reset_buf._y:=0] + 280467 b.b.buf.vc.ct.tmp[5] : 0 [by b.b.buf.vc.ct.C2Els[0]._y:=1] + 281174 b.b.buf.reset_bufarray.buf2._y : 0 [by b.b.buf._reset_BX:=1] + 281338 b.b.buf._reset_BXX[0] : 1 [by b.b.buf.reset_bufarray.buf2._y:=0] + 313476 b.b.dly.mu2[2]._s : 0 [by b.dly_cfg[2]:=1] + 324679 b.b.buf.vc.ct.in[3] : 0 [by b.b.buf.vc.OR2_tf[3]._y:=1] + 326874 b.b.buf.vc.ct.C3Els[0]._y : 1 [by b.b.buf.vc.ct.in[3]:=0] + 326896 b.b.buf.vc.ct.tmp[6] : 0 [by b.b.buf.vc.ct.C3Els[0]._y:=1] + 327743 b.b.buf.vc.ct.C2Els[1]._y : 1 [by b.b.buf.vc.ct.tmp[6]:=0] + 328916 b.b.dly.mu2[0]._s : 0 [by b.dly_cfg[0]:=1] + 329049 b.b.dly.mu2[0]._y : 1 [by b.b.dly.mu2[0]._s:=0] + 344711 b.b.dly._a[1] : 0 [by b.b.dly.mu2[0]._y:=1] + 345070 b.b.dly.and2[1]._y : 1 [by b.b.dly._a[1]:=0] + 357871 b.b.buf._in_v : 0 [by b.b.buf.vc.ct.C2Els[1]._y:=1] + 358092 b.b.buf.in_v_buf._y : 1 [by b.b.buf._in_v:=0] + 358099 b.in.v : 0 [by b.b.buf.in_v_buf._y:=1] + 359186 b.b.dly.dly[1].a : 0 [by b.b.dly.and2[1]._y:=1] + 359216 b.b.dly.dly[1]._y : 1 [by b.b.dly.dly[1].a:=0] + 365929 b.b.dly.dly[1].__y : 0 [by b.b.dly.dly[1]._y:=1] + 423390 b.b.dly.dly[1].___y : 1 [by b.b.dly.dly[1].__y:=0] + 423481 b.b.dly.dly[1].y : 0 [by b.b.dly.dly[1].___y:=1] + 425670 b.b.dly.dly[2]._y : 1 [by b.b.dly.dly[1].y:=0] + 425677 b.b.dly.dly[2].__y : 0 [by b.b.dly.dly[2]._y:=1] + 428464 b.b.dly.dly[2].___y : 1 [by b.b.dly.dly[2].__y:=0] + 428570 b.b.dly.dly[2].y : 0 [by b.b.dly.dly[2].___y:=1] + 428648 b.b.dly.mu2[1]._y : 1 [by b.b.dly.dly[2].y:=0] + 428923 b.b.dly._a[2] : 0 [by b.b.dly.mu2[1]._y:=1] + 447919 b.b.dly.and2[2]._y : 1 [by b.b.dly._a[2]:=0] + 448374 b.b.dly.dly[3].a : 0 [by b.b.dly.and2[2]._y:=1] + 448386 b.b.dly.dly[3]._y : 1 [by b.b.dly.dly[3].a:=0] + 448790 b.b.dly.dly[3].__y : 0 [by b.b.dly.dly[3]._y:=1] + 448802 b.b.dly.dly[3].___y : 1 [by b.b.dly.dly[3].__y:=0] + 454718 b.b.dly.dly[3].y : 0 [by b.b.dly.dly[3].___y:=1] + 458994 b.b.dly.dly[4]._y : 1 [by b.b.dly.dly[3].y:=0] + 461893 b.b.dly.dly[4].__y : 0 [by b.b.dly.dly[4]._y:=1] + 466188 b.b.dly.dly[4].___y : 1 [by b.b.dly.dly[4].__y:=0] + 466190 b.b.dly.dly[4].y : 0 [by b.b.dly.dly[4].___y:=1] + 470725 b.b.dly.dly[5]._y : 1 [by b.b.dly.dly[4].y:=0] + 471974 b.b.dly.dly[5].__y : 0 [by b.b.dly.dly[5]._y:=1] + 475473 b.b.dly.dly[5].___y : 1 [by b.b.dly.dly[5].__y:=0] + 475639 b.b.dly.dly[5].y : 0 [by b.b.dly.dly[5].___y:=1] + 475714 b.b.dly.dly[6]._y : 1 [by b.b.dly.dly[5].y:=0] + 476059 b.b.dly.dly[6].__y : 0 [by b.b.dly.dly[6]._y:=1] + 476197 b.b.dly.dly[6].___y : 1 [by b.b.dly.dly[6].__y:=0] + 481460 b.b.dly.dly[6].y : 0 [by b.b.dly.dly[6].___y:=1] + 481462 b.b.dly.mu2[2]._y : 1 [by b.b.dly.dly[6].y:=0] + 525379 b.b.dly._a[3] : 0 [by b.b.dly.mu2[2]._y:=1] + 525380 b.b.dly.and2[3]._y : 1 [by b.b.dly._a[3]:=0] + 525928 b.b.dly.dly[7].a : 0 [by b.b.dly.and2[3]._y:=1] + 525939 b.b.dly.dly[7]._y : 1 [by b.b.dly.dly[7].a:=0] + 526309 b.b.dly.dly[7].__y : 0 [by b.b.dly.dly[7]._y:=1] + 526376 b.b.dly.dly[7].___y : 1 [by b.b.dly.dly[7].__y:=0] + 529017 b.b.dly.dly[7].y : 0 [by b.b.dly.dly[7].___y:=1] + 529033 b.b.dly.dly[8]._y : 1 [by b.b.dly.dly[7].y:=0] + 533595 b.b.dly.dly[8].__y : 0 [by b.b.dly.dly[8]._y:=1] + 534123 b.b.dly.dly[8].___y : 1 [by b.b.dly.dly[8].__y:=0] + 536558 b.b.dly.dly[8].y : 0 [by b.b.dly.dly[8].___y:=1] + 563438 b.b.dly.dly[9]._y : 1 [by b.b.dly.dly[8].y:=0] + 587363 b.b.dly.dly[9].__y : 0 [by b.b.dly.dly[9]._y:=1] + 600404 b.b.dly.dly[9].___y : 1 [by b.b.dly.dly[9].__y:=0] + 600406 b.b.dly.dly[9].y : 0 [by b.b.dly.dly[9].___y:=1] + 661364 b.b.dly.dly[10]._y : 1 [by b.b.dly.dly[9].y:=0] + 661367 b.b.dly.dly[10].__y : 0 [by b.b.dly.dly[10]._y:=1] + 661396 b.b.dly.dly[10].___y : 1 [by b.b.dly.dly[10].__y:=0] + 661713 b.b.dly.dly[10].y : 0 [by b.b.dly.dly[10].___y:=1] + 663314 b.b.dly.dly[11]._y : 1 [by b.b.dly.dly[10].y:=0] + 663467 b.b.dly.dly[11].__y : 0 [by b.b.dly.dly[11]._y:=1] + 663511 b.b.dly.dly[11].___y : 1 [by b.b.dly.dly[11].__y:=0] + 666272 b.b.dly.dly[11].y : 0 [by b.b.dly.dly[11].___y:=1] + 679955 b.b.dly.dly[12]._y : 1 [by b.b.dly.dly[11].y:=0] + 679956 b.b.dly.dly[12].__y : 0 [by b.b.dly.dly[12]._y:=1] + 680173 b.b.dly.dly[12].___y : 1 [by b.b.dly.dly[12].__y:=0] + 680195 b.b.dly.dly[12].y : 0 [by b.b.dly.dly[12].___y:=1] + 680196 b.b.dly.dly[13]._y : 1 [by b.b.dly.dly[12].y:=0] + 681777 b.b.dly.dly[13].__y : 0 [by b.b.dly.dly[13]._y:=1] + 691122 b.b.dly.dly[13].___y : 1 [by b.b.dly.dly[13].__y:=0] + 691281 b.b.dly.dly[13].y : 0 [by b.b.dly.dly[13].___y:=1] + 710957 b.b.dly.dly[14]._y : 1 [by b.b.dly.dly[13].y:=0] + 712244 b.b.dly.dly[14].__y : 0 [by b.b.dly.dly[14]._y:=1] + 714476 b.b.dly.dly[14].___y : 1 [by b.b.dly.dly[14].__y:=0] + 714621 b.b.dly.mu2[3].b : 0 [by b.b.dly.dly[14].___y:=1] + 717453 b.b.dly.mu2[3]._y : 1 [by b.b.dly.mu2[3].b:=0] + 723807 b.out.r : 0 [by b.b.dly.mu2[3]._y:=1] +[] set Reset 1 + 723807 Reset : 1 + 723808 b._reset_B : 0 [by Reset:=1] + 763092 b.b.buf.reset_buf._y : 1 [by b._reset_B:=0] + 763254 b.b.buf._reset_BX : 0 [by b.b.buf.reset_buf._y:=1] + 770623 b.b.buf.reset_bufarray.buf2._y : 1 [by b.b.buf._reset_BX:=0] + 770637 b.b.buf._reset_BXX[0] : 0 [by b.b.buf.reset_bufarray.buf2._y:=1] +[] set Reset 0 + 770637 Reset : 0 + 770644 b._reset_B : 1 [by Reset:=0] + 770804 b.b.buf.reset_buf._y : 0 [by b._reset_B:=1] + 792361 b.b.buf._reset_BX : 1 [by b.b.buf.reset_buf._y:=0] + 792362 b.b.buf.reset_bufarray.buf2._y : 0 [by b.b.buf._reset_BX:=1] + 792363 b.b.buf._reset_BXX[0] : 1 [by b.b.buf.reset_bufarray.buf2._y:=0] + +[] Reset finished, setting data + 792363 b.in.d.d[0].f : 1 + 792363 b.in.d.d[4].t : 1 + 792363 b.in.d.d[2].t : 1 + 792363 b.in.d.d[1].t : 1 + 792363 b.in.d.d[3].f : 1 + 792364 b.b.buf.t_buf_func[4]._y : 0 [by b.in.d.d[4].t:=1] + 792364 b.b.buf.vc.OR2_tf[0]._y : 0 [by b.in.d.d[0].f:=1] + 792364 b.b.buf.vc.OR2_tf[1]._y : 0 [by b.in.d.d[1].t:=1] + 792365 b.out.d[4] : 1 [by b.b.buf.t_buf_func[4]._y:=0] + 792368 b.b.buf.vc.OR2_tf[3]._y : 0 [by b.in.d.d[3].f:=1] + 792371 b.b.buf.vc.ct.in[3] : 1 [by b.b.buf.vc.OR2_tf[3]._y:=0] + 792381 b.b.buf.vc.ct.in[0] : 1 [by b.b.buf.vc.OR2_tf[0]._y:=0] + 792550 b.b.buf.vc.OR2_tf[4]._y : 0 [by b.in.d.d[4].t:=1] + 793216 b.b.buf.t_buf_func[1]._y : 0 [by b.in.d.d[1].t:=1] + 793254 b.b.buf.f_buf_func[3]._y : 0 [by b.in.d.d[3].f:=1] + 793255 b.b.buf.f_buf_func[3].y : 1 [by b.b.buf.f_buf_func[3]._y:=0] + 793297 b.b.out_vtree.OR2_tf[3]._y : 0 [by b.b.buf.f_buf_func[3].y:=1] + 793491 b.b.buf.vc.ct.in[4] : 1 [by b.b.buf.vc.OR2_tf[4]._y:=0] + 794606 b.b.buf.f_buf_func[0]._y : 0 [by b.in.d.d[0].f:=1] + 794937 b.b.buf.vc.ct.in[1] : 1 [by b.b.buf.vc.OR2_tf[1]._y:=0] + 795032 b.b.buf.vc.ct.C2Els[0]._y : 0 [by b.b.buf.vc.ct.in[1]:=1] + 795367 b.b.buf.vc.ct.tmp[5] : 1 [by b.b.buf.vc.ct.C2Els[0]._y:=0] + 796114 b.b.out_vtree.ct.in[3] : 1 [by b.b.out_vtree.OR2_tf[3]._y:=0] + 796545 b.b.buf.vc.OR2_tf[2]._y : 0 [by b.in.d.d[2].t:=1] + 796553 b.b.buf.vc.ct.in[2] : 1 [by b.b.buf.vc.OR2_tf[2]._y:=0] + 796587 b.b.buf.vc.ct.C3Els[0]._y : 0 [by b.b.buf.vc.ct.in[2]:=1] + 800726 b.b.out_vtree.OR2_tf[4]._y : 0 [by b.out.d[4]:=1] + 801644 b.b.out_vtree.ct.in[4] : 1 [by b.b.out_vtree.OR2_tf[4]._y:=0] + 808339 b.b.buf.f_buf_func[0].y : 1 [by b.b.buf.f_buf_func[0]._y:=0] + 808343 b.b.out_vtree.OR2_tf[0]._y : 0 [by b.b.buf.f_buf_func[0].y:=1] + 810474 b.b.buf.vc.ct.tmp[6] : 1 [by b.b.buf.vc.ct.C3Els[0]._y:=0] + 812872 b.b.buf.vc.ct.C2Els[1]._y : 0 [by b.b.buf.vc.ct.tmp[6]:=1] + 816087 b.b.buf._in_v : 1 [by b.b.buf.vc.ct.C2Els[1]._y:=0] + 827145 b.b.buf.t_buf_func[2]._y : 0 [by b.in.d.d[2].t:=1] + 827193 b.out.d[2] : 1 [by b.b.buf.t_buf_func[2]._y:=0] + 827196 b.b.out_vtree.OR2_tf[2]._y : 0 [by b.out.d[2]:=1] + 827374 b.b.out_vtree.ct.in[2] : 1 [by b.b.out_vtree.OR2_tf[2]._y:=0] + 848351 b.b.out_vtree.ct.C3Els[0]._y : 0 [by b.b.out_vtree.ct.in[2]:=1] + 852178 b.out.d[1] : 1 [by b.b.buf.t_buf_func[1]._y:=0] + 854721 b.b.out_vtree.ct.in[0] : 1 [by b.b.out_vtree.OR2_tf[0]._y:=0] + 858129 b.b.out_vtree.OR2_tf[1]._y : 0 [by b.out.d[1]:=1] + 860250 b.b.out_vtree.ct.tmp[6] : 1 [by b.b.out_vtree.ct.C3Els[0]._y:=0] + 863206 b.b.buf.in_v_buf._y : 0 [by b.b.buf._in_v:=1] + 864033 b.in.v : 1 [by b.b.buf.in_v_buf._y:=0] + 897614 b.b.out_vtree.ct.in[1] : 1 [by b.b.out_vtree.OR2_tf[1]._y:=0] + 897787 b.b.out_vtree.ct.C2Els[0]._y : 0 [by b.b.out_vtree.ct.in[1]:=1] + 897971 b.b.out_vtree.ct.tmp[5] : 1 [by b.b.out_vtree.ct.C2Els[0]._y:=0] + 897972 b.b.out_vtree.ct.C2Els[1]._y : 0 [by b.b.out_vtree.ct.tmp[5]:=1] + 898045 b.b.dly.in : 1 [by b.b.out_vtree.ct.C2Els[1]._y:=0] + 898049 b.b.dly.and2[0]._y : 0 [by b.b.dly.in:=1] + 898145 b.b.dly.dly[0].a : 1 [by b.b.dly.and2[0]._y:=0] + 898281 b.b.dly.dly[0]._y : 0 [by b.b.dly.dly[0].a:=1] + 898282 b.b.dly.dly[0].__y : 1 [by b.b.dly.dly[0]._y:=0] + 917328 b.b.dly.dly[0].___y : 0 [by b.b.dly.dly[0].__y:=1] + 917569 b.b.dly.dly[0].y : 1 [by b.b.dly.dly[0].___y:=0] + 921528 b.b.dly.mu2[0]._y : 0 [by b.b.dly.dly[0].y:=1] + 921540 b.b.dly._a[1] : 1 [by b.b.dly.mu2[0]._y:=0] + 925440 b.b.dly.and2[1]._y : 0 [by b.b.dly._a[1]:=1] + 926469 b.b.dly.dly[1].a : 1 [by b.b.dly.and2[1]._y:=0] + 926470 b.b.dly.dly[1]._y : 0 [by b.b.dly.dly[1].a:=1] + 926526 b.b.dly.dly[1].__y : 1 [by b.b.dly.dly[1]._y:=0] + 935333 b.b.buf.inack_ctl._y : 0 [by b.b.dly.in:=1] + 935334 b.in.a : 1 [by b.b.buf.inack_ctl._y:=0] + 935371 b.b.buf._en : 0 [by b.in.a:=1] + 935372 b.b.buf.en_buf_t.buf2._y : 1 [by b.b.buf._en:=0] + 938936 b.b.buf._en_X_t[0] : 0 [by b.b.buf.en_buf_t.buf2._y:=1] + 958746 b.b.buf.en_buf_f.buf2._y : 1 [by b.b.buf._en:=0] + 960438 b.b.buf._en_X_f[0] : 0 [by b.b.buf.en_buf_f.buf2._y:=1] + 971532 b.b.dly.dly[1].___y : 0 [by b.b.dly.dly[1].__y:=1] + 971545 b.b.dly.dly[1].y : 1 [by b.b.dly.dly[1].___y:=0] + 988529 b.b.dly.dly[2]._y : 0 [by b.b.dly.dly[1].y:=1] + 988886 b.b.dly.dly[2].__y : 1 [by b.b.dly.dly[2]._y:=0] + 988911 b.b.dly.dly[2].___y : 0 [by b.b.dly.dly[2].__y:=1] + 988932 b.b.dly.dly[2].y : 1 [by b.b.dly.dly[2].___y:=0] + 988933 b.b.dly.mu2[1]._y : 0 [by b.b.dly.dly[2].y:=1] + 998581 b.b.dly._a[2] : 1 [by b.b.dly.mu2[1]._y:=0] + 998582 b.b.dly.and2[2]._y : 0 [by b.b.dly._a[2]:=1] + 998583 b.b.dly.dly[3].a : 1 [by b.b.dly.and2[2]._y:=0] + 998744 b.b.dly.dly[3]._y : 0 [by b.b.dly.dly[3].a:=1] + 999781 b.b.dly.dly[3].__y : 1 [by b.b.dly.dly[3]._y:=0] + 999786 b.b.dly.dly[3].___y : 0 [by b.b.dly.dly[3].__y:=1] + 1000367 b.b.dly.dly[3].y : 1 [by b.b.dly.dly[3].___y:=0] + 1000775 b.b.dly.dly[4]._y : 0 [by b.b.dly.dly[3].y:=1] + 1000786 b.b.dly.dly[4].__y : 1 [by b.b.dly.dly[4]._y:=0] + 1001833 b.b.dly.dly[4].___y : 0 [by b.b.dly.dly[4].__y:=1] + 1001847 b.b.dly.dly[4].y : 1 [by b.b.dly.dly[4].___y:=0] + 1001865 b.b.dly.dly[5]._y : 0 [by b.b.dly.dly[4].y:=1] + 1001869 b.b.dly.dly[5].__y : 1 [by b.b.dly.dly[5]._y:=0] + 1001973 b.b.dly.dly[5].___y : 0 [by b.b.dly.dly[5].__y:=1] + 1033417 b.b.dly.dly[5].y : 1 [by b.b.dly.dly[5].___y:=0] + 1034621 b.b.dly.dly[6]._y : 0 [by b.b.dly.dly[5].y:=1] + 1043076 b.b.dly.dly[6].__y : 1 [by b.b.dly.dly[6]._y:=0] + 1043304 b.b.dly.dly[6].___y : 0 [by b.b.dly.dly[6].__y:=1] + 1044147 b.b.dly.dly[6].y : 1 [by b.b.dly.dly[6].___y:=0] + 1045606 b.b.dly.mu2[2]._y : 0 [by b.b.dly.dly[6].y:=1] + 1045676 b.b.dly._a[3] : 1 [by b.b.dly.mu2[2]._y:=0] + 1096098 b.b.dly.and2[3]._y : 0 [by b.b.dly._a[3]:=1] + 1096109 b.b.dly.dly[7].a : 1 [by b.b.dly.and2[3]._y:=0] + 1096112 b.b.dly.dly[7]._y : 0 [by b.b.dly.dly[7].a:=1] + 1096166 b.b.dly.dly[7].__y : 1 [by b.b.dly.dly[7]._y:=0] + 1097314 b.b.dly.dly[7].___y : 0 [by b.b.dly.dly[7].__y:=1] + 1098475 b.b.dly.dly[7].y : 1 [by b.b.dly.dly[7].___y:=0] + 1107127 b.b.dly.dly[8]._y : 0 [by b.b.dly.dly[7].y:=1] + 1107208 b.b.dly.dly[8].__y : 1 [by b.b.dly.dly[8]._y:=0] + 1118285 b.b.dly.dly[8].___y : 0 [by b.b.dly.dly[8].__y:=1] + 1136268 b.b.dly.dly[8].y : 1 [by b.b.dly.dly[8].___y:=0] + 1136360 b.b.dly.dly[9]._y : 0 [by b.b.dly.dly[8].y:=1] + 1144671 b.b.dly.dly[9].__y : 1 [by b.b.dly.dly[9]._y:=0] + 1146415 b.b.dly.dly[9].___y : 0 [by b.b.dly.dly[9].__y:=1] + 1147028 b.b.dly.dly[9].y : 1 [by b.b.dly.dly[9].___y:=0] + 1161050 b.b.dly.dly[10]._y : 0 [by b.b.dly.dly[9].y:=1] + 1161095 b.b.dly.dly[10].__y : 1 [by b.b.dly.dly[10]._y:=0] + 1162092 b.b.dly.dly[10].___y : 0 [by b.b.dly.dly[10].__y:=1] + 1163741 b.b.dly.dly[10].y : 1 [by b.b.dly.dly[10].___y:=0] + 1164266 b.b.dly.dly[11]._y : 0 [by b.b.dly.dly[10].y:=1] + 1165166 b.b.dly.dly[11].__y : 1 [by b.b.dly.dly[11]._y:=0] + 1165218 b.b.dly.dly[11].___y : 0 [by b.b.dly.dly[11].__y:=1] + 1165225 b.b.dly.dly[11].y : 1 [by b.b.dly.dly[11].___y:=0] + 1180837 b.b.dly.dly[12]._y : 0 [by b.b.dly.dly[11].y:=1] + 1187304 b.b.dly.dly[12].__y : 1 [by b.b.dly.dly[12]._y:=0] + 1187306 b.b.dly.dly[12].___y : 0 [by b.b.dly.dly[12].__y:=1] + 1187660 b.b.dly.dly[12].y : 1 [by b.b.dly.dly[12].___y:=0] + 1187793 b.b.dly.dly[13]._y : 0 [by b.b.dly.dly[12].y:=1] + 1187794 b.b.dly.dly[13].__y : 1 [by b.b.dly.dly[13]._y:=0] + 1187798 b.b.dly.dly[13].___y : 0 [by b.b.dly.dly[13].__y:=1] + 1188344 b.b.dly.dly[13].y : 1 [by b.b.dly.dly[13].___y:=0] + 1233907 b.b.dly.dly[14]._y : 0 [by b.b.dly.dly[13].y:=1] + 1233908 b.b.dly.dly[14].__y : 1 [by b.b.dly.dly[14]._y:=0] + 1246286 b.b.dly.dly[14].___y : 0 [by b.b.dly.dly[14].__y:=1] + 1246365 b.b.dly.mu2[3].b : 1 [by b.b.dly.dly[14].___y:=0] + 1248798 b.b.dly.mu2[3]._y : 0 [by b.b.dly.mu2[3].b:=1] + 1248886 b.out.r : 1 [by b.b.dly.mu2[3]._y:=0] +[] Removing input data + 1248886 b.in.d.d[0].f : 0 + 1248886 b.in.d.d[4].t : 0 + 1248886 b.in.d.d[2].t : 0 + 1248886 b.in.d.d[1].t : 0 + 1248886 b.in.d.d[3].f : 0 + 1248916 b.b.buf.vc.OR2_tf[1]._y : 1 [by b.in.d.d[1].t:=0] + 1248945 b.b.buf.vc.OR2_tf[2]._y : 1 [by b.in.d.d[2].t:=0] + 1250353 b.b.buf.vc.OR2_tf[3]._y : 1 [by b.in.d.d[3].f:=0] + 1251038 b.b.buf.vc.ct.in[3] : 0 [by b.b.buf.vc.OR2_tf[3]._y:=1] + 1256668 b.b.buf.vc.OR2_tf[0]._y : 1 [by b.in.d.d[0].f:=0] + 1268329 b.b.buf.vc.ct.in[2] : 0 [by b.b.buf.vc.OR2_tf[2]._y:=1] + 1273383 b.b.buf.vc.ct.in[0] : 0 [by b.b.buf.vc.OR2_tf[0]._y:=1] + 1277213 b.b.buf.vc.OR2_tf[4]._y : 1 [by b.in.d.d[4].t:=0] + 1277340 b.b.buf.vc.ct.in[4] : 0 [by b.b.buf.vc.OR2_tf[4]._y:=1] + 1277509 b.b.buf.vc.ct.C3Els[0]._y : 1 [by b.b.buf.vc.ct.in[4]:=0] + 1277552 b.b.buf.vc.ct.tmp[6] : 0 [by b.b.buf.vc.ct.C3Els[0]._y:=1] + 1308420 b.b.buf.vc.ct.in[1] : 0 [by b.b.buf.vc.OR2_tf[1]._y:=1] + 1308432 b.b.buf.vc.ct.C2Els[0]._y : 1 [by b.b.buf.vc.ct.in[1]:=0] + 1309711 b.b.buf.vc.ct.tmp[5] : 0 [by b.b.buf.vc.ct.C2Els[0]._y:=1] + 1309944 b.b.buf.vc.ct.C2Els[1]._y : 1 [by b.b.buf.vc.ct.tmp[5]:=0] + 1309947 b.b.buf._in_v : 0 [by b.b.buf.vc.ct.C2Els[1]._y:=1] + 1309985 b.b.buf.in_v_buf._y : 1 [by b.b.buf._in_v:=0] + 1309986 b.in.v : 0 [by b.b.buf.in_v_buf._y:=1] +[] Receiving out ack + 1309986 b.out.a : 1 + 1322738 b.b.buf._out_a_B : 0 [by b.out.a:=1] + 1322830 b.b.buf.out_a_B_buf_t.buf2._y : 1 [by b.b.buf._out_a_B:=0] + 1322832 b.b.buf._out_a_BX_f[0] : 0 [by b.b.buf.out_a_B_buf_t.buf2._y:=1] + 1322833 b.b.buf.f_buf_func[0]._y : 1 [by b.b.buf._out_a_BX_f[0]:=0] + 1322835 b.b.buf.f_buf_func[0].y : 0 [by b.b.buf.f_buf_func[0]._y:=1] + 1322853 b.b.out_vtree.OR2_tf[0]._y : 1 [by b.b.buf.f_buf_func[0].y:=0] + 1322972 b.b.out_vtree.ct.in[0] : 0 [by b.b.out_vtree.OR2_tf[0]._y:=1] + 1324333 b.b.buf.f_buf_func[3]._y : 1 [by b.b.buf._out_a_BX_f[0]:=0] + 1325465 b.b.buf.out_a_B_buf_f.buf2._y : 1 [by b.b.buf._out_a_B:=0] + 1325473 b.b.buf._out_a_BX_t[0] : 0 [by b.b.buf.out_a_B_buf_f.buf2._y:=1] + 1325478 b.b.buf.t_buf_func[4]._y : 1 [by b.b.buf._out_a_BX_t[0]:=0] + 1325527 b.b.buf.t_buf_func[1]._y : 1 [by b.b.buf._out_a_BX_t[0]:=0] + 1325528 b.out.d[1] : 0 [by b.b.buf.t_buf_func[1]._y:=1] + 1325666 b.b.out_vtree.OR2_tf[1]._y : 1 [by b.out.d[1]:=0] + 1325667 b.b.out_vtree.ct.in[1] : 0 [by b.b.out_vtree.OR2_tf[1]._y:=1] + 1325731 b.b.out_vtree.ct.C2Els[0]._y : 1 [by b.b.out_vtree.ct.in[1]:=0] + 1325854 b.b.out_vtree.ct.tmp[5] : 0 [by b.b.out_vtree.ct.C2Els[0]._y:=1] + 1326545 b.out.d[4] : 0 [by b.b.buf.t_buf_func[4]._y:=1] + 1326547 b.b.out_vtree.OR2_tf[4]._y : 1 [by b.out.d[4]:=0] + 1326584 b.b.out_vtree.ct.in[4] : 0 [by b.b.out_vtree.OR2_tf[4]._y:=1] + 1330053 b.b.buf.f_buf_func[3].y : 0 [by b.b.buf.f_buf_func[3]._y:=1] + 1330196 b.b.out_vtree.OR2_tf[3]._y : 1 [by b.b.buf.f_buf_func[3].y:=0] + 1330247 b.b.out_vtree.ct.in[3] : 0 [by b.b.out_vtree.OR2_tf[3]._y:=1] + 1376011 b.b.buf.t_buf_func[2]._y : 1 [by b.b.buf._out_a_BX_t[0]:=0] + 1376453 b.out.d[2] : 0 [by b.b.buf.t_buf_func[2]._y:=1] + 1376464 b.b.out_vtree.OR2_tf[2]._y : 1 [by b.out.d[2]:=0] + 1376465 b.b.out_vtree.ct.in[2] : 0 [by b.b.out_vtree.OR2_tf[2]._y:=1] + 1376474 b.b.out_vtree.ct.C3Els[0]._y : 1 [by b.b.out_vtree.ct.in[2]:=0] + 1376499 b.b.out_vtree.ct.tmp[6] : 0 [by b.b.out_vtree.ct.C3Els[0]._y:=1] + 1386752 b.b.out_vtree.ct.C2Els[1]._y : 1 [by b.b.out_vtree.ct.tmp[6]:=0] + 1390273 b.b.dly.in : 0 [by b.b.out_vtree.ct.C2Els[1]._y:=1] + 1390418 b.b.dly.and2[0]._y : 1 [by b.b.dly.in:=0] + 1390648 b.b.dly.dly[0].a : 0 [by b.b.dly.and2[0]._y:=1] + 1391339 b.b.dly.dly[0]._y : 1 [by b.b.dly.dly[0].a:=0] + 1391353 b.b.dly.dly[0].__y : 0 [by b.b.dly.dly[0]._y:=1] + 1392896 b.b.dly.dly[0].___y : 1 [by b.b.dly.dly[0].__y:=0] + 1394507 b.b.dly.dly[0].y : 0 [by b.b.dly.dly[0].___y:=1] + 1406441 b.b.buf.inack_ctl._y : 1 [by b.b.dly.in:=0] + 1406452 b.in.a : 0 [by b.b.buf.inack_ctl._y:=1] + 1406453 b.b.buf._en : 1 [by b.in.a:=0] + 1406454 b.b.buf.en_buf_f.buf2._y : 0 [by b.b.buf._en:=1] + 1407093 b.b.buf._en_X_f[0] : 1 [by b.b.buf.en_buf_f.buf2._y:=0] + 1412019 b.b.dly.mu2[0]._y : 1 [by b.b.dly.dly[0].y:=0] + 1412954 b.b.buf.en_buf_t.buf2._y : 0 [by b.b.buf._en:=1] + 1413086 b.b.buf._en_X_t[0] : 1 [by b.b.buf.en_buf_t.buf2._y:=0] + 1413812 b.b.dly._a[1] : 0 [by b.b.dly.mu2[0]._y:=1] + 1413813 b.b.dly.and2[1]._y : 1 [by b.b.dly._a[1]:=0] + 1413830 b.b.dly.dly[1].a : 0 [by b.b.dly.and2[1]._y:=1] + 1413982 b.b.dly.dly[1]._y : 1 [by b.b.dly.dly[1].a:=0] + 1416965 b.b.dly.dly[1].__y : 0 [by b.b.dly.dly[1]._y:=1] + 1416968 b.b.dly.dly[1].___y : 1 [by b.b.dly.dly[1].__y:=0] + 1417392 b.b.dly.dly[1].y : 0 [by b.b.dly.dly[1].___y:=1] + 1417398 b.b.dly.dly[2]._y : 1 [by b.b.dly.dly[1].y:=0] + 1419986 b.b.dly.dly[2].__y : 0 [by b.b.dly.dly[2]._y:=1] + 1422447 b.b.dly.dly[2].___y : 1 [by b.b.dly.dly[2].__y:=0] + 1423277 b.b.dly.dly[2].y : 0 [by b.b.dly.dly[2].___y:=1] + 1446209 b.b.dly.mu2[1]._y : 1 [by b.b.dly.dly[2].y:=0] + 1446211 b.b.dly._a[2] : 0 [by b.b.dly.mu2[1]._y:=1] + 1446405 b.b.dly.and2[2]._y : 1 [by b.b.dly._a[2]:=0] + 1447008 b.b.dly.dly[3].a : 0 [by b.b.dly.and2[2]._y:=1] + 1447146 b.b.dly.dly[3]._y : 1 [by b.b.dly.dly[3].a:=0] + 1447163 b.b.dly.dly[3].__y : 0 [by b.b.dly.dly[3]._y:=1] + 1447180 b.b.dly.dly[3].___y : 1 [by b.b.dly.dly[3].__y:=0] + 1447606 b.b.dly.dly[3].y : 0 [by b.b.dly.dly[3].___y:=1] + 1447607 b.b.dly.dly[4]._y : 1 [by b.b.dly.dly[3].y:=0] + 1447608 b.b.dly.dly[4].__y : 0 [by b.b.dly.dly[4]._y:=1] + 1448634 b.b.dly.dly[4].___y : 1 [by b.b.dly.dly[4].__y:=0] + 1448635 b.b.dly.dly[4].y : 0 [by b.b.dly.dly[4].___y:=1] + 1448654 b.b.dly.dly[5]._y : 1 [by b.b.dly.dly[4].y:=0] + 1448822 b.b.dly.dly[5].__y : 0 [by b.b.dly.dly[5]._y:=1] + 1449361 b.b.dly.dly[5].___y : 1 [by b.b.dly.dly[5].__y:=0] + 1449522 b.b.dly.dly[5].y : 0 [by b.b.dly.dly[5].___y:=1] + 1449695 b.b.dly.dly[6]._y : 1 [by b.b.dly.dly[5].y:=0] + 1452242 b.b.dly.dly[6].__y : 0 [by b.b.dly.dly[6]._y:=1] + 1467303 b.b.dly.dly[6].___y : 1 [by b.b.dly.dly[6].__y:=0] + 1467304 b.b.dly.dly[6].y : 0 [by b.b.dly.dly[6].___y:=1] + 1467305 b.b.dly.mu2[2]._y : 1 [by b.b.dly.dly[6].y:=0] + 1467695 b.b.dly._a[3] : 0 [by b.b.dly.mu2[2]._y:=1] + 1467902 b.b.dly.and2[3]._y : 1 [by b.b.dly._a[3]:=0] + 1468735 b.b.dly.dly[7].a : 0 [by b.b.dly.and2[3]._y:=1] + 1468763 b.b.dly.dly[7]._y : 1 [by b.b.dly.dly[7].a:=0] + 1468770 b.b.dly.dly[7].__y : 0 [by b.b.dly.dly[7]._y:=1] + 1469184 b.b.dly.dly[7].___y : 1 [by b.b.dly.dly[7].__y:=0] + 1469188 b.b.dly.dly[7].y : 0 [by b.b.dly.dly[7].___y:=1] + 1470967 b.b.dly.dly[8]._y : 1 [by b.b.dly.dly[7].y:=0] + 1493841 b.b.dly.dly[8].__y : 0 [by b.b.dly.dly[8]._y:=1] + 1494007 b.b.dly.dly[8].___y : 1 [by b.b.dly.dly[8].__y:=0] + 1533877 b.b.dly.dly[8].y : 0 [by b.b.dly.dly[8].___y:=1] + 1542522 b.b.dly.dly[9]._y : 1 [by b.b.dly.dly[8].y:=0] + 1543455 b.b.dly.dly[9].__y : 0 [by b.b.dly.dly[9]._y:=1] + 1544311 b.b.dly.dly[9].___y : 1 [by b.b.dly.dly[9].__y:=0] + 1544450 b.b.dly.dly[9].y : 0 [by b.b.dly.dly[9].___y:=1] + 1570659 b.b.dly.dly[10]._y : 1 [by b.b.dly.dly[9].y:=0] + 1570854 b.b.dly.dly[10].__y : 0 [by b.b.dly.dly[10]._y:=1] + 1570856 b.b.dly.dly[10].___y : 1 [by b.b.dly.dly[10].__y:=0] + 1624305 b.b.dly.dly[10].y : 0 [by b.b.dly.dly[10].___y:=1] + 1624311 b.b.dly.dly[11]._y : 1 [by b.b.dly.dly[10].y:=0] + 1624565 b.b.dly.dly[11].__y : 0 [by b.b.dly.dly[11]._y:=1] + 1624573 b.b.dly.dly[11].___y : 1 [by b.b.dly.dly[11].__y:=0] + 1624574 b.b.dly.dly[11].y : 0 [by b.b.dly.dly[11].___y:=1] + 1624580 b.b.dly.dly[12]._y : 1 [by b.b.dly.dly[11].y:=0] + 1675616 b.b.dly.dly[12].__y : 0 [by b.b.dly.dly[12]._y:=1] + 1678706 b.b.dly.dly[12].___y : 1 [by b.b.dly.dly[12].__y:=0] + 1678932 b.b.dly.dly[12].y : 0 [by b.b.dly.dly[12].___y:=1] + 1679751 b.b.dly.dly[13]._y : 1 [by b.b.dly.dly[12].y:=0] + 1679752 b.b.dly.dly[13].__y : 0 [by b.b.dly.dly[13]._y:=1] + 1679758 b.b.dly.dly[13].___y : 1 [by b.b.dly.dly[13].__y:=0] + 1679760 b.b.dly.dly[13].y : 0 [by b.b.dly.dly[13].___y:=1] + 1683322 b.b.dly.dly[14]._y : 1 [by b.b.dly.dly[13].y:=0] + 1683337 b.b.dly.dly[14].__y : 0 [by b.b.dly.dly[14]._y:=1] + 1704138 b.b.dly.dly[14].___y : 1 [by b.b.dly.dly[14].__y:=0] + 1704245 b.b.dly.mu2[3].b : 0 [by b.b.dly.dly[14].___y:=1] + 1704338 b.b.dly.mu2[3]._y : 1 [by b.b.dly.mu2[3].b:=0] + 1705990 b.out.r : 0 [by b.b.dly.mu2[3]._y:=1] +[] Out ack removed + 1705990 b.out.a : 0 + 1709929 b.b.buf._out_a_B : 1 [by b.out.a:=0] + 1710687 b.b.buf.out_a_B_buf_t.buf2._y : 0 [by b.b.buf._out_a_B:=1] + 1711403 b.b.buf._out_a_BX_f[0] : 1 [by b.b.buf.out_a_B_buf_t.buf2._y:=0] + 1712552 b.b.buf.out_a_B_buf_f.buf2._y : 0 [by b.b.buf._out_a_B:=1] + 1712553 b.b.buf._out_a_BX_t[0] : 1 [by b.b.buf.out_a_B_buf_f.buf2._y:=0] +[] Again! Setting data + 1712553 b.in.d.d[0].t : 1 + 1712553 b.in.d.d[4].t : 1 + 1712553 b.in.d.d[2].t : 1 + 1712553 b.in.d.d[1].t : 1 + 1712553 b.in.d.d[3].t : 1 + 1712554 b.b.buf.t_buf_func[0]._y : 0 [by b.in.d.d[0].t:=1] + 1712554 b.b.buf.vc.OR2_tf[2]._y : 0 [by b.in.d.d[2].t:=1] + 1712554 b.b.buf.vc.OR2_tf[1]._y : 0 [by b.in.d.d[1].t:=1] + 1712559 b.b.buf.t_buf_func[2]._y : 0 [by b.in.d.d[2].t:=1] + 1712561 b.b.buf.vc.ct.in[2] : 1 [by b.b.buf.vc.OR2_tf[2]._y:=0] + 1712572 b.out.d[2] : 1 [by b.b.buf.t_buf_func[2]._y:=0] + 1712575 b.b.buf.t_buf_func[3]._y : 0 [by b.in.d.d[3].t:=1] + 1712619 b.b.buf.vc.ct.in[1] : 1 [by b.b.buf.vc.OR2_tf[1]._y:=0] + 1712679 b.out.d[3] : 1 [by b.b.buf.t_buf_func[3]._y:=0] + 1712720 b.b.out_vtree.OR2_tf[3]._y : 0 [by b.out.d[3]:=1] + 1712721 b.b.out_vtree.ct.in[3] : 1 [by b.b.out_vtree.OR2_tf[3]._y:=0] + 1713696 b.b.out_vtree.OR2_tf[2]._y : 0 [by b.out.d[2]:=1] + 1713697 b.b.out_vtree.ct.in[2] : 1 [by b.b.out_vtree.OR2_tf[2]._y:=0] + 1714293 b.b.buf.vc.OR2_tf[0]._y : 0 [by b.in.d.d[0].t:=1] + 1724705 b.b.buf.vc.OR2_tf[4]._y : 0 [by b.in.d.d[4].t:=1] + 1734152 b.b.buf.vc.OR2_tf[3]._y : 0 [by b.in.d.d[3].t:=1] + 1734153 b.b.buf.vc.ct.in[3] : 1 [by b.b.buf.vc.OR2_tf[3]._y:=0] + 1735062 b.out.d[0] : 1 [by b.b.buf.t_buf_func[0]._y:=0] + 1737877 b.b.buf.vc.ct.in[4] : 1 [by b.b.buf.vc.OR2_tf[4]._y:=0] + 1740752 b.b.buf.t_buf_func[4]._y : 0 [by b.in.d.d[4].t:=1] + 1741013 b.b.buf.vc.ct.C3Els[0]._y : 0 [by b.b.buf.vc.ct.in[4]:=1] + 1741578 b.out.d[4] : 1 [by b.b.buf.t_buf_func[4]._y:=0] + 1742846 b.b.buf.vc.ct.tmp[6] : 1 [by b.b.buf.vc.ct.C3Els[0]._y:=0] + 1752042 b.b.buf.t_buf_func[1]._y : 0 [by b.in.d.d[1].t:=1] + 1752100 b.out.d[1] : 1 [by b.b.buf.t_buf_func[1]._y:=0] + 1754543 b.b.out_vtree.OR2_tf[1]._y : 0 [by b.out.d[1]:=1] + 1754887 b.b.out_vtree.OR2_tf[0]._y : 0 [by b.out.d[0]:=1] + 1758126 b.b.out_vtree.OR2_tf[4]._y : 0 [by b.out.d[4]:=1] + 1758140 b.b.out_vtree.ct.in[4] : 1 [by b.b.out_vtree.OR2_tf[4]._y:=0] + 1758496 b.b.out_vtree.ct.C3Els[0]._y : 0 [by b.b.out_vtree.ct.in[4]:=1] + 1771316 b.b.out_vtree.ct.in[1] : 1 [by b.b.out_vtree.OR2_tf[1]._y:=0] + 1778671 b.b.buf.vc.ct.in[0] : 1 [by b.b.buf.vc.OR2_tf[0]._y:=0] + 1778776 b.b.buf.vc.ct.C2Els[0]._y : 0 [by b.b.buf.vc.ct.in[0]:=1] + 1778885 b.b.buf.vc.ct.tmp[5] : 1 [by b.b.buf.vc.ct.C2Els[0]._y:=0] + 1778886 b.b.buf.vc.ct.C2Els[1]._y : 0 [by b.b.buf.vc.ct.tmp[5]:=1] + 1778895 b.b.buf._in_v : 1 [by b.b.buf.vc.ct.C2Els[1]._y:=0] + 1792086 b.b.out_vtree.ct.in[0] : 1 [by b.b.out_vtree.OR2_tf[0]._y:=0] + 1792087 b.b.out_vtree.ct.C2Els[0]._y : 0 [by b.b.out_vtree.ct.in[0]:=1] + 1794334 b.b.out_vtree.ct.tmp[6] : 1 [by b.b.out_vtree.ct.C3Els[0]._y:=0] + 1816848 b.b.buf.in_v_buf._y : 0 [by b.b.buf._in_v:=1] + 1816849 b.in.v : 1 [by b.b.buf.in_v_buf._y:=0] + 1828481 b.b.out_vtree.ct.tmp[5] : 1 [by b.b.out_vtree.ct.C2Els[0]._y:=0] + 1831570 b.b.out_vtree.ct.C2Els[1]._y : 0 [by b.b.out_vtree.ct.tmp[5]:=1] + 1880296 b.b.dly.in : 1 [by b.b.out_vtree.ct.C2Els[1]._y:=0] + 1881046 b.b.dly.and2[0]._y : 0 [by b.b.dly.in:=1] + 1881097 b.b.dly.dly[0].a : 1 [by b.b.dly.and2[0]._y:=0] + 1881107 b.b.dly.dly[0]._y : 0 [by b.b.dly.dly[0].a:=1] + 1881427 b.b.dly.dly[0].__y : 1 [by b.b.dly.dly[0]._y:=0] + 1887051 b.b.buf.inack_ctl._y : 0 [by b.b.dly.in:=1] + 1887052 b.in.a : 1 [by b.b.buf.inack_ctl._y:=0] + 1887053 b.b.buf._en : 0 [by b.in.a:=1] + 1888740 b.b.buf.en_buf_t.buf2._y : 1 [by b.b.buf._en:=0] + 1888755 b.b.buf._en_X_t[0] : 0 [by b.b.buf.en_buf_t.buf2._y:=1] + 1888783 b.b.buf.en_buf_f.buf2._y : 1 [by b.b.buf._en:=0] + 1889009 b.b.dly.dly[0].___y : 0 [by b.b.dly.dly[0].__y:=1] + 1889463 b.b.dly.dly[0].y : 1 [by b.b.dly.dly[0].___y:=0] + 1889779 b.b.dly.mu2[0]._y : 0 [by b.b.dly.dly[0].y:=1] + 1889780 b.b.dly._a[1] : 1 [by b.b.dly.mu2[0]._y:=0] + 1890163 b.b.dly.and2[1]._y : 0 [by b.b.dly._a[1]:=1] + 1897626 b.b.dly.dly[1].a : 1 [by b.b.dly.and2[1]._y:=0] + 1897646 b.b.dly.dly[1]._y : 0 [by b.b.dly.dly[1].a:=1] + 1898969 b.b.dly.dly[1].__y : 1 [by b.b.dly.dly[1]._y:=0] + 1899056 b.b.dly.dly[1].___y : 0 [by b.b.dly.dly[1].__y:=1] + 1905778 b.b.dly.dly[1].y : 1 [by b.b.dly.dly[1].___y:=0] + 1905790 b.b.dly.dly[2]._y : 0 [by b.b.dly.dly[1].y:=1] + 1905935 b.b.dly.dly[2].__y : 1 [by b.b.dly.dly[2]._y:=0] + 1906836 b.b.dly.dly[2].___y : 0 [by b.b.dly.dly[2].__y:=1] + 1908185 b.b.dly.dly[2].y : 1 [by b.b.dly.dly[2].___y:=0] + 1908404 b.b.dly.mu2[1]._y : 0 [by b.b.dly.dly[2].y:=1] + 1913057 b.b.buf._en_X_f[0] : 0 [by b.b.buf.en_buf_f.buf2._y:=1] + 1916735 b.b.dly._a[2] : 1 [by b.b.dly.mu2[1]._y:=0] + 1948316 b.b.dly.and2[2]._y : 0 [by b.b.dly._a[2]:=1] + 1948334 b.b.dly.dly[3].a : 1 [by b.b.dly.and2[2]._y:=0] + 1950528 b.b.dly.dly[3]._y : 0 [by b.b.dly.dly[3].a:=1] + 1988500 b.b.dly.dly[3].__y : 1 [by b.b.dly.dly[3]._y:=0] + 1988620 b.b.dly.dly[3].___y : 0 [by b.b.dly.dly[3].__y:=1] + 1994935 b.b.dly.dly[3].y : 1 [by b.b.dly.dly[3].___y:=0] + 1996999 b.b.dly.dly[4]._y : 0 [by b.b.dly.dly[3].y:=1] + 1997591 b.b.dly.dly[4].__y : 1 [by b.b.dly.dly[4]._y:=0] + 1997598 b.b.dly.dly[4].___y : 0 [by b.b.dly.dly[4].__y:=1] + 1997599 b.b.dly.dly[4].y : 1 [by b.b.dly.dly[4].___y:=0] + 1997723 b.b.dly.dly[5]._y : 0 [by b.b.dly.dly[4].y:=1] + 2003653 b.b.dly.dly[5].__y : 1 [by b.b.dly.dly[5]._y:=0] + 2004705 b.b.dly.dly[5].___y : 0 [by b.b.dly.dly[5].__y:=1] + 2005065 b.b.dly.dly[5].y : 1 [by b.b.dly.dly[5].___y:=0] + 2015259 b.b.dly.dly[6]._y : 0 [by b.b.dly.dly[5].y:=1] + 2016356 b.b.dly.dly[6].__y : 1 [by b.b.dly.dly[6]._y:=0] + 2036248 b.b.dly.dly[6].___y : 0 [by b.b.dly.dly[6].__y:=1] + 2036252 b.b.dly.dly[6].y : 1 [by b.b.dly.dly[6].___y:=0] + 2047916 b.b.dly.mu2[2]._y : 0 [by b.b.dly.dly[6].y:=1] + 2085835 b.b.dly._a[3] : 1 [by b.b.dly.mu2[2]._y:=0] + 2103496 b.b.dly.and2[3]._y : 0 [by b.b.dly._a[3]:=1] + 2106877 b.b.dly.dly[7].a : 1 [by b.b.dly.and2[3]._y:=0] + 2107133 b.b.dly.dly[7]._y : 0 [by b.b.dly.dly[7].a:=1] + 2122063 b.b.dly.dly[7].__y : 1 [by b.b.dly.dly[7]._y:=0] + 2122100 b.b.dly.dly[7].___y : 0 [by b.b.dly.dly[7].__y:=1] + 2122112 b.b.dly.dly[7].y : 1 [by b.b.dly.dly[7].___y:=0] + 2122121 b.b.dly.dly[8]._y : 0 [by b.b.dly.dly[7].y:=1] + 2122548 b.b.dly.dly[8].__y : 1 [by b.b.dly.dly[8]._y:=0] + 2122790 b.b.dly.dly[8].___y : 0 [by b.b.dly.dly[8].__y:=1] + 2123625 b.b.dly.dly[8].y : 1 [by b.b.dly.dly[8].___y:=0] + 2170361 b.b.dly.dly[9]._y : 0 [by b.b.dly.dly[8].y:=1] + 2171921 b.b.dly.dly[9].__y : 1 [by b.b.dly.dly[9]._y:=0] + 2209014 b.b.dly.dly[9].___y : 0 [by b.b.dly.dly[9].__y:=1] + 2209274 b.b.dly.dly[9].y : 1 [by b.b.dly.dly[9].___y:=0] + 2218262 b.b.dly.dly[10]._y : 0 [by b.b.dly.dly[9].y:=1] + 2218263 b.b.dly.dly[10].__y : 1 [by b.b.dly.dly[10]._y:=0] + 2254313 b.b.dly.dly[10].___y : 0 [by b.b.dly.dly[10].__y:=1] + 2254697 b.b.dly.dly[10].y : 1 [by b.b.dly.dly[10].___y:=0] + 2254716 b.b.dly.dly[11]._y : 0 [by b.b.dly.dly[10].y:=1] + 2254725 b.b.dly.dly[11].__y : 1 [by b.b.dly.dly[11]._y:=0] + 2276679 b.b.dly.dly[11].___y : 0 [by b.b.dly.dly[11].__y:=1] + 2276867 b.b.dly.dly[11].y : 1 [by b.b.dly.dly[11].___y:=0] + 2322643 b.b.dly.dly[12]._y : 0 [by b.b.dly.dly[11].y:=1] + 2326243 b.b.dly.dly[12].__y : 1 [by b.b.dly.dly[12]._y:=0] + 2326391 b.b.dly.dly[12].___y : 0 [by b.b.dly.dly[12].__y:=1] + 2345268 b.b.dly.dly[12].y : 1 [by b.b.dly.dly[12].___y:=0] + 2345283 b.b.dly.dly[13]._y : 0 [by b.b.dly.dly[12].y:=1] + 2355892 b.b.dly.dly[13].__y : 1 [by b.b.dly.dly[13]._y:=0] + 2356779 b.b.dly.dly[13].___y : 0 [by b.b.dly.dly[13].__y:=1] + 2364761 b.b.dly.dly[13].y : 1 [by b.b.dly.dly[13].___y:=0] + 2364762 b.b.dly.dly[14]._y : 0 [by b.b.dly.dly[13].y:=1] + 2371488 b.b.dly.dly[14].__y : 1 [by b.b.dly.dly[14]._y:=0] + 2371853 b.b.dly.dly[14].___y : 0 [by b.b.dly.dly[14].__y:=1] + 2380811 b.b.dly.mu2[3].b : 1 [by b.b.dly.dly[14].___y:=0] + 2382195 b.b.dly.mu2[3]._y : 0 [by b.b.dly.mu2[3].b:=1] + 2382216 b.out.r : 1 [by b.b.dly.mu2[3]._y:=0] +[] Removing input data + 2382216 b.in.d.d[0].t : 0 + 2382216 b.in.d.d[4].t : 0 + 2382216 b.in.d.d[2].t : 0 + 2382216 b.in.d.d[1].t : 0 + 2382216 b.in.d.d[3].t : 0 + 2382219 b.b.buf.vc.OR2_tf[4]._y : 1 [by b.in.d.d[4].t:=0] + 2382221 b.b.buf.vc.ct.in[4] : 0 [by b.b.buf.vc.OR2_tf[4]._y:=1] + 2382257 b.b.buf.vc.OR2_tf[0]._y : 1 [by b.in.d.d[0].t:=0] + 2382260 b.b.buf.vc.ct.in[0] : 0 [by b.b.buf.vc.OR2_tf[0]._y:=1] + 2382798 b.b.buf.vc.OR2_tf[3]._y : 1 [by b.in.d.d[3].t:=0] + 2382799 b.b.buf.vc.ct.in[3] : 0 [by b.b.buf.vc.OR2_tf[3]._y:=1] + 2384093 b.b.buf.vc.OR2_tf[2]._y : 1 [by b.in.d.d[2].t:=0] + 2387545 b.b.buf.vc.ct.in[2] : 0 [by b.b.buf.vc.OR2_tf[2]._y:=1] + 2391725 b.b.buf.vc.OR2_tf[1]._y : 1 [by b.in.d.d[1].t:=0] + 2392585 b.b.buf.vc.ct.in[1] : 0 [by b.b.buf.vc.OR2_tf[1]._y:=1] + 2392586 b.b.buf.vc.ct.C2Els[0]._y : 1 [by b.b.buf.vc.ct.in[1]:=0] + 2392661 b.b.buf.vc.ct.tmp[5] : 0 [by b.b.buf.vc.ct.C2Els[0]._y:=1] + 2394678 b.b.buf.vc.ct.C3Els[0]._y : 1 [by b.b.buf.vc.ct.in[2]:=0] + 2422629 b.b.buf.vc.ct.tmp[6] : 0 [by b.b.buf.vc.ct.C3Els[0]._y:=1] + 2422703 b.b.buf.vc.ct.C2Els[1]._y : 1 [by b.b.buf.vc.ct.tmp[6]:=0] + 2424973 b.b.buf._in_v : 0 [by b.b.buf.vc.ct.C2Els[1]._y:=1] + 2425071 b.b.buf.in_v_buf._y : 1 [by b.b.buf._in_v:=0] + 2430842 b.in.v : 0 [by b.b.buf.in_v_buf._y:=1] +[] Receiving out ack + 2430842 b.out.a : 1 + 2462570 b.b.buf._out_a_B : 0 [by b.out.a:=1] + 2466423 b.b.buf.out_a_B_buf_t.buf2._y : 1 [by b.b.buf._out_a_B:=0] + 2468711 b.b.buf.out_a_B_buf_f.buf2._y : 1 [by b.b.buf._out_a_B:=0] + 2468715 b.b.buf._out_a_BX_t[0] : 0 [by b.b.buf.out_a_B_buf_f.buf2._y:=1] + 2468716 b.b.buf.t_buf_func[3]._y : 1 [by b.b.buf._out_a_BX_t[0]:=0] + 2468718 b.out.d[3] : 0 [by b.b.buf.t_buf_func[3]._y:=1] + 2468720 b.b.buf.t_buf_func[0]._y : 1 [by b.b.buf._out_a_BX_t[0]:=0] + 2468751 b.b.buf.t_buf_func[4]._y : 1 [by b.b.buf._out_a_BX_t[0]:=0] + 2468752 b.out.d[4] : 0 [by b.b.buf.t_buf_func[4]._y:=1] + 2468756 b.out.d[0] : 0 [by b.b.buf.t_buf_func[0]._y:=1] + 2468766 b.b.out_vtree.OR2_tf[4]._y : 1 [by b.out.d[4]:=0] + 2468768 b.b.out_vtree.OR2_tf[0]._y : 1 [by b.out.d[0]:=0] + 2468783 b.b.buf._out_a_BX_f[0] : 0 [by b.b.buf.out_a_B_buf_t.buf2._y:=1] + 2468809 b.b.buf.t_buf_func[2]._y : 1 [by b.b.buf._out_a_BX_t[0]:=0] + 2469006 b.b.buf.t_buf_func[1]._y : 1 [by b.b.buf._out_a_BX_t[0]:=0] + 2480904 b.out.d[1] : 0 [by b.b.buf.t_buf_func[1]._y:=1] + 2481799 b.out.d[2] : 0 [by b.b.buf.t_buf_func[2]._y:=1] + 2481800 b.b.out_vtree.OR2_tf[2]._y : 1 [by b.out.d[2]:=0] + 2482012 b.b.out_vtree.ct.in[2] : 0 [by b.b.out_vtree.OR2_tf[2]._y:=1] + 2490325 b.b.out_vtree.ct.in[0] : 0 [by b.b.out_vtree.OR2_tf[0]._y:=1] + 2490536 b.b.out_vtree.OR2_tf[3]._y : 1 [by b.out.d[3]:=0] + 2492797 b.b.out_vtree.ct.in[4] : 0 [by b.b.out_vtree.OR2_tf[4]._y:=1] + 2497948 b.b.out_vtree.ct.in[3] : 0 [by b.b.out_vtree.OR2_tf[3]._y:=1] + 2500881 b.b.out_vtree.ct.C3Els[0]._y : 1 [by b.b.out_vtree.ct.in[3]:=0] + 2501020 b.b.out_vtree.ct.tmp[6] : 0 [by b.b.out_vtree.ct.C3Els[0]._y:=1] + 2523854 b.b.out_vtree.OR2_tf[1]._y : 1 [by b.out.d[1]:=0] + 2523858 b.b.out_vtree.ct.in[1] : 0 [by b.b.out_vtree.OR2_tf[1]._y:=1] + 2524213 b.b.out_vtree.ct.C2Els[0]._y : 1 [by b.b.out_vtree.ct.in[1]:=0] + 2524291 b.b.out_vtree.ct.tmp[5] : 0 [by b.b.out_vtree.ct.C2Els[0]._y:=1] + 2562496 b.b.out_vtree.ct.C2Els[1]._y : 1 [by b.b.out_vtree.ct.tmp[5]:=0] + 2562522 b.b.dly.in : 0 [by b.b.out_vtree.ct.C2Els[1]._y:=1] + 2562583 b.b.buf.inack_ctl._y : 1 [by b.b.dly.in:=0] + 2562588 b.in.a : 0 [by b.b.buf.inack_ctl._y:=1] + 2562660 b.b.buf._en : 1 [by b.in.a:=0] + 2562679 b.b.buf.en_buf_t.buf2._y : 0 [by b.b.buf._en:=1] + 2562771 b.b.buf.en_buf_f.buf2._y : 0 [by b.b.buf._en:=1] + 2562778 b.b.buf._en_X_t[0] : 1 [by b.b.buf.en_buf_t.buf2._y:=0] + 2562786 b.b.dly.and2[0]._y : 1 [by b.b.dly.in:=0] + 2562835 b.b.dly.dly[0].a : 0 [by b.b.dly.and2[0]._y:=1] + 2562870 b.b.dly.dly[0]._y : 1 [by b.b.dly.dly[0].a:=0] + 2563138 b.b.buf._en_X_f[0] : 1 [by b.b.buf.en_buf_f.buf2._y:=0] + 2569047 b.b.dly.dly[0].__y : 0 [by b.b.dly.dly[0]._y:=1] + 2573871 b.b.dly.dly[0].___y : 1 [by b.b.dly.dly[0].__y:=0] + 2573899 b.b.dly.dly[0].y : 0 [by b.b.dly.dly[0].___y:=1] + 2574886 b.b.dly.mu2[0]._y : 1 [by b.b.dly.dly[0].y:=0] + 2595389 b.b.dly._a[1] : 0 [by b.b.dly.mu2[0]._y:=1] + 2595449 b.b.dly.and2[1]._y : 1 [by b.b.dly._a[1]:=0] + 2605019 b.b.dly.dly[1].a : 0 [by b.b.dly.and2[1]._y:=1] + 2607122 b.b.dly.dly[1]._y : 1 [by b.b.dly.dly[1].a:=0] + 2624830 b.b.dly.dly[1].__y : 0 [by b.b.dly.dly[1]._y:=1] + 2635747 b.b.dly.dly[1].___y : 1 [by b.b.dly.dly[1].__y:=0] + 2635748 b.b.dly.dly[1].y : 0 [by b.b.dly.dly[1].___y:=1] + 2661489 b.b.dly.dly[2]._y : 1 [by b.b.dly.dly[1].y:=0] + 2661492 b.b.dly.dly[2].__y : 0 [by b.b.dly.dly[2]._y:=1] + 2680156 b.b.dly.dly[2].___y : 1 [by b.b.dly.dly[2].__y:=0] + 2681625 b.b.dly.dly[2].y : 0 [by b.b.dly.dly[2].___y:=1] + 2681655 b.b.dly.mu2[1]._y : 1 [by b.b.dly.dly[2].y:=0] + 2681661 b.b.dly._a[2] : 0 [by b.b.dly.mu2[1]._y:=1] + 2681662 b.b.dly.and2[2]._y : 1 [by b.b.dly._a[2]:=0] + 2681789 b.b.dly.dly[3].a : 0 [by b.b.dly.and2[2]._y:=1] + 2681792 b.b.dly.dly[3]._y : 1 [by b.b.dly.dly[3].a:=0] + 2681878 b.b.dly.dly[3].__y : 0 [by b.b.dly.dly[3]._y:=1] + 2682810 b.b.dly.dly[3].___y : 1 [by b.b.dly.dly[3].__y:=0] + 2684303 b.b.dly.dly[3].y : 0 [by b.b.dly.dly[3].___y:=1] + 2693026 b.b.dly.dly[4]._y : 1 [by b.b.dly.dly[3].y:=0] + 2707379 b.b.dly.dly[4].__y : 0 [by b.b.dly.dly[4]._y:=1] + 2707653 b.b.dly.dly[4].___y : 1 [by b.b.dly.dly[4].__y:=0] + 2707654 b.b.dly.dly[4].y : 0 [by b.b.dly.dly[4].___y:=1] + 2715805 b.b.dly.dly[5]._y : 1 [by b.b.dly.dly[4].y:=0] + 2735650 b.b.dly.dly[5].__y : 0 [by b.b.dly.dly[5]._y:=1] + 2735652 b.b.dly.dly[5].___y : 1 [by b.b.dly.dly[5].__y:=0] + 2736011 b.b.dly.dly[5].y : 0 [by b.b.dly.dly[5].___y:=1] + 2738027 b.b.dly.dly[6]._y : 1 [by b.b.dly.dly[5].y:=0] + 2762538 b.b.dly.dly[6].__y : 0 [by b.b.dly.dly[6]._y:=1] + 2762540 b.b.dly.dly[6].___y : 1 [by b.b.dly.dly[6].__y:=0] + 2776971 b.b.dly.dly[6].y : 0 [by b.b.dly.dly[6].___y:=1] + 2776974 b.b.dly.mu2[2]._y : 1 [by b.b.dly.dly[6].y:=0] + 2814263 b.b.dly._a[3] : 0 [by b.b.dly.mu2[2]._y:=1] + 2814607 b.b.dly.and2[3]._y : 1 [by b.b.dly._a[3]:=0] + 2816390 b.b.dly.dly[7].a : 0 [by b.b.dly.and2[3]._y:=1] + 2816419 b.b.dly.dly[7]._y : 1 [by b.b.dly.dly[7].a:=0] + 2816490 b.b.dly.dly[7].__y : 0 [by b.b.dly.dly[7]._y:=1] + 2816852 b.b.dly.dly[7].___y : 1 [by b.b.dly.dly[7].__y:=0] + 2816935 b.b.dly.dly[7].y : 0 [by b.b.dly.dly[7].___y:=1] + 2865097 b.b.dly.dly[8]._y : 1 [by b.b.dly.dly[7].y:=0] + 2865204 b.b.dly.dly[8].__y : 0 [by b.b.dly.dly[8]._y:=1] + 2865207 b.b.dly.dly[8].___y : 1 [by b.b.dly.dly[8].__y:=0] + 2865208 b.b.dly.dly[8].y : 0 [by b.b.dly.dly[8].___y:=1] + 2865209 b.b.dly.dly[9]._y : 1 [by b.b.dly.dly[8].y:=0] + 2869554 b.b.dly.dly[9].__y : 0 [by b.b.dly.dly[9]._y:=1] + 2870412 b.b.dly.dly[9].___y : 1 [by b.b.dly.dly[9].__y:=0] + 2870424 b.b.dly.dly[9].y : 0 [by b.b.dly.dly[9].___y:=1] + 2906853 b.b.dly.dly[10]._y : 1 [by b.b.dly.dly[9].y:=0] + 2957822 b.b.dly.dly[10].__y : 0 [by b.b.dly.dly[10]._y:=1] + 2991168 b.b.dly.dly[10].___y : 1 [by b.b.dly.dly[10].__y:=0] + 2996149 b.b.dly.dly[10].y : 0 [by b.b.dly.dly[10].___y:=1] + 2996177 b.b.dly.dly[11]._y : 1 [by b.b.dly.dly[10].y:=0] + 2996185 b.b.dly.dly[11].__y : 0 [by b.b.dly.dly[11]._y:=1] + 3017540 b.b.dly.dly[11].___y : 1 [by b.b.dly.dly[11].__y:=0] + 3051871 b.b.dly.dly[11].y : 0 [by b.b.dly.dly[11].___y:=1] + 3052136 b.b.dly.dly[12]._y : 1 [by b.b.dly.dly[11].y:=0] + 3052215 b.b.dly.dly[12].__y : 0 [by b.b.dly.dly[12]._y:=1] + 3052223 b.b.dly.dly[12].___y : 1 [by b.b.dly.dly[12].__y:=0] + 3052264 b.b.dly.dly[12].y : 0 [by b.b.dly.dly[12].___y:=1] + 3052903 b.b.dly.dly[13]._y : 1 [by b.b.dly.dly[12].y:=0] + 3086458 b.b.dly.dly[13].__y : 0 [by b.b.dly.dly[13]._y:=1] + 3086475 b.b.dly.dly[13].___y : 1 [by b.b.dly.dly[13].__y:=0] + 3110753 b.b.dly.dly[13].y : 0 [by b.b.dly.dly[13].___y:=1] + 3155972 b.b.dly.dly[14]._y : 1 [by b.b.dly.dly[13].y:=0] + 3177584 b.b.dly.dly[14].__y : 0 [by b.b.dly.dly[14]._y:=1] + 3177585 b.b.dly.dly[14].___y : 1 [by b.b.dly.dly[14].__y:=0] + 3177586 b.b.dly.mu2[3].b : 0 [by b.b.dly.dly[14].___y:=1] + 3178012 b.b.dly.mu2[3]._y : 1 [by b.b.dly.mu2[3].b:=0] + 3178350 b.out.r : 0 [by b.b.dly.mu2[3]._y:=1] +[] Out ack removed + 3178350 b.out.a : 0 + 3178476 b.b.buf._out_a_B : 1 [by b.out.a:=0] + 3178478 b.b.buf.out_a_B_buf_t.buf2._y : 0 [by b.b.buf._out_a_B:=1] + 3178638 b.b.buf._out_a_BX_f[0] : 1 [by b.b.buf.out_a_B_buf_t.buf2._y:=0] + 3179286 b.b.buf.out_a_B_buf_f.buf2._y : 0 [by b.b.buf._out_a_B:=1] + 3207117 b.b.buf._out_a_BX_t[0] : 1 [by b.b.buf.out_a_B_buf_f.buf2._y:=0] diff --git a/test/unit_tests/qdi2bd_5/run/prsim.pdf b/test/unit_tests/qdi2bd_5/run/prsim.pdf new file mode 100644 index 0000000..02afed5 Binary files /dev/null and b/test/unit_tests/qdi2bd_5/run/prsim.pdf differ diff --git a/test/unit_tests/qdi2bd_5/run/test.prs b/test/unit_tests/qdi2bd_5/run/test.prs new file mode 100644 index 0000000..e6a9187 --- /dev/null +++ b/test/unit_tests/qdi2bd_5/run/test.prs @@ -0,0 +1,1052 @@ += "GND" "GND" += "Vdd" "Vdd" += "Reset" "Reset" +"Reset"->"b._reset_B"- +~("Reset")->"b._reset_B"+ +"b.b.dly.and2[0].a"&"b.b.dly.and2[0].b"->"b.b.dly.and2[0]._y"- +~("b.b.dly.and2[0].a"&"b.b.dly.and2[0].b")->"b.b.dly.and2[0]._y"+ +"b.b.dly.and2[0]._y"->"b.b.dly.and2[0].y"- +~("b.b.dly.and2[0]._y")->"b.b.dly.and2[0].y"+ +"b.b.dly.and2[1].a"&"b.b.dly.and2[1].b"->"b.b.dly.and2[1]._y"- +~("b.b.dly.and2[1].a"&"b.b.dly.and2[1].b")->"b.b.dly.and2[1]._y"+ +"b.b.dly.and2[1]._y"->"b.b.dly.and2[1].y"- +~("b.b.dly.and2[1]._y")->"b.b.dly.and2[1].y"+ +"b.b.dly.and2[2].a"&"b.b.dly.and2[2].b"->"b.b.dly.and2[2]._y"- +~("b.b.dly.and2[2].a"&"b.b.dly.and2[2].b")->"b.b.dly.and2[2]._y"+ +"b.b.dly.and2[2]._y"->"b.b.dly.and2[2].y"- +~("b.b.dly.and2[2]._y")->"b.b.dly.and2[2].y"+ +"b.b.dly.and2[3].a"&"b.b.dly.and2[3].b"->"b.b.dly.and2[3]._y"- +~("b.b.dly.and2[3].a"&"b.b.dly.and2[3].b")->"b.b.dly.and2[3]._y"+ +"b.b.dly.and2[3]._y"->"b.b.dly.and2[3].y"- +~("b.b.dly.and2[3]._y")->"b.b.dly.and2[3].y"+ += "b.b.dly.s[0]" "b.b.dly.mu2[0].s" += "b.b.dly.s[0]" "b.b.dly.and2[0].b" += "b.b.dly.s[1]" "b.b.dly.mu2[1].s" += "b.b.dly.s[1]" "b.b.dly.and2[1].b" += "b.b.dly.s[2]" "b.b.dly.mu2[2].s" += "b.b.dly.s[2]" "b.b.dly.and2[2].b" += "b.b.dly.s[3]" "b.b.dly.mu2[3].s" += "b.b.dly.s[3]" "b.b.dly.and2[3].b" += "b.b.dly.supply.vdd" "b.b.dly.dly[14].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[13].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[12].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[11].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[10].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[9].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[8].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[7].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[6].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[5].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[4].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[3].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[2].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[1].vdd" += "b.b.dly.supply.vdd" "b.b.dly.dly[0].vdd" += "b.b.dly.supply.vdd" "b.b.dly.mu2[3].vdd" += "b.b.dly.supply.vdd" "b.b.dly.mu2[2].vdd" += "b.b.dly.supply.vdd" "b.b.dly.mu2[1].vdd" += "b.b.dly.supply.vdd" "b.b.dly.mu2[0].vdd" += "b.b.dly.supply.vdd" "b.b.dly.and2[3].vdd" += "b.b.dly.supply.vdd" "b.b.dly.and2[2].vdd" += "b.b.dly.supply.vdd" "b.b.dly.and2[1].vdd" += "b.b.dly.supply.vdd" "b.b.dly.and2[0].vdd" += "b.b.dly.supply.vss" "b.b.dly.dly[14].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[13].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[12].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[11].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[10].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[9].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[8].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[7].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[6].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[5].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[4].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[3].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[2].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[1].vss" += "b.b.dly.supply.vss" "b.b.dly.dly[0].vss" += "b.b.dly.supply.vss" "b.b.dly.mu2[3].vss" += "b.b.dly.supply.vss" "b.b.dly.mu2[2].vss" += "b.b.dly.supply.vss" "b.b.dly.mu2[1].vss" += "b.b.dly.supply.vss" "b.b.dly.mu2[0].vss" += "b.b.dly.supply.vss" "b.b.dly.and2[3].vss" += "b.b.dly.supply.vss" "b.b.dly.and2[2].vss" += "b.b.dly.supply.vss" "b.b.dly.and2[1].vss" += "b.b.dly.supply.vss" "b.b.dly.and2[0].vss" +"b.b.dly.mu2[0].s"->"b.b.dly.mu2[0]._s"- +~("b.b.dly.mu2[0].s")->"b.b.dly.mu2[0]._s"+ +~"b.b.dly.mu2[0].a"&~"b.b.dly.mu2[0].s"|~"b.b.dly.mu2[0].b"&~"b.b.dly.mu2[0]._s"->"b.b.dly.mu2[0]._y"+ +"b.b.dly.mu2[0].a"&"b.b.dly.mu2[0]._s"|"b.b.dly.mu2[0].b"&"b.b.dly.mu2[0].s"->"b.b.dly.mu2[0]._y"- +"b.b.dly.mu2[0]._y"->"b.b.dly.mu2[0].y"- +~("b.b.dly.mu2[0]._y")->"b.b.dly.mu2[0].y"+ +"b.b.dly.mu2[1].s"->"b.b.dly.mu2[1]._s"- +~("b.b.dly.mu2[1].s")->"b.b.dly.mu2[1]._s"+ +~"b.b.dly.mu2[1].a"&~"b.b.dly.mu2[1].s"|~"b.b.dly.mu2[1].b"&~"b.b.dly.mu2[1]._s"->"b.b.dly.mu2[1]._y"+ +"b.b.dly.mu2[1].a"&"b.b.dly.mu2[1]._s"|"b.b.dly.mu2[1].b"&"b.b.dly.mu2[1].s"->"b.b.dly.mu2[1]._y"- +"b.b.dly.mu2[1]._y"->"b.b.dly.mu2[1].y"- +~("b.b.dly.mu2[1]._y")->"b.b.dly.mu2[1].y"+ +"b.b.dly.mu2[2].s"->"b.b.dly.mu2[2]._s"- +~("b.b.dly.mu2[2].s")->"b.b.dly.mu2[2]._s"+ +~"b.b.dly.mu2[2].a"&~"b.b.dly.mu2[2].s"|~"b.b.dly.mu2[2].b"&~"b.b.dly.mu2[2]._s"->"b.b.dly.mu2[2]._y"+ +"b.b.dly.mu2[2].a"&"b.b.dly.mu2[2]._s"|"b.b.dly.mu2[2].b"&"b.b.dly.mu2[2].s"->"b.b.dly.mu2[2]._y"- +"b.b.dly.mu2[2]._y"->"b.b.dly.mu2[2].y"- +~("b.b.dly.mu2[2]._y")->"b.b.dly.mu2[2].y"+ +"b.b.dly.mu2[3].s"->"b.b.dly.mu2[3]._s"- +~("b.b.dly.mu2[3].s")->"b.b.dly.mu2[3]._s"+ +~"b.b.dly.mu2[3].a"&~"b.b.dly.mu2[3].s"|~"b.b.dly.mu2[3].b"&~"b.b.dly.mu2[3]._s"->"b.b.dly.mu2[3]._y"+ +"b.b.dly.mu2[3].a"&"b.b.dly.mu2[3]._s"|"b.b.dly.mu2[3].b"&"b.b.dly.mu2[3].s"->"b.b.dly.mu2[3]._y"- +"b.b.dly.mu2[3]._y"->"b.b.dly.mu2[3].y"- +~("b.b.dly.mu2[3]._y")->"b.b.dly.mu2[3].y"+ +"b.b.dly.dly[0].a"->"b.b.dly.dly[0]._y"- +~("b.b.dly.dly[0].a")->"b.b.dly.dly[0]._y"+ +"b.b.dly.dly[0]._y"->"b.b.dly.dly[0].__y"- +~("b.b.dly.dly[0]._y")->"b.b.dly.dly[0].__y"+ +"b.b.dly.dly[0].__y"->"b.b.dly.dly[0].___y"- +~("b.b.dly.dly[0].__y")->"b.b.dly.dly[0].___y"+ +"b.b.dly.dly[0].___y"->"b.b.dly.dly[0].y"- +~("b.b.dly.dly[0].___y")->"b.b.dly.dly[0].y"+ +"b.b.dly.dly[1].a"->"b.b.dly.dly[1]._y"- +~("b.b.dly.dly[1].a")->"b.b.dly.dly[1]._y"+ +"b.b.dly.dly[1]._y"->"b.b.dly.dly[1].__y"- +~("b.b.dly.dly[1]._y")->"b.b.dly.dly[1].__y"+ +"b.b.dly.dly[1].__y"->"b.b.dly.dly[1].___y"- +~("b.b.dly.dly[1].__y")->"b.b.dly.dly[1].___y"+ +"b.b.dly.dly[1].___y"->"b.b.dly.dly[1].y"- +~("b.b.dly.dly[1].___y")->"b.b.dly.dly[1].y"+ +"b.b.dly.dly[2].a"->"b.b.dly.dly[2]._y"- +~("b.b.dly.dly[2].a")->"b.b.dly.dly[2]._y"+ +"b.b.dly.dly[2]._y"->"b.b.dly.dly[2].__y"- +~("b.b.dly.dly[2]._y")->"b.b.dly.dly[2].__y"+ +"b.b.dly.dly[2].__y"->"b.b.dly.dly[2].___y"- +~("b.b.dly.dly[2].__y")->"b.b.dly.dly[2].___y"+ +"b.b.dly.dly[2].___y"->"b.b.dly.dly[2].y"- +~("b.b.dly.dly[2].___y")->"b.b.dly.dly[2].y"+ +"b.b.dly.dly[3].a"->"b.b.dly.dly[3]._y"- +~("b.b.dly.dly[3].a")->"b.b.dly.dly[3]._y"+ +"b.b.dly.dly[3]._y"->"b.b.dly.dly[3].__y"- +~("b.b.dly.dly[3]._y")->"b.b.dly.dly[3].__y"+ +"b.b.dly.dly[3].__y"->"b.b.dly.dly[3].___y"- +~("b.b.dly.dly[3].__y")->"b.b.dly.dly[3].___y"+ +"b.b.dly.dly[3].___y"->"b.b.dly.dly[3].y"- +~("b.b.dly.dly[3].___y")->"b.b.dly.dly[3].y"+ +"b.b.dly.dly[4].a"->"b.b.dly.dly[4]._y"- +~("b.b.dly.dly[4].a")->"b.b.dly.dly[4]._y"+ +"b.b.dly.dly[4]._y"->"b.b.dly.dly[4].__y"- +~("b.b.dly.dly[4]._y")->"b.b.dly.dly[4].__y"+ +"b.b.dly.dly[4].__y"->"b.b.dly.dly[4].___y"- +~("b.b.dly.dly[4].__y")->"b.b.dly.dly[4].___y"+ +"b.b.dly.dly[4].___y"->"b.b.dly.dly[4].y"- +~("b.b.dly.dly[4].___y")->"b.b.dly.dly[4].y"+ +"b.b.dly.dly[5].a"->"b.b.dly.dly[5]._y"- +~("b.b.dly.dly[5].a")->"b.b.dly.dly[5]._y"+ +"b.b.dly.dly[5]._y"->"b.b.dly.dly[5].__y"- +~("b.b.dly.dly[5]._y")->"b.b.dly.dly[5].__y"+ +"b.b.dly.dly[5].__y"->"b.b.dly.dly[5].___y"- +~("b.b.dly.dly[5].__y")->"b.b.dly.dly[5].___y"+ +"b.b.dly.dly[5].___y"->"b.b.dly.dly[5].y"- +~("b.b.dly.dly[5].___y")->"b.b.dly.dly[5].y"+ +"b.b.dly.dly[6].a"->"b.b.dly.dly[6]._y"- +~("b.b.dly.dly[6].a")->"b.b.dly.dly[6]._y"+ +"b.b.dly.dly[6]._y"->"b.b.dly.dly[6].__y"- +~("b.b.dly.dly[6]._y")->"b.b.dly.dly[6].__y"+ +"b.b.dly.dly[6].__y"->"b.b.dly.dly[6].___y"- +~("b.b.dly.dly[6].__y")->"b.b.dly.dly[6].___y"+ +"b.b.dly.dly[6].___y"->"b.b.dly.dly[6].y"- +~("b.b.dly.dly[6].___y")->"b.b.dly.dly[6].y"+ +"b.b.dly.dly[7].a"->"b.b.dly.dly[7]._y"- +~("b.b.dly.dly[7].a")->"b.b.dly.dly[7]._y"+ +"b.b.dly.dly[7]._y"->"b.b.dly.dly[7].__y"- +~("b.b.dly.dly[7]._y")->"b.b.dly.dly[7].__y"+ +"b.b.dly.dly[7].__y"->"b.b.dly.dly[7].___y"- +~("b.b.dly.dly[7].__y")->"b.b.dly.dly[7].___y"+ +"b.b.dly.dly[7].___y"->"b.b.dly.dly[7].y"- +~("b.b.dly.dly[7].___y")->"b.b.dly.dly[7].y"+ +"b.b.dly.dly[8].a"->"b.b.dly.dly[8]._y"- +~("b.b.dly.dly[8].a")->"b.b.dly.dly[8]._y"+ +"b.b.dly.dly[8]._y"->"b.b.dly.dly[8].__y"- +~("b.b.dly.dly[8]._y")->"b.b.dly.dly[8].__y"+ +"b.b.dly.dly[8].__y"->"b.b.dly.dly[8].___y"- +~("b.b.dly.dly[8].__y")->"b.b.dly.dly[8].___y"+ +"b.b.dly.dly[8].___y"->"b.b.dly.dly[8].y"- +~("b.b.dly.dly[8].___y")->"b.b.dly.dly[8].y"+ +"b.b.dly.dly[9].a"->"b.b.dly.dly[9]._y"- +~("b.b.dly.dly[9].a")->"b.b.dly.dly[9]._y"+ +"b.b.dly.dly[9]._y"->"b.b.dly.dly[9].__y"- +~("b.b.dly.dly[9]._y")->"b.b.dly.dly[9].__y"+ +"b.b.dly.dly[9].__y"->"b.b.dly.dly[9].___y"- +~("b.b.dly.dly[9].__y")->"b.b.dly.dly[9].___y"+ +"b.b.dly.dly[9].___y"->"b.b.dly.dly[9].y"- +~("b.b.dly.dly[9].___y")->"b.b.dly.dly[9].y"+ +"b.b.dly.dly[10].a"->"b.b.dly.dly[10]._y"- +~("b.b.dly.dly[10].a")->"b.b.dly.dly[10]._y"+ +"b.b.dly.dly[10]._y"->"b.b.dly.dly[10].__y"- +~("b.b.dly.dly[10]._y")->"b.b.dly.dly[10].__y"+ +"b.b.dly.dly[10].__y"->"b.b.dly.dly[10].___y"- +~("b.b.dly.dly[10].__y")->"b.b.dly.dly[10].___y"+ +"b.b.dly.dly[10].___y"->"b.b.dly.dly[10].y"- +~("b.b.dly.dly[10].___y")->"b.b.dly.dly[10].y"+ +"b.b.dly.dly[11].a"->"b.b.dly.dly[11]._y"- +~("b.b.dly.dly[11].a")->"b.b.dly.dly[11]._y"+ +"b.b.dly.dly[11]._y"->"b.b.dly.dly[11].__y"- +~("b.b.dly.dly[11]._y")->"b.b.dly.dly[11].__y"+ +"b.b.dly.dly[11].__y"->"b.b.dly.dly[11].___y"- +~("b.b.dly.dly[11].__y")->"b.b.dly.dly[11].___y"+ +"b.b.dly.dly[11].___y"->"b.b.dly.dly[11].y"- +~("b.b.dly.dly[11].___y")->"b.b.dly.dly[11].y"+ +"b.b.dly.dly[12].a"->"b.b.dly.dly[12]._y"- +~("b.b.dly.dly[12].a")->"b.b.dly.dly[12]._y"+ +"b.b.dly.dly[12]._y"->"b.b.dly.dly[12].__y"- +~("b.b.dly.dly[12]._y")->"b.b.dly.dly[12].__y"+ +"b.b.dly.dly[12].__y"->"b.b.dly.dly[12].___y"- +~("b.b.dly.dly[12].__y")->"b.b.dly.dly[12].___y"+ +"b.b.dly.dly[12].___y"->"b.b.dly.dly[12].y"- +~("b.b.dly.dly[12].___y")->"b.b.dly.dly[12].y"+ +"b.b.dly.dly[13].a"->"b.b.dly.dly[13]._y"- +~("b.b.dly.dly[13].a")->"b.b.dly.dly[13]._y"+ +"b.b.dly.dly[13]._y"->"b.b.dly.dly[13].__y"- +~("b.b.dly.dly[13]._y")->"b.b.dly.dly[13].__y"+ +"b.b.dly.dly[13].__y"->"b.b.dly.dly[13].___y"- +~("b.b.dly.dly[13].__y")->"b.b.dly.dly[13].___y"+ +"b.b.dly.dly[13].___y"->"b.b.dly.dly[13].y"- +~("b.b.dly.dly[13].___y")->"b.b.dly.dly[13].y"+ +"b.b.dly.dly[14].a"->"b.b.dly.dly[14]._y"- +~("b.b.dly.dly[14].a")->"b.b.dly.dly[14]._y"+ +"b.b.dly.dly[14]._y"->"b.b.dly.dly[14].__y"- +~("b.b.dly.dly[14]._y")->"b.b.dly.dly[14].__y"+ +"b.b.dly.dly[14].__y"->"b.b.dly.dly[14].___y"- +~("b.b.dly.dly[14].__y")->"b.b.dly.dly[14].___y"+ +"b.b.dly.dly[14].___y"->"b.b.dly.dly[14].y"- +~("b.b.dly.dly[14].___y")->"b.b.dly.dly[14].y"+ += "b.b.dly.dly[14].y" "b.b.dly.mu2[3].b" += "b.b.dly.dly[14].a" "b.b.dly.dly[13].y" += "b.b.dly.dly[13].a" "b.b.dly.dly[12].y" += "b.b.dly.dly[12].a" "b.b.dly.dly[11].y" += "b.b.dly.dly[11].a" "b.b.dly.dly[10].y" += "b.b.dly.dly[10].a" "b.b.dly.dly[9].y" += "b.b.dly.dly[9].a" "b.b.dly.dly[8].y" += "b.b.dly.dly[8].a" "b.b.dly.dly[7].y" += "b.b.dly.dly[7].a" "b.b.dly.and2[3].y" += "b.b.dly.dly[6].y" "b.b.dly.mu2[2].b" += "b.b.dly.dly[6].a" "b.b.dly.dly[5].y" += "b.b.dly.dly[5].a" "b.b.dly.dly[4].y" += "b.b.dly.dly[4].a" "b.b.dly.dly[3].y" += "b.b.dly.dly[3].a" "b.b.dly.and2[2].y" += "b.b.dly.dly[2].y" "b.b.dly.mu2[1].b" += "b.b.dly.dly[2].a" "b.b.dly.dly[1].y" += "b.b.dly.dly[1].a" "b.b.dly.and2[1].y" += "b.b.dly.dly[0].y" "b.b.dly.mu2[0].b" += "b.b.dly.dly[0].a" "b.b.dly.and2[0].y" += "b.b.dly._a[1]" "b.b.dly.mu2[1].a" += "b.b.dly._a[1]" "b.b.dly.and2[1].a" += "b.b.dly._a[1]" "b.b.dly.mu2[0].y" += "b.b.dly._a[2]" "b.b.dly.mu2[2].a" += "b.b.dly._a[2]" "b.b.dly.and2[2].a" += "b.b.dly._a[2]" "b.b.dly.mu2[1].y" += "b.b.dly._a[3]" "b.b.dly.mu2[3].a" += "b.b.dly._a[3]" "b.b.dly.and2[3].a" += "b.b.dly._a[3]" "b.b.dly.mu2[2].y" += "b.b.dly.out" "b.b.dly.mu2[3].y" += "b.b.dly.out" "b.b.dly._a[4]" += "b.b.dly.in" "b.b.dly.mu2[0].a" += "b.b.dly.in" "b.b.dly.and2[0].a" += "b.b.dly.in" "b.b.dly._a[0]" += "b.b.dly.in" "b.b.buf.out.v" += "b.b.dly.in" "b.b.out_vtree.out" += "b.b.dly_cfg[0]" "b.b.dly.s[0]" += "b.b.dly_cfg[1]" "b.b.dly.s[1]" += "b.b.dly_cfg[2]" "b.b.dly.s[2]" += "b.b.dly_cfg[3]" "b.b.dly.s[3]" += "b.b.supply.vss" "b.b.dly.supply.vss" += "b.b.supply.vdd" "b.b.dly.supply.vdd" += "b.b.supply.vss" "b.b.out_vtree.supply.vss" += "b.b.supply.vdd" "b.b.out_vtree.supply.vdd" += "b.b.supply.vss" "b.b.buf.supply.vss" += "b.b.supply.vdd" "b.b.buf.supply.vdd" += "b.b.reset_B" "b.b.buf.reset_B" += "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[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[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.v" "b.b.buf.in.v" += "b.b.in.a" "b.b.buf.in.a" += "b.b.in.d.d[0].f" "b.b.buf.in.d.d[0].f" += "b.b.in.d.d[0].t" "b.b.buf.in.d.d[0].t" += "b.b.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].d[0]" += "b.b.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].d[1]" += "b.b.in.d.d[1].f" "b.b.buf.in.d.d[1].f" += "b.b.in.d.d[1].t" "b.b.buf.in.d.d[1].t" += "b.b.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].d[0]" += "b.b.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].d[1]" += "b.b.in.d.d[2].f" "b.b.buf.in.d.d[2].f" += "b.b.in.d.d[2].t" "b.b.buf.in.d.d[2].t" += "b.b.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].d[0]" += "b.b.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].d[1]" += "b.b.in.d.d[3].f" "b.b.buf.in.d.d[3].f" += "b.b.in.d.d[3].t" "b.b.buf.in.d.d[3].t" += "b.b.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].d[0]" += "b.b.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].d[1]" += "b.b.in.d.d[4].f" "b.b.buf.in.d.d[4].f" += "b.b.in.d.d[4].t" "b.b.buf.in.d.d[4].t" += "b.b.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].d[0]" += "b.b.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].d[1]" += "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" +timing("b.b.out.a"-,"b.b.out.d[0]","b.b.out.r"+) +timing("b.b.out.a"-,"b.b.out.d[1]","b.b.out.r"+) +timing("b.b.out.a"-,"b.b.out.d[2]","b.b.out.r"+) +timing("b.b.out.a"-,"b.b.out.d[3]","b.b.out.r"+) +timing("b.b.out.a"-,"b.b.out.d[4]","b.b.out.r"+) += "b.b.out.r" "b.b.dly.out" += "b.b.out.a" "b.b.buf.out.a" += "b.b.out.d[0]" "b.b.buf.out.d.d[0].t" += "b.b.out.d[0]" "b.b.buf.out.d.d[0].d[1]" += "b.b.out.d[0]" "b.b.out_vtree.in.d[0].t" += "b.b.out.d[0]" "b.b.out_vtree.in.d[0].d[1]" += "b.b.out.d[1]" "b.b.buf.out.d.d[1].t" += "b.b.out.d[1]" "b.b.buf.out.d.d[1].d[1]" += "b.b.out.d[1]" "b.b.out_vtree.in.d[1].t" += "b.b.out.d[1]" "b.b.out_vtree.in.d[1].d[1]" += "b.b.out.d[2]" "b.b.buf.out.d.d[2].t" += "b.b.out.d[2]" "b.b.buf.out.d.d[2].d[1]" += "b.b.out.d[2]" "b.b.out_vtree.in.d[2].t" += "b.b.out.d[2]" "b.b.out_vtree.in.d[2].d[1]" += "b.b.out.d[3]" "b.b.buf.out.d.d[3].t" += "b.b.out.d[3]" "b.b.buf.out.d.d[3].d[1]" += "b.b.out.d[3]" "b.b.out_vtree.in.d[3].t" += "b.b.out.d[3]" "b.b.out_vtree.in.d[3].d[1]" += "b.b.out.d[4]" "b.b.buf.out.d.d[4].t" += "b.b.out.d[4]" "b.b.buf.out.d.d[4].d[1]" += "b.b.out.d[4]" "b.b.out_vtree.in.d[4].t" += "b.b.out.d[4]" "b.b.out_vtree.in.d[4].d[1]" +"b.b.buf.out_a_B_buf_t.buf2.a"->"b.b.buf.out_a_B_buf_t.buf2._y"- +~("b.b.buf.out_a_B_buf_t.buf2.a")->"b.b.buf.out_a_B_buf_t.buf2._y"+ +"b.b.buf.out_a_B_buf_t.buf2._y"->"b.b.buf.out_a_B_buf_t.buf2.y"- +~("b.b.buf.out_a_B_buf_t.buf2._y")->"b.b.buf.out_a_B_buf_t.buf2.y"+ += "b.b.buf.out_a_B_buf_t.supply.vdd" "b.b.buf.out_a_B_buf_t.buf2.vdd" += "b.b.buf.out_a_B_buf_t.supply.vss" "b.b.buf.out_a_B_buf_t.buf2.vss" += "b.b.buf.out_a_B_buf_t.out[0]" "b.b.buf.out_a_B_buf_t.out[4]" += "b.b.buf.out_a_B_buf_t.out[0]" "b.b.buf.out_a_B_buf_t.out[3]" += "b.b.buf.out_a_B_buf_t.out[0]" "b.b.buf.out_a_B_buf_t.out[2]" += "b.b.buf.out_a_B_buf_t.out[0]" "b.b.buf.out_a_B_buf_t.out[1]" += "b.b.buf.out_a_B_buf_t.out[0]" "b.b.buf.out_a_B_buf_t.buf2.y" += "b.b.buf.out_a_B_buf_t.in" "b.b.buf.out_a_B_buf_t.buf2.a" += "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[0]" "b.b.buf.f_buf_func[4].c1" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[3].c1" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[2].c1" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[1].c1" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[0].c1" += "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.inack_ctl.c1"&~"b.b.buf.inack_ctl.c2"&~"b.b.buf.inack_ctl.c3"|~"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.c3"&"b.b.buf.inack_ctl.sr_B"->"b.b.buf.inack_ctl._y"- +"b.b.buf.inack_ctl._y"->"b.b.buf.inack_ctl.y"- +~("b.b.buf.inack_ctl._y")->"b.b.buf.inack_ctl.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[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.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.out_a_inv.a"->"b.b.buf.out_a_inv.y"- +~("b.b.buf.out_a_inv.a")->"b.b.buf.out_a_inv.y"+ += "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[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.out_a_inv.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.en_ctl.vdd" += "b.b.buf.supply.vdd" "b.b.buf.inack_ctl.vdd" += "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.out_a_inv.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.en_ctl.vss" += "b.b.buf.supply.vss" "b.b.buf.inack_ctl.vss" +~"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.tmp[5]" "b.b.buf.vc.ct.C2Els[1].c1" += "b.b.buf.vc.ct.tmp[5]" "b.b.buf.vc.ct.C2Els[0].y" += "b.b.buf.vc.ct.tmp[6]" "b.b.buf.vc.ct.C2Els[1].c2" += "b.b.buf.vc.ct.tmp[6]" "b.b.buf.vc.ct.C3Els[0].y" += "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[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.C3Els[0].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.C3Els[0].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].c3" += "b.b.buf.vc.ct.in[4]" "b.b.buf.vc.ct.tmp[4]" += "b.b.buf.vc.ct.out" "b.b.buf.vc.ct.C2Els[1].y" += "b.b.buf.vc.ct.out" "b.b.buf.vc.ct.tmp[7]" += "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.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.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[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[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[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[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._out_a_BX_f[0]" "b.b.buf.out_a_B_buf_t.out[0]" += "b.b.buf._out_a_BX_f[1]" "b.b.buf.out_a_B_buf_t.out[1]" += "b.b.buf._out_a_BX_f[2]" "b.b.buf.out_a_B_buf_t.out[2]" += "b.b.buf._out_a_BX_f[3]" "b.b.buf.out_a_B_buf_t.out[3]" += "b.b.buf._out_a_BX_f[4]" "b.b.buf.out_a_B_buf_t.out[4]" += "b.b.buf._out_a_BX_f[0]" "b.b.buf.f_buf_func[4].c2" += "b.b.buf._out_a_BX_f[0]" "b.b.buf.f_buf_func[3].c2" += "b.b.buf._out_a_BX_f[0]" "b.b.buf.f_buf_func[2].c2" += "b.b.buf._out_a_BX_f[0]" "b.b.buf.f_buf_func[1].c2" += "b.b.buf._out_a_BX_f[0]" "b.b.buf.f_buf_func[0].c2" += "b.b.buf._out_a_BX_f[0]" "b.b.buf._out_a_BX_f[4]" += "b.b.buf._out_a_BX_f[0]" "b.b.buf._out_a_BX_f[3]" += "b.b.buf._out_a_BX_f[0]" "b.b.buf._out_a_BX_f[2]" += "b.b.buf._out_a_BX_f[0]" "b.b.buf._out_a_BX_f[1]" +"b.b.buf.out_a_B_buf_f.buf2.a"->"b.b.buf.out_a_B_buf_f.buf2._y"- +~("b.b.buf.out_a_B_buf_f.buf2.a")->"b.b.buf.out_a_B_buf_f.buf2._y"+ +"b.b.buf.out_a_B_buf_f.buf2._y"->"b.b.buf.out_a_B_buf_f.buf2.y"- +~("b.b.buf.out_a_B_buf_f.buf2._y")->"b.b.buf.out_a_B_buf_f.buf2.y"+ += "b.b.buf.out_a_B_buf_f.supply.vdd" "b.b.buf.out_a_B_buf_f.buf2.vdd" += "b.b.buf.out_a_B_buf_f.supply.vss" "b.b.buf.out_a_B_buf_f.buf2.vss" += "b.b.buf.out_a_B_buf_f.out[0]" "b.b.buf.out_a_B_buf_f.out[4]" += "b.b.buf.out_a_B_buf_f.out[0]" "b.b.buf.out_a_B_buf_f.out[3]" += "b.b.buf.out_a_B_buf_f.out[0]" "b.b.buf.out_a_B_buf_f.out[2]" += "b.b.buf.out_a_B_buf_f.out[0]" "b.b.buf.out_a_B_buf_f.out[1]" += "b.b.buf.out_a_B_buf_f.out[0]" "b.b.buf.out_a_B_buf_f.buf2.y" += "b.b.buf.out_a_B_buf_f.in" "b.b.buf.out_a_B_buf_f.buf2.a" += "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.en_ctl.y" += "b.b.buf._en" "b.b.buf.inack_ctl.c1" +~"b.b.buf.en_ctl.p1"&~"b.b.buf.en_ctl.c1"->"b.b.buf.en_ctl.y"+ +"b.b.buf.en_ctl.c1"->"b.b.buf.en_ctl.y"- += "b.b.buf.out.d.d[0].d[0]" "b.b.buf.out.d.d[0].f" += "b.b.buf.out.d.d[0].d[1]" "b.b.buf.out.d.d[0].t" += "b.b.buf.out.d.d[1].d[0]" "b.b.buf.out.d.d[1].f" += "b.b.buf.out.d.d[1].d[1]" "b.b.buf.out.d.d[1].t" += "b.b.buf.out.d.d[2].d[0]" "b.b.buf.out.d.d[2].f" += "b.b.buf.out.d.d[2].d[1]" "b.b.buf.out.d.d[2].t" += "b.b.buf.out.d.d[3].d[0]" "b.b.buf.out.d.d[3].f" += "b.b.buf.out.d.d[3].d[1]" "b.b.buf.out.d.d[3].t" += "b.b.buf.out.d.d[4].d[0]" "b.b.buf.out.d.d[4].f" += "b.b.buf.out.d.d[4].d[1]" "b.b.buf.out.d.d[4].t" += "b.b.buf.out.d.d[4].d[0]" "b.b.buf.out.d.d[4].f" += "b.b.buf.out.d.d[4].d[1]" "b.b.buf.out.d.d[4].t" += "b.b.buf.out.d.d[3].d[0]" "b.b.buf.out.d.d[3].f" += "b.b.buf.out.d.d[3].d[1]" "b.b.buf.out.d.d[3].t" += "b.b.buf.out.d.d[2].d[0]" "b.b.buf.out.d.d[2].f" += "b.b.buf.out.d.d[2].d[1]" "b.b.buf.out.d.d[2].t" += "b.b.buf.out.d.d[1].d[0]" "b.b.buf.out.d.d[1].f" += "b.b.buf.out.d.d[1].d[1]" "b.b.buf.out.d.d[1].t" += "b.b.buf.out.d.d[0].d[0]" "b.b.buf.out.d.d[0].f" += "b.b.buf.out.d.d[0].d[1]" "b.b.buf.out.d.d[0].t" += "b.b.buf.out.d.d[4].d[0]" "b.b.buf.out.d.d[4].f" += "b.b.buf.out.d.d[4].d[1]" "b.b.buf.out.d.d[4].t" += "b.b.buf.out.d.d[3].d[0]" "b.b.buf.out.d.d[3].f" += "b.b.buf.out.d.d[3].d[1]" "b.b.buf.out.d.d[3].t" += "b.b.buf.out.d.d[2].d[0]" "b.b.buf.out.d.d[2].f" += "b.b.buf.out.d.d[2].d[1]" "b.b.buf.out.d.d[2].t" += "b.b.buf.out.d.d[1].d[0]" "b.b.buf.out.d.d[1].f" += "b.b.buf.out.d.d[1].d[1]" "b.b.buf.out.d.d[1].t" += "b.b.buf.out.d.d[0].d[0]" "b.b.buf.out.d.d[0].f" += "b.b.buf.out.d.d[0].d[1]" "b.b.buf.out.d.d[0].t" += "b.b.buf.out.a" "b.b.buf.out_a_inv.a" += "b.b.buf.out.v" "b.b.buf.en_ctl.p1" += "b.b.buf.out.v" "b.b.buf.inack_ctl.c3" += "b.b.buf.out.d.d[4].d[0]" "b.b.buf.f_buf_func[4].y" += "b.b.buf.out.d.d[4].d[0]" "b.b.buf.out.d.d[4].f" += "b.b.buf.out.d.d[4].d[1]" "b.b.buf.t_buf_func[4].y" += "b.b.buf.out.d.d[4].d[1]" "b.b.buf.out.d.d[4].t" += "b.b.buf.out.d.d[3].d[0]" "b.b.buf.f_buf_func[3].y" += "b.b.buf.out.d.d[3].d[0]" "b.b.buf.out.d.d[3].f" += "b.b.buf.out.d.d[3].d[1]" "b.b.buf.t_buf_func[3].y" += "b.b.buf.out.d.d[3].d[1]" "b.b.buf.out.d.d[3].t" += "b.b.buf.out.d.d[2].d[0]" "b.b.buf.f_buf_func[2].y" += "b.b.buf.out.d.d[2].d[0]" "b.b.buf.out.d.d[2].f" += "b.b.buf.out.d.d[2].d[1]" "b.b.buf.t_buf_func[2].y" += "b.b.buf.out.d.d[2].d[1]" "b.b.buf.out.d.d[2].t" += "b.b.buf.out.d.d[1].d[0]" "b.b.buf.f_buf_func[1].y" += "b.b.buf.out.d.d[1].d[0]" "b.b.buf.out.d.d[1].f" += "b.b.buf.out.d.d[1].d[1]" "b.b.buf.t_buf_func[1].y" += "b.b.buf.out.d.d[1].d[1]" "b.b.buf.out.d.d[1].t" += "b.b.buf.out.d.d[0].d[0]" "b.b.buf.f_buf_func[0].y" += "b.b.buf.out.d.d[0].d[0]" "b.b.buf.out.d.d[0].f" += "b.b.buf.out.d.d[0].d[1]" "b.b.buf.t_buf_func[0].y" += "b.b.buf.out.d.d[0].d[1]" "b.b.buf.out.d.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[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[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.a" "b.b.buf.en_ctl.c1" += "b.b.buf.in.a" "b.b.buf.inack_ctl.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[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.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._in_v" "b.b.buf.in_v_buf.a" += "b.b.buf._in_v" "b.b.buf.vc.out" += "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._out_a_BX_t[0]" "b.b.buf.out_a_B_buf_f.out[0]" += "b.b.buf._out_a_BX_t[1]" "b.b.buf.out_a_B_buf_f.out[1]" += "b.b.buf._out_a_BX_t[2]" "b.b.buf.out_a_B_buf_f.out[2]" += "b.b.buf._out_a_BX_t[3]" "b.b.buf.out_a_B_buf_f.out[3]" += "b.b.buf._out_a_BX_t[4]" "b.b.buf.out_a_B_buf_f.out[4]" += "b.b.buf._out_a_BX_t[0]" "b.b.buf.t_buf_func[4].c2" += "b.b.buf._out_a_BX_t[0]" "b.b.buf.t_buf_func[3].c2" += "b.b.buf._out_a_BX_t[0]" "b.b.buf.t_buf_func[2].c2" += "b.b.buf._out_a_BX_t[0]" "b.b.buf.t_buf_func[1].c2" += "b.b.buf._out_a_BX_t[0]" "b.b.buf.t_buf_func[0].c2" += "b.b.buf._out_a_BX_t[0]" "b.b.buf._out_a_BX_t[4]" += "b.b.buf._out_a_BX_t[0]" "b.b.buf._out_a_BX_t[3]" += "b.b.buf._out_a_BX_t[0]" "b.b.buf._out_a_BX_t[2]" += "b.b.buf._out_a_BX_t[0]" "b.b.buf._out_a_BX_t[1]" +"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[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[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._out_a_B" "b.b.buf.out_a_B_buf_t.in" += "b.b.buf._out_a_B" "b.b.buf.out_a_B_buf_f.in" += "b.b.buf._out_a_B" "b.b.buf.out_a_inv.y" += "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[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.t_buf_func[4].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.t_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.t_buf_func[3].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.t_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.t_buf_func[2].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.t_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.t_buf_func[1].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.t_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.t_buf_func[0].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.t_buf_func[0].pr_B" += "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].c2"|~"b.b.buf.t_buf_func[0].pr_B"->"b.b.buf.t_buf_func[0]._y"+ +"b.b.buf.t_buf_func[0].c1"&"b.b.buf.t_buf_func[0].c2"&"b.b.buf.t_buf_func[0].n1"&"b.b.buf.t_buf_func[0].sr_B"->"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].c2"|~"b.b.buf.t_buf_func[1].pr_B"->"b.b.buf.t_buf_func[1]._y"+ +"b.b.buf.t_buf_func[1].c1"&"b.b.buf.t_buf_func[1].c2"&"b.b.buf.t_buf_func[1].n1"&"b.b.buf.t_buf_func[1].sr_B"->"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].c2"|~"b.b.buf.t_buf_func[2].pr_B"->"b.b.buf.t_buf_func[2]._y"+ +"b.b.buf.t_buf_func[2].c1"&"b.b.buf.t_buf_func[2].c2"&"b.b.buf.t_buf_func[2].n1"&"b.b.buf.t_buf_func[2].sr_B"->"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].c2"|~"b.b.buf.t_buf_func[3].pr_B"->"b.b.buf.t_buf_func[3]._y"+ +"b.b.buf.t_buf_func[3].c1"&"b.b.buf.t_buf_func[3].c2"&"b.b.buf.t_buf_func[3].n1"&"b.b.buf.t_buf_func[3].sr_B"->"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].c2"|~"b.b.buf.t_buf_func[4].pr_B"->"b.b.buf.t_buf_func[4]._y"+ +"b.b.buf.t_buf_func[4].c1"&"b.b.buf.t_buf_func[4].c2"&"b.b.buf.t_buf_func[4].n1"&"b.b.buf.t_buf_func[4].sr_B"->"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.f_buf_func[0].c1"&~"b.b.buf.f_buf_func[0].c2"|~"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].c2"&"b.b.buf.f_buf_func[0].n1"&"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].c2"|~"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].c2"&"b.b.buf.f_buf_func[1].n1"&"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].c2"|~"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].c2"&"b.b.buf.f_buf_func[2].n1"&"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].c2"|~"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].c2"&"b.b.buf.f_buf_func[3].n1"&"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].c2"|~"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].c2"&"b.b.buf.f_buf_func[4].n1"&"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._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[0]" "b.b.buf.t_buf_func[4].c1" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[3].c1" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[2].c1" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[1].c1" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[0].c1" += "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.out_vtree.ct.C2Els[0].c1"&~"b.b.out_vtree.ct.C2Els[0].c2"->"b.b.out_vtree.ct.C2Els[0]._y"+ +"b.b.out_vtree.ct.C2Els[0].c1"&"b.b.out_vtree.ct.C2Els[0].c2"->"b.b.out_vtree.ct.C2Els[0]._y"- +"b.b.out_vtree.ct.C2Els[0]._y"->"b.b.out_vtree.ct.C2Els[0].y"- +~("b.b.out_vtree.ct.C2Els[0]._y")->"b.b.out_vtree.ct.C2Els[0].y"+ +~"b.b.out_vtree.ct.C2Els[1].c1"&~"b.b.out_vtree.ct.C2Els[1].c2"->"b.b.out_vtree.ct.C2Els[1]._y"+ +"b.b.out_vtree.ct.C2Els[1].c1"&"b.b.out_vtree.ct.C2Els[1].c2"->"b.b.out_vtree.ct.C2Els[1]._y"- +"b.b.out_vtree.ct.C2Els[1]._y"->"b.b.out_vtree.ct.C2Els[1].y"- +~("b.b.out_vtree.ct.C2Els[1]._y")->"b.b.out_vtree.ct.C2Els[1].y"+ +~"b.b.out_vtree.ct.C3Els[0].c1"&~"b.b.out_vtree.ct.C3Els[0].c2"&~"b.b.out_vtree.ct.C3Els[0].c3"->"b.b.out_vtree.ct.C3Els[0]._y"+ +"b.b.out_vtree.ct.C3Els[0].c1"&"b.b.out_vtree.ct.C3Els[0].c2"&"b.b.out_vtree.ct.C3Els[0].c3"->"b.b.out_vtree.ct.C3Els[0]._y"- +"b.b.out_vtree.ct.C3Els[0]._y"->"b.b.out_vtree.ct.C3Els[0].y"- +~("b.b.out_vtree.ct.C3Els[0]._y")->"b.b.out_vtree.ct.C3Els[0].y"+ += "b.b.out_vtree.ct.tmp[5]" "b.b.out_vtree.ct.C2Els[1].c1" += "b.b.out_vtree.ct.tmp[5]" "b.b.out_vtree.ct.C2Els[0].y" += "b.b.out_vtree.ct.tmp[6]" "b.b.out_vtree.ct.C2Els[1].c2" += "b.b.out_vtree.ct.tmp[6]" "b.b.out_vtree.ct.C3Els[0].y" += "b.b.out_vtree.ct.supply.vdd" "b.b.out_vtree.ct.C3Els[0].vdd" += "b.b.out_vtree.ct.supply.vdd" "b.b.out_vtree.ct.C2Els[1].vdd" += "b.b.out_vtree.ct.supply.vdd" "b.b.out_vtree.ct.C2Els[0].vdd" += "b.b.out_vtree.ct.supply.vss" "b.b.out_vtree.ct.C3Els[0].vss" += "b.b.out_vtree.ct.supply.vss" "b.b.out_vtree.ct.C2Els[1].vss" += "b.b.out_vtree.ct.supply.vss" "b.b.out_vtree.ct.C2Els[0].vss" += "b.b.out_vtree.ct.in[0]" "b.b.out_vtree.ct.C2Els[0].c1" += "b.b.out_vtree.ct.in[0]" "b.b.out_vtree.ct.tmp[0]" += "b.b.out_vtree.ct.in[1]" "b.b.out_vtree.ct.C2Els[0].c2" += "b.b.out_vtree.ct.in[1]" "b.b.out_vtree.ct.tmp[1]" += "b.b.out_vtree.ct.in[2]" "b.b.out_vtree.ct.C3Els[0].c1" += "b.b.out_vtree.ct.in[2]" "b.b.out_vtree.ct.tmp[2]" += "b.b.out_vtree.ct.in[3]" "b.b.out_vtree.ct.C3Els[0].c2" += "b.b.out_vtree.ct.in[3]" "b.b.out_vtree.ct.tmp[3]" += "b.b.out_vtree.ct.in[4]" "b.b.out_vtree.ct.C3Els[0].c3" += "b.b.out_vtree.ct.in[4]" "b.b.out_vtree.ct.tmp[4]" += "b.b.out_vtree.ct.out" "b.b.out_vtree.ct.C2Els[1].y" += "b.b.out_vtree.ct.out" "b.b.out_vtree.ct.tmp[7]" += "b.b.out_vtree.ct.in[0]" "b.b.out_vtree.OR2_tf[0].y" += "b.b.out_vtree.ct.in[1]" "b.b.out_vtree.OR2_tf[1].y" += "b.b.out_vtree.ct.in[2]" "b.b.out_vtree.OR2_tf[2].y" += "b.b.out_vtree.ct.in[3]" "b.b.out_vtree.OR2_tf[3].y" += "b.b.out_vtree.ct.in[4]" "b.b.out_vtree.OR2_tf[4].y" +"b.b.out_vtree.OR2_tf[0].a"|"b.b.out_vtree.OR2_tf[0].b"->"b.b.out_vtree.OR2_tf[0]._y"- +~("b.b.out_vtree.OR2_tf[0].a"|"b.b.out_vtree.OR2_tf[0].b")->"b.b.out_vtree.OR2_tf[0]._y"+ +"b.b.out_vtree.OR2_tf[0]._y"->"b.b.out_vtree.OR2_tf[0].y"- +~("b.b.out_vtree.OR2_tf[0]._y")->"b.b.out_vtree.OR2_tf[0].y"+ +"b.b.out_vtree.OR2_tf[1].a"|"b.b.out_vtree.OR2_tf[1].b"->"b.b.out_vtree.OR2_tf[1]._y"- +~("b.b.out_vtree.OR2_tf[1].a"|"b.b.out_vtree.OR2_tf[1].b")->"b.b.out_vtree.OR2_tf[1]._y"+ +"b.b.out_vtree.OR2_tf[1]._y"->"b.b.out_vtree.OR2_tf[1].y"- +~("b.b.out_vtree.OR2_tf[1]._y")->"b.b.out_vtree.OR2_tf[1].y"+ +"b.b.out_vtree.OR2_tf[2].a"|"b.b.out_vtree.OR2_tf[2].b"->"b.b.out_vtree.OR2_tf[2]._y"- +~("b.b.out_vtree.OR2_tf[2].a"|"b.b.out_vtree.OR2_tf[2].b")->"b.b.out_vtree.OR2_tf[2]._y"+ +"b.b.out_vtree.OR2_tf[2]._y"->"b.b.out_vtree.OR2_tf[2].y"- +~("b.b.out_vtree.OR2_tf[2]._y")->"b.b.out_vtree.OR2_tf[2].y"+ +"b.b.out_vtree.OR2_tf[3].a"|"b.b.out_vtree.OR2_tf[3].b"->"b.b.out_vtree.OR2_tf[3]._y"- +~("b.b.out_vtree.OR2_tf[3].a"|"b.b.out_vtree.OR2_tf[3].b")->"b.b.out_vtree.OR2_tf[3]._y"+ +"b.b.out_vtree.OR2_tf[3]._y"->"b.b.out_vtree.OR2_tf[3].y"- +~("b.b.out_vtree.OR2_tf[3]._y")->"b.b.out_vtree.OR2_tf[3].y"+ +"b.b.out_vtree.OR2_tf[4].a"|"b.b.out_vtree.OR2_tf[4].b"->"b.b.out_vtree.OR2_tf[4]._y"- +~("b.b.out_vtree.OR2_tf[4].a"|"b.b.out_vtree.OR2_tf[4].b")->"b.b.out_vtree.OR2_tf[4]._y"+ +"b.b.out_vtree.OR2_tf[4]._y"->"b.b.out_vtree.OR2_tf[4].y"- +~("b.b.out_vtree.OR2_tf[4]._y")->"b.b.out_vtree.OR2_tf[4].y"+ += "b.b.out_vtree.supply.vss" "b.b.out_vtree.ct.supply.vss" += "b.b.out_vtree.supply.vdd" "b.b.out_vtree.ct.supply.vdd" += "b.b.out_vtree.supply.vdd" "b.b.out_vtree.OR2_tf[4].vdd" += "b.b.out_vtree.supply.vdd" "b.b.out_vtree.OR2_tf[3].vdd" += "b.b.out_vtree.supply.vdd" "b.b.out_vtree.OR2_tf[2].vdd" += "b.b.out_vtree.supply.vdd" "b.b.out_vtree.OR2_tf[1].vdd" += "b.b.out_vtree.supply.vdd" "b.b.out_vtree.OR2_tf[0].vdd" += "b.b.out_vtree.supply.vss" "b.b.out_vtree.OR2_tf[4].vss" += "b.b.out_vtree.supply.vss" "b.b.out_vtree.OR2_tf[3].vss" += "b.b.out_vtree.supply.vss" "b.b.out_vtree.OR2_tf[2].vss" += "b.b.out_vtree.supply.vss" "b.b.out_vtree.OR2_tf[1].vss" += "b.b.out_vtree.supply.vss" "b.b.out_vtree.OR2_tf[0].vss" += "b.b.out_vtree.out" "b.b.out_vtree.ct.out" += "b.b.out_vtree.in.d[0].d[0]" "b.b.out_vtree.in.d[0].f" += "b.b.out_vtree.in.d[0].d[1]" "b.b.out_vtree.in.d[0].t" += "b.b.out_vtree.in.d[1].d[0]" "b.b.out_vtree.in.d[1].f" += "b.b.out_vtree.in.d[1].d[1]" "b.b.out_vtree.in.d[1].t" += "b.b.out_vtree.in.d[2].d[0]" "b.b.out_vtree.in.d[2].f" += "b.b.out_vtree.in.d[2].d[1]" "b.b.out_vtree.in.d[2].t" += "b.b.out_vtree.in.d[3].d[0]" "b.b.out_vtree.in.d[3].f" += "b.b.out_vtree.in.d[3].d[1]" "b.b.out_vtree.in.d[3].t" += "b.b.out_vtree.in.d[4].d[0]" "b.b.out_vtree.in.d[4].f" += "b.b.out_vtree.in.d[4].d[1]" "b.b.out_vtree.in.d[4].t" += "b.b.out_vtree.in.d[4].d[0]" "b.b.out_vtree.in.d[4].f" += "b.b.out_vtree.in.d[4].d[1]" "b.b.out_vtree.in.d[4].t" += "b.b.out_vtree.in.d[3].d[0]" "b.b.out_vtree.in.d[3].f" += "b.b.out_vtree.in.d[3].d[1]" "b.b.out_vtree.in.d[3].t" += "b.b.out_vtree.in.d[2].d[0]" "b.b.out_vtree.in.d[2].f" += "b.b.out_vtree.in.d[2].d[1]" "b.b.out_vtree.in.d[2].t" += "b.b.out_vtree.in.d[1].d[0]" "b.b.out_vtree.in.d[1].f" += "b.b.out_vtree.in.d[1].d[1]" "b.b.out_vtree.in.d[1].t" += "b.b.out_vtree.in.d[0].d[0]" "b.b.out_vtree.in.d[0].f" += "b.b.out_vtree.in.d[0].d[1]" "b.b.out_vtree.in.d[0].t" += "b.b.out_vtree.in.d[4].d[0]" "b.b.out_vtree.OR2_tf[4].b" += "b.b.out_vtree.in.d[4].d[0]" "b.b.out_vtree.in.d[4].f" += "b.b.out_vtree.in.d[4].d[1]" "b.b.out_vtree.OR2_tf[4].a" += "b.b.out_vtree.in.d[4].d[1]" "b.b.out_vtree.in.d[4].t" += "b.b.out_vtree.in.d[3].d[0]" "b.b.out_vtree.OR2_tf[3].b" += "b.b.out_vtree.in.d[3].d[0]" "b.b.out_vtree.in.d[3].f" += "b.b.out_vtree.in.d[3].d[1]" "b.b.out_vtree.OR2_tf[3].a" += "b.b.out_vtree.in.d[3].d[1]" "b.b.out_vtree.in.d[3].t" += "b.b.out_vtree.in.d[2].d[0]" "b.b.out_vtree.OR2_tf[2].b" += "b.b.out_vtree.in.d[2].d[0]" "b.b.out_vtree.in.d[2].f" += "b.b.out_vtree.in.d[2].d[1]" "b.b.out_vtree.OR2_tf[2].a" += "b.b.out_vtree.in.d[2].d[1]" "b.b.out_vtree.in.d[2].t" += "b.b.out_vtree.in.d[1].d[0]" "b.b.out_vtree.OR2_tf[1].b" += "b.b.out_vtree.in.d[1].d[0]" "b.b.out_vtree.in.d[1].f" += "b.b.out_vtree.in.d[1].d[1]" "b.b.out_vtree.OR2_tf[1].a" += "b.b.out_vtree.in.d[1].d[1]" "b.b.out_vtree.in.d[1].t" += "b.b.out_vtree.in.d[0].d[0]" "b.b.out_vtree.OR2_tf[0].b" += "b.b.out_vtree.in.d[0].d[0]" "b.b.out_vtree.in.d[0].f" += "b.b.out_vtree.in.d[0].d[1]" "b.b.out_vtree.OR2_tf[0].a" += "b.b.out_vtree.in.d[0].d[1]" "b.b.out_vtree.in.d[0].t" += "b.b.out_vtree.in.d[4].d[0]" "b.b.buf.out.d.d[4].f" += "b.b.out_vtree.in.d[4].d[0]" "b.b.buf.out.d.d[4].d[0]" += "b.b.out_vtree.in.d[4].d[0]" "b.b.out_vtree.in.d[4].f" += "b.b.out_vtree.in.d[3].d[0]" "b.b.buf.out.d.d[3].f" += "b.b.out_vtree.in.d[3].d[0]" "b.b.buf.out.d.d[3].d[0]" += "b.b.out_vtree.in.d[3].d[0]" "b.b.out_vtree.in.d[3].f" += "b.b.out_vtree.in.d[2].d[0]" "b.b.buf.out.d.d[2].f" += "b.b.out_vtree.in.d[2].d[0]" "b.b.buf.out.d.d[2].d[0]" += "b.b.out_vtree.in.d[2].d[0]" "b.b.out_vtree.in.d[2].f" += "b.b.out_vtree.in.d[1].d[0]" "b.b.buf.out.d.d[1].f" += "b.b.out_vtree.in.d[1].d[0]" "b.b.buf.out.d.d[1].d[0]" += "b.b.out_vtree.in.d[1].d[0]" "b.b.out_vtree.in.d[1].f" += "b.b.out_vtree.in.d[0].d[0]" "b.b.buf.out.d.d[0].f" += "b.b.out_vtree.in.d[0].d[0]" "b.b.buf.out.d.d[0].d[0]" += "b.b.out_vtree.in.d[0].d[0]" "b.b.out_vtree.in.d[0].f" += "Vdd" "b.b.supply.vdd" += "GND" "b.b.supply.vss" += "b._reset_B" "b.b.reset_B" += "b.dly_cfg[0]" "b.b.dly_cfg[0]" += "b.dly_cfg[1]" "b.b.dly_cfg[1]" += "b.dly_cfg[2]" "b.b.dly_cfg[2]" += "b.dly_cfg[3]" "b.b.dly_cfg[3]" +timing("b.out.a"-,"b.out.d[0]","b.out.r"+) +timing("b.out.a"-,"b.out.d[1]","b.out.r"+) +timing("b.out.a"-,"b.out.d[2]","b.out.r"+) +timing("b.out.a"-,"b.out.d[3]","b.out.r"+) +timing("b.out.a"-,"b.out.d[4]","b.out.r"+) += "b.out.a" "b.b.out.a" += "b.out.r" "b.b.out.r" += "b.out.d[0]" "b.b.out.d[0]" += "b.out.d[1]" "b.b.out.d[1]" += "b.out.d[2]" "b.b.out.d[2]" += "b.out.d[3]" "b.b.out.d[3]" += "b.out.d[4]" "b.b.out.d[4]" += "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[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[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[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" diff --git a/test/unit_tests/qdi2bd_5/test.act b/test/unit_tests/qdi2bd_5/test.act new file mode 100644 index 0000000..38df759 --- /dev/null +++ b/test/unit_tests/qdi2bd_5/test.act @@ -0,0 +1,45 @@ +/************************************************************************* + * + * This file is part of ACT dataflow neuro library. + * It's the testing facility for cell_lib_std.act + * + * Copyright (c) 2022 University of Groningen - Ole Richter + * Copyright (c) 2022 University of Groningen - Hugh Greatorex + * Copyright (c) 2022 University of Groningen - Michele Mastella + * Copyright (c) 2022 University of Groningen - Madison Cotteret + * + * This source describes Open Hardware and is licensed under the CERN-OHL-W v2 or later + * + * You may redistribute and modify this documentation and make products + * using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl). + * This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED + * WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY + * AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2 + * for applicable conditions. + * + * Source location: https://git.web.rug.nl/bics/actlib_dataflow_neuro + * + * As per CERN-OHL-W v2 section 4.1, should You produce hardware based on + * these sources, You must maintain the Source Location visible in its + * documentation. + * + ************************************************************************** + */ + +import "../../dataflow_neuro/interfaces.act"; +import globals; + +open tmpl::dataflow_neuro; + +defproc qdi2bd_5(avMx1of2<5> in; bd<5> out; bool? dly_cfg[4]) +{ + bool _reset_B; + prs { + Reset => _reset_B- + } + qdi2bd<5,4> b(.in = in, .out = out, .reset_B = _reset_B, .dly_cfg = dly_cfg); + b.supply.vdd = Vdd; + b.supply.vss = GND; +} + +qdi2bd_5 b; \ No newline at end of file diff --git a/test/unit_tests/qdi2bd_5/test.prsim b/test/unit_tests/qdi2bd_5/test.prsim new file mode 100644 index 0000000..0f2325f --- /dev/null +++ b/test/unit_tests/qdi2bd_5/test.prsim @@ -0,0 +1,92 @@ +watchall + +set b.out.a 0 +set b.in.a 0 +set-qdi-channel-neutral "b.in" 5 + +set b.dly_cfg[0] 1 +set b.dly_cfg[1] 1 +set b.dly_cfg[2] 1 +set b.dly_cfg[3] 1 + +set Reset 0 +cycle + +system "echo '[] set Reset 1'" +set Reset 1 +cycle + +system "echo '[] set Reset 0'" +set Reset 0 +mode run +cycle +status X + +assert b.in.a 0 +assert b.out.r 0 + +system "echo '[] Reset finished, setting data'" +set-qdi-channel-valid "b.in" 5 22 +cycle +assert b.out.r 1 +assert b.out.d[0] 0 +assert b.out.d[1] 1 +assert b.out.d[2] 1 +assert b.out.d[3] 0 +assert b.out.d[4] 1 +assert b.in.a 1 + +system "echo '[] Removing input data'" +set-qdi-channel-neutral "b.in" 5 +cycle +assert b.out.r 1 +assert b.out.d[0] 0 +assert b.out.d[1] 1 +assert b.out.d[2] 1 +assert b.out.d[3] 0 +assert b.out.d[4] 1 + +system "echo '[] Receiving out ack'" +set b.out.a 1 +cycle +assert b.out.r 0 +assert b.in.a 0 + +system "echo '[] Out ack removed'" +set b.out.a 0 +cycle + + + +system "echo '[] Again! Setting data'" +set-qdi-channel-valid "b.in" 5 31 +cycle +assert b.out.r 1 +assert b.out.d[0] 1 +assert b.out.d[1] 1 +assert b.out.d[2] 1 +assert b.out.d[3] 1 +assert b.out.d[4] 1 +assert b.in.a 1 + +system "echo '[] Removing input data'" +set-qdi-channel-neutral "b.in" 5 +cycle +assert b.out.r 1 +assert b.out.d[0] 1 +assert b.out.d[1] 1 +assert b.out.d[2] 1 +assert b.out.d[3] 1 +assert b.out.d[4] 1 + +system "echo '[] Receiving out ack'" +set b.out.a 1 +cycle +assert b.out.r 0 +assert b.in.a 0 + +system "echo '[] Out ack removed'" +set b.out.a 0 +cycle + +