From 3587672e69acdc1ed4d28aa4943f591f948b0805 Mon Sep 17 00:00:00 2001 From: alexmadison Date: Fri, 25 Mar 2022 17:15:03 +0100 Subject: [PATCH] qdi2bd ready for rev --- dataflow_neuro/interfaces.act | 30 + test/unit_tests/qdi2bd_5/run/prsim.out | 694 ++++++++++++++++ test/unit_tests/qdi2bd_5/run/prsim.pdf | Bin 0 -> 35412 bytes test/unit_tests/qdi2bd_5/run/test.prs | 1052 ++++++++++++++++++++++++ test/unit_tests/qdi2bd_5/test.act | 45 + test/unit_tests/qdi2bd_5/test.prsim | 92 +++ 6 files changed, 1913 insertions(+) create mode 100644 test/unit_tests/qdi2bd_5/run/prsim.out create mode 100644 test/unit_tests/qdi2bd_5/run/prsim.pdf create mode 100644 test/unit_tests/qdi2bd_5/run/test.prs create mode 100644 test/unit_tests/qdi2bd_5/test.act create mode 100644 test/unit_tests/qdi2bd_5/test.prsim 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 0000000000000000000000000000000000000000..02afed528e3632161659b3531a50685cc7f66f9e GIT binary patch literal 35412 zcmbSyWmH|+vMw4txVt-S+}+)SySoR6KyY{0;O_1Yf#4q8-7VwF^gPLRGglPffbg#VwI@84VH-rKxA)Z1;A= zVpR2TFePFXF?2Dsu{S5;=Z7`5Gx;sZ`5zO+++8G8Tnt@IiCF)fByMl#Ld5dtwW6Vm zi>Z?x5!>%uSVl!Bdt((-7b0z-9Z_+hep7cBB1S1&piSX_{fhkSSBglNh*8DD(8SWt zoQVC;=^6?~R;I=-L>zx8|9^0p0KkENJ0N6dXYb++Gy$A10)%2}2fX9@Q-Oq&y{iM! zZ#P9$h!{mpKU*4`DoX%O1MgIw4DFm944q8vj6MGC`JeJYLyU5!CYFZ6_U=Hvzl||* zu>%;mSlO6ZI9S-3*@-yV01V7bY@EP9CU&;prWJo{a`}@;SVm=2XM0yCV<5A?sr$do z{wDiBX#I`y-)@Lo+5nj&VidOlQY&g|Y;OWw30YG+a~BIDrr!&u{ClFai<7CLEv$Ry znU8J^*>LUJ^IQ0R2Ex+d%bR;5k#>!KWVuWaSRh=09)pLvo>G&f)MfVr*D^~IWm&mq zJ*n$-A3hQpCuMoQytt^DxUXn(_sd&Wx3`;P%Erz{x8BR%;^RZR+eg3Gt*nbddOlM^ z+P628x2k3O-h*Tw*v!`({f*A&`?dGh$EoC15r#@uLdHSHs^skL$1!!x6fFj>0`h?+ zOyJazz z3u702pMoyl9e!n;w`0!+NjE% zlzI~Hb3ae}QH_53VYSM_mO6!d>RjX;xkTTnvh{w!3E`hVFJaI!9!y) zYH%=P+mcidZbpV7)wU$~Z=;1e&AcRUCDgVW5|@(1YT6<~QTz~?XJIDO4VQq=$O}ed zrFk0OlLG7YwJ+C9A2n}KydEGwAUZl$wPYW~HVTT`R#Bf@>*~Pv>Q7^N9UA76?;}Ai z8HX~|t~b&XH^fqL)0e2+?g_JE=Aa06aNpw4X<+E*re2b5VGl*63uwSKnv^YHJT3}kqsn#MpBr7~r=%4W1CqL@?iD!%{S_Tz)=?cqKT^qhsv2CzZ zy>aw_h`5DwOpTQ4s@iF59aU<7^byLLUIXL;#M?hp-J0-PL$NlUcXpRBP)K7VlaaJx zKf7q4w8bS>n8egFEFL!VzJS%MZy;F0FSX`VvNobll?Xd1Wsabe!@(KHjcT58oD?^$ z-$X*S8C`;Ac}YX-D__eXR1Sft!xQWXM^uRoew8SWNq0b!1-(^l{)ndQ>zoEop-9z0 zS(f8oikwg6FvmV0z4AeSX@KT5_@OV*;+TV~;_L;97?4SG3s%e=FcxoYBw%WxT2jlc z5yTwm5(IxRqInF(ID*X9fn{59_?$<60O;{}W?k+1HIkH!Ls)b`I-oGPdkG z1#)9|TwFrc-&ejbT4SMUft3MmUYk3oP|oT2q@UKtb^!SbJ&;5+&k4Rj5INjH!wR>7WJD-o zLV@{HM{P&}M%3;{D4V%&TSDa?FKi|i1%|nbDmP@EpDwJ}lFNZC!$c=JuCP|RTWY?S_X&Bys$Wxt?IGKqcLtlw z$2zpCpS)?jCNCzwF!ZvNjODJr#WUFr_DR!3oEYp6mlPy2IqXF$73(&9 zUfiPlq#>%xq%oVd$YB6K%hCT@=PNFS1YJf%^`OLM>yqQrx1&SBoIx zTrJcLgAdKQ#J}R%;)%6rKE#wL#R!p$Ge0^DnnDPK=miH2Sbp~qch%~~1}$S})eH3P z1>>JOo2@a8VsN3w&O%!4U8F~J5q5w!mlBDniL=(?gH*!|SNKu7T54*V$BsN<)vGDc zc>f1~EanN7!4@GFFPQPPyEO7>G+2#U_}&3HDsrSNQ(Hv67@>EZ;-i~FXi-WMX)vQ- zSbJShnZXtvCpz@R#mISv6)TtU?9~vsxkX-ywm4mx6^vJwS*$I|`VC4**^E4LokQfa zjY5)K3yy|pA{P`D^Wl5N>`64y=y)T!D6HAmEAntWC+P`}LXr}s2qUmFRZJ`Kz@uP_ zr6Gv|*mS+huvk1z6Z3XJwpMhdxy=mjgRda*b!M*ybD43lz46;cFY)#h13!jKdwk5( zYUf%Fr*N^MI2G9(ALYeMImBI*jNAly;^Kw;C`?MnA58g~)?5~HO0&_RoU%kIc=KDE zT8))Q9RMROao)S$)96UM*u4Ppo+;!M+W)F;T^pt!hDW_v*#8qnCO2js4M_~#aj-#) zZf&#_>5!xWbl}fay~60Dyciq9s7^0i9TW&?c~JI1&%Cx+`cUMCmbcp*nEU8ugVs=4 z4U|{egH5IlMExGJq7=hADRe-vAeQp+9JqA8`E$-)4w2uaB`HP0I&TCv#S;Pi70F!w za9QS;m4~my`{nCSu5ejwsnRe_3%-M*a^-?*hfhxBFGe84sXl>fl<4LN2d1YNf4^v$dPc-|K-{C^Sa|6Oa=54 zr|ugSkT?lDM+bwFyrT7K5U{u)D{M>X3@nrx!m8jvG3AG%7s3a+uc4o7j?AKk$oFBA zrZI-Fw9q5IATzNY2D6j}E=5MrD)T_9p@u6o0t3g;H1A$_ljJFdHhs!oqUtEWS;9RE^gE^Kc&@CLZ-~A0e&go~X-K z6upn-$rbo$5gNnev)Sih<-IOEhe_9J1qoDR4f>+Rf%&IZIstAaHYWS$IqGDRxrmjc zI+`;bgCw%8g(nukXBZGL#A|kgB|JTB99Rl2L8Wg261=d9I|C`Ss_e8Q|5fOSzcBcg z%y^JX&ye2%xfhh}z7`RN7A|0lNga*aa4#|&tY{Ff6`^?{#$psde@U!?n92lgJb>iw z`rguA?Y7j5HVsrmMn{mH7q*Qhlp&b4ClE&H=-&xTuC;7$v~R`4=@Z<E+)XiVr6m=XOd|6=Ab7gjU_q7!PiNqJt~8VT}Slwt;$nnW2jK>RELa=OEq; z255-*^s(p&3onmFZ6I73j3TvFDQ5p@Jd2qy9X+#EVV?`TnQkhkSJ(MhAgghTiy1z3vCLhYHi+Rw23z!#KP`6AowsKm|4hoOq`@3vYCYO^0wDh@brINgZQ4R_Z;( zzv9ovP{LW9rOr%L9NLA)1J~StHoF_TN>r4PD`KXQMovv)jftM;|G`<|Af^G?4@UoK ze4K;svi;oZI+?{c1T;xTUQ6Jsys4}P8wX^0G9`j_!l))ZXZasBj6@p=K_!f{l-+02 z!ybbLEc)c0JNFCSPk8v#D7byqwBN;-Uj&&JOrnzod9)lUEj4Vm=s1+wy`E5rqb=NE zj2WgrI!2=!ih&Q$5=8g`AFw5K!DO;Ks?3Uk+oS6Jq(mS4DwuDHjqCQgD8_A2H79Yd z$y9GLW6St~wO1-#>(Wqm9q$hSyslkCJotVQ)q^%cD#I_VlVG-|iv5=*m1G=Pt6L_= z`Srw#^laV=T?*^Q?TS1tV3A936bnruJ)i@R&r0eru8A5$@(F^h)bsW*+*rH`B2aHH zoFdyi4BR&8SzHhqQshUPb@$<7Yw2LW)_{!c>OQ#^k0(5D6g316J?1|A_mnw|?Sx45 zVXR%a7?(1WTt0^dBlk$sf>j?}W{Q(Y|A{T^x@@)%0+JvlQQS!^_)vpV8LJbkg(iG~s~9GWH~1H9FQgg6|$$3f3I-ofnvhE~0_p zhf7S0U$5Nd^NsB`4nr+IL+gT}QFBhO9>AECZ!ROSf#13&-~Ha8XpgXz>7XE13rWk#AHNh z@rVHniRy5b-tzFIpcP|fj2%98xyp_M)EJk(5#0q0EF2>7%GTy-Y_Rh#hdAFp=omr# z{2mbGLC2^r@u^#QZ-$_92!ACG8hET%lu3$2_9vD|E@-3VSRIB_ImIZw4p3Tcu6^)G zOEiM4WyQ%vtyYJxNA@ZoK;X0HW?CeP)Dog!89`S@ryrviWE5LvSJ)(NK@Fa z^~NegP8&MTo4h}>tib1%VZA=HOZEL^8KCtF6H!*As&q_dfKU^!W?b2*Tz}ru1Fl=; zY)L%__{2Kxi;4r2pc2{~Prr&*2XkeZbn`IcH20-Rj|a$6lngfACkFM&Ixz`&Ektr zHc2@9tjFg}UC-@gN?N^^-ubLzo2s~m$YhyBEhnE`W1`huEMlC#m^ZQ=>|v@1Xh5!v z;wV-eGQab*q6ZPPTk2Dk=?7DU%vS8U3UdU1;gD2KJyk-~Limr4Q@%|K&Nmeec{kK) z9y%rTlZDs>7x`E|k&YBa-L|RJpPm$N6mFgRJ3eywe!MxL&r8`(hSx+nXjwi^1I-*rD z&jTMfbI6r3Yg`^}O|?cl`Elc_RU>-iGX@Om!fJHpxzjx2#aaRp^0rj`t{mj$*}w#t zB&B7`No#T1d4L}?p6bL#>^qvNu&k<#aSJF4PS-r7si)SuVNXM&OUB|g|IBV32f0>^ z5h3N|qG%|YdMK8FY-u2u%L>V|F(a8Xnid?j?}T&DayL8Yx*vwKW}#JDPD(gnPlzb8 zE#7eO45v_TSK@w6&t_kep8=bC*CZzf*%TfJrdA-S-Ux?lU6j<0+^C?_G5 zuB!-7bIaN{o}BbZHu=T*I-&9?oywGr)I*JGb2MB}WsUb@SSl;dgRF0jvlR6@8E!IA z4L%z8{0mdi9bS1u5p1~;UDvTvQ29boWMjO8dbzaRJk-7Sew^NMt6N|%iJfvT(>}cg zapB6U#>H?LC43G=T(X0h`qWQ~3k)XC0RY(?o$j~7Vb1tibLnb-Ht;31@jyd#{)7kw zOerz;IrHth(!=!K3ahw4i%B157adYe5B^gC;g&~~3Hi+_=A?BX0`lTeOE$f2E`YRI zNfsZSoqHN=Iu9B%h!)+Lu(0Yr(X;H%Epsn#eY9U}G0V-l4IVO^QfLXj(4Z&k`AI2; z3Ur9mAIhkfGF|bD6>E0SBDf;BxOZS$Lw0gq4PI3pknAg27BJF}AntdfqucCds>#ssuM#DEx?07lmw&KEJv}ut@Ug1h#WakB~T47Ll)j zJ_5xm#~vLu?AlQ(3oJ<7Js>Xo}|D>GB93^6?1B@28;Ft$E7-UXHi07 z5|2L>N4W!(Ci^98&DM&SHeD0EZe5p=x%yuzuV z91VKk#$7(jS~63Cmm{P-f(rHhbZj8u+}dggL}uTVlp+e8 zb312zU@h&MN$@r-6;1kcsL&#BJi=3=BZ-l@Rk+g>F9vzXeuu@H+2=?qVHQh}n^SQE zlmHJbKIln5GExru>=1#zWKlf!`oJyaLtfn)R~46I!*6Bvl%?YBv|ppBKebskH<}F% zG{0R+zQgfm25RCA+PzVFMJl zQU(|d2!fkxGP9Z>Pn4`_efUyrm&a9BlV3dde|~c1BeGK?Js5rE%!`mOeEM;72|Yd@ zz9ESy;}(h0WU@KwtCL~gI-7^=bSozZ*_0j!HV;f8op9LJl*HAalgi34Pd$E!ys|pX zRypJ?koo0-*p8VdJcA?Ij=54GOr8?kh0^Pgn4PCn;6??^Ob^JtVJ6UGR#8bLfS4JM zdI2LuQ~A@QvvATL$&tFW4~4Z9y}4e>bXbvp6qvifL)qyKC^*pt#q!8K+;-h}u>b`0 zRC=Qi@pR6jWgT}_D_XEtNhFYEqH&cpm<$V|3GGZr6{WTB+0DFj0;n8UL)4}TFJHi9 z$Aou;6sbXEm$y7`7Cha3d+2p8dgJr&dpz{I9a(hb_YqSaQ}~AL4Y}^@;j*0}R3Bw2 zk!UC$1k+^70v1%Raa0*85WpY_RPmatPj5P88wxboXYlQlBuU-+Yqo-L2FdMP!T0LA z6pFILaT+cBOB}y9N$a=TL^U`yv+G)0{VUI|N?wK*w2y`vEP#sBs#{}t=e~MgO3TlK z4+;7wM-r<~Zh}jkf~&PwQQkw1XRzqb@4R9p+kj}-P#|g?Sr_?}lZL@0zoZWvShrE| zX$(q6L%_C-VJ66xZjPgqc)X2DADH6uo*p&ZxNm&8dEht&_4+)qzMy89k4ulFTjny| zQKuwA?a^4Ss+MUm4BXlIhj;if@fcpxK4`3$#v(b8U-%e z`gCmdVlZh>a8w#6QC{^hoH|E9Fmcd(FtS^r3D_L^X&Jv83}VY`JtD`HAk}vhUlLo* zTgr{9@BxntktV&+$Y9iRd0PP+ApR(u!eqkQKIEY9>?kW{z8PZ1@^Bwi+t4ZSfeDmgy(5`r4V@D)B6IHiDW1 zCd9jGZuWehn?%+@Fvt#MG$Hjxu%5IOD2Hmz=p)3I#@*ENg5syv@d%;(=`urc zPGPhgmj+J`)~;i?Wj(SL$#V3NOZlmhU>!IV^8)Z?~Dwp$R0n#>CA1U|HEPH z6~J*q)qNf$MQ}gOFE`E{qva?U1`PZnbV@NOO%8;WX^Wl3*j0{KQMDcozN?6}WH;?K zmzPXMSZcBYwsJGwFK;DQ6+xitUc`?H1#iI|-yX?zRZ^)|mU-e5UB+K(2-3CIyY)M6 zt8Rf>M(%V!Z23%)hT5fcua@yOTa$LV*=ffPdW=hd{IJ~mvb{39VvpDs^9=YWJPRRb z5kLjh8`O8PuBOoyK~ThLepBCyBM5MD_)#7#@`s+j_%Z{yh4BxhK1D)U?CETIyXMhB zpIr8hu{tfDJ}h!#R<)!wdAxbny4m4wg|fCnYTC89Gr$$L?47rY4o3f6P&FvWrdE`b zKN7!4_%S4(&{=y@QSKPPm*Y{AvT%aGvHUatW_5g%)kP0MLgsVYUa~60|q+*tB^R*eac}bNF2xv6|L{>$plS$@!`b$2pP! z5^sk0;rrRmqD;5fy5w-|_pd&VGQpVd*SD9!JVpF3U?Qt?b3J9hAyv&(uB$U^^HlCu z>MoXPF)rPthdfz!uY*h|cv?&#qoSs0y;{W9g8=$o(pwj4f6;tFMWkleTP--E&(Ae7 z(`+;A2bsWP8zN{cn9$H*ww3Lb9cP*`$A~e^ml6nm9Y~mK3C}pF zb_*D`D7=wm!dz)KY3V&j>SvS5<|rnq!TqJGtma>7)gY)!J)?G&Fb*WD9Y|E^RRCYL z$00|CyDHJ1UUMm7(lCtsd@0{!Oz@bg0jBLSl%Xtx?n;rbYPNNW$0?)qM=-;Z*m}qx z8h{!z&eVW3WW$2V7npwW8+!QXv>d}@ZfCAYJJ!4W>#3lftuH@rI$lT|pc`h=I0kV? z?3W9ZhXtHFRQpVT?*Zz3SdQJn*lQ8u2=gtUrvlDbGv0z`x=9;&5VnR*O?@8H%-Ve z)nX{fu#3VX)oQ}#V?M@@H;d@@A|0V6-WX|TZuLqBi_mtVpQkZHYvW7Kt4j_GEhx1vgc$q#YkQ<-Q6&?N+l)_+dd7N(I0|3Vgcd19Zra`V@1xaEiWJ3x|}6 z)d@g9>)@6h=XUc78$`s=f}?(~;=<-iTvaB-Mnylj1ZJHi(b3d2B4&G-!UfM>G$wb*{l6B`}mpgVjM@`x%I0tLnyU+ zpXlN2W1FtzA<>x6>i1>83xP!CjleFLR|zDXpN;L+)9k*!`u#ye;42-q7+|gEuQ2Yr zP7*k72kX6!al<0zp-}W6H%Il}h`f z!2AfCo$fcD%}P1)?1kTv12G7s7?xen_W>9?rL61jW4K2vk7cyo&qz9@Vf5`}1PSoQ zvMpc7q&T)yg9d(xHNn~!T;A@tMD=glzm8^1`61;c9jIPvY{)9K_GQTI%Z3mx^+RMn zXXRY-E;5i_oVJBzSX%5k;%vA>Uh#R87Blea%<=*ODg&(x1*UsZnntb+3qsv zfNT18um83Hz5bgn4%#^=Utm^6G77drBMYyxWT_Vcy^z7S_HlDyp?MzJRY6Ps+}$G` zzN!{wdn(l-NAsIyAFB$yR`AJbJCX=ihMxo++G*7J2V2=oI2Yf#v<<*R2Rdr8Bm$N? z1ENZfF-4DeP`)<*I?kBl$cs4zla>Dxz4#27Q+04m%(2_vf}fn0hvZz{xX!pFz2bML zjd)3M3o6%x2QqKy(7ic(_r}Ih=WTVux9h9dkd2q8l#~a74(*`(tFyILoTqF@QKsOal%iarCYi&fmHG|68*%4lLHf6_aI)SIUkxrpJrGLv2H{Spls0qyCM$EO zhSTN&7P}6GFAn+uZR5jgQ*HkMp=^+TM2}0-;xaEx2g69U!%!$%rnUb}d667ysayO*1jU|? zfYJ*-0VZcCP+xYNypf#*>5-Kps`(;j%nAWGJQ#?n)5<#Y^yf?h0o;^)oIijE#Lf+y zGW`KOfQsz#1U>Y-NnbHjX~z>&vym~Fzk=}$+{MjU#uvHG`qWLP^`(8=VfN`+_eUr-?Ce4VIA;up1(0|ow?govQzxF-SJ-WWYqo?mOYryy-xlWFz|-}OwxnXoe^#{ zP*w;j-iUGHk5TFuGu2IxkNv;3S$4p%TuBxgGH=zVMvhgja!wY?LI4@QU<=>5m;FOT z2q|DaA_WHfw*yl9XR%z6CzN10Ll8oe$2*x_z?rkDM9?t)Znm1gIg@$_YYy4Q4E~KT zEY6MTMlk&k5feRBuBv{PKUO%9c>QLdMZ`o*VQ2bj=F+>K$-k$#a)D=nm@DSz)VNdU z=7A$jhkcjv=9)v=qlXSs1SiJ~4qZxE&T!%7&+Q#M#4*$D14kj=cx6{M+ZNduRt5)n zQOm4hHw4Vy$sLr{8P81wx#Y0{;Ptceqf+OOrUIbK(HD3Vdcz&YfSh5-xUl}yZ#GR7 zkODC>lO5D;cTHQ&SF}geC422NrB~kpQ|Sxv zzYdl=^gtzrS39CRAGv^7iXFqEb8f8IY&w2V46JL|ZH}@43QKv6lHYfQVL}MRz!@b@ zNr&OuBfs!6L@nY!C~{l{Y!*98O)#=~t`}OiKm)Dxc->x24(S7>Wp;~yl-p;x3jx)c z_|_KQV95R9@)mwM@nsv}kL#nC?U|OZQ%-4*mO9KvXzDcG+g5+5!Af4yt-$sBZ3$YL z`C@5F6#lo%O46Ze`k@Vf__N?HqHK{73RFK~)7F-_&wgMI!5;$?khp8Ko>{L9oEfV8 z7zKom1tD;yYAbrlZa3HT$4rc5o!8H?*}y=d0eXb0XIctGjyXUz5#ts9#|j0xU0%=D z{po0^k}^yO%mff3a1nuLL})!u7=bxMMnT4Hhh6fw7g>o9aU2F$-!=NhE{7erQUsC9 z*nH8i`t0JX-x`oM^shT4Pq5y|zjA{;=QH&AzDnwU?5@_!iOa?)K~Y zr<;#=-cvj+>VeNzt0vO>b%xvf8wa89QDi}$bRF~7H&w-41fGIy&{F+s&v{0GB3 zw4Anh)CR|8C#gHZ=lze%?>b#isD8iZ8TIeCCzHR(_waS{ncW(p*S`{Ic|6g-{kmx$ zQzz{5TRsuc7d@0|>snugykYmnZ0&i>*zmpkS>5%T^_-GY>)uEf>v;E6xu1v>UVK&B zs|_m9mH7RHeDAs-WdK60>MA)Ipvg?a@B2QluQ#;ACTz4vi3JtX*Ayz{s?fNs|9&+o z;Cpum*LjmiX{!-La$Affew|+OT-s`-j3yZ=4;my}w7Me%xtzRpa~L z-w$5}!RwJ0P(+U-FGOUEu{fi5bCopcy~eE^7Fel#Z4{i7<6MjI^LYvUyW6- z`#rD8tX;7&2ZE9We)mTq4rk2J@18=?Cl$fk?PyU&r3kCE_k9s&^bUgd@S}rn01Ocq zFk0T6U~+F+n-F!uon{0aY$qS6>&tkb+Y9)1d%xCk_$^dFuaJ7K=MiW>tajYpxG~}m z30y3`s6M&MUfR+*1gGoROzKj8NW%Pd&*G=|H2dWYZqeO1>}At9VZ-NUM*RL4%KjMY zVw>*4j0XIEF{6!s4x?cgZzS9M2tIVm4+Z_DCVu@sZ?5iM0_Oeu)_FVMr@qg3zfcxZ znrmTpwGfCUZpLow-29qAd`DdHW(jxCPv~D8@WwZ`u!sw+aob2khzI;LQ^gfFs_=WeGKXw$z`4?-W&?{ZN2M8f0b&Yl;;*Lz)f;~qQyJShVv{I`{h zcZ=;#(Vl9oWrf9=Dnbf=#hSUzqF+3TLfnQ^_NNo(eTy}3w`ZnHRHk2Z4I96NRd=g1 zx;UNX>N)fb-h|rUKzlIgjHAHxIF&-FmBsxscQB(WUYFdIT#F_%F^eL8fu+CIM#h@< zyats^U4D=AFj%mxb@pMtN2myqv$ z4e#lmZoR|s8D!o3Br5UlKt=+PqAZxvjcI<%0ub$kM+hRwh+Xzc*xPcG;l)vnhYD5T zPhZ-<;(~wS!C}k|Bo`enmu@NjOd8M%2laNAW&A^&M4IudS97sh7( zi6dW5XlXv~PVy8KyzN5Ilij2-7Ks~H-mg{Vjll0m3u8=R`=n4Jhy<FNEk4%R=p zi!LRYnVq5IAJ_^z)G-MNx#E>t+Yt~!6Fg6j(3MQNcBkFV2$ftn7p^KJcW;zbAr^af zAt!J)FL+3hG+Id?p#3FwReCMf+*W)l4>zM%S;+`&B@U8=?V78i-RlcUlRlh}VYHNl zWURG$_ER~sn%?{C=O0~y20C0V%wtay+yxvOxI^Hj)27ax%>^+76=?uH&Gx4%palMGgSy2N=LNeYK?oV(WIakkTL^vI6p^cHPE?a&*pZUDso@$?Lr8u&L$9#_i_ye-M#VcC9Sl0ijRZS?c9 zK+>dS&U0Kw+lu@1?-mk8ViEdN^`zcg*Mr%S%F(M0bB=_(II`zw3-iSJ1RtFWW1i0< zoI4-2)kF4PrvoALxi3y){4+{gdlUcg?cJ$CE0Ea3TgjhG zymVs$61Ci+K{*f`vm42ubBLVK?uGQa-S*cA!y)Le!H5+=o-9X|Job?V|0(hlUG&5A zH}<=sdFp(;l|o40go2o;#7Ynd4(Nt#$d1do)ts*ORiEp%d+)Uf({*i=%2cRgw$I;P z=5VTHdd$MM-QJykZS}{bIFg+^HGIRma_auT#E9l;a5-mC-XxAHKz&Pd`7>t2?`2D0 z!25>qS3IGB@B7+bMz!DS##^Qg91O9oK2P`8=9jG)zr3ZGjrR+I_eYd11b-{7_6G2+ z3juGunRn=A{qA>tiJOdoxSGlgb^+?=ZhdmSw*gr1$9<~rh*&AtZMN45@qSlpi-g_p zZYh4gwOxEMijdt55pO=|=N_I2Uwdvy4mQ+w4(~DH=O^JXs;3_XI-mXSifN*Lw<`SW zbo{@X7XCOj|ND476ElE~>EEpkOuw56{>hH+}&Zqf{Fghvg#9bw*SS1 zRce=bde3Q3liHI%Wd+ywZ&3eduf_k?6u`{J^%sDA%2H1K0QmN2bZ;;>sSBxM%7gbs zu-my5B;#-p=pwg>@5_&tw3@!V!wft!B+cGXwh7PSWl#ln0psMuU%l@zsNR$o1_kxY0Iw$v6Hwqa7~`nT2znl%Kd% zqnd-WOTfC8_$eptvndo^6o*M6h3nJZ><*L+ppX$|S}1fNXV)o&4vre?>T}h)pu2iI z(Yy*RB9CZ#Ox(IMWH}cLsEqjRM^XdZg;XLnunsY6=mw1K>mYer5`HcY7l52vcF;(T z@|K3zqy++ITX4sWgJ-|49z>e>Tzl zuN#e-<1gfh#mYp36C;T{WcEqqzByz^*B!6=@i1^t+tiR#EwZ$Nqk3J9$R^r#n6&VW zqvvd41DqeFQ*8!h59M`86RXg+RCA!C$JRTJa>KktC-So)HRmS~tU%4<_XExX7!D%Q zIVMIc#rJ;P<}V_3S-KG}dW76d?yUE#c1>{2Pqc?aTf%A1H+03?ppAaC7NC*)IWdM* zyJ>^-=@4%nx?SCkQU=Sn`x-!wDuB55q~xv3k$-|_PN_~|J?U{Mb)G8&@nW|CKeAW#YAkpnrC&9D-F@ zz5VdWOrPI<`w4wok?W6v5{tn(G9Ux56y-EX=n-(m?caT}XZgav9yAwFO!C^(Xo-6< zoX)0H!)io5&VT<(MLevsvw?KjDv4@l!t6wZ9s1nJ@3)X4%k}c1z|#4NO3D+7erXNo zv$tlf&`bhO^674fD}7BHv|K8#H3>FXBQx9NaP}5+HWsPSJROl#PKyG1q$CRgk2$?Z z?3Q~OCZlg>)FN|CX^I*oa}&(I0Z$rCF%=0?cP?3LSi8kBRkYbq`p=-?c#?-TzRb+q zw(d+(NIjS>x&@SIY|rn^lspL1xmJ4+sfL~RL5}I{(k&{pXS%i38|D;-tNS(e%FGB8 zjt-0&wV9)(^*`p(lSvFygiiXaws2CFI*Vkjo^ zO&WF)^V#QlR7K9g&e%l9%i+Pw`$p>Je(*f@bd1Y%BZ=d1%;Lpz*_`epzESD79!Ur8 zub?(J&OCoZ{O|U}e?mMn%YWrJB`GHeV)*t4+FSq9KHAG{`5&b>@78oIQt}uE)=ZZE z{`Br)#0x#+{*0~Oa)+$m9Lzs2xt9qX6j~ToQ^o?!`;vRqRa4wL8FiN>ecVFIe9cU} z>Lq`~CM9v-3A0ix5hL@F0vD0a`D+1nrSe`EmG&2g zHaO*T+_`zsV@(X9+-YRrJ{vk(T_qEfwc2z(f>n8vQi=rgcE*Px8Myn2>77s8sjxxZ^${}KO zl#VTI8mB?DbK?goT|>R6G7<$e(-*J{FtHVb-Z-24vzZ`t098`KN^=GYjA^)UYW@ z*#QH&;{^T2A7q=Mdss-}?7bR)2FAd^LMHPEGA=H%dsy$J(C(1-LS*`5#;ER9J1;r` zOmhIG5`wssv@N|d@RhB5Z7=pMu1 ztx#EgPsjWvWO>%{?XAT8$}ZlXHHN-iBs5IIidyT3v5kE_7{Ds~l=&5K!JEuWv;qDD?J6pevTInlP|Ku^%y1uB!RY`U8*o zT0)@rwuMs-$uikaS~7}v2D^3lSQdKQ5xR_$F(H}&33o|@X=9&zHE<{$b7e#H1 zbx)4a7LaABz=^ZY0OTWh=+r*I&kkJN^1ERNMrDHx-4}*Fy+usl`tZ~t6{buSlld+v za`7>5H|C=@q*x>Lz?kC<4714gCp6_B=dC4%l_E%(C=0N6nUQBQtBhdtUyW{}WCV1Z!f9X3*$d+>_5-Qj14iH?5Y zL3J?9K`n=(*|d9|rQJ*@N~8(f#H&c*HYrtfN7Woh*{ia;$*4vD!bY3=*|<~Us6ZJh za*7mR6`J=3YHgas6*1Hr$zA^hIo2&Y0g-s4@!UkE2S8)=tz%uBgzMDkawZpj+VXkv znXEUW21T0E9(C3MGe2eNjgGv}c|HF0?zcj<=gimjxa4b+#-DlfN9yECX;JgVu`Rss zkvUgy;L*97e>BJc^^KF|AD4+-e|_KJQblquVWxh{*&cI&usNtmF7QEy%oo-aCfH%rG(x9r5 z_h~I(l~ zTof|P*)+DJCbG2v-%-92bE6VAqMW(+)f%(%%`{N$%*fhz5%Wo5N&~Wesni1p(yi>D zLU2sCj@8KuHV>)PpW-eddA@^!cfPL2M@@Qd(nae0Je8%qoVF~+L#^y0FnaweU?Y>E zGfW#IhE~!+1?{^igzD(6G5BDTFY49+xpI+Z`i*Twa6DG zn2Sc{qpBO+%S5j!eyR9Tih_FVIhID8Z+`>ppVpL2EG&PCQn?r*lzsp-_=Rs! z_Lo}Fn`{?P={G<6SoU+sv&b)T!2oDpBlr^ld57oomRf;~1AFu@a%?ePXe+o?OjSq; z?!#~z=Ybwaf!vaA3C?c+d(X|iiEFy|#z zz~u3ej7&`N+44G}89&S7-+1$n3pLiiKIG+;+HFOFIcEb+XA|Va+9MlIS@+&vWE48K zk0_6kx|kf}en3rZWYYd20!#E(FL>6C?zZ*+G~V83-#6|D=sEF)DB(`f6}0-^)M zg^`5zJJd#uDZKNCY($pFq9uSEHdVV?_KUex`(tq-q_=sBtBgBF3T?Dc&(e*oZB808b#uDkFJq9oG>WBJ$ zr}|b|ySwglZMf`3ZtYrIC_$KH=XHY*AOrm{DgY@$w-hLAwyhqP1p(A>mST^fjXBw5Pq1^u<&*#WJ80R3x zIRqvcUb&6dc7?yR&4^hQntlo6%55sw(U-llJuI96eWC0Kc1eP3r;9JvXrpid(;z?- z&tgBM7WFjk9({Gp|P7 znGQXc)C$T^L1B@gs^?4HorSZg9&ODVRpo!vVdN%38IRv77bNxOt{WE7{+Z^>UF~;D ze1ZB-Lvvtf2+B})F8E8C@M`j1P}zkbAFVQ&8YZo>+S5{y9syKnXZmO5BRu&XqzRhR)&5`N%2Xg&Ow z2J*~+P;FsWp~L_Uq(UGyzs@*G!+u}VBj!%p|hhT>v(oiAemf&;j*%($Z@?}QFN(VSG z9d}=5K1|@pOb(|Frj{;Z$x>A4%$D%2YzVB}wSa=Qu*fC>bKD+vMPg z%*QdLNTX;{rnnjnq1zyhC`v*~gVLZ>R6?TEMU!vs_aM`AAJ6xEf9~zmv+ujldiS)} zUVE*z_g;6s2h?kCoijQ2C7a57)}Xw(R=oaX@}e^r7v9jx(vj0nufO><>%;epnm4bg zL{LRMtJo4u-#6zuJ7rRCFAj?MW)giYCNrfrFxs-Hh& zI9z*$!tBphaHcC=go(kKu8~=**{Jmg`ML933QkP1%n3i1Z7?cGZDi&-5t(};Brl8H zvHHu#RNM%D$Mj}MzaAM7zBskcE!H;lQn7m+|DzkzUt{bE8D&?Akk}N3!%{kOHO)s~ z^U^<5bej2oS@p#%`$O{W>xC|FB(}JIQU9?1PvwOxp1W+g@9bUWu|e+dtkY-zN_(@V zx?%CDO3gn+GW~V741wuzO&}VabN3CL#8{Z;S4B*E_yQ=tg6GoR`*G=2K z#4>)}MUjmpG0VtHTie=4ztb3%LYCQ>Tl`{x(Npp{x;>WPdb0D)=khyR z`Br+nO>!@HMtS(9>kv(R=dSq_#pe{CDK$=gIFg|!>~W58vL>XH-`yG`HD(9F>^j$hbJycGrRTDW|JjHk`4a)MV!r5c&R7nq|UG z>RP#sH`di%3&lowcik;DJbPj10jIapRmIn)>As<>D5^cuoV;hYwW90R8`pQ$9hjxy zct~D|u`KTPMz)s@%OE#;;)Sf78W$U}sf|XrMPp_qAG?>ZoqaIFaemPBbJ2>+^&cJ) z_WR>9@sjh77@zA(OOF(C?k@1FS|wDKQFdl&DK>B0l#0-lb+N=<88_Ez$X%0+IWq3c zwugsD#a-HZH1o~A@5)a{kVVe#3}_IWzcGt&^~KC%p#?(IcCD}*VlszoEYbUK2fNR- z=w#7-bGI49?~OEynlj#;aQ)VsO=I4MFCAqt@u;@w$>|Xq;)EOT#HSC@@o+5{3ZwrP z39K}<$V~k04aZ2I9^IH-axbVWbA0Fgvpxi^h*PR|S(DYKrayb+_L;m^;*h24V$H|X z&&N#UDasqpr|b{5q8v}Ta3nF}LDR*ItcwAzah2}nH;Xs4xjE2c^sX@))mkmzbsW+? zoB3|p;ZtK{Lk-SpADCxD2|eYsF(o;0!_?#nFZC7764h1woVnzb(2F109g+T*$%UHZlT<2T7)QE@9Ib=DtO z3BHnQ`c%)g`s^~vcz3fn+4#-P?iJ;)Et)hPO6oc>IGvbnw8kO)C^_iH+F84)UR)Co z&g#vnH;Vs$`*=^<$QAEya8tEMbSBQcCOkjsmgiCIXKBNfV^pd1lMVCLE-aJ_YAjox zb1DD8JnFJ`)2Q3B6;0O?zXa{49=|<%ZM;mHm1&2hU$7| zUKC(l$zSEo@f zOEC(Td!NATkls7QScYpR(!k53pVEhYBrF5ChV|W8vA-bnApgvo4+ST-sA-(mGBBD& zT6*6i?15@^TG4BV$?dAyM*4f2lWy4-x69|q-qAW`c4yoLE#k<9GI||UHMyw|?mT#> z6U<4_7d|Crr7j;V8bcU$>eZ^?SgXy2vlXc|<6`zsl$v%m$zq44d92>N?;3Buq{h+t zVbeAIJJ<0tW!I#Xjh4ffTzV{;s-Zq{nO#&HnK0Dj=KDI zEL*;CJNH16rkIzTYF^0ht%Y}!bJ93B9vytt_EXe!*}9Y=W?|SyX8%dRrC@lGtnn7H_NxUn;CS@cT!lY)L`#KVJ+f1YY0Cm9-b7*3u2kv#gZ zwolBv#jW>_7O{RZA0Bs()0~_eV!K$fAvz-elbnq^dExb~OBW~`b1L@VERCmLP<(aX za`RuFaf?oD4%8hbdHxvp_~@`qFHWQ8N3m=6D=(Ia&xy7;5p>!9$_67la>5X}4A(3g zc;vybWuJU*Al4L0T!DoL-cGI;$qf7OVq5GgqVd_qQAxYy#BQ|z^3W)(Eg^NLjb z)Lur6l-cK?`ZP^!uT7`!)@jDLN|0WN zqy5e;(n963GASNQb@Gamc74}P7n)N$j(2j&1tn)WbMaiir*bXEZEH&>Vy^q+qlhaO zN6Lp8emrb;BD8(Uq9xe9W~F()J9pXa4G-M-)Le|6BcGQ+`noiB{}_Jrj;SAx7D~^% zmF%=a=c}YXUo)eCSyz5)_x!Ks8XgOt2Bpk%zcn@HWP+&=%O_OtqCwlNn;TZ%#tiMM zX1K4vn{~i>Mv?+|Ymics7`;R(;+BkV1Wh{jbLfn)RTk58XY8FLA%0}Ts!1t3lSlao z`QJNqK1z7}$0wXqN{(Ca7bm?AHJB+A;`p`eQODY!--VUVhc6mpYKCi)QR)3fn$|-0 zK4HVr<@ItQM*fv8+2woNyBdf$g*I<9#&op&Y;IUf#cR}jDz!iRswHv4)u5|KUfc{& zlxIuHncttV$TDL^{-n#Ifl96;+EN*sn-!Xb=QtBtA%4LNZairYP+*K)_sGNA)rP7u z-mmPsh+V+r(!?U`^qpgym){XDy)>?hJ0bPYxEnjSs8~+1H9yigJ(Fe_Ju>C^!jxS~ z#bFKQDhD|BDr>~PEw`wCmcwygU~6aXrq32rjE@xwE1T8MHQQG4F8FjAMIwJJ zb^6L(ZHIO?P1`-DQO@gX?%CNNZfjE1G-XsAJz}5zX(rq8YX4ZnP47Pyjh|qW>apL4 zaVQ`rEG(~b#e=kf_DU6Ea_MdxF-2dI$CY{#&!j6_lBO3dQdjs>J63Yh_`PSIjMCf= zw!~PN!twZeD`AqdWWv#_e~9O9Qt=JQ{C-bm#U*vq1m}uPul%xBnN#NKWvJBElvrO{ zdN}Yo}2Lcth#!F+^^4!YymJ&XH0NG+I)VV-H({RTfFlSKb}HlOk_q?31xZ z;?GUuB|FkAGOAkDqax=^lqNb#q@~_hUcEQONqfSxNoN%+YO@=@j?3G(IP~t@xw)!t zo6O$Zxj&2dlesR;5NT9zT%M9Ib?H#1!(;ls=V#CC^UzLzak)OTsjJeyX4R?}vvv+f zi8)*=hYGQ$`>Gy>O}RK&7I~|Q@)@!tHo6>Kd^w=Y!|U#B&bTh4C8e>W*JhSgs5e;X z>nxBwKdT^n>ev$js_$9>Atl&RY4Ew(hpq6TEz>Uw3@S1g5WrH<UA+qHx<`;MGf7g0U$?k`s^P?7`)Ga$Wftn}+rL=HZR7p?ZL~3zz5b z?8DM7l0SgG)4QN3?Z=eqh zDgYw|ViYO`Bdx_&5W54d_fiQsiZs`q=g&u!1PYQ6jg181$F(SAsHR1S^LGl1O@~I{ zQV#--qar3;e`lV%FW-lUL2o$a5!jN$=K)Fh3^Ivjcherv=n;0t@|20hW^ed7&@B@#5d;n znhRzI@InJdZ?w>{0*ZCM+8-DKkRKkt1BVK+;~`YNyR)J9YELdkhOq6NV0?fuJ~~Xf z9iQv97zWx0gFYl9E$JOtA3S=D&}A5tO#Z(}#Q$wOG>SGxhxwy}bkYV<%A_%gY}k*n z;H-$sVqi45&_js<<3#UKc^Vw-;!kjDgYy5Bh&}IVP!=WBMo(gZiA^CR0%+4AK|^e9 zjKzZAuznfPISVCFc2qWl2niM(6Jx;XgEsIf3l=X+8wNmzJbI${G)Ul*&w~1>O|~{0 zo&p$p;>gfgMD#?1KuDp)1WrSB8GyK;4JZr!;&~b!2%(K91}t=xXR~0u0B2IDfS{mX zI`qqcMMML)3-pcwPi-I;dg6(S$}w>wpeO1dpEN{37y}TLi27te9h@jVgF{c8(@;-z z^n;8@goce!Lr+Nfe4y?GiOA@lv)-lz85p3T2`XR=)fi}0FmhBKu|dyt^*mw9h&=h;^JVKu0nAq#mB= zc_N~~yc6*!%J)h5TnpZ#GQA1$1)5d#T+u7!`dYq*Adhh&2wDb+h{Pdi8VWLwAZLr= z4)&0n1p@_6fTe%FXjpy-cFdBB6Sa=1>WcX#H4G(HYSsvYhT@w_k6 z{(@Y$1%UTP1RV;jgTL^{;9ymd!!+=^_2dgy&?mtMt|6;-tCkb+de47?Q?y%8i zVLTU3{30O$&3rIhkjePh77G6QrTRjHc+2a+Tr2DFEdjF;A?oY6AtP|izB6iSgz%if z)(}wvvT}{eg3O|fAVJ3F$iKc&vG>yW25~}RQE*MmF*QPdWZOroo>2I@6V)6bMUY>7 z(T3o4|78OFn%+F_(sUMqkiV(^M_9;+!W{xi?D2dqQ7J>vS2ojcDXae1^Zl?EY;Y1t zf%PlzeEacvWH>9^JHp}n)6U?v#ixW?H?M3jQ3`LbkACa7_IKio)=1r!_DY%XIez*p z)71zqYjCazZ(*0e($WqU3YPti1z2gxI#geL-?LMzlkP!tW{3EywM?W z_KIU_h1P#uDEho5h=)s1L^W{pbRpDm!nq9&9|HVy5F9~|LR8h~*XjUq| z6b`|y@1co7YW@4av+o*Af?vDJgXyA$C7+uv_<)@i6o5nqp_eZNTQk^?7$3Uu-`RZ) zVN&$&EwjIs6#Ue`EZBt-IzAQmsEl|2M8kjo&iwze`}dxz{Qunj#To)&KP{& zp<^dPund0mR(QFhq#QO7A8IutF1-9rOd?%N$?!w%`7f-k36mb&yzu{e zZJF=a5v_s0jS=9ps=&&JKzO-X8#fJC{)L~uO-`&F|I$pme8cYFMddAv=Z2ue=E6gH z2Tp>GJbEeY7~lx%)$g+?2;q|jrcZvP;50$1`g8b;AbiiXUgyn=m1g?BlE2kXfuR2v zzKssg!q=q5#YfHj18|sB ziYtomkC=KdB@gULXc$9~d>ODoOZhlq&b1yZ`5zVWzu!v64_1UaWbiY3f)TzX!bMMe zM*uONmBTUYyW}@>N`4b!bg;&sxl}*c*$=;7MfbieI-Szv^?)vid+vgbeFESD7;ddC z++C12AGkxJ`&e))6F7<4a8`qt->-{gX1~fjE{E^#<88v>bFmpFI#dYnL#9y~6c(9H zp=*$-YGksSI+0|I%7IVY3~*%g_4MI;x;tTkv{~>^6LaJ9ef@PvB(L6AvwV1~p%OSC zx&%0L``7YyamAdFpP#o&cMIx$1{ciZx)PBq3=uq?y8pnDi2=S3u2?S&`81+G%)1)~ zF8j!LpdSpPaUz$2fiQ4#8USOG!3A+3j6xn4;{U44=W*OUxjdq-F1XKnyZT_bj0QI"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 + +