From 0a957fc1305163af325693538687ca82a28b9e89 Mon Sep 17 00:00:00 2001 From: alexmadison Date: Fri, 1 Apr 2022 20:46:45 +0200 Subject: [PATCH] registerA_w unit test working --- test/unit_tests/registerA_w/run/prsim.out | 418 +++++++ test/unit_tests/registerA_w/run/test.prs | 1275 +++++++++++++++++++++ test/unit_tests/registerA_w/test.act | 52 + test/unit_tests/registerA_w/test.prsim | 42 + 4 files changed, 1787 insertions(+) create mode 100644 test/unit_tests/registerA_w/run/prsim.out create mode 100644 test/unit_tests/registerA_w/run/test.prs create mode 100644 test/unit_tests/registerA_w/test.act create mode 100644 test/unit_tests/registerA_w/test.prsim diff --git a/test/unit_tests/registerA_w/run/prsim.out b/test/unit_tests/registerA_w/run/prsim.out new file mode 100644 index 0000000..1efdf4f --- /dev/null +++ b/test/unit_tests/registerA_w/run/prsim.out @@ -0,0 +1,418 @@ +b.b.gandalf_f[3].a b.b.gandalf_t[1].a b.b.gandalf_f[5].a b.b.gandalf_f[1].a b.b.gandalf_t[2].a b.b.gandalf_f[6].a b.b.gandalf_f[4].a b.b.gandalf_t[6].a b.b.gandalf_t[3].a b.b.gandalf_f[0].a b.b.gandalf_t[0].a b.b.gandalf_t[4].a b.b.gandalf_t[5].a b.b._w b.b.gandalf_f[2].a + 169671 b.b.gandalf_f[0].a : 0 + 169671 b.b._w : 0 + 169671 b.in.d.d[7].f : 0 + 169671 b.b.gandalf_t[6].a : 0 + 169671 b.b.gandalf_f[6].a : 0 + 169671 b.b.gandalf_t[5].a : 0 + 169671 b.b.gandalf_f[5].a : 0 + 169671 b.b.gandalf_t[4].a : 0 + 169671 b.b.gandalf_f[4].a : 0 + 169671 b.b.gandalf_t[3].a : 0 + 169671 b.b.gandalf_f[3].a : 0 + 169671 b.b.gandalf_t[2].a : 0 + 169671 b.b.gandalf_f[2].a : 0 + 169671 b.b.gandalf_t[1].a : 0 + 169671 b.b.gandalf_f[1].a : 0 + 169671 b.b.gandalf_t[0].a : 0 +[] Set reset 0 + + 169671 Reset : 0 + 170041 b._reset_B : 1 [by Reset:=0] + 170108 b.b.buf.reset_buf._y : 0 [by b._reset_B:=1] + 170124 b.b.buf._reset_BX : 1 [by b.b.buf.reset_buf._y:=0] + 172682 b.b.buf._reset : 0 [by b._reset_B:=1] + 174686 b.b.buf.reset_bufarray.buf2._y : 0 [by b.b.buf._reset_BX:=1] + 175214 b.b.buf._reset_BXX[0] : 1 [by b.b.buf.reset_bufarray.buf2._y:=0] +[] Sending in 127 + 175214 b.b.gandalf_t[0].a : 1 + 175214 b.b._w : 1 + 175214 b.b.gandalf_t[6].a : 1 + 175214 b.b.gandalf_t[2].a : 1 + 175214 b.b.gandalf_t[5].a : 1 + 175214 b.b.gandalf_t[4].a : 1 + 175214 b.b.gandalf_t[3].a : 1 + 175214 b.b.gandalf_t[1].a : 1 + 177649 b.b.A_flush._y : 0 [by b.b._w:=1] + 204529 b.b._flush : 1 [by b.b.A_flush._y:=0] + 217570 b.b.buf._flushB : 0 [by b.b._flush:=1] + 217572 b.b.buf.t_buf_func[0]._y : 1 [by b.b.buf._flushB:=0] + 217573 b.b.buf.t_buf_func[2]._y : 1 [by b.b.buf._flushB:=0] + 217599 b.b.buf.t_buf_func[3]._y : 1 [by b.b.buf._flushB:=0] + 217616 b.out.d[0].t : 0 [by b.b.buf.t_buf_func[0]._y:=1] + 217617 b.b.out_valid.OR2_tf[0]._y : 1 [by b.out.d[0].t:=0] + 217723 b.b.buf.t_buf_func[6]._y : 1 [by b.b.buf._flushB:=0] + 217745 b.out.d[6].t : 0 [by b.b.buf.t_buf_func[6]._y:=1] + 217746 b.b.out_valid.OR2_tf[6]._y : 1 [by b.out.d[6].t:=0] + 217834 b.b.out_valid.ct.in[0] : 0 [by b.b.out_valid.OR2_tf[0]._y:=1] + 217887 b.b.buf.t_buf_func[4]._y : 1 [by b.b.buf._flushB:=0] + 219171 b.b.buf.t_buf_func[5]._y : 1 [by b.b.buf._flushB:=0] + 219327 b.b.out_valid.ct.in[6] : 0 [by b.b.out_valid.OR2_tf[6]._y:=1] + 219330 b.out.d[5].t : 0 [by b.b.buf.t_buf_func[5]._y:=1] + 220334 b.out.d[2].t : 0 [by b.b.buf.t_buf_func[2]._y:=1] + 221621 b.b.out_valid.OR2_tf[2]._y : 1 [by b.out.d[2].t:=0] + 223853 b.b.out_valid.ct.in[2] : 0 [by b.b.out_valid.OR2_tf[2]._y:=1] + 227232 b.out.d[4].t : 0 [by b.b.buf.t_buf_func[4]._y:=1] + 227377 b.b.out_valid.OR2_tf[4]._y : 1 [by b.out.d[4].t:=0] + 228454 b.b._flushB : 0 [by b.b._flush:=1] + 230209 b.b.out_valid.ct.in[4] : 0 [by b.b.out_valid.OR2_tf[4]._y:=1] + 231282 b.out.d[3].t : 0 [by b.b.buf.t_buf_func[3]._y:=1] + 237636 b.b.out_valid.OR2_tf[3]._y : 1 [by b.out.d[3].t:=0] + 237637 b.b.out_valid.ct.in[3] : 0 [by b.b.out_valid.OR2_tf[3]._y:=1] + 239006 b.b.out_valid.OR2_tf[5]._y : 1 [by b.out.d[5].t:=0] + 239168 b.b.out_valid.ct.in[5] : 0 [by b.b.out_valid.OR2_tf[5]._y:=1] + 246537 b.b.out_valid.ct.C3Els[0]._y : 1 [by b.b.out_valid.ct.in[5]:=0] + 246551 b.b.out_valid.ct.tmp[9] : 0 [by b.b.out_valid.ct.C3Els[0]._y:=1] + 276921 b.b.out_valid.ct.C2Els[1]._y : 1 [by b.b.out_valid.ct.in[3]:=0] + 276928 b.b.out_valid.ct.tmp[8] : 0 [by b.b.out_valid.ct.C2Els[1]._y:=1] + 278528 b.b.buf.t_buf_func[1]._y : 1 [by b.b.buf._flushB:=0] + 278688 b.out.d[1].t : 0 [by b.b.buf.t_buf_func[1]._y:=1] + 300245 b.b.out_valid.OR2_tf[1]._y : 1 [by b.out.d[1].t:=0] + 300246 b.b.out_valid.ct.in[1] : 0 [by b.b.out_valid.OR2_tf[1]._y:=1] + 300247 b.b.out_valid.ct.C2Els[0]._y : 1 [by b.b.out_valid.ct.in[1]:=0] + 300248 b.b.out_valid.ct.tmp[7] : 0 [by b.b.out_valid.ct.C2Els[0]._y:=1] + 302491 b.b.out_valid.ct.C3Els[1]._y : 1 [by b.b.out_valid.ct.tmp[7]:=0] + 302678 b.b._out_v : 0 [by b.b.out_valid.ct.C3Els[1]._y:=1] + 302679 b.b._out_vB : 1 [by b.b._out_v:=0] + 306861 b.b._en2 : 0 [by b.b._out_vB:=1] + 341643 b.b.A_flush._y : 1 [by b.b._en2:=0] + 341644 b.b._flush : 0 [by b.b.A_flush._y:=1] + 341649 b.b._flushB : 1 [by b.b._flush:=0] + 342497 b.b.pass.y : 1 [by b.b._flush:=0] + 342498 b.b.gandalf_t[0]._y : 0 [by b.b.pass.y:=1] + 342499 b.b.gandalf_t[0].y : 1 [by b.b.gandalf_t[0]._y:=0] + 342500 b.b.gandalf_t[4]._y : 0 [by b.b.pass.y:=1] + 342514 b.b.gandalf_t[1]._y : 0 [by b.b.pass.y:=1] + 342535 b.b.buf._flushB : 1 [by b.b._flush:=0] + 342541 b.b.buf.vc.OR2_tf[0]._y : 0 [by b.b.gandalf_t[0].y:=1] + 342630 b.b.buf.t_buf_func[0]._y : 0 [by b.b.buf._flushB:=1] + 342638 b.out.d[0].t : 1 [by b.b.buf.t_buf_func[0]._y:=0] + 342672 b.b.out_valid.OR2_tf[0]._y : 0 [by b.out.d[0].t:=1] + 342876 b.b.buf.vc.ct.in[0] : 1 [by b.b.buf.vc.OR2_tf[0]._y:=0] + 343438 b.b.gandalf_t[5]._y : 0 [by b.b.pass.y:=1] + 344356 b.b.gandalf_t[5].y : 1 [by b.b.gandalf_t[5]._y:=0] + 344360 b.b.buf.vc.OR2_tf[5]._y : 0 [by b.b.gandalf_t[5].y:=1] + 345070 b.b.gandalf_t[2]._y : 0 [by b.b.pass.y:=1] + 345317 b.b.gandalf_t[4].y : 1 [by b.b.gandalf_t[4]._y:=0] + 345365 b.b.buf.t_buf_func[4]._y : 0 [by b.b.gandalf_t[4].y:=1] + 345368 b.out.d[4].t : 1 [by b.b.buf.t_buf_func[4]._y:=0] + 345546 b.b.out_valid.OR2_tf[4]._y : 0 [by b.out.d[4].t:=1] + 346758 b.b.buf.vc.ct.in[5] : 1 [by b.b.buf.vc.OR2_tf[5]._y:=0] + 348285 b.b.gandalf_t[2].y : 1 [by b.b.gandalf_t[2]._y:=0] + 350858 b.b.gandalf_t[3]._y : 0 [by b.b.pass.y:=1] + 354236 b.b.buf.t_buf_func[2]._y : 0 [by b.b.gandalf_t[2].y:=1] + 355063 b.out.d[2].t : 1 [by b.b.buf.t_buf_func[2]._y:=0] + 355236 b.b.out_valid.OR2_tf[2]._y : 0 [by b.out.d[2].t:=1] + 355420 b.b.out_valid.ct.in[2] : 1 [by b.b.out_valid.OR2_tf[2]._y:=0] + 356247 b.b.gandalf_t[1].y : 1 [by b.b.gandalf_t[1]._y:=0] + 356248 b.b.buf.vc.OR2_tf[1]._y : 0 [by b.b.gandalf_t[1].y:=1] + 356252 b.b.buf.vc.ct.in[1] : 1 [by b.b.buf.vc.OR2_tf[1]._y:=0] + 356320 b.b.buf.t_buf_func[1]._y : 0 [by b.b.gandalf_t[1].y:=1] + 356416 b.out.d[1].t : 1 [by b.b.buf.t_buf_func[1]._y:=0] + 356552 b.b.out_valid.OR2_tf[1]._y : 0 [by b.out.d[1].t:=1] + 356553 b.b.out_valid.ct.in[1] : 1 [by b.b.out_valid.OR2_tf[1]._y:=0] + 356559 b.b.out_valid.ct.in[0] : 1 [by b.b.out_valid.OR2_tf[0]._y:=0] + 360184 b.b.buf.vc.OR2_tf[2]._y : 0 [by b.b.gandalf_t[2].y:=1] + 360425 b.b.buf.vc.ct.in[2] : 1 [by b.b.buf.vc.OR2_tf[2]._y:=0] + 366523 b.b.out_valid.ct.in[4] : 1 [by b.b.out_valid.OR2_tf[4]._y:=0] + 375605 b.b.out_valid.ct.C2Els[0]._y : 0 [by b.b.out_valid.ct.in[0]:=1] + 379564 b.b.out_valid.ct.tmp[7] : 1 [by b.b.out_valid.ct.C2Els[0]._y:=0] + 390343 b.b.gandalf_t[3].y : 1 [by b.b.gandalf_t[3]._y:=0] + 390355 b.b.buf.vc.OR2_tf[3]._y : 0 [by b.b.gandalf_t[3].y:=1] + 390734 b.b.buf.t_buf_func[5]._y : 0 [by b.b.gandalf_t[5].y:=1] + 390735 b.out.d[5].t : 1 [by b.b.buf.t_buf_func[5]._y:=0] + 390791 b.b.out_valid.OR2_tf[5]._y : 0 [by b.out.d[5].t:=1] + 391384 b.b.buf.vc.ct.in[3] : 1 [by b.b.buf.vc.OR2_tf[3]._y:=0] + 391385 b.b.buf.vc.ct.C2Els[1]._y : 0 [by b.b.buf.vc.ct.in[3]:=1] + 391422 b.b.buf.vc.ct.tmp[8] : 1 [by b.b.buf.vc.ct.C2Els[1]._y:=0] + 392436 b.b.buf.vc.OR2_tf[4]._y : 0 [by b.b.gandalf_t[4].y:=1] + 393540 b.b.buf.vc.ct.C2Els[0]._y : 0 [by b.b.buf.vc.ct.in[1]:=1] + 393541 b.b.buf.vc.ct.tmp[7] : 1 [by b.b.buf.vc.ct.C2Els[0]._y:=0] + 394243 b.b.buf.t_buf_func[3]._y : 0 [by b.b.gandalf_t[3].y:=1] + 397807 b.out.d[3].t : 1 [by b.b.buf.t_buf_func[3]._y:=0] + 399499 b.b.out_valid.OR2_tf[3]._y : 0 [by b.out.d[3].t:=1] + 399512 b.b.out_valid.ct.in[3] : 1 [by b.b.out_valid.OR2_tf[3]._y:=0] + 401459 b.b.gandalf_t[6]._y : 0 [by b.b.pass.y:=1] + 401816 b.b.gandalf_t[6].y : 1 [by b.b.gandalf_t[6]._y:=0] + 401837 b.b.buf.t_buf_func[6]._y : 0 [by b.b.gandalf_t[6].y:=1] + 401838 b.out.d[6].t : 1 [by b.b.buf.t_buf_func[6]._y:=0] + 401841 b.b.buf.vc.OR2_tf[6]._y : 0 [by b.b.gandalf_t[6].y:=1] + 401842 b.b.buf.vc.ct.in[6] : 1 [by b.b.buf.vc.OR2_tf[6]._y:=0] + 411486 b.b.out_valid.OR2_tf[6]._y : 0 [by b.out.d[6].t:=1] + 411487 b.b.out_valid.ct.in[6] : 1 [by b.b.out_valid.OR2_tf[6]._y:=0] + 415811 b.b.buf.vc.ct.in[4] : 1 [by b.b.buf.vc.OR2_tf[4]._y:=0] + 415972 b.b.buf.vc.ct.C3Els[0]._y : 0 [by b.b.buf.vc.ct.in[4]:=1] + 416496 b.b.out_valid.ct.C2Els[1]._y : 0 [by b.b.out_valid.ct.in[3]:=1] + 416501 b.b.out_valid.ct.tmp[8] : 1 [by b.b.out_valid.ct.C2Els[1]._y:=0] + 417009 b.b.buf.vc.ct.tmp[9] : 1 [by b.b.buf.vc.ct.C3Els[0]._y:=0] + 417590 b.b.buf.vc.ct.C3Els[1]._y : 0 [by b.b.buf.vc.ct.tmp[9]:=1] + 417998 b.b.buf._in_v : 1 [by b.b.buf.vc.ct.C3Els[1]._y:=0] + 418009 b.b.buf.in_v_buf._y : 0 [by b.b.buf._in_v:=1] + 419056 b.in.v : 1 [by b.b.buf.in_v_buf._y:=0] + 435797 b.b.out_valid.ct.in[5] : 1 [by b.b.out_valid.OR2_tf[5]._y:=0] + 435811 b.b.out_valid.ct.C3Els[0]._y : 0 [by b.b.out_valid.ct.in[5]:=1] + 435829 b.b.out_valid.ct.tmp[9] : 1 [by b.b.out_valid.ct.C3Els[0]._y:=0] + 435833 b.b.out_valid.ct.C3Els[1]._y : 0 [by b.b.out_valid.ct.tmp[9]:=1] + 435937 b.b._out_v : 1 [by b.b.out_valid.ct.C3Els[1]._y:=0] + 437141 b.b.buf._en : 0 [by b.b._out_v:=1] + 437369 b.b.buf.en_buf_f.buf2._y : 1 [by b.b.buf._en:=0] + 437984 b.b.buf.en_buf_t.buf2._y : 1 [by b.b.buf._en:=0] + 438054 b.b.buf._en_X_t[0] : 0 [by b.b.buf.en_buf_t.buf2._y:=1] + 438828 b.b.buf._en_X_f[0] : 0 [by b.b.buf.en_buf_f.buf2._y:=1] + 445596 b.b.in_ack_inv.a : 1 [by b.b.buf._en:=0] + 467381 b.b._out_vB : 0 [by b.b._out_v:=1] + 496018 b.b.in_ack_inv.y : 0 [by b.b.in_ack_inv.a:=1] + 496029 b.in.a : 1 [by b.b.in_ack_inv.y:=0] +[] Removing input + 496029 b.b.gandalf_t[0].a : 0 + 496029 b.b._w : 0 + 496029 b.b.gandalf_t[2].a : 0 + 496029 b.b.gandalf_t[6].a : 0 + 496029 b.b.gandalf_t[5].a : 0 + 496029 b.b.gandalf_t[1].a : 0 + 496029 b.b.gandalf_t[4].a : 0 + 496029 b.b.gandalf_t[3].a : 0 + 496032 b.b.gandalf_t[0]._y : 1 [by b.b.gandalf_t[0].a:=0] + 496083 b.b._en2 : 1 [by b.b._w:=0] + 496110 b.b.gandalf_t[1]._y : 1 [by b.b.gandalf_t[1].a:=0] + 496124 b.b.gandalf_t[0].y : 0 [by b.b.gandalf_t[0]._y:=1] + 496737 b.b.buf.vc.OR2_tf[0]._y : 1 [by b.b.gandalf_t[0].y:=0] + 497177 b.b.gandalf_t[2]._y : 1 [by b.b.gandalf_t[2].a:=0] + 497190 b.b.gandalf_t[6]._y : 1 [by b.b.gandalf_t[6].a:=0] + 497222 b.b.gandalf_t[2].y : 0 [by b.b.gandalf_t[2]._y:=1] + 497854 b.b.gandalf_t[1].y : 0 [by b.b.gandalf_t[1]._y:=1] + 498187 b.b.gandalf_t[6].y : 0 [by b.b.gandalf_t[6]._y:=1] + 498379 b.b.buf.vc.OR2_tf[1]._y : 1 [by b.b.gandalf_t[1].y:=0] + 498431 b.b.buf.vc.ct.in[1] : 0 [by b.b.buf.vc.OR2_tf[1]._y:=1] + 498871 b.b.buf.vc.OR2_tf[2]._y : 1 [by b.b.gandalf_t[2].y:=0] + 498878 b.b.buf.vc.ct.in[2] : 0 [by b.b.buf.vc.OR2_tf[2]._y:=1] + 499087 b.b.buf.vc.OR2_tf[6]._y : 1 [by b.b.gandalf_t[6].y:=0] + 504394 b.b.pass.y : 0 [by b.b._en2:=1] + 504681 b.b.gandalf_t[5]._y : 1 [by b.b.gandalf_t[5].a:=0] + 507106 b.b.gandalf_t[4]._y : 1 [by b.b.gandalf_t[4].a:=0] + 507108 b.b.gandalf_t[4].y : 0 [by b.b.gandalf_t[4]._y:=1] + 507462 b.b.buf.vc.OR2_tf[4]._y : 1 [by b.b.gandalf_t[4].y:=0] + 507595 b.b.buf.vc.ct.in[4] : 0 [by b.b.buf.vc.OR2_tf[4]._y:=1] + 510759 b.b.buf.vc.ct.in[0] : 0 [by b.b.buf.vc.OR2_tf[0]._y:=1] + 510760 b.b.buf.vc.ct.C2Els[0]._y : 1 [by b.b.buf.vc.ct.in[0]:=0] + 510764 b.b.buf.vc.ct.tmp[7] : 0 [by b.b.buf.vc.ct.C2Els[0]._y:=1] + 511148 b.b.gandalf_t[5].y : 0 [by b.b.gandalf_t[5]._y:=1] + 511694 b.b.buf.vc.OR2_tf[5]._y : 1 [by b.b.gandalf_t[5].y:=0] + 514012 b.b.gandalf_t[3]._y : 1 [by b.b.gandalf_t[3].a:=0] + 514013 b.b.gandalf_t[3].y : 0 [by b.b.gandalf_t[3]._y:=1] + 514699 b.b.buf.vc.ct.in[6] : 0 [by b.b.buf.vc.OR2_tf[6]._y:=1] + 526391 b.b.buf.vc.OR2_tf[3]._y : 1 [by b.b.gandalf_t[3].y:=0] + 526470 b.b.buf.vc.ct.in[3] : 0 [by b.b.buf.vc.OR2_tf[3]._y:=1] + 528903 b.b.buf.vc.ct.C2Els[1]._y : 1 [by b.b.buf.vc.ct.in[3]:=0] + 528991 b.b.buf.vc.ct.tmp[8] : 0 [by b.b.buf.vc.ct.C2Els[1]._y:=1] + 557257 b.b.buf.vc.ct.in[5] : 0 [by b.b.buf.vc.OR2_tf[5]._y:=1] + 565039 b.b.buf.vc.ct.C3Els[0]._y : 1 [by b.b.buf.vc.ct.in[5]:=0] + 593366 b.b.buf.vc.ct.tmp[9] : 0 [by b.b.buf.vc.ct.C3Els[0]._y:=1] + 593425 b.b.buf.vc.ct.C3Els[1]._y : 1 [by b.b.buf.vc.ct.tmp[9]:=0] + 593455 b.b.buf._in_v : 0 [by b.b.buf.vc.ct.C3Els[1]._y:=1] + 594922 b.b.buf.in_v_buf._y : 1 [by b.b.buf._in_v:=0] + 654426 b.in.v : 0 [by b.b.buf.in_v_buf._y:=1] + 673810 b.b.buf._en : 1 [by b.in.v:=0] + 673937 b.b.buf.en_buf_t.buf2._y : 0 [by b.b.buf._en:=1] + 674106 b.b.buf._en_X_t[0] : 1 [by b.b.buf.en_buf_t.buf2._y:=0] + 674495 b.b.in_ack_inv.a : 0 [by b.b.buf._en:=1] + 674538 b.b.in_ack_inv.y : 1 [by b.b.in_ack_inv.a:=0] + 674550 b.in.a : 0 [by b.b.in_ack_inv.y:=1] + 690525 b.b.buf.en_buf_f.buf2._y : 0 [by b.b.buf._en:=1] + 691804 b.b.buf._en_X_f[0] : 1 [by b.b.buf.en_buf_f.buf2._y:=0] +[] Sending in 35 + 691804 b.b.gandalf_t[0].a : 1 + 691804 b.b._w : 1 + 691804 b.b.gandalf_f[6].a : 1 + 691804 b.b.gandalf_f[2].a : 1 + 691804 b.b.gandalf_t[5].a : 1 + 691804 b.b.gandalf_f[4].a : 1 + 691804 b.b.gandalf_f[3].a : 1 + 691804 b.b.gandalf_t[1].a : 1 + 692037 b.b.A_flush._y : 0 [by b.b._w:=1] + 692040 b.b._flush : 1 [by b.b.A_flush._y:=0] + 692041 b.b.buf._flushB : 0 [by b.b._flush:=1] + 692042 b.b.buf.t_buf_func[4]._y : 1 [by b.b.buf._flushB:=0] + 692043 b.b.buf.t_buf_func[3]._y : 1 [by b.b.buf._flushB:=0] + 692043 b.b.buf.t_buf_func[6]._y : 1 [by b.b.buf._flushB:=0] + 692060 b.out.d[4].t : 0 [by b.b.buf.t_buf_func[4]._y:=1] + 692068 b.b.out_valid.OR2_tf[4]._y : 1 [by b.out.d[4].t:=0] + 692078 b.b._flushB : 0 [by b.b._flush:=1] + 692122 b.b.out_valid.ct.in[4] : 0 [by b.b.out_valid.OR2_tf[4]._y:=1] + 692133 b.b.buf.t_buf_func[1]._y : 1 [by b.b.buf._flushB:=0] + 692162 b.out.d[3].t : 0 [by b.b.buf.t_buf_func[3]._y:=1] + 692167 b.b.out_valid.OR2_tf[3]._y : 1 [by b.out.d[3].t:=0] + 693234 b.b.out_valid.ct.in[3] : 0 [by b.b.out_valid.OR2_tf[3]._y:=1] + 693542 b.b.buf.t_buf_func[5]._y : 1 [by b.b.buf._flushB:=0] + 693543 b.out.d[5].t : 0 [by b.b.buf.t_buf_func[5]._y:=1] + 693681 b.b.out_valid.OR2_tf[5]._y : 1 [by b.out.d[5].t:=0] + 693682 b.b.out_valid.ct.in[5] : 0 [by b.b.out_valid.OR2_tf[5]._y:=1] + 694768 b.b.buf.t_buf_func[2]._y : 1 [by b.b.buf._flushB:=0] + 694832 b.out.d[2].t : 0 [by b.b.buf.t_buf_func[2]._y:=1] + 694955 b.b.out_valid.OR2_tf[2]._y : 1 [by b.out.d[2].t:=0] + 694957 b.b.out_valid.ct.in[2] : 0 [by b.b.out_valid.OR2_tf[2]._y:=1] + 694994 b.b.out_valid.ct.C2Els[1]._y : 1 [by b.b.out_valid.ct.in[2]:=0] + 695137 b.b.out_valid.ct.tmp[8] : 0 [by b.b.out_valid.ct.C2Els[1]._y:=1] + 697763 b.out.d[6].t : 0 [by b.b.buf.t_buf_func[6]._y:=1] + 697814 b.b.out_valid.OR2_tf[6]._y : 1 [by b.out.d[6].t:=0] + 698256 b.b.out_valid.ct.in[6] : 0 [by b.b.out_valid.OR2_tf[6]._y:=1] + 698267 b.b.out_valid.ct.C3Els[0]._y : 1 [by b.b.out_valid.ct.in[6]:=0] + 698268 b.b.out_valid.ct.tmp[9] : 0 [by b.b.out_valid.ct.C3Els[0]._y:=1] + 704793 b.b.buf.t_buf_func[0]._y : 1 [by b.b.buf._flushB:=0] + 704802 b.out.d[0].t : 0 [by b.b.buf.t_buf_func[0]._y:=1] + 704827 b.b.out_valid.OR2_tf[0]._y : 1 [by b.out.d[0].t:=0] + 715080 b.b.out_valid.ct.in[0] : 0 [by b.b.out_valid.OR2_tf[0]._y:=1] + 742671 b.out.d[1].t : 0 [by b.b.buf.t_buf_func[1]._y:=1] + 746192 b.b.out_valid.OR2_tf[1]._y : 1 [by b.out.d[1].t:=0] + 746337 b.b.out_valid.ct.in[1] : 0 [by b.b.out_valid.OR2_tf[1]._y:=1] + 762505 b.b.out_valid.ct.C2Els[0]._y : 1 [by b.b.out_valid.ct.in[1]:=0] + 762735 b.b.out_valid.ct.tmp[7] : 0 [by b.b.out_valid.ct.C2Els[0]._y:=1] + 763426 b.b.out_valid.ct.C3Els[1]._y : 1 [by b.b.out_valid.ct.tmp[7]:=0] + 763440 b.b._out_v : 0 [by b.b.out_valid.ct.C3Els[1]._y:=1] + 764983 b.b._out_vB : 1 [by b.b._out_v:=0] + 766594 b.b._en2 : 0 [by b.b._out_vB:=1] + 784106 b.b.A_flush._y : 1 [by b.b._en2:=0] + 784117 b.b._flush : 0 [by b.b.A_flush._y:=1] + 784118 b.b.pass.y : 1 [by b.b._flush:=0] + 784118 b.b._flushB : 1 [by b.b._flush:=0] + 784119 b.b.gandalf_f[6]._y : 0 [by b.b.pass.y:=1] + 784122 b.b.gandalf_f[6].y : 1 [by b.b.gandalf_f[6]._y:=0] + 784135 b.b.gandalf_t[0]._y : 0 [by b.b.pass.y:=1] + 784141 b.b.gandalf_t[0].y : 1 [by b.b.gandalf_t[0]._y:=0] + 784250 b.b.gandalf_f[4]._y : 0 [by b.b.pass.y:=1] + 784270 b.b.gandalf_t[1]._y : 0 [by b.b.pass.y:=1] + 784546 b.b.buf.vc.OR2_tf[6]._y : 0 [by b.b.gandalf_f[6].y:=1] + 784757 b.b.gandalf_f[2]._y : 0 [by b.b.pass.y:=1] + 784759 b.b.gandalf_f[2].y : 1 [by b.b.gandalf_f[2]._y:=0] + 784953 b.b.buf.vc.OR2_tf[2]._y : 0 [by b.b.gandalf_f[2].y:=1] + 785100 b.b.gandalf_t[1].y : 1 [by b.b.gandalf_t[1]._y:=0] + 785238 b.b.buf.vc.OR2_tf[1]._y : 0 [by b.b.gandalf_t[1].y:=1] + 785255 b.b.buf.vc.ct.in[1] : 1 [by b.b.buf.vc.OR2_tf[1]._y:=0] + 785556 b.b.buf.vc.ct.in[2] : 1 [by b.b.buf.vc.OR2_tf[2]._y:=0] + 785911 b.b.gandalf_f[3]._y : 0 [by b.b.pass.y:=1] + 785928 b.b.gandalf_f[3].y : 1 [by b.b.gandalf_f[3]._y:=0] + 786354 b.b.buf.vc.OR2_tf[3]._y : 0 [by b.b.gandalf_f[3].y:=1] + 786355 b.b.buf.vc.ct.in[3] : 1 [by b.b.buf.vc.OR2_tf[3]._y:=0] + 786356 b.b.buf.vc.ct.C2Els[1]._y : 0 [by b.b.buf.vc.ct.in[3]:=1] + 786711 b.b.gandalf_f[4].y : 1 [by b.b.gandalf_f[4]._y:=0] + 786712 b.b.buf.vc.OR2_tf[4]._y : 0 [by b.b.gandalf_f[4].y:=1] + 786729 b.b.buf.vc.OR2_tf[0]._y : 0 [by b.b.gandalf_t[0].y:=1] + 786731 b.b.buf.vc.ct.in[4] : 1 [by b.b.buf.vc.OR2_tf[4]._y:=0] + 786897 b.b.buf.vc.ct.in[0] : 1 [by b.b.buf.vc.OR2_tf[0]._y:=0] + 787101 b.b.gandalf_t[5]._y : 0 [by b.b.pass.y:=1] + 787262 b.b.gandalf_t[5].y : 1 [by b.b.gandalf_t[5]._y:=0] + 787382 b.b.buf.vc.ct.tmp[8] : 1 [by b.b.buf.vc.ct.C2Els[1]._y:=0] + 787435 b.b.buf.vc.OR2_tf[5]._y : 0 [by b.b.gandalf_t[5].y:=1] + 787436 b.b.buf.vc.ct.C2Els[0]._y : 0 [by b.b.buf.vc.ct.in[0]:=1] + 789982 b.b.buf.vc.ct.in[5] : 1 [by b.b.buf.vc.OR2_tf[5]._y:=0] + 790618 b.b.buf._flushB : 1 [by b.b._flush:=0] + 790619 b.b.buf.t_buf_func[0]._y : 0 [by b.b.buf._flushB:=1] + 790619 b.b.buf.t_buf_func[1]._y : 0 [by b.b.buf._flushB:=1] + 790623 b.out.d[1].t : 1 [by b.b.buf.t_buf_func[1]._y:=0] + 790625 b.b.buf.f_buf_func[6]._y : 0 [by b.b.buf._flushB:=1] + 790646 b.b.buf.f_buf_func[4]._y : 0 [by b.b.buf._flushB:=1] + 790812 b.out.d[4].f : 1 [by b.b.buf.f_buf_func[4]._y:=0] + 790825 b.b.buf.f_buf_func[2]._y : 0 [by b.b.buf._flushB:=1] + 791008 b.b.buf.t_buf_func[5]._y : 0 [by b.b.buf._flushB:=1] + 791033 b.out.d[0].t : 1 [by b.b.buf.t_buf_func[0]._y:=0] + 791451 b.b.buf.f_buf_func[3]._y : 0 [by b.b.buf._flushB:=1] + 791590 b.out.d[3].f : 1 [by b.b.buf.f_buf_func[3]._y:=0] + 791889 b.b.out_valid.OR2_tf[0]._y : 0 [by b.out.d[0].t:=1] + 791941 b.out.d[5].t : 1 [by b.b.buf.t_buf_func[5]._y:=0] + 791943 b.b.out_valid.OR2_tf[5]._y : 0 [by b.out.d[5].t:=1] + 792084 b.b.out_valid.ct.in[0] : 1 [by b.b.out_valid.OR2_tf[0]._y:=0] + 792402 b.b.out_valid.OR2_tf[1]._y : 0 [by b.out.d[1].t:=1] + 792408 b.b.out_valid.ct.in[1] : 1 [by b.b.out_valid.OR2_tf[1]._y:=0] + 792662 b.b.out_valid.ct.C2Els[0]._y : 0 [by b.b.out_valid.ct.in[1]:=1] + 792670 b.b.out_valid.ct.tmp[7] : 1 [by b.b.out_valid.ct.C2Els[0]._y:=0] + 799470 b.out.d[2].f : 1 [by b.b.buf.f_buf_func[2]._y:=0] + 799471 b.b.out_valid.OR2_tf[2]._y : 0 [by b.out.d[2].f:=1] + 799477 b.b.out_valid.ct.in[2] : 1 [by b.b.out_valid.OR2_tf[2]._y:=0] + 802497 b.b.buf.vc.ct.tmp[7] : 1 [by b.b.buf.vc.ct.C2Els[0]._y:=0] + 807478 b.b.buf.vc.ct.in[6] : 1 [by b.b.buf.vc.OR2_tf[6]._y:=0] + 813499 b.out.d[6].f : 1 [by b.b.buf.f_buf_func[6]._y:=0] + 816589 b.b.out_valid.OR2_tf[6]._y : 0 [by b.out.d[6].f:=1] + 816815 b.b.out_valid.ct.in[6] : 1 [by b.b.out_valid.OR2_tf[6]._y:=0] + 817799 b.b.out_valid.OR2_tf[3]._y : 0 [by b.out.d[3].f:=1] + 818618 b.b.out_valid.ct.in[3] : 1 [by b.b.out_valid.OR2_tf[3]._y:=0] + 818619 b.b.out_valid.ct.C2Els[1]._y : 0 [by b.b.out_valid.ct.in[3]:=1] + 818625 b.b.out_valid.ct.tmp[8] : 1 [by b.b.out_valid.ct.C2Els[1]._y:=0] + 830682 b.b.out_valid.OR2_tf[4]._y : 0 [by b.out.d[4].f:=1] + 830684 b.b.out_valid.ct.in[4] : 1 [by b.b.out_valid.OR2_tf[4]._y:=0] + 845392 b.b.out_valid.ct.in[5] : 1 [by b.b.out_valid.OR2_tf[5]._y:=0] + 848954 b.b.out_valid.ct.C3Els[0]._y : 0 [by b.b.out_valid.ct.in[5]:=1] + 848969 b.b.out_valid.ct.tmp[9] : 1 [by b.b.out_valid.ct.C3Els[0]._y:=0] + 858514 b.b.buf.vc.ct.C3Els[0]._y : 0 [by b.b.buf.vc.ct.in[6]:=1] + 858621 b.b.buf.vc.ct.tmp[9] : 1 [by b.b.buf.vc.ct.C3Els[0]._y:=0] + 858714 b.b.buf.vc.ct.C3Els[1]._y : 0 [by b.b.buf.vc.ct.tmp[9]:=1] + 860366 b.b.buf._in_v : 1 [by b.b.buf.vc.ct.C3Els[1]._y:=0] + 864305 b.b.buf.in_v_buf._y : 0 [by b.b.buf._in_v:=1] + 865063 b.in.v : 1 [by b.b.buf.in_v_buf._y:=0] + 869770 b.b.out_valid.ct.C3Els[1]._y : 0 [by b.b.out_valid.ct.tmp[9]:=1] + 872393 b.b._out_v : 1 [by b.b.out_valid.ct.C3Els[1]._y:=0] + 872394 b.b.buf._en : 0 [by b.b._out_v:=1] + 872395 b.b.buf.en_buf_f.buf2._y : 1 [by b.b.buf._en:=0] + 873109 b.b._out_vB : 0 [by b.b._out_v:=1] + 874134 b.b.in_ack_inv.a : 1 [by b.b.buf._en:=0] + 874135 b.b.in_ack_inv.y : 0 [by b.b.in_ack_inv.a:=1] + 874141 b.in.a : 1 [by b.b.in_ack_inv.y:=0] + 884546 b.b.buf.en_buf_t.buf2._y : 1 [by b.b.buf._en:=0] + 884547 b.b.buf._en_X_t[0] : 0 [by b.b.buf.en_buf_t.buf2._y:=1] + 900594 b.b.buf._en_X_f[0] : 0 [by b.b.buf.en_buf_f.buf2._y:=1] +[] Removing input + 900594 b.b.gandalf_t[0].a : 0 + 900594 b.b._w : 0 + 900594 b.b.gandalf_f[2].a : 0 + 900594 b.b.gandalf_f[6].a : 0 + 900594 b.b.gandalf_t[5].a : 0 + 900594 b.b.gandalf_t[1].a : 0 + 900594 b.b.gandalf_f[4].a : 0 + 900594 b.b.gandalf_f[3].a : 0 + 900601 b.b.gandalf_t[5]._y : 1 [by b.b.gandalf_t[5].a:=0] + 900607 b.b.gandalf_f[4]._y : 1 [by b.b.gandalf_f[4].a:=0] + 900616 b.b.gandalf_f[2]._y : 1 [by b.b.gandalf_f[2].a:=0] + 900617 b.b.gandalf_f[2].y : 0 [by b.b.gandalf_f[2]._y:=1] + 900618 b.b.buf.vc.OR2_tf[2]._y : 1 [by b.b.gandalf_f[2].y:=0] + 900648 b.b.gandalf_f[4].y : 0 [by b.b.gandalf_f[4]._y:=1] + 900659 b.b.gandalf_t[1]._y : 1 [by b.b.gandalf_t[1].a:=0] + 900660 b.b.gandalf_t[1].y : 0 [by b.b.gandalf_t[1]._y:=1] + 900705 b.b.gandalf_t[5].y : 0 [by b.b.gandalf_t[5]._y:=1] + 901718 b.b.gandalf_f[3]._y : 1 [by b.b.gandalf_f[3].a:=0] + 902544 b.b.gandalf_f[3].y : 0 [by b.b.gandalf_f[3]._y:=1] + 903841 b.b.buf.vc.OR2_tf[5]._y : 1 [by b.b.gandalf_t[5].y:=0] + 904377 b.b.buf.vc.OR2_tf[3]._y : 1 [by b.b.gandalf_f[3].y:=0] + 904435 b.b.buf.vc.ct.in[3] : 0 [by b.b.buf.vc.OR2_tf[3]._y:=1] + 913820 b.b.buf.vc.OR2_tf[4]._y : 1 [by b.b.gandalf_f[4].y:=0] + 916263 b.b.buf.vc.ct.in[4] : 0 [by b.b.buf.vc.OR2_tf[4]._y:=1] + 920389 b.b.buf.vc.ct.in[5] : 0 [by b.b.buf.vc.OR2_tf[5]._y:=1] + 920485 b.b.buf.vc.OR2_tf[1]._y : 1 [by b.b.gandalf_t[1].y:=0] + 922193 b.b._en2 : 1 [by b.b._w:=0] + 923102 b.b.gandalf_f[6]._y : 1 [by b.b.gandalf_f[6].a:=0] + 923116 b.b.gandalf_f[6].y : 0 [by b.b.gandalf_f[6]._y:=1] + 923472 b.b.buf.vc.OR2_tf[6]._y : 1 [by b.b.gandalf_f[6].y:=0] + 937258 b.b.buf.vc.ct.in[1] : 0 [by b.b.buf.vc.OR2_tf[1]._y:=1] + 940083 b.b.gandalf_t[0]._y : 1 [by b.b.gandalf_t[0].a:=0] + 940188 b.b.gandalf_t[0].y : 0 [by b.b.gandalf_t[0]._y:=1] + 940297 b.b.buf.vc.OR2_tf[0]._y : 1 [by b.b.gandalf_t[0].y:=0] + 940298 b.b.buf.vc.ct.in[0] : 0 [by b.b.buf.vc.OR2_tf[0]._y:=1] + 940307 b.b.buf.vc.ct.C2Els[0]._y : 1 [by b.b.buf.vc.ct.in[0]:=0] + 959310 b.b.buf.vc.ct.in[6] : 0 [by b.b.buf.vc.OR2_tf[6]._y:=1] + 959311 b.b.buf.vc.ct.C3Els[0]._y : 1 [by b.b.buf.vc.ct.in[6]:=0] + 959392 b.b.pass.y : 0 [by b.b._en2:=1] + 964996 b.b.buf.vc.ct.in[2] : 0 [by b.b.buf.vc.OR2_tf[2]._y:=1] + 964997 b.b.buf.vc.ct.C2Els[1]._y : 1 [by b.b.buf.vc.ct.in[2]:=0] + 968086 b.b.buf.vc.ct.tmp[8] : 0 [by b.b.buf.vc.ct.C2Els[1]._y:=1] + 978260 b.b.buf.vc.ct.tmp[7] : 0 [by b.b.buf.vc.ct.C2Els[0]._y:=1] + 995705 b.b.buf.vc.ct.tmp[9] : 0 [by b.b.buf.vc.ct.C3Els[0]._y:=1] + 1044431 b.b.buf.vc.ct.C3Els[1]._y : 1 [by b.b.buf.vc.ct.tmp[9]:=0] + 1045181 b.b.buf._in_v : 0 [by b.b.buf.vc.ct.C3Els[1]._y:=1] + 1051936 b.b.buf.in_v_buf._y : 1 [by b.b.buf._in_v:=0] + 1051987 b.in.v : 0 [by b.b.buf.in_v_buf._y:=1] + 1051997 b.b.buf._en : 1 [by b.in.v:=0] + 1051998 b.b.buf.en_buf_t.buf2._y : 0 [by b.b.buf._en:=1] + 1051999 b.b.buf._en_X_t[0] : 1 [by b.b.buf.en_buf_t.buf2._y:=0] + 1052317 b.b.in_ack_inv.a : 0 [by b.b.buf._en:=1] + 1054047 b.b.in_ack_inv.y : 1 [by b.b.in_ack_inv.a:=0] + 1055734 b.in.a : 0 [by b.b.in_ack_inv.y:=1] + 1059579 b.b.buf.en_buf_f.buf2._y : 0 [by b.b.buf._en:=1] + 1059594 b.b.buf._en_X_f[0] : 1 [by b.b.buf.en_buf_f.buf2._y:=0] diff --git a/test/unit_tests/registerA_w/run/test.prs b/test/unit_tests/registerA_w/run/test.prs new file mode 100644 index 0000000..90b43b9 --- /dev/null +++ b/test/unit_tests/registerA_w/run/test.prs @@ -0,0 +1,1275 @@ += "GND" "GND" += "Vdd" "Vdd" += "Reset" "Reset" +"Reset"->"b._reset_B"- +~("Reset")->"b._reset_B"+ +"b.b.out_val_inv.a"->"b.b.out_val_inv.y"- +~("b.b.out_val_inv.a")->"b.b.out_val_inv.y"+ += "b.b._en2" "b.b.pass.a" += "b.b._en2" "b.b.A_en2.y" += "b.b._en2" "b.b.A_en2.n1" += "b.b._en2" "b.b.A_flush.c1" += "b.b._en2" "b.b.in_ack_safety.n1" += "b.b.supply.vss" "b.b.out_valid.supply.vss" += "b.b.supply.vdd" "b.b.out_valid.supply.vdd" += "b.b.supply.vss" "b.b.buf.supply.vss" += "b.b.supply.vdd" "b.b.buf.supply.vdd" += "b.b.supply.vdd" "b.b.gandalf_f[6].vdd" += "b.b.supply.vdd" "b.b.gandalf_t[6].vdd" += "b.b.supply.vdd" "b.b.gandalf_f[5].vdd" += "b.b.supply.vdd" "b.b.gandalf_t[5].vdd" += "b.b.supply.vdd" "b.b.gandalf_f[4].vdd" += "b.b.supply.vdd" "b.b.gandalf_t[4].vdd" += "b.b.supply.vdd" "b.b.gandalf_f[3].vdd" += "b.b.supply.vdd" "b.b.gandalf_t[3].vdd" += "b.b.supply.vdd" "b.b.gandalf_f[2].vdd" += "b.b.supply.vdd" "b.b.gandalf_t[2].vdd" += "b.b.supply.vdd" "b.b.gandalf_f[1].vdd" += "b.b.supply.vdd" "b.b.gandalf_t[1].vdd" += "b.b.supply.vdd" "b.b.gandalf_f[0].vdd" += "b.b.supply.vdd" "b.b.gandalf_t[0].vdd" += "b.b.supply.vdd" "b.b.pass.vdd" += "b.b.supply.vdd" "b.b.flush_inv.vdd" += "b.b.supply.vdd" "b.b.A_flush.vdd" += "b.b.supply.vdd" "b.b.out_val_inv.vdd" += "b.b.supply.vdd" "b.b.in_ack_safety.vdd" += "b.b.supply.vdd" "b.b.in_ack_inv.vdd" += "b.b.supply.vss" "b.b.gandalf_f[6].vss" += "b.b.supply.vss" "b.b.gandalf_t[6].vss" += "b.b.supply.vss" "b.b.gandalf_f[5].vss" += "b.b.supply.vss" "b.b.gandalf_t[5].vss" += "b.b.supply.vss" "b.b.gandalf_f[4].vss" += "b.b.supply.vss" "b.b.gandalf_t[4].vss" += "b.b.supply.vss" "b.b.gandalf_f[3].vss" += "b.b.supply.vss" "b.b.gandalf_t[3].vss" += "b.b.supply.vss" "b.b.gandalf_f[2].vss" += "b.b.supply.vss" "b.b.gandalf_t[2].vss" += "b.b.supply.vss" "b.b.gandalf_f[1].vss" += "b.b.supply.vss" "b.b.gandalf_t[1].vss" += "b.b.supply.vss" "b.b.gandalf_f[0].vss" += "b.b.supply.vss" "b.b.gandalf_t[0].vss" += "b.b.supply.vss" "b.b.pass.vss" += "b.b.supply.vss" "b.b.flush_inv.vss" += "b.b.supply.vss" "b.b.A_flush.vss" += "b.b.supply.vss" "b.b.out_val_inv.vss" += "b.b.supply.vss" "b.b.in_ack_safety.vss" += "b.b.supply.vss" "b.b.in_ack_inv.vss" +~"b.b.A_flush.p1"&~"b.b.A_flush.c1"|~"b.b.A_flush.pr_B"->"b.b.A_flush._y"+ +"b.b.A_flush.c1"&"b.b.A_flush.n1"&"b.b.A_flush.n2"&"b.b.A_flush.sr_B"->"b.b.A_flush._y"- +"b.b.A_flush._y"->"b.b.A_flush.y"- +~("b.b.A_flush._y")->"b.b.A_flush.y"+ += "b.b._flush" "b.b.pass.b" += "b.b._flush" "b.b.flush_inv.a" += "b.b._flush" "b.b.A_flush.y" += "b.b._flush" "b.b.buf.flush" +~"b.b.out_valid.ct.C2Els[0].c1"&~"b.b.out_valid.ct.C2Els[0].c2"->"b.b.out_valid.ct.C2Els[0]._y"+ +"b.b.out_valid.ct.C2Els[0].c1"&"b.b.out_valid.ct.C2Els[0].c2"->"b.b.out_valid.ct.C2Els[0]._y"- +"b.b.out_valid.ct.C2Els[0]._y"->"b.b.out_valid.ct.C2Els[0].y"- +~("b.b.out_valid.ct.C2Els[0]._y")->"b.b.out_valid.ct.C2Els[0].y"+ +~"b.b.out_valid.ct.C2Els[1].c1"&~"b.b.out_valid.ct.C2Els[1].c2"->"b.b.out_valid.ct.C2Els[1]._y"+ +"b.b.out_valid.ct.C2Els[1].c1"&"b.b.out_valid.ct.C2Els[1].c2"->"b.b.out_valid.ct.C2Els[1]._y"- +"b.b.out_valid.ct.C2Els[1]._y"->"b.b.out_valid.ct.C2Els[1].y"- +~("b.b.out_valid.ct.C2Els[1]._y")->"b.b.out_valid.ct.C2Els[1].y"+ +~"b.b.out_valid.ct.C3Els[0].c1"&~"b.b.out_valid.ct.C3Els[0].c2"&~"b.b.out_valid.ct.C3Els[0].c3"->"b.b.out_valid.ct.C3Els[0]._y"+ +"b.b.out_valid.ct.C3Els[0].c1"&"b.b.out_valid.ct.C3Els[0].c2"&"b.b.out_valid.ct.C3Els[0].c3"->"b.b.out_valid.ct.C3Els[0]._y"- +"b.b.out_valid.ct.C3Els[0]._y"->"b.b.out_valid.ct.C3Els[0].y"- +~("b.b.out_valid.ct.C3Els[0]._y")->"b.b.out_valid.ct.C3Els[0].y"+ +~"b.b.out_valid.ct.C3Els[1].c1"&~"b.b.out_valid.ct.C3Els[1].c2"&~"b.b.out_valid.ct.C3Els[1].c3"->"b.b.out_valid.ct.C3Els[1]._y"+ +"b.b.out_valid.ct.C3Els[1].c1"&"b.b.out_valid.ct.C3Els[1].c2"&"b.b.out_valid.ct.C3Els[1].c3"->"b.b.out_valid.ct.C3Els[1]._y"- +"b.b.out_valid.ct.C3Els[1]._y"->"b.b.out_valid.ct.C3Els[1].y"- +~("b.b.out_valid.ct.C3Els[1]._y")->"b.b.out_valid.ct.C3Els[1].y"+ += "b.b.out_valid.ct.tmp[7]" "b.b.out_valid.ct.C3Els[1].c1" += "b.b.out_valid.ct.tmp[7]" "b.b.out_valid.ct.C2Els[0].y" += "b.b.out_valid.ct.tmp[8]" "b.b.out_valid.ct.C3Els[1].c2" += "b.b.out_valid.ct.tmp[8]" "b.b.out_valid.ct.C2Els[1].y" += "b.b.out_valid.ct.tmp[9]" "b.b.out_valid.ct.C3Els[1].c3" += "b.b.out_valid.ct.tmp[9]" "b.b.out_valid.ct.C3Els[0].y" += "b.b.out_valid.ct.supply.vdd" "b.b.out_valid.ct.C3Els[1].vdd" += "b.b.out_valid.ct.supply.vdd" "b.b.out_valid.ct.C3Els[0].vdd" += "b.b.out_valid.ct.supply.vdd" "b.b.out_valid.ct.C2Els[1].vdd" += "b.b.out_valid.ct.supply.vdd" "b.b.out_valid.ct.C2Els[0].vdd" += "b.b.out_valid.ct.supply.vss" "b.b.out_valid.ct.C3Els[1].vss" += "b.b.out_valid.ct.supply.vss" "b.b.out_valid.ct.C3Els[0].vss" += "b.b.out_valid.ct.supply.vss" "b.b.out_valid.ct.C2Els[1].vss" += "b.b.out_valid.ct.supply.vss" "b.b.out_valid.ct.C2Els[0].vss" += "b.b.out_valid.ct.in[0]" "b.b.out_valid.ct.C2Els[0].c1" += "b.b.out_valid.ct.in[0]" "b.b.out_valid.ct.tmp[0]" += "b.b.out_valid.ct.in[1]" "b.b.out_valid.ct.C2Els[0].c2" += "b.b.out_valid.ct.in[1]" "b.b.out_valid.ct.tmp[1]" += "b.b.out_valid.ct.in[2]" "b.b.out_valid.ct.C2Els[1].c1" += "b.b.out_valid.ct.in[2]" "b.b.out_valid.ct.tmp[2]" += "b.b.out_valid.ct.in[3]" "b.b.out_valid.ct.C2Els[1].c2" += "b.b.out_valid.ct.in[3]" "b.b.out_valid.ct.tmp[3]" += "b.b.out_valid.ct.in[4]" "b.b.out_valid.ct.C3Els[0].c1" += "b.b.out_valid.ct.in[4]" "b.b.out_valid.ct.tmp[4]" += "b.b.out_valid.ct.in[5]" "b.b.out_valid.ct.C3Els[0].c2" += "b.b.out_valid.ct.in[5]" "b.b.out_valid.ct.tmp[5]" += "b.b.out_valid.ct.in[6]" "b.b.out_valid.ct.C3Els[0].c3" += "b.b.out_valid.ct.in[6]" "b.b.out_valid.ct.tmp[6]" += "b.b.out_valid.ct.out" "b.b.out_valid.ct.C3Els[1].y" += "b.b.out_valid.ct.out" "b.b.out_valid.ct.tmp[10]" += "b.b.out_valid.ct.in[0]" "b.b.out_valid.OR2_tf[0].y" += "b.b.out_valid.ct.in[1]" "b.b.out_valid.OR2_tf[1].y" += "b.b.out_valid.ct.in[2]" "b.b.out_valid.OR2_tf[2].y" += "b.b.out_valid.ct.in[3]" "b.b.out_valid.OR2_tf[3].y" += "b.b.out_valid.ct.in[4]" "b.b.out_valid.OR2_tf[4].y" += "b.b.out_valid.ct.in[5]" "b.b.out_valid.OR2_tf[5].y" += "b.b.out_valid.ct.in[6]" "b.b.out_valid.OR2_tf[6].y" +"b.b.out_valid.OR2_tf[0].a"|"b.b.out_valid.OR2_tf[0].b"->"b.b.out_valid.OR2_tf[0]._y"- +~("b.b.out_valid.OR2_tf[0].a"|"b.b.out_valid.OR2_tf[0].b")->"b.b.out_valid.OR2_tf[0]._y"+ +"b.b.out_valid.OR2_tf[0]._y"->"b.b.out_valid.OR2_tf[0].y"- +~("b.b.out_valid.OR2_tf[0]._y")->"b.b.out_valid.OR2_tf[0].y"+ +"b.b.out_valid.OR2_tf[1].a"|"b.b.out_valid.OR2_tf[1].b"->"b.b.out_valid.OR2_tf[1]._y"- +~("b.b.out_valid.OR2_tf[1].a"|"b.b.out_valid.OR2_tf[1].b")->"b.b.out_valid.OR2_tf[1]._y"+ +"b.b.out_valid.OR2_tf[1]._y"->"b.b.out_valid.OR2_tf[1].y"- +~("b.b.out_valid.OR2_tf[1]._y")->"b.b.out_valid.OR2_tf[1].y"+ +"b.b.out_valid.OR2_tf[2].a"|"b.b.out_valid.OR2_tf[2].b"->"b.b.out_valid.OR2_tf[2]._y"- +~("b.b.out_valid.OR2_tf[2].a"|"b.b.out_valid.OR2_tf[2].b")->"b.b.out_valid.OR2_tf[2]._y"+ +"b.b.out_valid.OR2_tf[2]._y"->"b.b.out_valid.OR2_tf[2].y"- +~("b.b.out_valid.OR2_tf[2]._y")->"b.b.out_valid.OR2_tf[2].y"+ +"b.b.out_valid.OR2_tf[3].a"|"b.b.out_valid.OR2_tf[3].b"->"b.b.out_valid.OR2_tf[3]._y"- +~("b.b.out_valid.OR2_tf[3].a"|"b.b.out_valid.OR2_tf[3].b")->"b.b.out_valid.OR2_tf[3]._y"+ +"b.b.out_valid.OR2_tf[3]._y"->"b.b.out_valid.OR2_tf[3].y"- +~("b.b.out_valid.OR2_tf[3]._y")->"b.b.out_valid.OR2_tf[3].y"+ +"b.b.out_valid.OR2_tf[4].a"|"b.b.out_valid.OR2_tf[4].b"->"b.b.out_valid.OR2_tf[4]._y"- +~("b.b.out_valid.OR2_tf[4].a"|"b.b.out_valid.OR2_tf[4].b")->"b.b.out_valid.OR2_tf[4]._y"+ +"b.b.out_valid.OR2_tf[4]._y"->"b.b.out_valid.OR2_tf[4].y"- +~("b.b.out_valid.OR2_tf[4]._y")->"b.b.out_valid.OR2_tf[4].y"+ +"b.b.out_valid.OR2_tf[5].a"|"b.b.out_valid.OR2_tf[5].b"->"b.b.out_valid.OR2_tf[5]._y"- +~("b.b.out_valid.OR2_tf[5].a"|"b.b.out_valid.OR2_tf[5].b")->"b.b.out_valid.OR2_tf[5]._y"+ +"b.b.out_valid.OR2_tf[5]._y"->"b.b.out_valid.OR2_tf[5].y"- +~("b.b.out_valid.OR2_tf[5]._y")->"b.b.out_valid.OR2_tf[5].y"+ +"b.b.out_valid.OR2_tf[6].a"|"b.b.out_valid.OR2_tf[6].b"->"b.b.out_valid.OR2_tf[6]._y"- +~("b.b.out_valid.OR2_tf[6].a"|"b.b.out_valid.OR2_tf[6].b")->"b.b.out_valid.OR2_tf[6]._y"+ +"b.b.out_valid.OR2_tf[6]._y"->"b.b.out_valid.OR2_tf[6].y"- +~("b.b.out_valid.OR2_tf[6]._y")->"b.b.out_valid.OR2_tf[6].y"+ += "b.b.out_valid.supply.vss" "b.b.out_valid.ct.supply.vss" += "b.b.out_valid.supply.vdd" "b.b.out_valid.ct.supply.vdd" += "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[6].vdd" += "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[5].vdd" += "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[4].vdd" += "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[3].vdd" += "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[2].vdd" += "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[1].vdd" += "b.b.out_valid.supply.vdd" "b.b.out_valid.OR2_tf[0].vdd" += "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[6].vss" += "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[5].vss" += "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[4].vss" += "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[3].vss" += "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[2].vss" += "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[1].vss" += "b.b.out_valid.supply.vss" "b.b.out_valid.OR2_tf[0].vss" += "b.b.out_valid.out" "b.b.out_valid.ct.out" += "b.b.out_valid.in.d[0].d[0]" "b.b.out_valid.in.d[0].f" += "b.b.out_valid.in.d[0].d[1]" "b.b.out_valid.in.d[0].t" += "b.b.out_valid.in.d[1].d[0]" "b.b.out_valid.in.d[1].f" += "b.b.out_valid.in.d[1].d[1]" "b.b.out_valid.in.d[1].t" += "b.b.out_valid.in.d[2].d[0]" "b.b.out_valid.in.d[2].f" += "b.b.out_valid.in.d[2].d[1]" "b.b.out_valid.in.d[2].t" += "b.b.out_valid.in.d[3].d[0]" "b.b.out_valid.in.d[3].f" += "b.b.out_valid.in.d[3].d[1]" "b.b.out_valid.in.d[3].t" += "b.b.out_valid.in.d[4].d[0]" "b.b.out_valid.in.d[4].f" += "b.b.out_valid.in.d[4].d[1]" "b.b.out_valid.in.d[4].t" += "b.b.out_valid.in.d[5].d[0]" "b.b.out_valid.in.d[5].f" += "b.b.out_valid.in.d[5].d[1]" "b.b.out_valid.in.d[5].t" += "b.b.out_valid.in.d[6].d[0]" "b.b.out_valid.in.d[6].f" += "b.b.out_valid.in.d[6].d[1]" "b.b.out_valid.in.d[6].t" += "b.b.out_valid.in.d[6].d[0]" "b.b.out_valid.in.d[6].f" += "b.b.out_valid.in.d[6].d[1]" "b.b.out_valid.in.d[6].t" += "b.b.out_valid.in.d[5].d[0]" "b.b.out_valid.in.d[5].f" += "b.b.out_valid.in.d[5].d[1]" "b.b.out_valid.in.d[5].t" += "b.b.out_valid.in.d[4].d[0]" "b.b.out_valid.in.d[4].f" += "b.b.out_valid.in.d[4].d[1]" "b.b.out_valid.in.d[4].t" += "b.b.out_valid.in.d[3].d[0]" "b.b.out_valid.in.d[3].f" += "b.b.out_valid.in.d[3].d[1]" "b.b.out_valid.in.d[3].t" += "b.b.out_valid.in.d[2].d[0]" "b.b.out_valid.in.d[2].f" += "b.b.out_valid.in.d[2].d[1]" "b.b.out_valid.in.d[2].t" += "b.b.out_valid.in.d[1].d[0]" "b.b.out_valid.in.d[1].f" += "b.b.out_valid.in.d[1].d[1]" "b.b.out_valid.in.d[1].t" += "b.b.out_valid.in.d[0].d[0]" "b.b.out_valid.in.d[0].f" += "b.b.out_valid.in.d[0].d[1]" "b.b.out_valid.in.d[0].t" += "b.b.out_valid.in.d[6].d[0]" "b.b.out_valid.OR2_tf[6].b" += "b.b.out_valid.in.d[6].d[0]" "b.b.out_valid.in.d[6].f" += "b.b.out_valid.in.d[6].d[1]" "b.b.out_valid.OR2_tf[6].a" += "b.b.out_valid.in.d[6].d[1]" "b.b.out_valid.in.d[6].t" += "b.b.out_valid.in.d[5].d[0]" "b.b.out_valid.OR2_tf[5].b" += "b.b.out_valid.in.d[5].d[0]" "b.b.out_valid.in.d[5].f" += "b.b.out_valid.in.d[5].d[1]" "b.b.out_valid.OR2_tf[5].a" += "b.b.out_valid.in.d[5].d[1]" "b.b.out_valid.in.d[5].t" += "b.b.out_valid.in.d[4].d[0]" "b.b.out_valid.OR2_tf[4].b" += "b.b.out_valid.in.d[4].d[0]" "b.b.out_valid.in.d[4].f" += "b.b.out_valid.in.d[4].d[1]" "b.b.out_valid.OR2_tf[4].a" += "b.b.out_valid.in.d[4].d[1]" "b.b.out_valid.in.d[4].t" += "b.b.out_valid.in.d[3].d[0]" "b.b.out_valid.OR2_tf[3].b" += "b.b.out_valid.in.d[3].d[0]" "b.b.out_valid.in.d[3].f" += "b.b.out_valid.in.d[3].d[1]" "b.b.out_valid.OR2_tf[3].a" += "b.b.out_valid.in.d[3].d[1]" "b.b.out_valid.in.d[3].t" += "b.b.out_valid.in.d[2].d[0]" "b.b.out_valid.OR2_tf[2].b" += "b.b.out_valid.in.d[2].d[0]" "b.b.out_valid.in.d[2].f" += "b.b.out_valid.in.d[2].d[1]" "b.b.out_valid.OR2_tf[2].a" += "b.b.out_valid.in.d[2].d[1]" "b.b.out_valid.in.d[2].t" += "b.b.out_valid.in.d[1].d[0]" "b.b.out_valid.OR2_tf[1].b" += "b.b.out_valid.in.d[1].d[0]" "b.b.out_valid.in.d[1].f" += "b.b.out_valid.in.d[1].d[1]" "b.b.out_valid.OR2_tf[1].a" += "b.b.out_valid.in.d[1].d[1]" "b.b.out_valid.in.d[1].t" += "b.b.out_valid.in.d[0].d[0]" "b.b.out_valid.OR2_tf[0].b" += "b.b.out_valid.in.d[0].d[0]" "b.b.out_valid.in.d[0].f" += "b.b.out_valid.in.d[0].d[1]" "b.b.out_valid.OR2_tf[0].a" += "b.b.out_valid.in.d[0].d[1]" "b.b.out_valid.in.d[0].t" += "b.b.out.d[0].d[0]" "b.b.out.d[0].f" += "b.b.out.d[0].d[1]" "b.b.out.d[0].t" += "b.b.out.d[1].d[0]" "b.b.out.d[1].f" += "b.b.out.d[1].d[1]" "b.b.out.d[1].t" += "b.b.out.d[2].d[0]" "b.b.out.d[2].f" += "b.b.out.d[2].d[1]" "b.b.out.d[2].t" += "b.b.out.d[3].d[0]" "b.b.out.d[3].f" += "b.b.out.d[3].d[1]" "b.b.out.d[3].t" += "b.b.out.d[4].d[0]" "b.b.out.d[4].f" += "b.b.out.d[4].d[1]" "b.b.out.d[4].t" += "b.b.out.d[5].d[0]" "b.b.out.d[5].f" += "b.b.out.d[5].d[1]" "b.b.out.d[5].t" += "b.b.out.d[6].d[0]" "b.b.out.d[6].f" += "b.b.out.d[6].d[1]" "b.b.out.d[6].t" += "b.b.out.d[6].d[0]" "b.b.out.d[6].f" += "b.b.out.d[6].d[1]" "b.b.out.d[6].t" += "b.b.out.d[5].d[0]" "b.b.out.d[5].f" += "b.b.out.d[5].d[1]" "b.b.out.d[5].t" += "b.b.out.d[4].d[0]" "b.b.out.d[4].f" += "b.b.out.d[4].d[1]" "b.b.out.d[4].t" += "b.b.out.d[3].d[0]" "b.b.out.d[3].f" += "b.b.out.d[3].d[1]" "b.b.out.d[3].t" += "b.b.out.d[2].d[0]" "b.b.out.d[2].f" += "b.b.out.d[2].d[1]" "b.b.out.d[2].t" += "b.b.out.d[1].d[0]" "b.b.out.d[1].f" += "b.b.out.d[1].d[1]" "b.b.out.d[1].t" += "b.b.out.d[0].d[0]" "b.b.out.d[0].f" += "b.b.out.d[0].d[1]" "b.b.out.d[0].t" += "b.b.out.d[0].f" "b.b.out_valid.in.d[0].f" += "b.b.out.d[0].t" "b.b.out_valid.in.d[0].t" += "b.b.out.d[0].d[0]" "b.b.out_valid.in.d[0].d[0]" += "b.b.out.d[0].d[1]" "b.b.out_valid.in.d[0].d[1]" += "b.b.out.d[1].f" "b.b.out_valid.in.d[1].f" += "b.b.out.d[1].t" "b.b.out_valid.in.d[1].t" += "b.b.out.d[1].d[0]" "b.b.out_valid.in.d[1].d[0]" += "b.b.out.d[1].d[1]" "b.b.out_valid.in.d[1].d[1]" += "b.b.out.d[2].f" "b.b.out_valid.in.d[2].f" += "b.b.out.d[2].t" "b.b.out_valid.in.d[2].t" += "b.b.out.d[2].d[0]" "b.b.out_valid.in.d[2].d[0]" += "b.b.out.d[2].d[1]" "b.b.out_valid.in.d[2].d[1]" += "b.b.out.d[3].f" "b.b.out_valid.in.d[3].f" += "b.b.out.d[3].t" "b.b.out_valid.in.d[3].t" += "b.b.out.d[3].d[0]" "b.b.out_valid.in.d[3].d[0]" += "b.b.out.d[3].d[1]" "b.b.out_valid.in.d[3].d[1]" += "b.b.out.d[4].f" "b.b.out_valid.in.d[4].f" += "b.b.out.d[4].t" "b.b.out_valid.in.d[4].t" += "b.b.out.d[4].d[0]" "b.b.out_valid.in.d[4].d[0]" += "b.b.out.d[4].d[1]" "b.b.out_valid.in.d[4].d[1]" += "b.b.out.d[5].f" "b.b.out_valid.in.d[5].f" += "b.b.out.d[5].t" "b.b.out_valid.in.d[5].t" += "b.b.out.d[5].d[0]" "b.b.out_valid.in.d[5].d[0]" += "b.b.out.d[5].d[1]" "b.b.out_valid.in.d[5].d[1]" += "b.b.out.d[6].f" "b.b.out_valid.in.d[6].f" += "b.b.out.d[6].t" "b.b.out_valid.in.d[6].t" += "b.b.out.d[6].d[0]" "b.b.out_valid.in.d[6].d[0]" += "b.b.out.d[6].d[1]" "b.b.out_valid.in.d[6].d[1]" += "b.b.out.d[0].f" "b.b.buf.out.d[0].f" += "b.b.out.d[0].t" "b.b.buf.out.d[0].t" += "b.b.out.d[0].d[0]" "b.b.buf.out.d[0].d[0]" += "b.b.out.d[0].d[1]" "b.b.buf.out.d[0].d[1]" += "b.b.out.d[1].f" "b.b.buf.out.d[1].f" += "b.b.out.d[1].t" "b.b.buf.out.d[1].t" += "b.b.out.d[1].d[0]" "b.b.buf.out.d[1].d[0]" += "b.b.out.d[1].d[1]" "b.b.buf.out.d[1].d[1]" += "b.b.out.d[2].f" "b.b.buf.out.d[2].f" += "b.b.out.d[2].t" "b.b.buf.out.d[2].t" += "b.b.out.d[2].d[0]" "b.b.buf.out.d[2].d[0]" += "b.b.out.d[2].d[1]" "b.b.buf.out.d[2].d[1]" += "b.b.out.d[3].f" "b.b.buf.out.d[3].f" += "b.b.out.d[3].t" "b.b.buf.out.d[3].t" += "b.b.out.d[3].d[0]" "b.b.buf.out.d[3].d[0]" += "b.b.out.d[3].d[1]" "b.b.buf.out.d[3].d[1]" += "b.b.out.d[4].f" "b.b.buf.out.d[4].f" += "b.b.out.d[4].t" "b.b.buf.out.d[4].t" += "b.b.out.d[4].d[0]" "b.b.buf.out.d[4].d[0]" += "b.b.out.d[4].d[1]" "b.b.buf.out.d[4].d[1]" += "b.b.out.d[5].f" "b.b.buf.out.d[5].f" += "b.b.out.d[5].t" "b.b.buf.out.d[5].t" += "b.b.out.d[5].d[0]" "b.b.buf.out.d[5].d[0]" += "b.b.out.d[5].d[1]" "b.b.buf.out.d[5].d[1]" += "b.b.out.d[6].f" "b.b.buf.out.d[6].f" += "b.b.out.d[6].t" "b.b.buf.out.d[6].t" += "b.b.out.d[6].d[0]" "b.b.buf.out.d[6].d[0]" += "b.b.out.d[6].d[1]" "b.b.buf.out.d[6].d[1]" += "b.b.out.d[6].d[0]" "b.b.out.d[6].f" += "b.b.out.d[6].d[1]" "b.b.out.d[6].t" += "b.b.out.d[5].d[0]" "b.b.out.d[5].f" += "b.b.out.d[5].d[1]" "b.b.out.d[5].t" += "b.b.out.d[4].d[0]" "b.b.out.d[4].f" += "b.b.out.d[4].d[1]" "b.b.out.d[4].t" += "b.b.out.d[3].d[0]" "b.b.out.d[3].f" += "b.b.out.d[3].d[1]" "b.b.out.d[3].t" += "b.b.out.d[2].d[0]" "b.b.out.d[2].f" += "b.b.out.d[2].d[1]" "b.b.out.d[2].t" += "b.b.out.d[1].d[0]" "b.b.out.d[1].f" += "b.b.out.d[1].d[1]" "b.b.out.d[1].t" += "b.b.out.d[0].d[0]" "b.b.out.d[0].f" += "b.b.out.d[0].d[1]" "b.b.out.d[0].t" += "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f" += "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t" += "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f" += "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t" += "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f" += "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t" += "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f" += "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t" += "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f" += "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t" += "b.b.in.d.d[5].d[0]" "b.b.in.d.d[5].f" += "b.b.in.d.d[5].d[1]" "b.b.in.d.d[5].t" += "b.b.in.d.d[6].d[0]" "b.b.in.d.d[6].f" += "b.b.in.d.d[6].d[1]" "b.b.in.d.d[6].t" += "b.b.in.d.d[7].d[0]" "b.b.in.d.d[7].f" += "b.b.in.d.d[7].d[1]" "b.b.in.d.d[7].t" += "b.b.in.d.d[7].d[0]" "b.b.in.d.d[7].f" += "b.b.in.d.d[7].d[1]" "b.b.in.d.d[7].t" += "b.b.in.d.d[6].d[0]" "b.b.in.d.d[6].f" += "b.b.in.d.d[6].d[1]" "b.b.in.d.d[6].t" += "b.b.in.d.d[5].d[0]" "b.b.in.d.d[5].f" += "b.b.in.d.d[5].d[1]" "b.b.in.d.d[5].t" += "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f" += "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t" += "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f" += "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t" += "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f" += "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t" += "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f" += "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t" += "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f" += "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t" += "b.b.in.d.d[7].d[0]" "b.b.in.d.d[7].f" += "b.b.in.d.d[7].d[1]" "b.b.in.d.d[7].t" += "b.b.in.d.d[6].d[0]" "b.b.in.d.d[6].f" += "b.b.in.d.d[6].d[1]" "b.b.in.d.d[6].t" += "b.b.in.d.d[5].d[0]" "b.b.in.d.d[5].f" += "b.b.in.d.d[5].d[1]" "b.b.in.d.d[5].t" += "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f" += "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t" += "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f" += "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t" += "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f" += "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t" += "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f" += "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t" += "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f" += "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t" += "b.b.in.a" "b.b.in_ack_safety.y" += "b.b.in.v" "b.b.buf.in.v" += "b.b.in.d.d[7].d[0]" "b.b.in.d.d[7].f" += "b.b.in.d.d[7].d[1]" "b.b.A_en2.c1" += "b.b.in.d.d[7].d[1]" "b.b.A_flush.n2" += "b.b.in.d.d[7].d[1]" "b.b._w" += "b.b.in.d.d[7].d[1]" "b.b.in.d.d[7].t" += "b.b.in.d.d[6].d[0]" "b.b.gandalf_f[6].a" += "b.b.in.d.d[6].d[0]" "b.b.in.d.d[6].f" += "b.b.in.d.d[6].d[1]" "b.b.gandalf_t[6].a" += "b.b.in.d.d[6].d[1]" "b.b.in.d.d[6].t" += "b.b.in.d.d[5].d[0]" "b.b.gandalf_f[5].a" += "b.b.in.d.d[5].d[0]" "b.b.in.d.d[5].f" += "b.b.in.d.d[5].d[1]" "b.b.gandalf_t[5].a" += "b.b.in.d.d[5].d[1]" "b.b.in.d.d[5].t" += "b.b.in.d.d[4].d[0]" "b.b.gandalf_f[4].a" += "b.b.in.d.d[4].d[0]" "b.b.in.d.d[4].f" += "b.b.in.d.d[4].d[1]" "b.b.gandalf_t[4].a" += "b.b.in.d.d[4].d[1]" "b.b.in.d.d[4].t" += "b.b.in.d.d[3].d[0]" "b.b.gandalf_f[3].a" += "b.b.in.d.d[3].d[0]" "b.b.in.d.d[3].f" += "b.b.in.d.d[3].d[1]" "b.b.gandalf_t[3].a" += "b.b.in.d.d[3].d[1]" "b.b.in.d.d[3].t" += "b.b.in.d.d[2].d[0]" "b.b.gandalf_f[2].a" += "b.b.in.d.d[2].d[0]" "b.b.in.d.d[2].f" += "b.b.in.d.d[2].d[1]" "b.b.gandalf_t[2].a" += "b.b.in.d.d[2].d[1]" "b.b.in.d.d[2].t" += "b.b.in.d.d[1].d[0]" "b.b.gandalf_f[1].a" += "b.b.in.d.d[1].d[0]" "b.b.in.d.d[1].f" += "b.b.in.d.d[1].d[1]" "b.b.gandalf_t[1].a" += "b.b.in.d.d[1].d[1]" "b.b.in.d.d[1].t" += "b.b.in.d.d[0].d[0]" "b.b.gandalf_f[0].a" += "b.b.in.d.d[0].d[0]" "b.b.in.d.d[0].f" += "b.b.in.d.d[0].d[1]" "b.b.gandalf_t[0].a" += "b.b.in.d.d[0].d[1]" "b.b.in.d.d[0].t" +"b.b.pass.a"|"b.b.pass.b"->"b.b.pass.y"- +~("b.b.pass.a"|"b.b.pass.b")->"b.b.pass.y"+ += "b.b.pass.y" "b.b.gandalf_f[6].b" += "b.b.pass.y" "b.b.gandalf_t[6].b" += "b.b.pass.y" "b.b.gandalf_f[5].b" += "b.b.pass.y" "b.b.gandalf_t[5].b" += "b.b.pass.y" "b.b.gandalf_f[4].b" += "b.b.pass.y" "b.b.gandalf_t[4].b" += "b.b.pass.y" "b.b.gandalf_f[3].b" += "b.b.pass.y" "b.b.gandalf_t[3].b" += "b.b.pass.y" "b.b.gandalf_f[2].b" += "b.b.pass.y" "b.b.gandalf_t[2].b" += "b.b.pass.y" "b.b.gandalf_f[1].b" += "b.b.pass.y" "b.b.gandalf_t[1].b" += "b.b.pass.y" "b.b.gandalf_f[0].b" += "b.b.pass.y" "b.b.gandalf_t[0].b" +~"b.b.A_en2.c1"|~"b.b.A_en2.pr_B"->"b.b.A_en2.y"+ +"b.b.A_en2.c1"&"b.b.A_en2.n1"&"b.b.A_en2.n2"&"b.b.A_en2.sr_B"->"b.b.A_en2.y"- +"b.b.flush_inv.a"->"b.b.flush_inv.y"- +~("b.b.flush_inv.a")->"b.b.flush_inv.y"+ += "b.b.reset_B" "b.b.A_en2.sr_B" += "b.b.reset_B" "b.b.A_en2.pr_B" += "b.b.reset_B" "b.b.A_flush.pr_B" += "b.b.reset_B" "b.b.A_flush.sr_B" += "b.b.reset_B" "b.b.buf.reset_B" += "b.b._flushB" "b.b.flush_inv.y" += "b.b._flushB" "b.b.A_flush.p1" +~"b.b.in_ack_safety.c1"->"b.b.in_ack_safety.y"+ +"b.b.in_ack_safety.c1"&"b.b.in_ack_safety.n1"->"b.b.in_ack_safety.y"- +"b.b.gandalf_f[0].a"&"b.b.gandalf_f[0].b"->"b.b.gandalf_f[0]._y"- +~("b.b.gandalf_f[0].a"&"b.b.gandalf_f[0].b")->"b.b.gandalf_f[0]._y"+ +"b.b.gandalf_f[0]._y"->"b.b.gandalf_f[0].y"- +~("b.b.gandalf_f[0]._y")->"b.b.gandalf_f[0].y"+ +"b.b.gandalf_f[1].a"&"b.b.gandalf_f[1].b"->"b.b.gandalf_f[1]._y"- +~("b.b.gandalf_f[1].a"&"b.b.gandalf_f[1].b")->"b.b.gandalf_f[1]._y"+ +"b.b.gandalf_f[1]._y"->"b.b.gandalf_f[1].y"- +~("b.b.gandalf_f[1]._y")->"b.b.gandalf_f[1].y"+ +"b.b.gandalf_f[2].a"&"b.b.gandalf_f[2].b"->"b.b.gandalf_f[2]._y"- +~("b.b.gandalf_f[2].a"&"b.b.gandalf_f[2].b")->"b.b.gandalf_f[2]._y"+ +"b.b.gandalf_f[2]._y"->"b.b.gandalf_f[2].y"- +~("b.b.gandalf_f[2]._y")->"b.b.gandalf_f[2].y"+ +"b.b.gandalf_f[3].a"&"b.b.gandalf_f[3].b"->"b.b.gandalf_f[3]._y"- +~("b.b.gandalf_f[3].a"&"b.b.gandalf_f[3].b")->"b.b.gandalf_f[3]._y"+ +"b.b.gandalf_f[3]._y"->"b.b.gandalf_f[3].y"- +~("b.b.gandalf_f[3]._y")->"b.b.gandalf_f[3].y"+ +"b.b.gandalf_f[4].a"&"b.b.gandalf_f[4].b"->"b.b.gandalf_f[4]._y"- +~("b.b.gandalf_f[4].a"&"b.b.gandalf_f[4].b")->"b.b.gandalf_f[4]._y"+ +"b.b.gandalf_f[4]._y"->"b.b.gandalf_f[4].y"- +~("b.b.gandalf_f[4]._y")->"b.b.gandalf_f[4].y"+ +"b.b.gandalf_f[5].a"&"b.b.gandalf_f[5].b"->"b.b.gandalf_f[5]._y"- +~("b.b.gandalf_f[5].a"&"b.b.gandalf_f[5].b")->"b.b.gandalf_f[5]._y"+ +"b.b.gandalf_f[5]._y"->"b.b.gandalf_f[5].y"- +~("b.b.gandalf_f[5]._y")->"b.b.gandalf_f[5].y"+ +"b.b.gandalf_f[6].a"&"b.b.gandalf_f[6].b"->"b.b.gandalf_f[6]._y"- +~("b.b.gandalf_f[6].a"&"b.b.gandalf_f[6].b")->"b.b.gandalf_f[6]._y"+ +"b.b.gandalf_f[6]._y"->"b.b.gandalf_f[6].y"- +~("b.b.gandalf_f[6]._y")->"b.b.gandalf_f[6].y"+ += "b.b.gandalf_f[6].y" "b.b.buf.in.d.d[6].f" += "b.b.gandalf_f[6].y" "b.b.buf.in.d.d[6].d[0]" += "b.b.gandalf_f[5].y" "b.b.buf.in.d.d[5].f" += "b.b.gandalf_f[5].y" "b.b.buf.in.d.d[5].d[0]" += "b.b.gandalf_f[4].y" "b.b.buf.in.d.d[4].f" += "b.b.gandalf_f[4].y" "b.b.buf.in.d.d[4].d[0]" += "b.b.gandalf_f[3].y" "b.b.buf.in.d.d[3].f" += "b.b.gandalf_f[3].y" "b.b.buf.in.d.d[3].d[0]" += "b.b.gandalf_f[2].y" "b.b.buf.in.d.d[2].f" += "b.b.gandalf_f[2].y" "b.b.buf.in.d.d[2].d[0]" += "b.b.gandalf_f[1].y" "b.b.buf.in.d.d[1].f" += "b.b.gandalf_f[1].y" "b.b.buf.in.d.d[1].d[0]" += "b.b.gandalf_f[0].y" "b.b.buf.in.d.d[0].f" += "b.b.gandalf_f[0].y" "b.b.buf.in.d.d[0].d[0]" += "b.b._out_vB" "b.b.A_en2.n2" += "b.b._out_vB" "b.b.out_val_inv.y" += "b.b._out_v" "b.b.A_flush.n1" += "b.b._out_v" "b.b.out_val_inv.a" += "b.b._out_v" "b.b.out_valid.out" += "b.b._out_v" "b.b.buf.out_v" +"b.b.gandalf_t[0].a"&"b.b.gandalf_t[0].b"->"b.b.gandalf_t[0]._y"- +~("b.b.gandalf_t[0].a"&"b.b.gandalf_t[0].b")->"b.b.gandalf_t[0]._y"+ +"b.b.gandalf_t[0]._y"->"b.b.gandalf_t[0].y"- +~("b.b.gandalf_t[0]._y")->"b.b.gandalf_t[0].y"+ +"b.b.gandalf_t[1].a"&"b.b.gandalf_t[1].b"->"b.b.gandalf_t[1]._y"- +~("b.b.gandalf_t[1].a"&"b.b.gandalf_t[1].b")->"b.b.gandalf_t[1]._y"+ +"b.b.gandalf_t[1]._y"->"b.b.gandalf_t[1].y"- +~("b.b.gandalf_t[1]._y")->"b.b.gandalf_t[1].y"+ +"b.b.gandalf_t[2].a"&"b.b.gandalf_t[2].b"->"b.b.gandalf_t[2]._y"- +~("b.b.gandalf_t[2].a"&"b.b.gandalf_t[2].b")->"b.b.gandalf_t[2]._y"+ +"b.b.gandalf_t[2]._y"->"b.b.gandalf_t[2].y"- +~("b.b.gandalf_t[2]._y")->"b.b.gandalf_t[2].y"+ +"b.b.gandalf_t[3].a"&"b.b.gandalf_t[3].b"->"b.b.gandalf_t[3]._y"- +~("b.b.gandalf_t[3].a"&"b.b.gandalf_t[3].b")->"b.b.gandalf_t[3]._y"+ +"b.b.gandalf_t[3]._y"->"b.b.gandalf_t[3].y"- +~("b.b.gandalf_t[3]._y")->"b.b.gandalf_t[3].y"+ +"b.b.gandalf_t[4].a"&"b.b.gandalf_t[4].b"->"b.b.gandalf_t[4]._y"- +~("b.b.gandalf_t[4].a"&"b.b.gandalf_t[4].b")->"b.b.gandalf_t[4]._y"+ +"b.b.gandalf_t[4]._y"->"b.b.gandalf_t[4].y"- +~("b.b.gandalf_t[4]._y")->"b.b.gandalf_t[4].y"+ +"b.b.gandalf_t[5].a"&"b.b.gandalf_t[5].b"->"b.b.gandalf_t[5]._y"- +~("b.b.gandalf_t[5].a"&"b.b.gandalf_t[5].b")->"b.b.gandalf_t[5]._y"+ +"b.b.gandalf_t[5]._y"->"b.b.gandalf_t[5].y"- +~("b.b.gandalf_t[5]._y")->"b.b.gandalf_t[5].y"+ +"b.b.gandalf_t[6].a"&"b.b.gandalf_t[6].b"->"b.b.gandalf_t[6]._y"- +~("b.b.gandalf_t[6].a"&"b.b.gandalf_t[6].b")->"b.b.gandalf_t[6]._y"+ +"b.b.gandalf_t[6]._y"->"b.b.gandalf_t[6].y"- +~("b.b.gandalf_t[6]._y")->"b.b.gandalf_t[6].y"+ += "b.b.gandalf_t[6].y" "b.b.buf.in.d.d[6].t" += "b.b.gandalf_t[6].y" "b.b.buf.in.d.d[6].d[1]" += "b.b.gandalf_t[5].y" "b.b.buf.in.d.d[5].t" += "b.b.gandalf_t[5].y" "b.b.buf.in.d.d[5].d[1]" += "b.b.gandalf_t[4].y" "b.b.buf.in.d.d[4].t" += "b.b.gandalf_t[4].y" "b.b.buf.in.d.d[4].d[1]" += "b.b.gandalf_t[3].y" "b.b.buf.in.d.d[3].t" += "b.b.gandalf_t[3].y" "b.b.buf.in.d.d[3].d[1]" += "b.b.gandalf_t[2].y" "b.b.buf.in.d.d[2].t" += "b.b.gandalf_t[2].y" "b.b.buf.in.d.d[2].d[1]" += "b.b.gandalf_t[1].y" "b.b.buf.in.d.d[1].t" += "b.b.gandalf_t[1].y" "b.b.buf.in.d.d[1].d[1]" += "b.b.gandalf_t[0].y" "b.b.buf.in.d.d[0].t" += "b.b.gandalf_t[0].y" "b.b.buf.in.d.d[0].d[1]" += "b.b.buf._en_X_f[0]" "b.b.buf.en_buf_f.out[0]" += "b.b.buf._en_X_f[1]" "b.b.buf.en_buf_f.out[1]" += "b.b.buf._en_X_f[2]" "b.b.buf.en_buf_f.out[2]" += "b.b.buf._en_X_f[3]" "b.b.buf.en_buf_f.out[3]" += "b.b.buf._en_X_f[4]" "b.b.buf.en_buf_f.out[4]" += "b.b.buf._en_X_f[5]" "b.b.buf.en_buf_f.out[5]" += "b.b.buf._en_X_f[6]" "b.b.buf.en_buf_f.out[6]" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[6].n2" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[5].n2" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[4].n2" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[3].n2" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[2].n2" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[1].n2" += "b.b.buf._en_X_f[0]" "b.b.buf.f_buf_func[0].n2" += "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[6]" += "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[5]" += "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[4]" += "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[3]" += "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[2]" += "b.b.buf._en_X_f[0]" "b.b.buf._en_X_f[1]" +"b.b.buf.in_v_buf.a"->"b.b.buf.in_v_buf._y"- +~("b.b.buf.in_v_buf.a")->"b.b.buf.in_v_buf._y"+ +"b.b.buf.in_v_buf._y"->"b.b.buf.in_v_buf.y"- +~("b.b.buf.in_v_buf._y")->"b.b.buf.in_v_buf.y"+ +"b.b.buf.reset_bufarray.buf2.a"->"b.b.buf.reset_bufarray.buf2._y"- +~("b.b.buf.reset_bufarray.buf2.a")->"b.b.buf.reset_bufarray.buf2._y"+ +"b.b.buf.reset_bufarray.buf2._y"->"b.b.buf.reset_bufarray.buf2.y"- +~("b.b.buf.reset_bufarray.buf2._y")->"b.b.buf.reset_bufarray.buf2.y"+ += "b.b.buf.reset_bufarray.supply.vdd" "b.b.buf.reset_bufarray.buf2.vdd" += "b.b.buf.reset_bufarray.supply.vss" "b.b.buf.reset_bufarray.buf2.vss" += "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[6]" += "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[5]" += "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[4]" += "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[3]" += "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[2]" += "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.out[1]" += "b.b.buf.reset_bufarray.out[0]" "b.b.buf.reset_bufarray.buf2.y" += "b.b.buf.reset_bufarray.in" "b.b.buf.reset_bufarray.buf2.a" += "b.b.buf.flush" "b.b.buf.flush_inv.a" +~"b.b.buf.inack_ctl.c1"&~"b.b.buf.inack_ctl.c2"|~"b.b.buf.inack_ctl.pr_B"->"b.b.buf.inack_ctl.y"+ +"b.b.buf.inack_ctl.c1"&"b.b.buf.inack_ctl.c2"&"b.b.buf.inack_ctl.n1"&"b.b.buf.inack_ctl.sr_B"->"b.b.buf.inack_ctl.y"- +~"b.b.buf.vc.ct.C2Els[0].c1"&~"b.b.buf.vc.ct.C2Els[0].c2"->"b.b.buf.vc.ct.C2Els[0]._y"+ +"b.b.buf.vc.ct.C2Els[0].c1"&"b.b.buf.vc.ct.C2Els[0].c2"->"b.b.buf.vc.ct.C2Els[0]._y"- +"b.b.buf.vc.ct.C2Els[0]._y"->"b.b.buf.vc.ct.C2Els[0].y"- +~("b.b.buf.vc.ct.C2Els[0]._y")->"b.b.buf.vc.ct.C2Els[0].y"+ +~"b.b.buf.vc.ct.C2Els[1].c1"&~"b.b.buf.vc.ct.C2Els[1].c2"->"b.b.buf.vc.ct.C2Els[1]._y"+ +"b.b.buf.vc.ct.C2Els[1].c1"&"b.b.buf.vc.ct.C2Els[1].c2"->"b.b.buf.vc.ct.C2Els[1]._y"- +"b.b.buf.vc.ct.C2Els[1]._y"->"b.b.buf.vc.ct.C2Els[1].y"- +~("b.b.buf.vc.ct.C2Els[1]._y")->"b.b.buf.vc.ct.C2Els[1].y"+ +~"b.b.buf.vc.ct.C3Els[0].c1"&~"b.b.buf.vc.ct.C3Els[0].c2"&~"b.b.buf.vc.ct.C3Els[0].c3"->"b.b.buf.vc.ct.C3Els[0]._y"+ +"b.b.buf.vc.ct.C3Els[0].c1"&"b.b.buf.vc.ct.C3Els[0].c2"&"b.b.buf.vc.ct.C3Els[0].c3"->"b.b.buf.vc.ct.C3Els[0]._y"- +"b.b.buf.vc.ct.C3Els[0]._y"->"b.b.buf.vc.ct.C3Els[0].y"- +~("b.b.buf.vc.ct.C3Els[0]._y")->"b.b.buf.vc.ct.C3Els[0].y"+ +~"b.b.buf.vc.ct.C3Els[1].c1"&~"b.b.buf.vc.ct.C3Els[1].c2"&~"b.b.buf.vc.ct.C3Els[1].c3"->"b.b.buf.vc.ct.C3Els[1]._y"+ +"b.b.buf.vc.ct.C3Els[1].c1"&"b.b.buf.vc.ct.C3Els[1].c2"&"b.b.buf.vc.ct.C3Els[1].c3"->"b.b.buf.vc.ct.C3Els[1]._y"- +"b.b.buf.vc.ct.C3Els[1]._y"->"b.b.buf.vc.ct.C3Els[1].y"- +~("b.b.buf.vc.ct.C3Els[1]._y")->"b.b.buf.vc.ct.C3Els[1].y"+ += "b.b.buf.vc.ct.tmp[7]" "b.b.buf.vc.ct.C3Els[1].c1" += "b.b.buf.vc.ct.tmp[7]" "b.b.buf.vc.ct.C2Els[0].y" += "b.b.buf.vc.ct.tmp[8]" "b.b.buf.vc.ct.C3Els[1].c2" += "b.b.buf.vc.ct.tmp[8]" "b.b.buf.vc.ct.C2Els[1].y" += "b.b.buf.vc.ct.tmp[9]" "b.b.buf.vc.ct.C3Els[1].c3" += "b.b.buf.vc.ct.tmp[9]" "b.b.buf.vc.ct.C3Els[0].y" += "b.b.buf.vc.ct.supply.vdd" "b.b.buf.vc.ct.C3Els[1].vdd" += "b.b.buf.vc.ct.supply.vdd" "b.b.buf.vc.ct.C3Els[0].vdd" += "b.b.buf.vc.ct.supply.vdd" "b.b.buf.vc.ct.C2Els[1].vdd" += "b.b.buf.vc.ct.supply.vdd" "b.b.buf.vc.ct.C2Els[0].vdd" += "b.b.buf.vc.ct.supply.vss" "b.b.buf.vc.ct.C3Els[1].vss" += "b.b.buf.vc.ct.supply.vss" "b.b.buf.vc.ct.C3Els[0].vss" += "b.b.buf.vc.ct.supply.vss" "b.b.buf.vc.ct.C2Els[1].vss" += "b.b.buf.vc.ct.supply.vss" "b.b.buf.vc.ct.C2Els[0].vss" += "b.b.buf.vc.ct.in[0]" "b.b.buf.vc.ct.C2Els[0].c1" += "b.b.buf.vc.ct.in[0]" "b.b.buf.vc.ct.tmp[0]" += "b.b.buf.vc.ct.in[1]" "b.b.buf.vc.ct.C2Els[0].c2" += "b.b.buf.vc.ct.in[1]" "b.b.buf.vc.ct.tmp[1]" += "b.b.buf.vc.ct.in[2]" "b.b.buf.vc.ct.C2Els[1].c1" += "b.b.buf.vc.ct.in[2]" "b.b.buf.vc.ct.tmp[2]" += "b.b.buf.vc.ct.in[3]" "b.b.buf.vc.ct.C2Els[1].c2" += "b.b.buf.vc.ct.in[3]" "b.b.buf.vc.ct.tmp[3]" += "b.b.buf.vc.ct.in[4]" "b.b.buf.vc.ct.C3Els[0].c1" += "b.b.buf.vc.ct.in[4]" "b.b.buf.vc.ct.tmp[4]" += "b.b.buf.vc.ct.in[5]" "b.b.buf.vc.ct.C3Els[0].c2" += "b.b.buf.vc.ct.in[5]" "b.b.buf.vc.ct.tmp[5]" += "b.b.buf.vc.ct.in[6]" "b.b.buf.vc.ct.C3Els[0].c3" += "b.b.buf.vc.ct.in[6]" "b.b.buf.vc.ct.tmp[6]" += "b.b.buf.vc.ct.out" "b.b.buf.vc.ct.C3Els[1].y" += "b.b.buf.vc.ct.out" "b.b.buf.vc.ct.tmp[10]" += "b.b.buf.vc.ct.in[0]" "b.b.buf.vc.OR2_tf[0].y" += "b.b.buf.vc.ct.in[1]" "b.b.buf.vc.OR2_tf[1].y" += "b.b.buf.vc.ct.in[2]" "b.b.buf.vc.OR2_tf[2].y" += "b.b.buf.vc.ct.in[3]" "b.b.buf.vc.OR2_tf[3].y" += "b.b.buf.vc.ct.in[4]" "b.b.buf.vc.OR2_tf[4].y" += "b.b.buf.vc.ct.in[5]" "b.b.buf.vc.OR2_tf[5].y" += "b.b.buf.vc.ct.in[6]" "b.b.buf.vc.OR2_tf[6].y" +"b.b.buf.vc.OR2_tf[0].a"|"b.b.buf.vc.OR2_tf[0].b"->"b.b.buf.vc.OR2_tf[0]._y"- +~("b.b.buf.vc.OR2_tf[0].a"|"b.b.buf.vc.OR2_tf[0].b")->"b.b.buf.vc.OR2_tf[0]._y"+ +"b.b.buf.vc.OR2_tf[0]._y"->"b.b.buf.vc.OR2_tf[0].y"- +~("b.b.buf.vc.OR2_tf[0]._y")->"b.b.buf.vc.OR2_tf[0].y"+ +"b.b.buf.vc.OR2_tf[1].a"|"b.b.buf.vc.OR2_tf[1].b"->"b.b.buf.vc.OR2_tf[1]._y"- +~("b.b.buf.vc.OR2_tf[1].a"|"b.b.buf.vc.OR2_tf[1].b")->"b.b.buf.vc.OR2_tf[1]._y"+ +"b.b.buf.vc.OR2_tf[1]._y"->"b.b.buf.vc.OR2_tf[1].y"- +~("b.b.buf.vc.OR2_tf[1]._y")->"b.b.buf.vc.OR2_tf[1].y"+ +"b.b.buf.vc.OR2_tf[2].a"|"b.b.buf.vc.OR2_tf[2].b"->"b.b.buf.vc.OR2_tf[2]._y"- +~("b.b.buf.vc.OR2_tf[2].a"|"b.b.buf.vc.OR2_tf[2].b")->"b.b.buf.vc.OR2_tf[2]._y"+ +"b.b.buf.vc.OR2_tf[2]._y"->"b.b.buf.vc.OR2_tf[2].y"- +~("b.b.buf.vc.OR2_tf[2]._y")->"b.b.buf.vc.OR2_tf[2].y"+ +"b.b.buf.vc.OR2_tf[3].a"|"b.b.buf.vc.OR2_tf[3].b"->"b.b.buf.vc.OR2_tf[3]._y"- +~("b.b.buf.vc.OR2_tf[3].a"|"b.b.buf.vc.OR2_tf[3].b")->"b.b.buf.vc.OR2_tf[3]._y"+ +"b.b.buf.vc.OR2_tf[3]._y"->"b.b.buf.vc.OR2_tf[3].y"- +~("b.b.buf.vc.OR2_tf[3]._y")->"b.b.buf.vc.OR2_tf[3].y"+ +"b.b.buf.vc.OR2_tf[4].a"|"b.b.buf.vc.OR2_tf[4].b"->"b.b.buf.vc.OR2_tf[4]._y"- +~("b.b.buf.vc.OR2_tf[4].a"|"b.b.buf.vc.OR2_tf[4].b")->"b.b.buf.vc.OR2_tf[4]._y"+ +"b.b.buf.vc.OR2_tf[4]._y"->"b.b.buf.vc.OR2_tf[4].y"- +~("b.b.buf.vc.OR2_tf[4]._y")->"b.b.buf.vc.OR2_tf[4].y"+ +"b.b.buf.vc.OR2_tf[5].a"|"b.b.buf.vc.OR2_tf[5].b"->"b.b.buf.vc.OR2_tf[5]._y"- +~("b.b.buf.vc.OR2_tf[5].a"|"b.b.buf.vc.OR2_tf[5].b")->"b.b.buf.vc.OR2_tf[5]._y"+ +"b.b.buf.vc.OR2_tf[5]._y"->"b.b.buf.vc.OR2_tf[5].y"- +~("b.b.buf.vc.OR2_tf[5]._y")->"b.b.buf.vc.OR2_tf[5].y"+ +"b.b.buf.vc.OR2_tf[6].a"|"b.b.buf.vc.OR2_tf[6].b"->"b.b.buf.vc.OR2_tf[6]._y"- +~("b.b.buf.vc.OR2_tf[6].a"|"b.b.buf.vc.OR2_tf[6].b")->"b.b.buf.vc.OR2_tf[6]._y"+ +"b.b.buf.vc.OR2_tf[6]._y"->"b.b.buf.vc.OR2_tf[6].y"- +~("b.b.buf.vc.OR2_tf[6]._y")->"b.b.buf.vc.OR2_tf[6].y"+ += "b.b.buf.vc.supply.vss" "b.b.buf.vc.ct.supply.vss" += "b.b.buf.vc.supply.vdd" "b.b.buf.vc.ct.supply.vdd" += "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[6].vdd" += "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[5].vdd" += "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[4].vdd" += "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[3].vdd" += "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[2].vdd" += "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[1].vdd" += "b.b.buf.vc.supply.vdd" "b.b.buf.vc.OR2_tf[0].vdd" += "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[6].vss" += "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[5].vss" += "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[4].vss" += "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[3].vss" += "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[2].vss" += "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[1].vss" += "b.b.buf.vc.supply.vss" "b.b.buf.vc.OR2_tf[0].vss" += "b.b.buf.vc.out" "b.b.buf.vc.ct.out" += "b.b.buf.vc.in.d[0].d[0]" "b.b.buf.vc.in.d[0].f" += "b.b.buf.vc.in.d[0].d[1]" "b.b.buf.vc.in.d[0].t" += "b.b.buf.vc.in.d[1].d[0]" "b.b.buf.vc.in.d[1].f" += "b.b.buf.vc.in.d[1].d[1]" "b.b.buf.vc.in.d[1].t" += "b.b.buf.vc.in.d[2].d[0]" "b.b.buf.vc.in.d[2].f" += "b.b.buf.vc.in.d[2].d[1]" "b.b.buf.vc.in.d[2].t" += "b.b.buf.vc.in.d[3].d[0]" "b.b.buf.vc.in.d[3].f" += "b.b.buf.vc.in.d[3].d[1]" "b.b.buf.vc.in.d[3].t" += "b.b.buf.vc.in.d[4].d[0]" "b.b.buf.vc.in.d[4].f" += "b.b.buf.vc.in.d[4].d[1]" "b.b.buf.vc.in.d[4].t" += "b.b.buf.vc.in.d[5].d[0]" "b.b.buf.vc.in.d[5].f" += "b.b.buf.vc.in.d[5].d[1]" "b.b.buf.vc.in.d[5].t" += "b.b.buf.vc.in.d[6].d[0]" "b.b.buf.vc.in.d[6].f" += "b.b.buf.vc.in.d[6].d[1]" "b.b.buf.vc.in.d[6].t" += "b.b.buf.vc.in.d[6].d[0]" "b.b.buf.vc.in.d[6].f" += "b.b.buf.vc.in.d[6].d[1]" "b.b.buf.vc.in.d[6].t" += "b.b.buf.vc.in.d[5].d[0]" "b.b.buf.vc.in.d[5].f" += "b.b.buf.vc.in.d[5].d[1]" "b.b.buf.vc.in.d[5].t" += "b.b.buf.vc.in.d[4].d[0]" "b.b.buf.vc.in.d[4].f" += "b.b.buf.vc.in.d[4].d[1]" "b.b.buf.vc.in.d[4].t" += "b.b.buf.vc.in.d[3].d[0]" "b.b.buf.vc.in.d[3].f" += "b.b.buf.vc.in.d[3].d[1]" "b.b.buf.vc.in.d[3].t" += "b.b.buf.vc.in.d[2].d[0]" "b.b.buf.vc.in.d[2].f" += "b.b.buf.vc.in.d[2].d[1]" "b.b.buf.vc.in.d[2].t" += "b.b.buf.vc.in.d[1].d[0]" "b.b.buf.vc.in.d[1].f" += "b.b.buf.vc.in.d[1].d[1]" "b.b.buf.vc.in.d[1].t" += "b.b.buf.vc.in.d[0].d[0]" "b.b.buf.vc.in.d[0].f" += "b.b.buf.vc.in.d[0].d[1]" "b.b.buf.vc.in.d[0].t" += "b.b.buf.vc.in.d[6].d[0]" "b.b.buf.vc.OR2_tf[6].b" += "b.b.buf.vc.in.d[6].d[0]" "b.b.buf.vc.in.d[6].f" += "b.b.buf.vc.in.d[6].d[1]" "b.b.buf.vc.OR2_tf[6].a" += "b.b.buf.vc.in.d[6].d[1]" "b.b.buf.vc.in.d[6].t" += "b.b.buf.vc.in.d[5].d[0]" "b.b.buf.vc.OR2_tf[5].b" += "b.b.buf.vc.in.d[5].d[0]" "b.b.buf.vc.in.d[5].f" += "b.b.buf.vc.in.d[5].d[1]" "b.b.buf.vc.OR2_tf[5].a" += "b.b.buf.vc.in.d[5].d[1]" "b.b.buf.vc.in.d[5].t" += "b.b.buf.vc.in.d[4].d[0]" "b.b.buf.vc.OR2_tf[4].b" += "b.b.buf.vc.in.d[4].d[0]" "b.b.buf.vc.in.d[4].f" += "b.b.buf.vc.in.d[4].d[1]" "b.b.buf.vc.OR2_tf[4].a" += "b.b.buf.vc.in.d[4].d[1]" "b.b.buf.vc.in.d[4].t" += "b.b.buf.vc.in.d[3].d[0]" "b.b.buf.vc.OR2_tf[3].b" += "b.b.buf.vc.in.d[3].d[0]" "b.b.buf.vc.in.d[3].f" += "b.b.buf.vc.in.d[3].d[1]" "b.b.buf.vc.OR2_tf[3].a" += "b.b.buf.vc.in.d[3].d[1]" "b.b.buf.vc.in.d[3].t" += "b.b.buf.vc.in.d[2].d[0]" "b.b.buf.vc.OR2_tf[2].b" += "b.b.buf.vc.in.d[2].d[0]" "b.b.buf.vc.in.d[2].f" += "b.b.buf.vc.in.d[2].d[1]" "b.b.buf.vc.OR2_tf[2].a" += "b.b.buf.vc.in.d[2].d[1]" "b.b.buf.vc.in.d[2].t" += "b.b.buf.vc.in.d[1].d[0]" "b.b.buf.vc.OR2_tf[1].b" += "b.b.buf.vc.in.d[1].d[0]" "b.b.buf.vc.in.d[1].f" += "b.b.buf.vc.in.d[1].d[1]" "b.b.buf.vc.OR2_tf[1].a" += "b.b.buf.vc.in.d[1].d[1]" "b.b.buf.vc.in.d[1].t" += "b.b.buf.vc.in.d[0].d[0]" "b.b.buf.vc.OR2_tf[0].b" += "b.b.buf.vc.in.d[0].d[0]" "b.b.buf.vc.in.d[0].f" += "b.b.buf.vc.in.d[0].d[1]" "b.b.buf.vc.OR2_tf[0].a" += "b.b.buf.vc.in.d[0].d[1]" "b.b.buf.vc.in.d[0].t" += "b.b.buf.supply.vss" "b.b.buf.en_buf_f.supply.vss" += "b.b.buf.supply.vdd" "b.b.buf.en_buf_f.supply.vdd" += "b.b.buf.supply.vss" "b.b.buf.en_buf_t.supply.vss" += "b.b.buf.supply.vdd" "b.b.buf.en_buf_t.supply.vdd" += "b.b.buf.supply.vss" "b.b.buf.vc.supply.vss" += "b.b.buf.supply.vdd" "b.b.buf.vc.supply.vdd" += "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[6].vdd" += "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[6].vdd" += "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[5].vdd" += "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[5].vdd" += "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[4].vdd" += "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[4].vdd" += "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[3].vdd" += "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[3].vdd" += "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[2].vdd" += "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[2].vdd" += "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[1].vdd" += "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[1].vdd" += "b.b.buf.supply.vdd" "b.b.buf.t_buf_func[0].vdd" += "b.b.buf.supply.vdd" "b.b.buf.f_buf_func[0].vdd" += "b.b.buf.supply.vdd" "b.b.buf.in_v_buf.vdd" += "b.b.buf.supply.vdd" "b.b.buf.reset_buf.vdd" += "b.b.buf.supply.vdd" "b.b.buf.inack_inv.vdd" += "b.b.buf.supply.vdd" "b.b.buf.inack_ctl.vdd" += "b.b.buf.supply.vss" "b.b.buf.t_buf_func[6].vss" += "b.b.buf.supply.vss" "b.b.buf.f_buf_func[6].vss" += "b.b.buf.supply.vss" "b.b.buf.t_buf_func[5].vss" += "b.b.buf.supply.vss" "b.b.buf.f_buf_func[5].vss" += "b.b.buf.supply.vss" "b.b.buf.t_buf_func[4].vss" += "b.b.buf.supply.vss" "b.b.buf.f_buf_func[4].vss" += "b.b.buf.supply.vss" "b.b.buf.t_buf_func[3].vss" += "b.b.buf.supply.vss" "b.b.buf.f_buf_func[3].vss" += "b.b.buf.supply.vss" "b.b.buf.t_buf_func[2].vss" += "b.b.buf.supply.vss" "b.b.buf.f_buf_func[2].vss" += "b.b.buf.supply.vss" "b.b.buf.t_buf_func[1].vss" += "b.b.buf.supply.vss" "b.b.buf.f_buf_func[1].vss" += "b.b.buf.supply.vss" "b.b.buf.t_buf_func[0].vss" += "b.b.buf.supply.vss" "b.b.buf.f_buf_func[0].vss" += "b.b.buf.supply.vss" "b.b.buf.in_v_buf.vss" += "b.b.buf.supply.vss" "b.b.buf.reset_buf.vss" += "b.b.buf.supply.vss" "b.b.buf.inack_inv.vss" += "b.b.buf.supply.vss" "b.b.buf.inack_ctl.vss" += "b.b.buf._en" "b.b.buf.en_buf_f.in" += "b.b.buf._en" "b.b.buf.en_buf_t.in" += "b.b.buf._en" "b.b.buf.inack_inv.a" += "b.b.buf._en" "b.b.buf.inack_ctl.y" += "b.b.buf._en" "b.b.buf.inack_ctl.c1" += "b.b.buf._en" "b.b.buf._in_aB" +"b.b.buf.reset_inv.a"->"b.b.buf.reset_inv.y"- +~("b.b.buf.reset_inv.a")->"b.b.buf.reset_inv.y"+ += "b.b.buf.out.d[0].d[0]" "b.b.buf.out.d[0].f" += "b.b.buf.out.d[0].d[1]" "b.b.buf.out.d[0].t" += "b.b.buf.out.d[1].d[0]" "b.b.buf.out.d[1].f" += "b.b.buf.out.d[1].d[1]" "b.b.buf.out.d[1].t" += "b.b.buf.out.d[2].d[0]" "b.b.buf.out.d[2].f" += "b.b.buf.out.d[2].d[1]" "b.b.buf.out.d[2].t" += "b.b.buf.out.d[3].d[0]" "b.b.buf.out.d[3].f" += "b.b.buf.out.d[3].d[1]" "b.b.buf.out.d[3].t" += "b.b.buf.out.d[4].d[0]" "b.b.buf.out.d[4].f" += "b.b.buf.out.d[4].d[1]" "b.b.buf.out.d[4].t" += "b.b.buf.out.d[5].d[0]" "b.b.buf.out.d[5].f" += "b.b.buf.out.d[5].d[1]" "b.b.buf.out.d[5].t" += "b.b.buf.out.d[6].d[0]" "b.b.buf.out.d[6].f" += "b.b.buf.out.d[6].d[1]" "b.b.buf.out.d[6].t" += "b.b.buf.out.d[6].d[0]" "b.b.buf.out.d[6].f" += "b.b.buf.out.d[6].d[1]" "b.b.buf.out.d[6].t" += "b.b.buf.out.d[5].d[0]" "b.b.buf.out.d[5].f" += "b.b.buf.out.d[5].d[1]" "b.b.buf.out.d[5].t" += "b.b.buf.out.d[4].d[0]" "b.b.buf.out.d[4].f" += "b.b.buf.out.d[4].d[1]" "b.b.buf.out.d[4].t" += "b.b.buf.out.d[3].d[0]" "b.b.buf.out.d[3].f" += "b.b.buf.out.d[3].d[1]" "b.b.buf.out.d[3].t" += "b.b.buf.out.d[2].d[0]" "b.b.buf.out.d[2].f" += "b.b.buf.out.d[2].d[1]" "b.b.buf.out.d[2].t" += "b.b.buf.out.d[1].d[0]" "b.b.buf.out.d[1].f" += "b.b.buf.out.d[1].d[1]" "b.b.buf.out.d[1].t" += "b.b.buf.out.d[0].d[0]" "b.b.buf.out.d[0].f" += "b.b.buf.out.d[0].d[1]" "b.b.buf.out.d[0].t" += "b.b.buf.out.d[6].d[0]" "b.b.buf.f_buf_func[6].y" += "b.b.buf.out.d[6].d[0]" "b.b.buf.out.d[6].f" += "b.b.buf.out.d[6].d[1]" "b.b.buf.t_buf_func[6].y" += "b.b.buf.out.d[6].d[1]" "b.b.buf.out.d[6].t" += "b.b.buf.out.d[5].d[0]" "b.b.buf.f_buf_func[5].y" += "b.b.buf.out.d[5].d[0]" "b.b.buf.out.d[5].f" += "b.b.buf.out.d[5].d[1]" "b.b.buf.t_buf_func[5].y" += "b.b.buf.out.d[5].d[1]" "b.b.buf.out.d[5].t" += "b.b.buf.out.d[4].d[0]" "b.b.buf.f_buf_func[4].y" += "b.b.buf.out.d[4].d[0]" "b.b.buf.out.d[4].f" += "b.b.buf.out.d[4].d[1]" "b.b.buf.t_buf_func[4].y" += "b.b.buf.out.d[4].d[1]" "b.b.buf.out.d[4].t" += "b.b.buf.out.d[3].d[0]" "b.b.buf.f_buf_func[3].y" += "b.b.buf.out.d[3].d[0]" "b.b.buf.out.d[3].f" += "b.b.buf.out.d[3].d[1]" "b.b.buf.t_buf_func[3].y" += "b.b.buf.out.d[3].d[1]" "b.b.buf.out.d[3].t" += "b.b.buf.out.d[2].d[0]" "b.b.buf.f_buf_func[2].y" += "b.b.buf.out.d[2].d[0]" "b.b.buf.out.d[2].f" += "b.b.buf.out.d[2].d[1]" "b.b.buf.t_buf_func[2].y" += "b.b.buf.out.d[2].d[1]" "b.b.buf.out.d[2].t" += "b.b.buf.out.d[1].d[0]" "b.b.buf.f_buf_func[1].y" += "b.b.buf.out.d[1].d[0]" "b.b.buf.out.d[1].f" += "b.b.buf.out.d[1].d[1]" "b.b.buf.t_buf_func[1].y" += "b.b.buf.out.d[1].d[1]" "b.b.buf.out.d[1].t" += "b.b.buf.out.d[0].d[0]" "b.b.buf.f_buf_func[0].y" += "b.b.buf.out.d[0].d[0]" "b.b.buf.out.d[0].f" += "b.b.buf.out.d[0].d[1]" "b.b.buf.t_buf_func[0].y" += "b.b.buf.out.d[0].d[1]" "b.b.buf.out.d[0].t" += "b.b.buf.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].f" += "b.b.buf.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].t" += "b.b.buf.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].f" += "b.b.buf.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].t" += "b.b.buf.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].f" += "b.b.buf.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].t" += "b.b.buf.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].f" += "b.b.buf.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].t" += "b.b.buf.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].f" += "b.b.buf.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].t" += "b.b.buf.in.d.d[5].d[0]" "b.b.buf.in.d.d[5].f" += "b.b.buf.in.d.d[5].d[1]" "b.b.buf.in.d.d[5].t" += "b.b.buf.in.d.d[6].d[0]" "b.b.buf.in.d.d[6].f" += "b.b.buf.in.d.d[6].d[1]" "b.b.buf.in.d.d[6].t" += "b.b.buf.in.d.d[6].d[0]" "b.b.buf.in.d.d[6].f" += "b.b.buf.in.d.d[6].d[1]" "b.b.buf.in.d.d[6].t" += "b.b.buf.in.d.d[5].d[0]" "b.b.buf.in.d.d[5].f" += "b.b.buf.in.d.d[5].d[1]" "b.b.buf.in.d.d[5].t" += "b.b.buf.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].f" += "b.b.buf.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].t" += "b.b.buf.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].f" += "b.b.buf.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].t" += "b.b.buf.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].f" += "b.b.buf.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].t" += "b.b.buf.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].f" += "b.b.buf.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].t" += "b.b.buf.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].f" += "b.b.buf.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].t" += "b.b.buf.in.d.d[6].d[0]" "b.b.buf.in.d.d[6].f" += "b.b.buf.in.d.d[6].d[1]" "b.b.buf.in.d.d[6].t" += "b.b.buf.in.d.d[5].d[0]" "b.b.buf.in.d.d[5].f" += "b.b.buf.in.d.d[5].d[1]" "b.b.buf.in.d.d[5].t" += "b.b.buf.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].f" += "b.b.buf.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].t" += "b.b.buf.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].f" += "b.b.buf.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].t" += "b.b.buf.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].f" += "b.b.buf.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].t" += "b.b.buf.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].f" += "b.b.buf.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].t" += "b.b.buf.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].f" += "b.b.buf.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].t" += "b.b.buf.in.d.d[0].f" "b.b.buf.vc.in.d[0].f" += "b.b.buf.in.d.d[0].t" "b.b.buf.vc.in.d[0].t" += "b.b.buf.in.d.d[0].d[0]" "b.b.buf.vc.in.d[0].d[0]" += "b.b.buf.in.d.d[0].d[1]" "b.b.buf.vc.in.d[0].d[1]" += "b.b.buf.in.d.d[1].f" "b.b.buf.vc.in.d[1].f" += "b.b.buf.in.d.d[1].t" "b.b.buf.vc.in.d[1].t" += "b.b.buf.in.d.d[1].d[0]" "b.b.buf.vc.in.d[1].d[0]" += "b.b.buf.in.d.d[1].d[1]" "b.b.buf.vc.in.d[1].d[1]" += "b.b.buf.in.d.d[2].f" "b.b.buf.vc.in.d[2].f" += "b.b.buf.in.d.d[2].t" "b.b.buf.vc.in.d[2].t" += "b.b.buf.in.d.d[2].d[0]" "b.b.buf.vc.in.d[2].d[0]" += "b.b.buf.in.d.d[2].d[1]" "b.b.buf.vc.in.d[2].d[1]" += "b.b.buf.in.d.d[3].f" "b.b.buf.vc.in.d[3].f" += "b.b.buf.in.d.d[3].t" "b.b.buf.vc.in.d[3].t" += "b.b.buf.in.d.d[3].d[0]" "b.b.buf.vc.in.d[3].d[0]" += "b.b.buf.in.d.d[3].d[1]" "b.b.buf.vc.in.d[3].d[1]" += "b.b.buf.in.d.d[4].f" "b.b.buf.vc.in.d[4].f" += "b.b.buf.in.d.d[4].t" "b.b.buf.vc.in.d[4].t" += "b.b.buf.in.d.d[4].d[0]" "b.b.buf.vc.in.d[4].d[0]" += "b.b.buf.in.d.d[4].d[1]" "b.b.buf.vc.in.d[4].d[1]" += "b.b.buf.in.d.d[5].f" "b.b.buf.vc.in.d[5].f" += "b.b.buf.in.d.d[5].t" "b.b.buf.vc.in.d[5].t" += "b.b.buf.in.d.d[5].d[0]" "b.b.buf.vc.in.d[5].d[0]" += "b.b.buf.in.d.d[5].d[1]" "b.b.buf.vc.in.d[5].d[1]" += "b.b.buf.in.d.d[6].f" "b.b.buf.vc.in.d[6].f" += "b.b.buf.in.d.d[6].t" "b.b.buf.vc.in.d[6].t" += "b.b.buf.in.d.d[6].d[0]" "b.b.buf.vc.in.d[6].d[0]" += "b.b.buf.in.d.d[6].d[1]" "b.b.buf.vc.in.d[6].d[1]" += "b.b.buf.in.a" "b.b.buf.inack_inv.y" += "b.b.buf.in.v" "b.b.buf.in_v_buf.y" += "b.b.buf.in.v" "b.b.buf.inack_ctl.c2" += "b.b.buf.in.d.d[6].d[0]" "b.b.buf.f_buf_func[6].n1" += "b.b.buf.in.d.d[6].d[0]" "b.b.buf.in.d.d[6].f" += "b.b.buf.in.d.d[6].d[1]" "b.b.buf.t_buf_func[6].n1" += "b.b.buf.in.d.d[6].d[1]" "b.b.buf.in.d.d[6].t" += "b.b.buf.in.d.d[5].d[0]" "b.b.buf.f_buf_func[5].n1" += "b.b.buf.in.d.d[5].d[0]" "b.b.buf.in.d.d[5].f" += "b.b.buf.in.d.d[5].d[1]" "b.b.buf.t_buf_func[5].n1" += "b.b.buf.in.d.d[5].d[1]" "b.b.buf.in.d.d[5].t" += "b.b.buf.in.d.d[4].d[0]" "b.b.buf.f_buf_func[4].n1" += "b.b.buf.in.d.d[4].d[0]" "b.b.buf.in.d.d[4].f" += "b.b.buf.in.d.d[4].d[1]" "b.b.buf.t_buf_func[4].n1" += "b.b.buf.in.d.d[4].d[1]" "b.b.buf.in.d.d[4].t" += "b.b.buf.in.d.d[3].d[0]" "b.b.buf.f_buf_func[3].n1" += "b.b.buf.in.d.d[3].d[0]" "b.b.buf.in.d.d[3].f" += "b.b.buf.in.d.d[3].d[1]" "b.b.buf.t_buf_func[3].n1" += "b.b.buf.in.d.d[3].d[1]" "b.b.buf.in.d.d[3].t" += "b.b.buf.in.d.d[2].d[0]" "b.b.buf.f_buf_func[2].n1" += "b.b.buf.in.d.d[2].d[0]" "b.b.buf.in.d.d[2].f" += "b.b.buf.in.d.d[2].d[1]" "b.b.buf.t_buf_func[2].n1" += "b.b.buf.in.d.d[2].d[1]" "b.b.buf.in.d.d[2].t" += "b.b.buf.in.d.d[1].d[0]" "b.b.buf.f_buf_func[1].n1" += "b.b.buf.in.d.d[1].d[0]" "b.b.buf.in.d.d[1].f" += "b.b.buf.in.d.d[1].d[1]" "b.b.buf.t_buf_func[1].n1" += "b.b.buf.in.d.d[1].d[1]" "b.b.buf.in.d.d[1].t" += "b.b.buf.in.d.d[0].d[0]" "b.b.buf.f_buf_func[0].n1" += "b.b.buf.in.d.d[0].d[0]" "b.b.buf.in.d.d[0].f" += "b.b.buf.in.d.d[0].d[1]" "b.b.buf.t_buf_func[0].n1" += "b.b.buf.in.d.d[0].d[1]" "b.b.buf.in.d.d[0].t" +"b.b.buf.inack_inv.a"->"b.b.buf.inack_inv.y"- +~("b.b.buf.inack_inv.a")->"b.b.buf.inack_inv.y"+ += "b.b.buf._in_v" "b.b.buf.in_v_buf.a" += "b.b.buf._in_v" "b.b.buf.vc.out" +"b.b.buf.reset_buf.a"->"b.b.buf.reset_buf._y"- +~("b.b.buf.reset_buf.a")->"b.b.buf.reset_buf._y"+ +"b.b.buf.reset_buf._y"->"b.b.buf.reset_buf.y"- +~("b.b.buf.reset_buf._y")->"b.b.buf.reset_buf.y"+ +"b.b.buf.flush_inv.a"->"b.b.buf.flush_inv.y"- +~("b.b.buf.flush_inv.a")->"b.b.buf.flush_inv.y"+ += "b.b.buf._reset_BX" "b.b.buf.reset_bufarray.in" += "b.b.buf._reset_BX" "b.b.buf.reset_buf.y" += "b.b.buf._reset_BX" "b.b.buf.inack_ctl.sr_B" += "b.b.buf._reset_BX" "b.b.buf.inack_ctl.pr_B" += "b.b.buf.reset_B" "b.b.buf.reset_buf.a" += "b.b.buf.reset_B" "b.b.buf.reset_inv.a" += "b.b.buf._reset" "b.b.buf.t_buf_func[6].sr" += "b.b.buf._reset" "b.b.buf.t_buf_func[6].pr" += "b.b.buf._reset" "b.b.buf.t_buf_func[5].sr" += "b.b.buf._reset" "b.b.buf.t_buf_func[5].pr" += "b.b.buf._reset" "b.b.buf.t_buf_func[4].sr" += "b.b.buf._reset" "b.b.buf.t_buf_func[4].pr" += "b.b.buf._reset" "b.b.buf.t_buf_func[3].sr" += "b.b.buf._reset" "b.b.buf.t_buf_func[3].pr" += "b.b.buf._reset" "b.b.buf.t_buf_func[2].sr" += "b.b.buf._reset" "b.b.buf.t_buf_func[2].pr" += "b.b.buf._reset" "b.b.buf.t_buf_func[1].sr" += "b.b.buf._reset" "b.b.buf.t_buf_func[1].pr" += "b.b.buf._reset" "b.b.buf.t_buf_func[0].sr" += "b.b.buf._reset" "b.b.buf.t_buf_func[0].pr" += "b.b.buf._reset" "b.b.buf.reset_inv.y" += "b.b.buf._flushB" "b.b.buf.t_buf_func[6].c1" += "b.b.buf._flushB" "b.b.buf.f_buf_func[6].c1" += "b.b.buf._flushB" "b.b.buf.t_buf_func[5].c1" += "b.b.buf._flushB" "b.b.buf.f_buf_func[5].c1" += "b.b.buf._flushB" "b.b.buf.t_buf_func[4].c1" += "b.b.buf._flushB" "b.b.buf.f_buf_func[4].c1" += "b.b.buf._flushB" "b.b.buf.t_buf_func[3].c1" += "b.b.buf._flushB" "b.b.buf.f_buf_func[3].c1" += "b.b.buf._flushB" "b.b.buf.t_buf_func[2].c1" += "b.b.buf._flushB" "b.b.buf.f_buf_func[2].c1" += "b.b.buf._flushB" "b.b.buf.t_buf_func[1].c1" += "b.b.buf._flushB" "b.b.buf.f_buf_func[1].c1" += "b.b.buf._flushB" "b.b.buf.t_buf_func[0].c1" += "b.b.buf._flushB" "b.b.buf.f_buf_func[0].c1" += "b.b.buf._flushB" "b.b.buf.flush_inv.y" +"b.b.buf.en_buf_f.buf2.a"->"b.b.buf.en_buf_f.buf2._y"- +~("b.b.buf.en_buf_f.buf2.a")->"b.b.buf.en_buf_f.buf2._y"+ +"b.b.buf.en_buf_f.buf2._y"->"b.b.buf.en_buf_f.buf2.y"- +~("b.b.buf.en_buf_f.buf2._y")->"b.b.buf.en_buf_f.buf2.y"+ += "b.b.buf.en_buf_f.supply.vdd" "b.b.buf.en_buf_f.buf2.vdd" += "b.b.buf.en_buf_f.supply.vss" "b.b.buf.en_buf_f.buf2.vss" += "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[6]" += "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[5]" += "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[4]" += "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[3]" += "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[2]" += "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.out[1]" += "b.b.buf.en_buf_f.out[0]" "b.b.buf.en_buf_f.buf2.y" += "b.b.buf.en_buf_f.in" "b.b.buf.en_buf_f.buf2.a" +"b.b.buf.en_buf_t.buf2.a"->"b.b.buf.en_buf_t.buf2._y"- +~("b.b.buf.en_buf_t.buf2.a")->"b.b.buf.en_buf_t.buf2._y"+ +"b.b.buf.en_buf_t.buf2._y"->"b.b.buf.en_buf_t.buf2.y"- +~("b.b.buf.en_buf_t.buf2._y")->"b.b.buf.en_buf_t.buf2.y"+ += "b.b.buf.en_buf_t.supply.vdd" "b.b.buf.en_buf_t.buf2.vdd" += "b.b.buf.en_buf_t.supply.vss" "b.b.buf.en_buf_t.buf2.vss" += "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[6]" += "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[5]" += "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[4]" += "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[3]" += "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[2]" += "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.out[1]" += "b.b.buf.en_buf_t.out[0]" "b.b.buf.en_buf_t.buf2.y" += "b.b.buf.en_buf_t.in" "b.b.buf.en_buf_t.buf2.a" += "b.b.buf._reset_BXX[0]" "b.b.buf.reset_bufarray.out[0]" += "b.b.buf._reset_BXX[1]" "b.b.buf.reset_bufarray.out[1]" += "b.b.buf._reset_BXX[2]" "b.b.buf.reset_bufarray.out[2]" += "b.b.buf._reset_BXX[3]" "b.b.buf.reset_bufarray.out[3]" += "b.b.buf._reset_BXX[4]" "b.b.buf.reset_bufarray.out[4]" += "b.b.buf._reset_BXX[5]" "b.b.buf.reset_bufarray.out[5]" += "b.b.buf._reset_BXX[6]" "b.b.buf.reset_bufarray.out[6]" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[6].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[6].pr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[5].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[5].pr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[4].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[4].pr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[3].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[3].pr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[2].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[2].pr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[1].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[1].pr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[0].sr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf.f_buf_func[0].pr_B" += "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[6]" += "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[5]" += "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[4]" += "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[3]" += "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[2]" += "b.b.buf._reset_BXX[0]" "b.b.buf._reset_BXX[1]" +~"b.b.buf.t_buf_func[0].c1"&~"b.b.buf.t_buf_func[0].sr"->"b.b.buf.t_buf_func[0]._y"+ +"b.b.buf.t_buf_func[0].c1"&"b.b.buf.t_buf_func[0].n1"&"b.b.buf.t_buf_func[0].n2"|"b.b.buf.t_buf_func[0].pr"->"b.b.buf.t_buf_func[0]._y"- +"b.b.buf.t_buf_func[0]._y"->"b.b.buf.t_buf_func[0].y"- +~("b.b.buf.t_buf_func[0]._y")->"b.b.buf.t_buf_func[0].y"+ +~"b.b.buf.t_buf_func[1].c1"&~"b.b.buf.t_buf_func[1].sr"->"b.b.buf.t_buf_func[1]._y"+ +"b.b.buf.t_buf_func[1].c1"&"b.b.buf.t_buf_func[1].n1"&"b.b.buf.t_buf_func[1].n2"|"b.b.buf.t_buf_func[1].pr"->"b.b.buf.t_buf_func[1]._y"- +"b.b.buf.t_buf_func[1]._y"->"b.b.buf.t_buf_func[1].y"- +~("b.b.buf.t_buf_func[1]._y")->"b.b.buf.t_buf_func[1].y"+ +~"b.b.buf.t_buf_func[2].c1"&~"b.b.buf.t_buf_func[2].sr"->"b.b.buf.t_buf_func[2]._y"+ +"b.b.buf.t_buf_func[2].c1"&"b.b.buf.t_buf_func[2].n1"&"b.b.buf.t_buf_func[2].n2"|"b.b.buf.t_buf_func[2].pr"->"b.b.buf.t_buf_func[2]._y"- +"b.b.buf.t_buf_func[2]._y"->"b.b.buf.t_buf_func[2].y"- +~("b.b.buf.t_buf_func[2]._y")->"b.b.buf.t_buf_func[2].y"+ +~"b.b.buf.t_buf_func[3].c1"&~"b.b.buf.t_buf_func[3].sr"->"b.b.buf.t_buf_func[3]._y"+ +"b.b.buf.t_buf_func[3].c1"&"b.b.buf.t_buf_func[3].n1"&"b.b.buf.t_buf_func[3].n2"|"b.b.buf.t_buf_func[3].pr"->"b.b.buf.t_buf_func[3]._y"- +"b.b.buf.t_buf_func[3]._y"->"b.b.buf.t_buf_func[3].y"- +~("b.b.buf.t_buf_func[3]._y")->"b.b.buf.t_buf_func[3].y"+ +~"b.b.buf.t_buf_func[4].c1"&~"b.b.buf.t_buf_func[4].sr"->"b.b.buf.t_buf_func[4]._y"+ +"b.b.buf.t_buf_func[4].c1"&"b.b.buf.t_buf_func[4].n1"&"b.b.buf.t_buf_func[4].n2"|"b.b.buf.t_buf_func[4].pr"->"b.b.buf.t_buf_func[4]._y"- +"b.b.buf.t_buf_func[4]._y"->"b.b.buf.t_buf_func[4].y"- +~("b.b.buf.t_buf_func[4]._y")->"b.b.buf.t_buf_func[4].y"+ +~"b.b.buf.t_buf_func[5].c1"&~"b.b.buf.t_buf_func[5].sr"->"b.b.buf.t_buf_func[5]._y"+ +"b.b.buf.t_buf_func[5].c1"&"b.b.buf.t_buf_func[5].n1"&"b.b.buf.t_buf_func[5].n2"|"b.b.buf.t_buf_func[5].pr"->"b.b.buf.t_buf_func[5]._y"- +"b.b.buf.t_buf_func[5]._y"->"b.b.buf.t_buf_func[5].y"- +~("b.b.buf.t_buf_func[5]._y")->"b.b.buf.t_buf_func[5].y"+ +~"b.b.buf.t_buf_func[6].c1"&~"b.b.buf.t_buf_func[6].sr"->"b.b.buf.t_buf_func[6]._y"+ +"b.b.buf.t_buf_func[6].c1"&"b.b.buf.t_buf_func[6].n1"&"b.b.buf.t_buf_func[6].n2"|"b.b.buf.t_buf_func[6].pr"->"b.b.buf.t_buf_func[6]._y"- +"b.b.buf.t_buf_func[6]._y"->"b.b.buf.t_buf_func[6].y"- +~("b.b.buf.t_buf_func[6]._y")->"b.b.buf.t_buf_func[6].y"+ +~"b.b.buf.f_buf_func[0].c1"|~"b.b.buf.f_buf_func[0].pr_B"->"b.b.buf.f_buf_func[0]._y"+ +"b.b.buf.f_buf_func[0].c1"&"b.b.buf.f_buf_func[0].n1"&"b.b.buf.f_buf_func[0].n2"&"b.b.buf.f_buf_func[0].sr_B"->"b.b.buf.f_buf_func[0]._y"- +"b.b.buf.f_buf_func[0]._y"->"b.b.buf.f_buf_func[0].y"- +~("b.b.buf.f_buf_func[0]._y")->"b.b.buf.f_buf_func[0].y"+ +~"b.b.buf.f_buf_func[1].c1"|~"b.b.buf.f_buf_func[1].pr_B"->"b.b.buf.f_buf_func[1]._y"+ +"b.b.buf.f_buf_func[1].c1"&"b.b.buf.f_buf_func[1].n1"&"b.b.buf.f_buf_func[1].n2"&"b.b.buf.f_buf_func[1].sr_B"->"b.b.buf.f_buf_func[1]._y"- +"b.b.buf.f_buf_func[1]._y"->"b.b.buf.f_buf_func[1].y"- +~("b.b.buf.f_buf_func[1]._y")->"b.b.buf.f_buf_func[1].y"+ +~"b.b.buf.f_buf_func[2].c1"|~"b.b.buf.f_buf_func[2].pr_B"->"b.b.buf.f_buf_func[2]._y"+ +"b.b.buf.f_buf_func[2].c1"&"b.b.buf.f_buf_func[2].n1"&"b.b.buf.f_buf_func[2].n2"&"b.b.buf.f_buf_func[2].sr_B"->"b.b.buf.f_buf_func[2]._y"- +"b.b.buf.f_buf_func[2]._y"->"b.b.buf.f_buf_func[2].y"- +~("b.b.buf.f_buf_func[2]._y")->"b.b.buf.f_buf_func[2].y"+ +~"b.b.buf.f_buf_func[3].c1"|~"b.b.buf.f_buf_func[3].pr_B"->"b.b.buf.f_buf_func[3]._y"+ +"b.b.buf.f_buf_func[3].c1"&"b.b.buf.f_buf_func[3].n1"&"b.b.buf.f_buf_func[3].n2"&"b.b.buf.f_buf_func[3].sr_B"->"b.b.buf.f_buf_func[3]._y"- +"b.b.buf.f_buf_func[3]._y"->"b.b.buf.f_buf_func[3].y"- +~("b.b.buf.f_buf_func[3]._y")->"b.b.buf.f_buf_func[3].y"+ +~"b.b.buf.f_buf_func[4].c1"|~"b.b.buf.f_buf_func[4].pr_B"->"b.b.buf.f_buf_func[4]._y"+ +"b.b.buf.f_buf_func[4].c1"&"b.b.buf.f_buf_func[4].n1"&"b.b.buf.f_buf_func[4].n2"&"b.b.buf.f_buf_func[4].sr_B"->"b.b.buf.f_buf_func[4]._y"- +"b.b.buf.f_buf_func[4]._y"->"b.b.buf.f_buf_func[4].y"- +~("b.b.buf.f_buf_func[4]._y")->"b.b.buf.f_buf_func[4].y"+ +~"b.b.buf.f_buf_func[5].c1"|~"b.b.buf.f_buf_func[5].pr_B"->"b.b.buf.f_buf_func[5]._y"+ +"b.b.buf.f_buf_func[5].c1"&"b.b.buf.f_buf_func[5].n1"&"b.b.buf.f_buf_func[5].n2"&"b.b.buf.f_buf_func[5].sr_B"->"b.b.buf.f_buf_func[5]._y"- +"b.b.buf.f_buf_func[5]._y"->"b.b.buf.f_buf_func[5].y"- +~("b.b.buf.f_buf_func[5]._y")->"b.b.buf.f_buf_func[5].y"+ +~"b.b.buf.f_buf_func[6].c1"|~"b.b.buf.f_buf_func[6].pr_B"->"b.b.buf.f_buf_func[6]._y"+ +"b.b.buf.f_buf_func[6].c1"&"b.b.buf.f_buf_func[6].n1"&"b.b.buf.f_buf_func[6].n2"&"b.b.buf.f_buf_func[6].sr_B"->"b.b.buf.f_buf_func[6]._y"- +"b.b.buf.f_buf_func[6]._y"->"b.b.buf.f_buf_func[6].y"- +~("b.b.buf.f_buf_func[6]._y")->"b.b.buf.f_buf_func[6].y"+ += "b.b.buf._en_X_t[0]" "b.b.buf.en_buf_t.out[0]" += "b.b.buf._en_X_t[1]" "b.b.buf.en_buf_t.out[1]" += "b.b.buf._en_X_t[2]" "b.b.buf.en_buf_t.out[2]" += "b.b.buf._en_X_t[3]" "b.b.buf.en_buf_t.out[3]" += "b.b.buf._en_X_t[4]" "b.b.buf.en_buf_t.out[4]" += "b.b.buf._en_X_t[5]" "b.b.buf.en_buf_t.out[5]" += "b.b.buf._en_X_t[6]" "b.b.buf.en_buf_t.out[6]" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[6].n2" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[5].n2" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[4].n2" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[3].n2" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[2].n2" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[1].n2" += "b.b.buf._en_X_t[0]" "b.b.buf.t_buf_func[0].n2" += "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[6]" += "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[5]" += "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[4]" += "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[3]" += "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[2]" += "b.b.buf._en_X_t[0]" "b.b.buf._en_X_t[1]" += "b.b.buf.out_v" "b.b.buf.inack_ctl.n1" +"b.b.in_ack_inv.a"->"b.b.in_ack_inv.y"- +~("b.b.in_ack_inv.a")->"b.b.in_ack_inv.y"+ += "b.b.in_ack_inv.y" "b.b.in_ack_safety.c1" += "b.b.in_ack_inv.a" "b.b.buf.in.a" += "b._reset_B" "b.b.reset_B" += "b.supply.vss" "b.b.supply.vss" += "b.supply.vdd" "b.b.supply.vdd" += "Vdd" "b.supply.vdd" += "GND" "b.supply.vss" += "b.out.d[0].d[0]" "b.out.d[0].f" += "b.out.d[0].d[1]" "b.out.d[0].t" += "b.out.d[1].d[0]" "b.out.d[1].f" += "b.out.d[1].d[1]" "b.out.d[1].t" += "b.out.d[2].d[0]" "b.out.d[2].f" += "b.out.d[2].d[1]" "b.out.d[2].t" += "b.out.d[3].d[0]" "b.out.d[3].f" += "b.out.d[3].d[1]" "b.out.d[3].t" += "b.out.d[4].d[0]" "b.out.d[4].f" += "b.out.d[4].d[1]" "b.out.d[4].t" += "b.out.d[5].d[0]" "b.out.d[5].f" += "b.out.d[5].d[1]" "b.out.d[5].t" += "b.out.d[6].d[0]" "b.out.d[6].f" += "b.out.d[6].d[1]" "b.out.d[6].t" += "b.out.d[6].d[0]" "b.out.d[6].f" += "b.out.d[6].d[1]" "b.out.d[6].t" += "b.out.d[5].d[0]" "b.out.d[5].f" += "b.out.d[5].d[1]" "b.out.d[5].t" += "b.out.d[4].d[0]" "b.out.d[4].f" += "b.out.d[4].d[1]" "b.out.d[4].t" += "b.out.d[3].d[0]" "b.out.d[3].f" += "b.out.d[3].d[1]" "b.out.d[3].t" += "b.out.d[2].d[0]" "b.out.d[2].f" += "b.out.d[2].d[1]" "b.out.d[2].t" += "b.out.d[1].d[0]" "b.out.d[1].f" += "b.out.d[1].d[1]" "b.out.d[1].t" += "b.out.d[0].d[0]" "b.out.d[0].f" += "b.out.d[0].d[1]" "b.out.d[0].t" += "b.out.d[0].f" "b.b.out.d[0].f" += "b.out.d[0].t" "b.b.out.d[0].t" += "b.out.d[0].d[0]" "b.b.out.d[0].d[0]" += "b.out.d[0].d[1]" "b.b.out.d[0].d[1]" += "b.out.d[1].f" "b.b.out.d[1].f" += "b.out.d[1].t" "b.b.out.d[1].t" += "b.out.d[1].d[0]" "b.b.out.d[1].d[0]" += "b.out.d[1].d[1]" "b.b.out.d[1].d[1]" += "b.out.d[2].f" "b.b.out.d[2].f" += "b.out.d[2].t" "b.b.out.d[2].t" += "b.out.d[2].d[0]" "b.b.out.d[2].d[0]" += "b.out.d[2].d[1]" "b.b.out.d[2].d[1]" += "b.out.d[3].f" "b.b.out.d[3].f" += "b.out.d[3].t" "b.b.out.d[3].t" += "b.out.d[3].d[0]" "b.b.out.d[3].d[0]" += "b.out.d[3].d[1]" "b.b.out.d[3].d[1]" += "b.out.d[4].f" "b.b.out.d[4].f" += "b.out.d[4].t" "b.b.out.d[4].t" += "b.out.d[4].d[0]" "b.b.out.d[4].d[0]" += "b.out.d[4].d[1]" "b.b.out.d[4].d[1]" += "b.out.d[5].f" "b.b.out.d[5].f" += "b.out.d[5].t" "b.b.out.d[5].t" += "b.out.d[5].d[0]" "b.b.out.d[5].d[0]" += "b.out.d[5].d[1]" "b.b.out.d[5].d[1]" += "b.out.d[6].f" "b.b.out.d[6].f" += "b.out.d[6].t" "b.b.out.d[6].t" += "b.out.d[6].d[0]" "b.b.out.d[6].d[0]" += "b.out.d[6].d[1]" "b.b.out.d[6].d[1]" += "b.out.d[6].d[0]" "b.out.d[6].f" += "b.out.d[6].d[1]" "b.out.d[6].t" += "b.out.d[5].d[0]" "b.out.d[5].f" += "b.out.d[5].d[1]" "b.out.d[5].t" += "b.out.d[4].d[0]" "b.out.d[4].f" += "b.out.d[4].d[1]" "b.out.d[4].t" += "b.out.d[3].d[0]" "b.out.d[3].f" += "b.out.d[3].d[1]" "b.out.d[3].t" += "b.out.d[2].d[0]" "b.out.d[2].f" += "b.out.d[2].d[1]" "b.out.d[2].t" += "b.out.d[1].d[0]" "b.out.d[1].f" += "b.out.d[1].d[1]" "b.out.d[1].t" += "b.out.d[0].d[0]" "b.out.d[0].f" += "b.out.d[0].d[1]" "b.out.d[0].t" += "b.in.d.d[0].d[0]" "b.in.d.d[0].f" += "b.in.d.d[0].d[1]" "b.in.d.d[0].t" += "b.in.d.d[1].d[0]" "b.in.d.d[1].f" += "b.in.d.d[1].d[1]" "b.in.d.d[1].t" += "b.in.d.d[2].d[0]" "b.in.d.d[2].f" += "b.in.d.d[2].d[1]" "b.in.d.d[2].t" += "b.in.d.d[3].d[0]" "b.in.d.d[3].f" += "b.in.d.d[3].d[1]" "b.in.d.d[3].t" += "b.in.d.d[4].d[0]" "b.in.d.d[4].f" += "b.in.d.d[4].d[1]" "b.in.d.d[4].t" += "b.in.d.d[5].d[0]" "b.in.d.d[5].f" += "b.in.d.d[5].d[1]" "b.in.d.d[5].t" += "b.in.d.d[6].d[0]" "b.in.d.d[6].f" += "b.in.d.d[6].d[1]" "b.in.d.d[6].t" += "b.in.d.d[7].d[0]" "b.in.d.d[7].f" += "b.in.d.d[7].d[1]" "b.in.d.d[7].t" += "b.in.d.d[7].d[0]" "b.in.d.d[7].f" += "b.in.d.d[7].d[1]" "b.in.d.d[7].t" += "b.in.d.d[6].d[0]" "b.in.d.d[6].f" += "b.in.d.d[6].d[1]" "b.in.d.d[6].t" += "b.in.d.d[5].d[0]" "b.in.d.d[5].f" += "b.in.d.d[5].d[1]" "b.in.d.d[5].t" += "b.in.d.d[4].d[0]" "b.in.d.d[4].f" += "b.in.d.d[4].d[1]" "b.in.d.d[4].t" += "b.in.d.d[3].d[0]" "b.in.d.d[3].f" += "b.in.d.d[3].d[1]" "b.in.d.d[3].t" += "b.in.d.d[2].d[0]" "b.in.d.d[2].f" += "b.in.d.d[2].d[1]" "b.in.d.d[2].t" += "b.in.d.d[1].d[0]" "b.in.d.d[1].f" += "b.in.d.d[1].d[1]" "b.in.d.d[1].t" += "b.in.d.d[0].d[0]" "b.in.d.d[0].f" += "b.in.d.d[0].d[1]" "b.in.d.d[0].t" += "b.in.d.d[7].d[0]" "b.in.d.d[7].f" += "b.in.d.d[7].d[1]" "b.in.d.d[7].t" += "b.in.d.d[6].d[0]" "b.in.d.d[6].f" += "b.in.d.d[6].d[1]" "b.in.d.d[6].t" += "b.in.d.d[5].d[0]" "b.in.d.d[5].f" += "b.in.d.d[5].d[1]" "b.in.d.d[5].t" += "b.in.d.d[4].d[0]" "b.in.d.d[4].f" += "b.in.d.d[4].d[1]" "b.in.d.d[4].t" += "b.in.d.d[3].d[0]" "b.in.d.d[3].f" += "b.in.d.d[3].d[1]" "b.in.d.d[3].t" += "b.in.d.d[2].d[0]" "b.in.d.d[2].f" += "b.in.d.d[2].d[1]" "b.in.d.d[2].t" += "b.in.d.d[1].d[0]" "b.in.d.d[1].f" += "b.in.d.d[1].d[1]" "b.in.d.d[1].t" += "b.in.d.d[0].d[0]" "b.in.d.d[0].f" += "b.in.d.d[0].d[1]" "b.in.d.d[0].t" += "b.in.v" "b.b.in.v" += "b.in.a" "b.b.in.a" += "b.in.d.d[0].f" "b.b.in.d.d[0].f" += "b.in.d.d[0].t" "b.b.in.d.d[0].t" += "b.in.d.d[0].d[0]" "b.b.in.d.d[0].d[0]" += "b.in.d.d[0].d[1]" "b.b.in.d.d[0].d[1]" += "b.in.d.d[1].f" "b.b.in.d.d[1].f" += "b.in.d.d[1].t" "b.b.in.d.d[1].t" += "b.in.d.d[1].d[0]" "b.b.in.d.d[1].d[0]" += "b.in.d.d[1].d[1]" "b.b.in.d.d[1].d[1]" += "b.in.d.d[2].f" "b.b.in.d.d[2].f" += "b.in.d.d[2].t" "b.b.in.d.d[2].t" += "b.in.d.d[2].d[0]" "b.b.in.d.d[2].d[0]" += "b.in.d.d[2].d[1]" "b.b.in.d.d[2].d[1]" += "b.in.d.d[3].f" "b.b.in.d.d[3].f" += "b.in.d.d[3].t" "b.b.in.d.d[3].t" += "b.in.d.d[3].d[0]" "b.b.in.d.d[3].d[0]" += "b.in.d.d[3].d[1]" "b.b.in.d.d[3].d[1]" += "b.in.d.d[4].f" "b.b.in.d.d[4].f" += "b.in.d.d[4].t" "b.b.in.d.d[4].t" += "b.in.d.d[4].d[0]" "b.b.in.d.d[4].d[0]" += "b.in.d.d[4].d[1]" "b.b.in.d.d[4].d[1]" += "b.in.d.d[5].f" "b.b.in.d.d[5].f" += "b.in.d.d[5].t" "b.b.in.d.d[5].t" += "b.in.d.d[5].d[0]" "b.b.in.d.d[5].d[0]" += "b.in.d.d[5].d[1]" "b.b.in.d.d[5].d[1]" += "b.in.d.d[6].f" "b.b.in.d.d[6].f" += "b.in.d.d[6].t" "b.b.in.d.d[6].t" += "b.in.d.d[6].d[0]" "b.b.in.d.d[6].d[0]" += "b.in.d.d[6].d[1]" "b.b.in.d.d[6].d[1]" += "b.in.d.d[7].f" "b.b.in.d.d[7].f" += "b.in.d.d[7].t" "b.b.in.d.d[7].t" += "b.in.d.d[7].d[0]" "b.b.in.d.d[7].d[0]" += "b.in.d.d[7].d[1]" "b.b.in.d.d[7].d[1]" += "b.in.d.d[7].d[0]" "b.in.d.d[7].f" += "b.in.d.d[7].d[1]" "b.in.d.d[7].t" += "b.in.d.d[6].d[0]" "b.in.d.d[6].f" += "b.in.d.d[6].d[1]" "b.in.d.d[6].t" += "b.in.d.d[5].d[0]" "b.in.d.d[5].f" += "b.in.d.d[5].d[1]" "b.in.d.d[5].t" += "b.in.d.d[4].d[0]" "b.in.d.d[4].f" += "b.in.d.d[4].d[1]" "b.in.d.d[4].t" += "b.in.d.d[3].d[0]" "b.in.d.d[3].f" += "b.in.d.d[3].d[1]" "b.in.d.d[3].t" += "b.in.d.d[2].d[0]" "b.in.d.d[2].f" += "b.in.d.d[2].d[1]" "b.in.d.d[2].t" += "b.in.d.d[1].d[0]" "b.in.d.d[1].f" += "b.in.d.d[1].d[1]" "b.in.d.d[1].t" += "b.in.d.d[0].d[0]" "b.in.d.d[0].f" += "b.in.d.d[0].d[1]" "b.in.d.d[0].t" diff --git a/test/unit_tests/registerA_w/test.act b/test/unit_tests/registerA_w/test.act new file mode 100644 index 0000000..31d6cf0 --- /dev/null +++ b/test/unit_tests/registerA_w/test.act @@ -0,0 +1,52 @@ +/************************************************************************* + * + * 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/registers.act"; + +import globals; +import std::data; + +open std::data; + +open tmpl::dataflow_neuro; + +defproc registerA_w (avMx1of2<8> in; Mx1of2<7> out){ + bool _reset_B; + prs { + Reset => _reset_B- + } + power supply; + supply.vdd = Vdd; + supply.vss = GND; + + registerA<7> b(.in = in, .out = out, .reset_B = _reset_B, .supply = supply); +} + + +// fifo_decoder_neurons_encoder_fifo e; +registerA_w b; \ No newline at end of file diff --git a/test/unit_tests/registerA_w/test.prsim b/test/unit_tests/registerA_w/test.prsim new file mode 100644 index 0000000..8193b9b --- /dev/null +++ b/test/unit_tests/registerA_w/test.prsim @@ -0,0 +1,42 @@ +watchall + +set-qdi-channel-neutral "b.in" 8 +cycle + + +mode run +system "echo '[] Set reset 0'" +status X +set Reset 0 +cycle +assert b.in.a 0 +assert b.in.v 0 + +system "echo '[] Sending in 127'" +set-qdi-channel-valid "b.in" 8 255 +cycle +assert b.in.a 1 +assert b.in.v 1 +assert-var-int "b.out" 7 127 + +system "echo '[] Removing input'" +set-qdi-channel-neutral "b.in" 8 +cycle +assert b.in.a 0 +assert b.in.v 0 +assert-var-int "b.out" 7 127 + +system "echo '[] Sending in 35'" +set-qdi-channel-valid "b.in" 8 163 +cycle +assert b.in.a 1 +assert b.in.v 1 +assert-var-int "b.out" 7 35 + +system "echo '[] Removing input'" +set-qdi-channel-neutral "b.in" 8 +cycle +assert b.in.a 0 +assert b.in.v 0 +assert-var-int "b.out" 7 35 +