diff --git a/dataflow_neuro/cell_lib_async.act b/dataflow_neuro/cell_lib_async.act index cd2c309..308a8b7 100644 --- a/dataflow_neuro/cell_lib_async.act +++ b/dataflow_neuro/cell_lib_async.act @@ -521,7 +521,7 @@ namespace tmpl { [keeper=0] _y2 | d => y2- } spec { - mk_excllo(y1, y2) + mk_excllo(_y1, _y2) } } }} diff --git a/dataflow_neuro/primitives.act b/dataflow_neuro/primitives.act index fa74b88..df5b435 100644 --- a/dataflow_neuro/primitives.act +++ b/dataflow_neuro/primitives.act @@ -350,4 +350,44 @@ namespace tmpl { ARBITER arbiter(.a = in1.r, .b = in2.r, .c = in2.a, .d = in1.a, .y1 = _y1_arb, .y2 = _y2_arb, .vdd = supply.vdd, .vss = supply.vss); } + export + defproc buffer_t(a1of1 in; a1of1 out; bool? reset_B; power supply) + { + //control + bool _en, _reset_BX; + A_3C_RB_X4 inack_ctl(.c1=_en,.c2=in.r,.c3=out.r,.y=in.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); + A_1C1P_X1 en_ctl(.c1=in.a,.p1=out.r,.y=_en,.vdd=supply.vdd,.vss=supply.vss); + + //function + bool _out_a_B; + INV_X1 inv_outa(.a = out.a,.y=_out_a_B,.vdd = supply.vdd,.vss=supply.vss); + A_2C1N_RB_X4 buf_func(.c1 = _en,.c2 = _out_a_B, .n1 = in.r,.y = out.r, .pr_B = _reset_BX, .sr_B = _reset_BX,.vdd = supply.vdd,.vss=supply.vss); + + + //reset buffers + BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); + } + export template + defproc fifo_t(a1of1 in; a1of1 out; bool? reset_B; power supply) + { + buffer_t fifo_element[N]; + bool _reset_BXX[N]; + fifo_element[0].in.r = in.r; + fifo_element[0].in.a = in.a; + fifo_element[0].supply = supply; + fifo_element[0].reset_B = _reset_BXX[0]; + (i:1..N-1: + fifo_element[i].in.r = fifo_element[i-1].out.r; + fifo_element[i].in.a = fifo_element[i-1].out.a; + fifo_element[i].supply = supply; + fifo_element[i].reset_B = _reset_BXX[i]; + ) + fifo_element[N-1].out.r = out.r; + fifo_element[N-1].out.a = out.a; + + // reset buffers + bool _reset_BX; + BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); + sigbuf reset_bufarray(.in=_reset_BX, .out=_reset_BXX); + } }} diff --git a/test/unit_tests/arbiter/run/test.prs b/test/unit_tests/arbiter/run/test.prs new file mode 100644 index 0000000..02d06ef --- /dev/null +++ b/test/unit_tests/arbiter/run/test.prs @@ -0,0 +1,3 @@ += "GND" "GND" += "Vdd" "Vdd" += "Reset" "Reset" diff --git a/test/unit_tests/arbiter_2/run/prsim.pdf b/test/unit_tests/arbiter_2/run/prsim.pdf new file mode 100644 index 0000000..f7c99b9 Binary files /dev/null and b/test/unit_tests/arbiter_2/run/prsim.pdf differ diff --git a/test/unit_tests/arbiter_handshake/run/prsim.out b/test/unit_tests/arbiter_handshake/run/prsim.out index ea66013..b7f61fd 100644 --- a/test/unit_tests/arbiter_handshake/run/prsim.out +++ b/test/unit_tests/arbiter_handshake/run/prsim.out @@ -1,36 +1,58 @@ t.in1.r t.in2.r t.out.r t.a.arbiter._y1 t.a.arbiter._y2 t.out.a t.in1.a t.a._y1_arb t.a._y2_arb t.in2.a t.a.or_cell._y t.a.ack_cell1._y t.a.ack_cell2._y +[0] code starts 0 t.in1.r : 0 0 t.out.a : 0 0 t.in2.r : 0 1 t.a.arbiter._y1 : 1 [by t.in1.r:=0] 7092 t.a.arbiter._y2 : 1 [by t.in2.r:=0] + 7094 t.a._y2_arb : 0 [by t.a.arbiter._y2:=1] 10468 t.a._y1_arb : 0 [by t.a.arbiter._y1:=1] - 15221 t.a.ack_cell1._y : 1 [by t.a._y1_arb:=0] - 16358 t.in1.a : 0 [by t.a.ack_cell1._y:=1] -t.out.r t.a._y2_arb t.in2.a t.a.or_cell._y t.a.ack_cell2._y -[0] reset done - 16358 t.in1.r : 1 -WARNING: weak-interference `t.a._y1_arb' ->> cause: t.a.arbiter._y1 (val: 0) ->> time: 16472 - 16472 t.a.arbiter._y1 : 0 [by t.in1.r:=1] - 81838 t.a._y1_arb : X [by t.a.arbiter._y1:=0] -WRONG ASSERT: "t.out.r" has value X and not 1. - 81838 t.out.a : 1 -WARNING: weak-interference `t.in1.a' ->> cause: t.a.ack_cell1._y (val: X) ->> time: 83564 - 83564 t.a.ack_cell1._y : X [by t.out.a:=1] - 83603 t.in1.a : X [by t.a.ack_cell1._y:=X] -WRONG ASSERT: "t.in1.a" has value X and not 1. -[1] test in1 done + 10582 t.a.or_cell._y : 1 [by t.a._y1_arb:=0] + 11605 t.a.ack_cell1._y : 1 [by t.a._y1_arb:=0] + 11847 t.a.ack_cell2._y : 1 [by t.a._y2_arb:=0] + 11886 t.in2.a : 0 [by t.a.ack_cell2._y:=1] + 13331 t.in1.a : 0 [by t.a.ack_cell1._y:=1] + 75948 t.out.r : 0 [by t.a.or_cell._y:=1] + +[1] reset done +---------------------------------------------------------------------------------------------------- + 75948 t.in1.r : 1 + 75963 t.a.arbiter._y1 : 0 [by t.in1.r:=1] + 76454 t.a._y1_arb : 1 [by t.a.arbiter._y1:=0] + 76467 t.a.or_cell._y : 0 [by t.a._y1_arb:=1] + 76507 t.out.r : 1 [by t.a.or_cell._y:=0] + 76507 t.out.a : 1 + 76922 t.a.ack_cell1._y : 0 [by t.out.a:=1] + 76942 t.in1.a : 1 [by t.a.ack_cell1._y:=0] +[2] test in1 done +---------------------------------------------------------------------------------------------------- + 76942 t.in1.r : 0 + 83003 t.a.arbiter._y1 : 1 [by t.in1.r:=0] + 83050 t.a._y1_arb : 0 [by t.a.arbiter._y1:=1] + 83066 t.a.or_cell._y : 1 [by t.a._y1_arb:=0] + 127164 t.out.r : 0 [by t.a.or_cell._y:=1] + 127164 t.out.a : 0 + 140888 t.a.ack_cell1._y : 1 [by t.out.a:=0] + 140892 t.in1.a : 0 [by t.a.ack_cell1._y:=1] +[3] reset done +---------------------------------------------------------------------------------------------------- + 140892 t.in2.r : 1 + 150021 t.a.arbiter._y2 : 0 [by t.in2.r:=1] + 150036 t.a._y2_arb : 1 [by t.a.arbiter._y2:=0] + 193284 t.a.or_cell._y : 0 [by t.a._y2_arb:=1] + 230215 t.out.r : 1 [by t.a.or_cell._y:=0] + 230215 t.out.a : 1 + 230270 t.a.ack_cell2._y : 0 [by t.out.a:=1] + 281923 t.in2.a : 1 [by t.a.ack_cell2._y:=0] +[4] test in2 done +---------------------------------------------------------------------------------------------------- + 281923 t.in2.r : 0 + 311703 t.a.arbiter._y2 : 1 [by t.in2.r:=0] + 325552 t.a._y2_arb : 0 [by t.a.arbiter._y2:=1] + 350364 t.a.or_cell._y : 1 [by t.a._y2_arb:=0] + 364707 t.out.r : 0 [by t.a.or_cell._y:=1] + 364707 t.out.a : 0 + 365129 t.a.ack_cell2._y : 1 [by t.out.a:=0] + 413843 t.in2.a : 0 [by t.a.ack_cell2._y:=1] +[5] reset done ---------------------------------------------------------------------------------------------------- - 83603 t.in1.r : 0 - 83603 t.out.a : 0 - 83618 t.a.arbiter._y1 : 1 [by t.in1.r:=0] - 84109 t.a._y1_arb : 0 [by t.a.arbiter._y1:=1] - 84122 t.a.ack_cell1._y : 1 [by t.a._y1_arb:=0] - 84162 t.in1.a : 0 [by t.a.ack_cell1._y:=1] -WRONG ASSERT: "t.out.r" has value X and not 0. -WRONG ASSERT: "t.in2.a" has value X and not 0. -[2] reset done diff --git a/test/unit_tests/arbiter_handshake/run/prsim.pdf b/test/unit_tests/arbiter_handshake/run/prsim.pdf deleted file mode 100644 index 2dacaa1..0000000 Binary files a/test/unit_tests/arbiter_handshake/run/prsim.pdf and /dev/null differ diff --git a/test/unit_tests/arbiter_handshake/run/test.prs b/test/unit_tests/arbiter_handshake/run/test.prs index 8bc1f35..2caf5de 100644 --- a/test/unit_tests/arbiter_handshake/run/test.prs +++ b/test/unit_tests/arbiter_handshake/run/test.prs @@ -31,7 +31,7 @@ ~("t.a.arbiter._y1"|"t.a.arbiter.c")->"t.a.arbiter.y1"+ "t.a.arbiter._y2"|"t.a.arbiter.d"->"t.a.arbiter.y2"- ~("t.a.arbiter._y2"|"t.a.arbiter.d")->"t.a.arbiter.y2"+ -mk_excllo("t.a.arbiter.y1","t.a.arbiter.y2") +mk_excllo("t.a.arbiter._y1","t.a.arbiter._y2") = "t.a._y1_arb" "t.a.arbiter.y1" = "t.a._y1_arb" "t.a.or_cell.a" = "t.a._y1_arb" "t.a.ack_cell1.c2" diff --git a/test/unit_tests/arbiter_handshake/test.prsim b/test/unit_tests/arbiter_handshake/test.prsim index eb17a74..76e8fa9 100644 --- a/test/unit_tests/arbiter_handshake/test.prsim +++ b/test/unit_tests/arbiter_handshake/test.prsim @@ -1,29 +1,42 @@ watchall -cycle +system "echo '[0] code starts'" set t.in1.r 0 set t.in2.r 0 set t.out.a 0 cycle status X mode run -system "echo '[0] reset done'" - +system "echo '[1] reset done'" +system "echo '----------------------------------------------------------------------------------------------------'" set t.in1.r 1 cycle assert t.out.r 1 set t.out.a 1 cycle assert t.in1.a 1 -system "echo '[1] test in1 done'" +system "echo '[2] test in1 done'" system "echo '----------------------------------------------------------------------------------------------------'" set t.in1.r 0 -set t.in2.r 0 +cycle +assert t.out.r 0 set t.out.a 0 cycle -assert t.out.r 0 assert t.in1.a 0 +system "echo '[3] reset done'" +system "echo '----------------------------------------------------------------------------------------------------'" +set t.in2.r 1 +cycle +assert t.out.r 1 +set t.out.a 1 +cycle +assert t.in2.a 1 +system "echo '[4] test in2 done'" +system "echo '----------------------------------------------------------------------------------------------------'" +set t.in2.r 0 +cycle +assert t.out.r 0 +set t.out.a 0 +cycle assert t.in2.a 0 -system "echo '[2] reset done'" - - - +system "echo '[5] reset done'" +system "echo '----------------------------------------------------------------------------------------------------'" diff --git a/test/unit_tests/fifo_t_15/run/prsim.out b/test/unit_tests/fifo_t_15/run/prsim.out new file mode 100644 index 0000000..ed49b86 --- /dev/null +++ b/test/unit_tests/fifo_t_15/run/prsim.out @@ -0,0 +1,154 @@ +t.a.fifo_element[13].in.r t.a.fifo_element[0]._out_a_B t.out.r t.a.fifo_element[1]._out_a_B t.a.fifo_element[8]._out_a_B t.a.fifo_element[9]._en t.a.fifo_element[12].in.a t.a.fifo_element[7]._en t.in.r t.a.fifo_element[2]._en t.a.fifo_element[9].in.r t.a.fifo_element[14].in.r t.a.fifo_element[12].in.r t.a.fifo_element[9].inack_ctl._y t.a.fifo_element[10].in.a t.a.fifo_element[8].in.r t.a.fifo_element[14].inack_ctl._y t.a.fifo_element[5].inack_ctl._y t.a.fifo_element[10].in.r t.a.fifo_element[5]._en t.a.fifo_element[7].in.r t.a.fifo_element[4].in.r t.a.fifo_element[3].inack_ctl._y t.a.fifo_element[8].in.a t.a.fifo_element[2].in.r t.a.fifo_element[3].in.a t.a.fifo_element[1]._en t.a.fifo_element[3]._out_a_B t.a.fifo_element[0]._en t.a.fifo_element[13].buf_func._y t.a.fifo_element[12].inack_ctl._y t.a.fifo_element[13].in.a t.a.fifo_element[5].buf_func._y t.a.fifo_element[11]._out_a_B t.a.fifo_element[11].in.r t.a.fifo_element[12]._en t.a.fifo_element[6]._en t.in.a t.a.fifo_element[4]._en t.a.fifo_element[2].inack_ctl._y t.a.fifo_element[14]._out_a_B t.a.fifo_element[14]._en t.a.fifo_element[13]._en t.a.fifo_element[5].in.r t.a.fifo_element[7].in.a t.a.fifo_element[8]._en t.a.fifo_element[4]._out_a_B t.a.fifo_element[6].in.r t.a.fifo_element[1].inack_ctl._y t.a.fifo_element[6].in.a t.a.fifo_element[9].in.a t.a.fifo_element[12]._out_a_B t.a.fifo_element[11].inack_ctl._y t.out.a t.a.fifo_element[7].inack_ctl._y t.a.fifo_element[1].in.r t.a.fifo_element[10].inack_ctl._y t.a.fifo_element[14].in.a t.a.fifo_element[3].in.r t.a.fifo_element[10]._out_a_B t.a.fifo_element[10].buf_func._y t.a.fifo_element[1].in.a t.a.fifo_element[13].inack_ctl._y t.a.fifo_element[8].buf_func._y t.a.fifo_element[4].in.a t.a.fifo_element[7]._out_a_B t.a.fifo_element[11]._en t.a.fifo_element[13]._out_a_B t.a.fifo_element[0].inack_ctl._y t.a.fifo_element[1].buf_func._y t.a.fifo_element[2]._out_a_B t.a.fifo_element[5]._out_a_B t.a.fifo_element[10]._en t.a.fifo_element[6]._out_a_B t.a.fifo_element[11].in.a t.a.fifo_element[0].buf_func._y t.a.fifo_element[3]._en t.a.fifo_element[9]._out_a_B t.a.fifo_element[12].buf_func._y t.a.fifo_element[2].in.a t.a.fifo_element[5].in.a t.a.fifo_element[9].buf_func._y t.a.fifo_element[6].inack_ctl._y t.a.fifo_element[4].buf_func._y t.a.fifo_element[3].buf_func._y t.a.fifo_element[11].buf_func._y t.a.fifo_element[7].buf_func._y t.a.fifo_element[4].inack_ctl._y t.a.fifo_element[14].buf_func._y t.a.fifo_element[2].buf_func._y t.a.fifo_element[8].inack_ctl._y t.a.fifo_element[6].buf_func._y +[0] code starts + 131642 t.in.r : 0 + 131642 t.out.a : 0 + 131643 t.a.fifo_element[14]._out_a_B : 1 [by t.out.a:=0] + 131643 Reset : 0 + 131644 t.a.reset_buf._y : 1 [by Reset:=0] + 151849 t.a._reset_BX : 0 [by t.a.reset_buf._y:=1] + 152131 t.a.reset_bufarray.buf6._y : 1 [by t.a._reset_BX:=0] + 152899 t.a._reset_BXX[0] : 0 [by t.a.reset_bufarray.buf6._y:=1] + 152902 t.a.fifo_element[13].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 152917 t.a.fifo_element[5].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 153105 t.a.fifo_element[13]._reset_BX : 0 [by t.a.fifo_element[13].reset_buf._y:=1] + 153244 t.a.fifo_element[13].buf_func._y : 1 [by t.a.fifo_element[13]._reset_BX:=0] + 153313 t.a.fifo_element[14].in.r : 0 [by t.a.fifo_element[13].buf_func._y:=1] + 153401 t.a.fifo_element[14].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 153412 t.a.fifo_element[14]._reset_BX : 0 [by t.a.fifo_element[14].reset_buf._y:=1] + 153450 t.a.fifo_element[11].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 153465 t.a.fifo_element[11]._reset_BX : 0 [by t.a.fifo_element[11].reset_buf._y:=1] + 153466 t.a.fifo_element[11].buf_func._y : 1 [by t.a.fifo_element[11]._reset_BX:=0] + 153502 t.a.fifo_element[11].inack_ctl._y : 1 [by t.a.fifo_element[11]._reset_BX:=0] + 153614 t.a.fifo_element[11].in.a : 0 [by t.a.fifo_element[11].inack_ctl._y:=1] + 153616 t.a.fifo_element[14].inack_ctl._y : 1 [by t.a.fifo_element[14]._reset_BX:=0] + 153656 t.a.fifo_element[14].in.a : 0 [by t.a.fifo_element[14].inack_ctl._y:=1] + 153853 t.a.fifo_element[9].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 153881 t.a.fifo_element[6].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 153913 t.a.fifo_element[13]._out_a_B : 1 [by t.a.fifo_element[14].in.a:=0] + 153940 t.a.fifo_element[9]._reset_BX : 0 [by t.a.fifo_element[9].reset_buf._y:=1] + 153941 t.a.fifo_element[9].buf_func._y : 1 [by t.a.fifo_element[9]._reset_BX:=0] + 153970 t.a.fifo_element[10].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 153980 t.a.fifo_element[8].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 154175 t.a.fifo_element[6]._reset_BX : 0 [by t.a.fifo_element[6].reset_buf._y:=1] + 154205 t.a.fifo_element[12].in.r : 0 [by t.a.fifo_element[11].buf_func._y:=1] + 154353 t.a.fifo_element[6].buf_func._y : 1 [by t.a.fifo_element[6]._reset_BX:=0] + 154369 t.a.fifo_element[11]._en : 1 [by t.a.fifo_element[12].in.r:=0] + 154570 t.a.fifo_element[8]._reset_BX : 0 [by t.a.fifo_element[8].reset_buf._y:=1] + 154592 t.a.fifo_element[8].buf_func._y : 1 [by t.a.fifo_element[8]._reset_BX:=0] + 154771 t.a.fifo_element[5]._reset_BX : 0 [by t.a.fifo_element[5].reset_buf._y:=1] + 154904 t.a.fifo_element[5].buf_func._y : 1 [by t.a.fifo_element[5]._reset_BX:=0] + 154978 t.a.fifo_element[6].inack_ctl._y : 1 [by t.a.fifo_element[6]._reset_BX:=0] + 155179 t.a.fifo_element[10]._reset_BX : 0 [by t.a.fifo_element[10].reset_buf._y:=1] + 155186 t.a.fifo_element[10].inack_ctl._y : 1 [by t.a.fifo_element[10]._reset_BX:=0] + 155216 t.a.fifo_element[10].in.a : 0 [by t.a.fifo_element[10].inack_ctl._y:=1] + 155263 t.a.fifo_element[6].in.r : 0 [by t.a.fifo_element[5].buf_func._y:=1] + 155400 t.a.fifo_element[10].buf_func._y : 1 [by t.a.fifo_element[10]._reset_BX:=0] + 155417 t.a.fifo_element[8].inack_ctl._y : 1 [by t.a.fifo_element[8]._reset_BX:=0] + 155508 t.a.fifo_element[8].in.a : 0 [by t.a.fifo_element[8].inack_ctl._y:=1] + 155746 t.a.fifo_element[9].inack_ctl._y : 1 [by t.a.fifo_element[9]._reset_BX:=0] + 155753 t.a.fifo_element[9].in.a : 0 [by t.a.fifo_element[9].inack_ctl._y:=1] + 155948 t.a.fifo_element[10].in.r : 0 [by t.a.fifo_element[9].buf_func._y:=1] + 156054 t.a.fifo_element[9]._en : 1 [by t.a.fifo_element[10].in.r:=0] + 156548 t.a.fifo_element[7].in.r : 0 [by t.a.fifo_element[6].buf_func._y:=1] + 156902 t.a.fifo_element[3].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 156912 t.a.fifo_element[4].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 156980 t.a.fifo_element[3]._reset_BX : 0 [by t.a.fifo_element[3].reset_buf._y:=1] + 157187 t.a.fifo_element[4]._reset_BX : 0 [by t.a.fifo_element[4].reset_buf._y:=1] + 157199 t.a.fifo_element[4].buf_func._y : 1 [by t.a.fifo_element[4]._reset_BX:=0] + 157211 t.a.fifo_element[5].in.r : 0 [by t.a.fifo_element[4].buf_func._y:=1] + 157435 t.a.fifo_element[3].inack_ctl._y : 1 [by t.a.fifo_element[3]._reset_BX:=0] + 157591 t.a.fifo_element[4].inack_ctl._y : 1 [by t.a.fifo_element[4]._reset_BX:=0] + 157659 t.a.fifo_element[0].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 157697 t.a.fifo_element[7]._out_a_B : 1 [by t.a.fifo_element[8].in.a:=0] + 158540 t.a.fifo_element[8]._out_a_B : 1 [by t.a.fifo_element[9].in.a:=0] + 160558 t.a.fifo_element[0]._reset_BX : 0 [by t.a.fifo_element[0].reset_buf._y:=1] + 160560 t.a.fifo_element[0].inack_ctl._y : 1 [by t.a.fifo_element[0]._reset_BX:=0] + 161867 t.a.fifo_element[4].in.a : 0 [by t.a.fifo_element[4].inack_ctl._y:=1] + 161929 t.a.fifo_element[9]._out_a_B : 1 [by t.a.fifo_element[10].in.a:=0] + 163116 t.a.fifo_element[4]._en : 1 [by t.a.fifo_element[4].in.a:=0] + 163351 t.a.fifo_element[3].in.a : 0 [by t.a.fifo_element[3].inack_ctl._y:=1] + 163517 t.a.fifo_element[2]._out_a_B : 1 [by t.a.fifo_element[3].in.a:=0] + 164853 t.a.fifo_element[0].buf_func._y : 1 [by t.a.fifo_element[0]._reset_BX:=0] + 164928 t.a.fifo_element[1].in.r : 0 [by t.a.fifo_element[0].buf_func._y:=1] + 165095 t.in.a : 0 [by t.a.fifo_element[0].inack_ctl._y:=1] + 165366 t.a.fifo_element[3]._out_a_B : 1 [by t.a.fifo_element[4].in.a:=0] + 165440 t.a.fifo_element[0]._en : 1 [by t.in.a:=0] + 169094 t.a.fifo_element[6].in.a : 0 [by t.a.fifo_element[6].inack_ctl._y:=1] + 169232 t.a.fifo_element[6]._en : 1 [by t.a.fifo_element[6].in.a:=0] + 170433 t.a.fifo_element[5].inack_ctl._y : 1 [by t.a.fifo_element[5]._reset_BX:=0] + 170435 t.a.fifo_element[5].in.a : 0 [by t.a.fifo_element[5].inack_ctl._y:=1] + 170436 t.a.fifo_element[4]._out_a_B : 1 [by t.a.fifo_element[5].in.a:=0] + 174357 t.a.fifo_element[5]._out_a_B : 1 [by t.a.fifo_element[6].in.a:=0] + 174483 t.a.fifo_element[1].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 175031 t.a.fifo_element[1]._reset_BX : 0 [by t.a.fifo_element[1].reset_buf._y:=1] + 175042 t.a.fifo_element[1].buf_func._y : 1 [by t.a.fifo_element[1]._reset_BX:=0] + 175109 t.a.fifo_element[2].in.r : 0 [by t.a.fifo_element[1].buf_func._y:=1] + 175340 t.a.fifo_element[12].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 175401 t.a.fifo_element[1].inack_ctl._y : 1 [by t.a.fifo_element[1]._reset_BX:=0] + 175417 t.a.fifo_element[1].in.a : 0 [by t.a.fifo_element[1].inack_ctl._y:=1] + 175945 t.a.fifo_element[0]._out_a_B : 1 [by t.a.fifo_element[1].in.a:=0] + 175976 t.a.fifo_element[3].buf_func._y : 1 [by t.a.fifo_element[3]._reset_BX:=0] + 177981 t.a.fifo_element[12]._reset_BX : 0 [by t.a.fifo_element[12].reset_buf._y:=1] + 178411 t.a.fifo_element[4].in.r : 0 [by t.a.fifo_element[3].buf_func._y:=1] + 179979 t.a.fifo_element[1]._en : 1 [by t.a.fifo_element[1].in.a:=0] + 184720 t.a.fifo_element[9].in.r : 0 [by t.a.fifo_element[8].buf_func._y:=1] + 184722 t.a.fifo_element[8]._en : 1 [by t.a.fifo_element[9].in.r:=0] + 189451 t.a.fifo_element[13].inack_ctl._y : 1 [by t.a.fifo_element[13]._reset_BX:=0] + 191452 t.a.fifo_element[3]._en : 1 [by t.a.fifo_element[4].in.r:=0] + 197800 t.a.fifo_element[2].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 197803 t.a.fifo_element[2]._reset_BX : 0 [by t.a.fifo_element[2].reset_buf._y:=1] + 197832 t.a.fifo_element[2].buf_func._y : 1 [by t.a.fifo_element[2]._reset_BX:=0] + 198120 t.a.fifo_element[2].inack_ctl._y : 1 [by t.a.fifo_element[2]._reset_BX:=0] + 198273 t.a.fifo_element[2].in.a : 0 [by t.a.fifo_element[2].inack_ctl._y:=1] + 198317 t.a.fifo_element[1]._out_a_B : 1 [by t.a.fifo_element[2].in.a:=0] + 199433 t.a.fifo_element[3].in.r : 0 [by t.a.fifo_element[2].buf_func._y:=1] + 201126 t.a.fifo_element[10]._out_a_B : 1 [by t.a.fifo_element[11].in.a:=0] + 201906 t.a.fifo_element[12].inack_ctl._y : 1 [by t.a.fifo_element[12]._reset_BX:=0] + 202194 t.a.fifo_element[2]._en : 1 [by t.a.fifo_element[3].in.r:=0] + 204861 t.a.fifo_element[12].buf_func._y : 1 [by t.a.fifo_element[12]._reset_BX:=0] + 204862 t.a.fifo_element[13].in.r : 0 [by t.a.fifo_element[12].buf_func._y:=1] + 205198 t.a.fifo_element[14].buf_func._y : 1 [by t.a.fifo_element[14]._reset_BX:=0] + 205415 t.out.r : 0 [by t.a.fifo_element[14].buf_func._y:=1] + 205437 t.a.fifo_element[14]._en : 1 [by t.out.r:=0] + 207369 t.a.fifo_element[7].reset_buf._y : 1 [by t.a._reset_BXX[0]:=0] + 207370 t.a.fifo_element[7]._reset_BX : 0 [by t.a.fifo_element[7].reset_buf._y:=1] + 208951 t.a.fifo_element[7].buf_func._y : 1 [by t.a.fifo_element[7]._reset_BX:=0] + 209110 t.a.fifo_element[8].in.r : 0 [by t.a.fifo_element[7].buf_func._y:=1] + 212861 t.a.fifo_element[11].in.r : 0 [by t.a.fifo_element[10].buf_func._y:=1] + 214352 t.a.fifo_element[5]._en : 1 [by t.a.fifo_element[5].in.a:=0] + 215589 t.a.fifo_element[12].in.a : 0 [by t.a.fifo_element[12].inack_ctl._y:=1] + 216715 t.a.fifo_element[7].inack_ctl._y : 1 [by t.a.fifo_element[7]._reset_BX:=0] + 216860 t.a.fifo_element[7].in.a : 0 [by t.a.fifo_element[7].inack_ctl._y:=1] + 216876 t.a.fifo_element[12]._en : 1 [by t.a.fifo_element[12].in.a:=0] + 217821 t.a.fifo_element[11]._out_a_B : 1 [by t.a.fifo_element[12].in.a:=0] + 219692 t.a.fifo_element[7]._en : 1 [by t.a.fifo_element[7].in.a:=0] + 223214 t.a.fifo_element[6]._out_a_B : 1 [by t.a.fifo_element[7].in.a:=0] + 232537 t.a.fifo_element[10]._en : 1 [by t.a.fifo_element[11].in.r:=0] + 250409 t.a.fifo_element[13].in.a : 0 [by t.a.fifo_element[13].inack_ctl._y:=1] + 250410 t.a.fifo_element[13]._en : 1 [by t.a.fifo_element[13].in.a:=0] + 289693 t.a.fifo_element[12]._out_a_B : 1 [by t.a.fifo_element[13].in.a:=0] + +[1] reset done +---------------------------------------------------------------------------------------------------- + 289693 t.in.r : 1 + 289693 t.in.r : 0 +1 bit inside + 289693 t.in.r : 1 + 289693 t.in.r : 0 +2 bit inside + 289693 t.in.r : 1 + 289693 t.in.r : 0 +3 bit inside + 289693 t.in.r : 1 + 289693 t.in.r : 0 +4 bit inside + 289693 t.in.r : 1 + 289693 t.in.r : 0 +5 bit inside + 289693 t.in.r : 1 + 289693 t.in.r : 0 +6 bit inside + 289693 t.in.r : 1 + 289693 t.in.r : 0 +7 bit inside +WRONG ASSERT: "t.out.r" has value 0 and not 1. diff --git a/test/unit_tests/fifo_t_15/run/test.prs b/test/unit_tests/fifo_t_15/run/test.prs new file mode 100644 index 0000000..a54ca0b --- /dev/null +++ b/test/unit_tests/fifo_t_15/run/test.prs @@ -0,0 +1,922 @@ += "GND" "GND" += "Vdd" "Vdd" += "Reset" "Reset" +"t.a.reset_bufarray.buf6.a"->"t.a.reset_bufarray.buf6._y"- +~("t.a.reset_bufarray.buf6.a")->"t.a.reset_bufarray.buf6._y"+ +"t.a.reset_bufarray.buf6._y"->"t.a.reset_bufarray.buf6.y"- +~("t.a.reset_bufarray.buf6._y")->"t.a.reset_bufarray.buf6.y"+ += "t.a.reset_bufarray.supply.vdd" "t.a.reset_bufarray.buf6.vdd" += "t.a.reset_bufarray.supply.vss" "t.a.reset_bufarray.buf6.vss" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[14]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[13]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[12]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[11]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[10]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[9]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[8]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[7]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[6]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[5]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[4]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[3]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[2]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.out[1]" += "t.a.reset_bufarray.out[0]" "t.a.reset_bufarray.buf6.y" += "t.a.reset_bufarray.in" "t.a.reset_bufarray.buf6.a" +"t.a.reset_buf.a"->"t.a.reset_buf._y"- +~("t.a.reset_buf.a")->"t.a.reset_buf._y"+ +"t.a.reset_buf._y"->"t.a.reset_buf.y"- +~("t.a.reset_buf._y")->"t.a.reset_buf.y"+ += "t.a.reset_B" "t.a.reset_buf.a" += "t.a.supply.vss" "t.a.fifo_element[14].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[14].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[13].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[13].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[12].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[12].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[11].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[11].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[10].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[10].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[9].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[9].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[8].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[8].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[7].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[7].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[6].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[6].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[5].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[5].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[4].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[4].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[3].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[3].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[2].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[2].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[1].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[1].supply.vdd" += "t.a.supply.vss" "t.a.fifo_element[0].supply.vss" += "t.a.supply.vdd" "t.a.fifo_element[0].supply.vdd" += "t.a.supply.vdd" "t.a.reset_buf.vdd" += "t.a.supply.vss" "t.a.reset_buf.vss" += "t.a._reset_BX" "t.a.reset_bufarray.in" += "t.a._reset_BX" "t.a.reset_buf.y" +"t.a.fifo_element[0].reset_buf.a"->"t.a.fifo_element[0].reset_buf._y"- +~("t.a.fifo_element[0].reset_buf.a")->"t.a.fifo_element[0].reset_buf._y"+ +"t.a.fifo_element[0].reset_buf._y"->"t.a.fifo_element[0].reset_buf.y"- +~("t.a.fifo_element[0].reset_buf._y")->"t.a.fifo_element[0].reset_buf.y"+ +"t.a.fifo_element[0].inv_outa.a"->"t.a.fifo_element[0].inv_outa.y"- +~("t.a.fifo_element[0].inv_outa.a")->"t.a.fifo_element[0].inv_outa.y"+ +~"t.a.fifo_element[0].inack_ctl.c1"&~"t.a.fifo_element[0].inack_ctl.c2"&~"t.a.fifo_element[0].inack_ctl.c3"|~"t.a.fifo_element[0].inack_ctl.pr_B"->"t.a.fifo_element[0].inack_ctl._y"+ +"t.a.fifo_element[0].inack_ctl.c1"&"t.a.fifo_element[0].inack_ctl.c2"&"t.a.fifo_element[0].inack_ctl.c3"&"t.a.fifo_element[0].inack_ctl.sr_B"->"t.a.fifo_element[0].inack_ctl._y"- +"t.a.fifo_element[0].inack_ctl._y"->"t.a.fifo_element[0].inack_ctl.y"- +~("t.a.fifo_element[0].inack_ctl._y")->"t.a.fifo_element[0].inack_ctl.y"+ +~"t.a.fifo_element[0].buf_func.c1"&~"t.a.fifo_element[0].buf_func.c2"|~"t.a.fifo_element[0].buf_func.pr_B"->"t.a.fifo_element[0].buf_func._y"+ +"t.a.fifo_element[0].buf_func.c1"&"t.a.fifo_element[0].buf_func.c2"&"t.a.fifo_element[0].buf_func.n1"&"t.a.fifo_element[0].buf_func.sr_B"->"t.a.fifo_element[0].buf_func._y"- +"t.a.fifo_element[0].buf_func._y"->"t.a.fifo_element[0].buf_func.y"- +~("t.a.fifo_element[0].buf_func._y")->"t.a.fifo_element[0].buf_func.y"+ += "t.a.fifo_element[0].reset_B" "t.a.fifo_element[0].reset_buf.a" += "t.a.fifo_element[0].supply.vdd" "t.a.fifo_element[0].reset_buf.vdd" += "t.a.fifo_element[0].supply.vdd" "t.a.fifo_element[0].buf_func.vdd" += "t.a.fifo_element[0].supply.vdd" "t.a.fifo_element[0].inv_outa.vdd" += "t.a.fifo_element[0].supply.vdd" "t.a.fifo_element[0].en_ctl.vdd" += "t.a.fifo_element[0].supply.vdd" "t.a.fifo_element[0].inack_ctl.vdd" += "t.a.fifo_element[0].supply.vss" "t.a.fifo_element[0].reset_buf.vss" += "t.a.fifo_element[0].supply.vss" "t.a.fifo_element[0].buf_func.vss" += "t.a.fifo_element[0].supply.vss" "t.a.fifo_element[0].inv_outa.vss" += "t.a.fifo_element[0].supply.vss" "t.a.fifo_element[0].en_ctl.vss" += "t.a.fifo_element[0].supply.vss" "t.a.fifo_element[0].inack_ctl.vss" += "t.a.fifo_element[0]._reset_BX" "t.a.fifo_element[0].reset_buf.y" += "t.a.fifo_element[0]._reset_BX" "t.a.fifo_element[0].buf_func.sr_B" += "t.a.fifo_element[0]._reset_BX" "t.a.fifo_element[0].buf_func.pr_B" += "t.a.fifo_element[0]._reset_BX" "t.a.fifo_element[0].inack_ctl.sr_B" += "t.a.fifo_element[0]._reset_BX" "t.a.fifo_element[0].inack_ctl.pr_B" += "t.a.fifo_element[0]._en" "t.a.fifo_element[0].buf_func.c1" += "t.a.fifo_element[0]._en" "t.a.fifo_element[0].en_ctl.y" += "t.a.fifo_element[0]._en" "t.a.fifo_element[0].inack_ctl.c1" +~"t.a.fifo_element[0].en_ctl.p1"&~"t.a.fifo_element[0].en_ctl.c1"->"t.a.fifo_element[0].en_ctl.y"+ +"t.a.fifo_element[0].en_ctl.c1"->"t.a.fifo_element[0].en_ctl.y"- += "t.a.fifo_element[0]._out_a_B" "t.a.fifo_element[0].buf_func.c2" += "t.a.fifo_element[0]._out_a_B" "t.a.fifo_element[0].inv_outa.y" += "t.a.fifo_element[0].in.d.d[0]" "t.a.fifo_element[0].in.r" += "t.a.fifo_element[0].in.a" "t.a.fifo_element[0].en_ctl.c1" += "t.a.fifo_element[0].in.a" "t.a.fifo_element[0].inack_ctl.y" += "t.a.fifo_element[0].in.d.d[0]" "t.a.fifo_element[0].buf_func.n1" += "t.a.fifo_element[0].in.d.d[0]" "t.a.fifo_element[0].inack_ctl.c2" += "t.a.fifo_element[0].in.d.d[0]" "t.a.fifo_element[0].in.r" += "t.a.fifo_element[0].out.d.d[0]" "t.a.fifo_element[0].out.r" += "t.a.fifo_element[0].out.a" "t.a.fifo_element[0].inv_outa.a" += "t.a.fifo_element[0].out.d.d[0]" "t.a.fifo_element[0].buf_func.y" += "t.a.fifo_element[0].out.d.d[0]" "t.a.fifo_element[0].en_ctl.p1" += "t.a.fifo_element[0].out.d.d[0]" "t.a.fifo_element[0].inack_ctl.c3" += "t.a.fifo_element[0].out.d.d[0]" "t.a.fifo_element[0].out.r" +"t.a.fifo_element[1].reset_buf.a"->"t.a.fifo_element[1].reset_buf._y"- +~("t.a.fifo_element[1].reset_buf.a")->"t.a.fifo_element[1].reset_buf._y"+ +"t.a.fifo_element[1].reset_buf._y"->"t.a.fifo_element[1].reset_buf.y"- +~("t.a.fifo_element[1].reset_buf._y")->"t.a.fifo_element[1].reset_buf.y"+ +"t.a.fifo_element[1].inv_outa.a"->"t.a.fifo_element[1].inv_outa.y"- +~("t.a.fifo_element[1].inv_outa.a")->"t.a.fifo_element[1].inv_outa.y"+ +~"t.a.fifo_element[1].inack_ctl.c1"&~"t.a.fifo_element[1].inack_ctl.c2"&~"t.a.fifo_element[1].inack_ctl.c3"|~"t.a.fifo_element[1].inack_ctl.pr_B"->"t.a.fifo_element[1].inack_ctl._y"+ +"t.a.fifo_element[1].inack_ctl.c1"&"t.a.fifo_element[1].inack_ctl.c2"&"t.a.fifo_element[1].inack_ctl.c3"&"t.a.fifo_element[1].inack_ctl.sr_B"->"t.a.fifo_element[1].inack_ctl._y"- +"t.a.fifo_element[1].inack_ctl._y"->"t.a.fifo_element[1].inack_ctl.y"- +~("t.a.fifo_element[1].inack_ctl._y")->"t.a.fifo_element[1].inack_ctl.y"+ +~"t.a.fifo_element[1].buf_func.c1"&~"t.a.fifo_element[1].buf_func.c2"|~"t.a.fifo_element[1].buf_func.pr_B"->"t.a.fifo_element[1].buf_func._y"+ +"t.a.fifo_element[1].buf_func.c1"&"t.a.fifo_element[1].buf_func.c2"&"t.a.fifo_element[1].buf_func.n1"&"t.a.fifo_element[1].buf_func.sr_B"->"t.a.fifo_element[1].buf_func._y"- +"t.a.fifo_element[1].buf_func._y"->"t.a.fifo_element[1].buf_func.y"- +~("t.a.fifo_element[1].buf_func._y")->"t.a.fifo_element[1].buf_func.y"+ += "t.a.fifo_element[1].reset_B" "t.a.fifo_element[1].reset_buf.a" += "t.a.fifo_element[1].supply.vdd" "t.a.fifo_element[1].reset_buf.vdd" += "t.a.fifo_element[1].supply.vdd" "t.a.fifo_element[1].buf_func.vdd" += "t.a.fifo_element[1].supply.vdd" "t.a.fifo_element[1].inv_outa.vdd" += "t.a.fifo_element[1].supply.vdd" "t.a.fifo_element[1].en_ctl.vdd" += "t.a.fifo_element[1].supply.vdd" "t.a.fifo_element[1].inack_ctl.vdd" += "t.a.fifo_element[1].supply.vss" "t.a.fifo_element[1].reset_buf.vss" += "t.a.fifo_element[1].supply.vss" "t.a.fifo_element[1].buf_func.vss" += "t.a.fifo_element[1].supply.vss" "t.a.fifo_element[1].inv_outa.vss" += "t.a.fifo_element[1].supply.vss" "t.a.fifo_element[1].en_ctl.vss" += "t.a.fifo_element[1].supply.vss" "t.a.fifo_element[1].inack_ctl.vss" += "t.a.fifo_element[1]._reset_BX" "t.a.fifo_element[1].reset_buf.y" += "t.a.fifo_element[1]._reset_BX" "t.a.fifo_element[1].buf_func.sr_B" += "t.a.fifo_element[1]._reset_BX" "t.a.fifo_element[1].buf_func.pr_B" += "t.a.fifo_element[1]._reset_BX" "t.a.fifo_element[1].inack_ctl.sr_B" += "t.a.fifo_element[1]._reset_BX" "t.a.fifo_element[1].inack_ctl.pr_B" += "t.a.fifo_element[1]._en" "t.a.fifo_element[1].buf_func.c1" += "t.a.fifo_element[1]._en" "t.a.fifo_element[1].en_ctl.y" += "t.a.fifo_element[1]._en" "t.a.fifo_element[1].inack_ctl.c1" +~"t.a.fifo_element[1].en_ctl.p1"&~"t.a.fifo_element[1].en_ctl.c1"->"t.a.fifo_element[1].en_ctl.y"+ +"t.a.fifo_element[1].en_ctl.c1"->"t.a.fifo_element[1].en_ctl.y"- += "t.a.fifo_element[1]._out_a_B" "t.a.fifo_element[1].buf_func.c2" += "t.a.fifo_element[1]._out_a_B" "t.a.fifo_element[1].inv_outa.y" += "t.a.fifo_element[1].in.d.d[0]" "t.a.fifo_element[1].in.r" += "t.a.fifo_element[1].in.a" "t.a.fifo_element[1].en_ctl.c1" += "t.a.fifo_element[1].in.a" "t.a.fifo_element[1].inack_ctl.y" += "t.a.fifo_element[1].in.d.d[0]" "t.a.fifo_element[1].buf_func.n1" += "t.a.fifo_element[1].in.d.d[0]" "t.a.fifo_element[1].inack_ctl.c2" += "t.a.fifo_element[1].in.d.d[0]" "t.a.fifo_element[1].in.r" += "t.a.fifo_element[1].out.d.d[0]" "t.a.fifo_element[1].out.r" += "t.a.fifo_element[1].out.a" "t.a.fifo_element[1].inv_outa.a" += "t.a.fifo_element[1].out.d.d[0]" "t.a.fifo_element[1].buf_func.y" += "t.a.fifo_element[1].out.d.d[0]" "t.a.fifo_element[1].en_ctl.p1" += "t.a.fifo_element[1].out.d.d[0]" "t.a.fifo_element[1].inack_ctl.c3" += "t.a.fifo_element[1].out.d.d[0]" "t.a.fifo_element[1].out.r" +"t.a.fifo_element[2].reset_buf.a"->"t.a.fifo_element[2].reset_buf._y"- +~("t.a.fifo_element[2].reset_buf.a")->"t.a.fifo_element[2].reset_buf._y"+ +"t.a.fifo_element[2].reset_buf._y"->"t.a.fifo_element[2].reset_buf.y"- +~("t.a.fifo_element[2].reset_buf._y")->"t.a.fifo_element[2].reset_buf.y"+ +"t.a.fifo_element[2].inv_outa.a"->"t.a.fifo_element[2].inv_outa.y"- +~("t.a.fifo_element[2].inv_outa.a")->"t.a.fifo_element[2].inv_outa.y"+ +~"t.a.fifo_element[2].inack_ctl.c1"&~"t.a.fifo_element[2].inack_ctl.c2"&~"t.a.fifo_element[2].inack_ctl.c3"|~"t.a.fifo_element[2].inack_ctl.pr_B"->"t.a.fifo_element[2].inack_ctl._y"+ +"t.a.fifo_element[2].inack_ctl.c1"&"t.a.fifo_element[2].inack_ctl.c2"&"t.a.fifo_element[2].inack_ctl.c3"&"t.a.fifo_element[2].inack_ctl.sr_B"->"t.a.fifo_element[2].inack_ctl._y"- +"t.a.fifo_element[2].inack_ctl._y"->"t.a.fifo_element[2].inack_ctl.y"- +~("t.a.fifo_element[2].inack_ctl._y")->"t.a.fifo_element[2].inack_ctl.y"+ +~"t.a.fifo_element[2].buf_func.c1"&~"t.a.fifo_element[2].buf_func.c2"|~"t.a.fifo_element[2].buf_func.pr_B"->"t.a.fifo_element[2].buf_func._y"+ +"t.a.fifo_element[2].buf_func.c1"&"t.a.fifo_element[2].buf_func.c2"&"t.a.fifo_element[2].buf_func.n1"&"t.a.fifo_element[2].buf_func.sr_B"->"t.a.fifo_element[2].buf_func._y"- +"t.a.fifo_element[2].buf_func._y"->"t.a.fifo_element[2].buf_func.y"- +~("t.a.fifo_element[2].buf_func._y")->"t.a.fifo_element[2].buf_func.y"+ += "t.a.fifo_element[2].reset_B" "t.a.fifo_element[2].reset_buf.a" += "t.a.fifo_element[2].supply.vdd" "t.a.fifo_element[2].reset_buf.vdd" += "t.a.fifo_element[2].supply.vdd" "t.a.fifo_element[2].buf_func.vdd" += "t.a.fifo_element[2].supply.vdd" "t.a.fifo_element[2].inv_outa.vdd" += "t.a.fifo_element[2].supply.vdd" "t.a.fifo_element[2].en_ctl.vdd" += "t.a.fifo_element[2].supply.vdd" "t.a.fifo_element[2].inack_ctl.vdd" += "t.a.fifo_element[2].supply.vss" "t.a.fifo_element[2].reset_buf.vss" += "t.a.fifo_element[2].supply.vss" "t.a.fifo_element[2].buf_func.vss" += "t.a.fifo_element[2].supply.vss" "t.a.fifo_element[2].inv_outa.vss" += "t.a.fifo_element[2].supply.vss" "t.a.fifo_element[2].en_ctl.vss" += "t.a.fifo_element[2].supply.vss" "t.a.fifo_element[2].inack_ctl.vss" += "t.a.fifo_element[2]._reset_BX" "t.a.fifo_element[2].reset_buf.y" += "t.a.fifo_element[2]._reset_BX" "t.a.fifo_element[2].buf_func.sr_B" += "t.a.fifo_element[2]._reset_BX" "t.a.fifo_element[2].buf_func.pr_B" += "t.a.fifo_element[2]._reset_BX" "t.a.fifo_element[2].inack_ctl.sr_B" += "t.a.fifo_element[2]._reset_BX" "t.a.fifo_element[2].inack_ctl.pr_B" += "t.a.fifo_element[2]._en" "t.a.fifo_element[2].buf_func.c1" += "t.a.fifo_element[2]._en" "t.a.fifo_element[2].en_ctl.y" += "t.a.fifo_element[2]._en" "t.a.fifo_element[2].inack_ctl.c1" +~"t.a.fifo_element[2].en_ctl.p1"&~"t.a.fifo_element[2].en_ctl.c1"->"t.a.fifo_element[2].en_ctl.y"+ +"t.a.fifo_element[2].en_ctl.c1"->"t.a.fifo_element[2].en_ctl.y"- += "t.a.fifo_element[2]._out_a_B" "t.a.fifo_element[2].buf_func.c2" += "t.a.fifo_element[2]._out_a_B" "t.a.fifo_element[2].inv_outa.y" += "t.a.fifo_element[2].in.d.d[0]" "t.a.fifo_element[2].in.r" += "t.a.fifo_element[2].in.a" "t.a.fifo_element[2].en_ctl.c1" += "t.a.fifo_element[2].in.a" "t.a.fifo_element[2].inack_ctl.y" += "t.a.fifo_element[2].in.d.d[0]" "t.a.fifo_element[2].buf_func.n1" += "t.a.fifo_element[2].in.d.d[0]" "t.a.fifo_element[2].inack_ctl.c2" += "t.a.fifo_element[2].in.d.d[0]" "t.a.fifo_element[2].in.r" += "t.a.fifo_element[2].out.d.d[0]" "t.a.fifo_element[2].out.r" += "t.a.fifo_element[2].out.a" "t.a.fifo_element[2].inv_outa.a" += "t.a.fifo_element[2].out.d.d[0]" "t.a.fifo_element[2].buf_func.y" += "t.a.fifo_element[2].out.d.d[0]" "t.a.fifo_element[2].en_ctl.p1" += "t.a.fifo_element[2].out.d.d[0]" "t.a.fifo_element[2].inack_ctl.c3" += "t.a.fifo_element[2].out.d.d[0]" "t.a.fifo_element[2].out.r" +"t.a.fifo_element[3].reset_buf.a"->"t.a.fifo_element[3].reset_buf._y"- +~("t.a.fifo_element[3].reset_buf.a")->"t.a.fifo_element[3].reset_buf._y"+ +"t.a.fifo_element[3].reset_buf._y"->"t.a.fifo_element[3].reset_buf.y"- +~("t.a.fifo_element[3].reset_buf._y")->"t.a.fifo_element[3].reset_buf.y"+ +"t.a.fifo_element[3].inv_outa.a"->"t.a.fifo_element[3].inv_outa.y"- +~("t.a.fifo_element[3].inv_outa.a")->"t.a.fifo_element[3].inv_outa.y"+ +~"t.a.fifo_element[3].inack_ctl.c1"&~"t.a.fifo_element[3].inack_ctl.c2"&~"t.a.fifo_element[3].inack_ctl.c3"|~"t.a.fifo_element[3].inack_ctl.pr_B"->"t.a.fifo_element[3].inack_ctl._y"+ +"t.a.fifo_element[3].inack_ctl.c1"&"t.a.fifo_element[3].inack_ctl.c2"&"t.a.fifo_element[3].inack_ctl.c3"&"t.a.fifo_element[3].inack_ctl.sr_B"->"t.a.fifo_element[3].inack_ctl._y"- +"t.a.fifo_element[3].inack_ctl._y"->"t.a.fifo_element[3].inack_ctl.y"- +~("t.a.fifo_element[3].inack_ctl._y")->"t.a.fifo_element[3].inack_ctl.y"+ +~"t.a.fifo_element[3].buf_func.c1"&~"t.a.fifo_element[3].buf_func.c2"|~"t.a.fifo_element[3].buf_func.pr_B"->"t.a.fifo_element[3].buf_func._y"+ +"t.a.fifo_element[3].buf_func.c1"&"t.a.fifo_element[3].buf_func.c2"&"t.a.fifo_element[3].buf_func.n1"&"t.a.fifo_element[3].buf_func.sr_B"->"t.a.fifo_element[3].buf_func._y"- +"t.a.fifo_element[3].buf_func._y"->"t.a.fifo_element[3].buf_func.y"- +~("t.a.fifo_element[3].buf_func._y")->"t.a.fifo_element[3].buf_func.y"+ += "t.a.fifo_element[3].reset_B" "t.a.fifo_element[3].reset_buf.a" += "t.a.fifo_element[3].supply.vdd" "t.a.fifo_element[3].reset_buf.vdd" += "t.a.fifo_element[3].supply.vdd" "t.a.fifo_element[3].buf_func.vdd" += "t.a.fifo_element[3].supply.vdd" "t.a.fifo_element[3].inv_outa.vdd" += "t.a.fifo_element[3].supply.vdd" "t.a.fifo_element[3].en_ctl.vdd" += "t.a.fifo_element[3].supply.vdd" "t.a.fifo_element[3].inack_ctl.vdd" += "t.a.fifo_element[3].supply.vss" "t.a.fifo_element[3].reset_buf.vss" += "t.a.fifo_element[3].supply.vss" "t.a.fifo_element[3].buf_func.vss" += "t.a.fifo_element[3].supply.vss" "t.a.fifo_element[3].inv_outa.vss" += "t.a.fifo_element[3].supply.vss" "t.a.fifo_element[3].en_ctl.vss" += "t.a.fifo_element[3].supply.vss" "t.a.fifo_element[3].inack_ctl.vss" += "t.a.fifo_element[3]._reset_BX" "t.a.fifo_element[3].reset_buf.y" += "t.a.fifo_element[3]._reset_BX" "t.a.fifo_element[3].buf_func.sr_B" += "t.a.fifo_element[3]._reset_BX" "t.a.fifo_element[3].buf_func.pr_B" += "t.a.fifo_element[3]._reset_BX" "t.a.fifo_element[3].inack_ctl.sr_B" += "t.a.fifo_element[3]._reset_BX" "t.a.fifo_element[3].inack_ctl.pr_B" += "t.a.fifo_element[3]._en" "t.a.fifo_element[3].buf_func.c1" += "t.a.fifo_element[3]._en" "t.a.fifo_element[3].en_ctl.y" += "t.a.fifo_element[3]._en" "t.a.fifo_element[3].inack_ctl.c1" +~"t.a.fifo_element[3].en_ctl.p1"&~"t.a.fifo_element[3].en_ctl.c1"->"t.a.fifo_element[3].en_ctl.y"+ +"t.a.fifo_element[3].en_ctl.c1"->"t.a.fifo_element[3].en_ctl.y"- += "t.a.fifo_element[3]._out_a_B" "t.a.fifo_element[3].buf_func.c2" += "t.a.fifo_element[3]._out_a_B" "t.a.fifo_element[3].inv_outa.y" += "t.a.fifo_element[3].in.d.d[0]" "t.a.fifo_element[3].in.r" += "t.a.fifo_element[3].in.a" "t.a.fifo_element[3].en_ctl.c1" += "t.a.fifo_element[3].in.a" "t.a.fifo_element[3].inack_ctl.y" += "t.a.fifo_element[3].in.d.d[0]" "t.a.fifo_element[3].buf_func.n1" += "t.a.fifo_element[3].in.d.d[0]" "t.a.fifo_element[3].inack_ctl.c2" += "t.a.fifo_element[3].in.d.d[0]" "t.a.fifo_element[3].in.r" += "t.a.fifo_element[3].out.d.d[0]" "t.a.fifo_element[3].out.r" += "t.a.fifo_element[3].out.a" "t.a.fifo_element[3].inv_outa.a" += "t.a.fifo_element[3].out.d.d[0]" "t.a.fifo_element[3].buf_func.y" += "t.a.fifo_element[3].out.d.d[0]" "t.a.fifo_element[3].en_ctl.p1" += "t.a.fifo_element[3].out.d.d[0]" "t.a.fifo_element[3].inack_ctl.c3" += "t.a.fifo_element[3].out.d.d[0]" "t.a.fifo_element[3].out.r" +"t.a.fifo_element[4].reset_buf.a"->"t.a.fifo_element[4].reset_buf._y"- +~("t.a.fifo_element[4].reset_buf.a")->"t.a.fifo_element[4].reset_buf._y"+ +"t.a.fifo_element[4].reset_buf._y"->"t.a.fifo_element[4].reset_buf.y"- +~("t.a.fifo_element[4].reset_buf._y")->"t.a.fifo_element[4].reset_buf.y"+ +"t.a.fifo_element[4].inv_outa.a"->"t.a.fifo_element[4].inv_outa.y"- +~("t.a.fifo_element[4].inv_outa.a")->"t.a.fifo_element[4].inv_outa.y"+ +~"t.a.fifo_element[4].inack_ctl.c1"&~"t.a.fifo_element[4].inack_ctl.c2"&~"t.a.fifo_element[4].inack_ctl.c3"|~"t.a.fifo_element[4].inack_ctl.pr_B"->"t.a.fifo_element[4].inack_ctl._y"+ +"t.a.fifo_element[4].inack_ctl.c1"&"t.a.fifo_element[4].inack_ctl.c2"&"t.a.fifo_element[4].inack_ctl.c3"&"t.a.fifo_element[4].inack_ctl.sr_B"->"t.a.fifo_element[4].inack_ctl._y"- +"t.a.fifo_element[4].inack_ctl._y"->"t.a.fifo_element[4].inack_ctl.y"- +~("t.a.fifo_element[4].inack_ctl._y")->"t.a.fifo_element[4].inack_ctl.y"+ +~"t.a.fifo_element[4].buf_func.c1"&~"t.a.fifo_element[4].buf_func.c2"|~"t.a.fifo_element[4].buf_func.pr_B"->"t.a.fifo_element[4].buf_func._y"+ +"t.a.fifo_element[4].buf_func.c1"&"t.a.fifo_element[4].buf_func.c2"&"t.a.fifo_element[4].buf_func.n1"&"t.a.fifo_element[4].buf_func.sr_B"->"t.a.fifo_element[4].buf_func._y"- +"t.a.fifo_element[4].buf_func._y"->"t.a.fifo_element[4].buf_func.y"- +~("t.a.fifo_element[4].buf_func._y")->"t.a.fifo_element[4].buf_func.y"+ += "t.a.fifo_element[4].reset_B" "t.a.fifo_element[4].reset_buf.a" += "t.a.fifo_element[4].supply.vdd" "t.a.fifo_element[4].reset_buf.vdd" += "t.a.fifo_element[4].supply.vdd" "t.a.fifo_element[4].buf_func.vdd" += "t.a.fifo_element[4].supply.vdd" "t.a.fifo_element[4].inv_outa.vdd" += "t.a.fifo_element[4].supply.vdd" "t.a.fifo_element[4].en_ctl.vdd" += "t.a.fifo_element[4].supply.vdd" "t.a.fifo_element[4].inack_ctl.vdd" += "t.a.fifo_element[4].supply.vss" "t.a.fifo_element[4].reset_buf.vss" += "t.a.fifo_element[4].supply.vss" "t.a.fifo_element[4].buf_func.vss" += "t.a.fifo_element[4].supply.vss" "t.a.fifo_element[4].inv_outa.vss" += "t.a.fifo_element[4].supply.vss" "t.a.fifo_element[4].en_ctl.vss" += "t.a.fifo_element[4].supply.vss" "t.a.fifo_element[4].inack_ctl.vss" += "t.a.fifo_element[4]._reset_BX" "t.a.fifo_element[4].reset_buf.y" += "t.a.fifo_element[4]._reset_BX" "t.a.fifo_element[4].buf_func.sr_B" += "t.a.fifo_element[4]._reset_BX" "t.a.fifo_element[4].buf_func.pr_B" += "t.a.fifo_element[4]._reset_BX" "t.a.fifo_element[4].inack_ctl.sr_B" += "t.a.fifo_element[4]._reset_BX" "t.a.fifo_element[4].inack_ctl.pr_B" += "t.a.fifo_element[4]._en" "t.a.fifo_element[4].buf_func.c1" += "t.a.fifo_element[4]._en" "t.a.fifo_element[4].en_ctl.y" += "t.a.fifo_element[4]._en" "t.a.fifo_element[4].inack_ctl.c1" +~"t.a.fifo_element[4].en_ctl.p1"&~"t.a.fifo_element[4].en_ctl.c1"->"t.a.fifo_element[4].en_ctl.y"+ +"t.a.fifo_element[4].en_ctl.c1"->"t.a.fifo_element[4].en_ctl.y"- += "t.a.fifo_element[4]._out_a_B" "t.a.fifo_element[4].buf_func.c2" += "t.a.fifo_element[4]._out_a_B" "t.a.fifo_element[4].inv_outa.y" += "t.a.fifo_element[4].in.d.d[0]" "t.a.fifo_element[4].in.r" += "t.a.fifo_element[4].in.a" "t.a.fifo_element[4].en_ctl.c1" += "t.a.fifo_element[4].in.a" "t.a.fifo_element[4].inack_ctl.y" += "t.a.fifo_element[4].in.d.d[0]" "t.a.fifo_element[4].buf_func.n1" += "t.a.fifo_element[4].in.d.d[0]" "t.a.fifo_element[4].inack_ctl.c2" += "t.a.fifo_element[4].in.d.d[0]" "t.a.fifo_element[4].in.r" += "t.a.fifo_element[4].out.d.d[0]" "t.a.fifo_element[4].out.r" += "t.a.fifo_element[4].out.a" "t.a.fifo_element[4].inv_outa.a" += "t.a.fifo_element[4].out.d.d[0]" "t.a.fifo_element[4].buf_func.y" += "t.a.fifo_element[4].out.d.d[0]" "t.a.fifo_element[4].en_ctl.p1" += "t.a.fifo_element[4].out.d.d[0]" "t.a.fifo_element[4].inack_ctl.c3" += "t.a.fifo_element[4].out.d.d[0]" "t.a.fifo_element[4].out.r" +"t.a.fifo_element[5].reset_buf.a"->"t.a.fifo_element[5].reset_buf._y"- +~("t.a.fifo_element[5].reset_buf.a")->"t.a.fifo_element[5].reset_buf._y"+ +"t.a.fifo_element[5].reset_buf._y"->"t.a.fifo_element[5].reset_buf.y"- +~("t.a.fifo_element[5].reset_buf._y")->"t.a.fifo_element[5].reset_buf.y"+ +"t.a.fifo_element[5].inv_outa.a"->"t.a.fifo_element[5].inv_outa.y"- +~("t.a.fifo_element[5].inv_outa.a")->"t.a.fifo_element[5].inv_outa.y"+ +~"t.a.fifo_element[5].inack_ctl.c1"&~"t.a.fifo_element[5].inack_ctl.c2"&~"t.a.fifo_element[5].inack_ctl.c3"|~"t.a.fifo_element[5].inack_ctl.pr_B"->"t.a.fifo_element[5].inack_ctl._y"+ +"t.a.fifo_element[5].inack_ctl.c1"&"t.a.fifo_element[5].inack_ctl.c2"&"t.a.fifo_element[5].inack_ctl.c3"&"t.a.fifo_element[5].inack_ctl.sr_B"->"t.a.fifo_element[5].inack_ctl._y"- +"t.a.fifo_element[5].inack_ctl._y"->"t.a.fifo_element[5].inack_ctl.y"- +~("t.a.fifo_element[5].inack_ctl._y")->"t.a.fifo_element[5].inack_ctl.y"+ +~"t.a.fifo_element[5].buf_func.c1"&~"t.a.fifo_element[5].buf_func.c2"|~"t.a.fifo_element[5].buf_func.pr_B"->"t.a.fifo_element[5].buf_func._y"+ +"t.a.fifo_element[5].buf_func.c1"&"t.a.fifo_element[5].buf_func.c2"&"t.a.fifo_element[5].buf_func.n1"&"t.a.fifo_element[5].buf_func.sr_B"->"t.a.fifo_element[5].buf_func._y"- +"t.a.fifo_element[5].buf_func._y"->"t.a.fifo_element[5].buf_func.y"- +~("t.a.fifo_element[5].buf_func._y")->"t.a.fifo_element[5].buf_func.y"+ += "t.a.fifo_element[5].reset_B" "t.a.fifo_element[5].reset_buf.a" += "t.a.fifo_element[5].supply.vdd" "t.a.fifo_element[5].reset_buf.vdd" += "t.a.fifo_element[5].supply.vdd" "t.a.fifo_element[5].buf_func.vdd" += "t.a.fifo_element[5].supply.vdd" "t.a.fifo_element[5].inv_outa.vdd" += "t.a.fifo_element[5].supply.vdd" "t.a.fifo_element[5].en_ctl.vdd" += "t.a.fifo_element[5].supply.vdd" "t.a.fifo_element[5].inack_ctl.vdd" += "t.a.fifo_element[5].supply.vss" "t.a.fifo_element[5].reset_buf.vss" += "t.a.fifo_element[5].supply.vss" "t.a.fifo_element[5].buf_func.vss" += "t.a.fifo_element[5].supply.vss" "t.a.fifo_element[5].inv_outa.vss" += "t.a.fifo_element[5].supply.vss" "t.a.fifo_element[5].en_ctl.vss" += "t.a.fifo_element[5].supply.vss" "t.a.fifo_element[5].inack_ctl.vss" += "t.a.fifo_element[5]._reset_BX" "t.a.fifo_element[5].reset_buf.y" += "t.a.fifo_element[5]._reset_BX" "t.a.fifo_element[5].buf_func.sr_B" += "t.a.fifo_element[5]._reset_BX" "t.a.fifo_element[5].buf_func.pr_B" += "t.a.fifo_element[5]._reset_BX" "t.a.fifo_element[5].inack_ctl.sr_B" += "t.a.fifo_element[5]._reset_BX" "t.a.fifo_element[5].inack_ctl.pr_B" += "t.a.fifo_element[5]._en" "t.a.fifo_element[5].buf_func.c1" += "t.a.fifo_element[5]._en" "t.a.fifo_element[5].en_ctl.y" += "t.a.fifo_element[5]._en" "t.a.fifo_element[5].inack_ctl.c1" +~"t.a.fifo_element[5].en_ctl.p1"&~"t.a.fifo_element[5].en_ctl.c1"->"t.a.fifo_element[5].en_ctl.y"+ +"t.a.fifo_element[5].en_ctl.c1"->"t.a.fifo_element[5].en_ctl.y"- += "t.a.fifo_element[5]._out_a_B" "t.a.fifo_element[5].buf_func.c2" += "t.a.fifo_element[5]._out_a_B" "t.a.fifo_element[5].inv_outa.y" += "t.a.fifo_element[5].in.d.d[0]" "t.a.fifo_element[5].in.r" += "t.a.fifo_element[5].in.a" "t.a.fifo_element[5].en_ctl.c1" += "t.a.fifo_element[5].in.a" "t.a.fifo_element[5].inack_ctl.y" += "t.a.fifo_element[5].in.d.d[0]" "t.a.fifo_element[5].buf_func.n1" += "t.a.fifo_element[5].in.d.d[0]" "t.a.fifo_element[5].inack_ctl.c2" += "t.a.fifo_element[5].in.d.d[0]" "t.a.fifo_element[5].in.r" += "t.a.fifo_element[5].out.d.d[0]" "t.a.fifo_element[5].out.r" += "t.a.fifo_element[5].out.a" "t.a.fifo_element[5].inv_outa.a" += "t.a.fifo_element[5].out.d.d[0]" "t.a.fifo_element[5].buf_func.y" += "t.a.fifo_element[5].out.d.d[0]" "t.a.fifo_element[5].en_ctl.p1" += "t.a.fifo_element[5].out.d.d[0]" "t.a.fifo_element[5].inack_ctl.c3" += "t.a.fifo_element[5].out.d.d[0]" "t.a.fifo_element[5].out.r" +"t.a.fifo_element[6].reset_buf.a"->"t.a.fifo_element[6].reset_buf._y"- +~("t.a.fifo_element[6].reset_buf.a")->"t.a.fifo_element[6].reset_buf._y"+ +"t.a.fifo_element[6].reset_buf._y"->"t.a.fifo_element[6].reset_buf.y"- +~("t.a.fifo_element[6].reset_buf._y")->"t.a.fifo_element[6].reset_buf.y"+ +"t.a.fifo_element[6].inv_outa.a"->"t.a.fifo_element[6].inv_outa.y"- +~("t.a.fifo_element[6].inv_outa.a")->"t.a.fifo_element[6].inv_outa.y"+ +~"t.a.fifo_element[6].inack_ctl.c1"&~"t.a.fifo_element[6].inack_ctl.c2"&~"t.a.fifo_element[6].inack_ctl.c3"|~"t.a.fifo_element[6].inack_ctl.pr_B"->"t.a.fifo_element[6].inack_ctl._y"+ +"t.a.fifo_element[6].inack_ctl.c1"&"t.a.fifo_element[6].inack_ctl.c2"&"t.a.fifo_element[6].inack_ctl.c3"&"t.a.fifo_element[6].inack_ctl.sr_B"->"t.a.fifo_element[6].inack_ctl._y"- +"t.a.fifo_element[6].inack_ctl._y"->"t.a.fifo_element[6].inack_ctl.y"- +~("t.a.fifo_element[6].inack_ctl._y")->"t.a.fifo_element[6].inack_ctl.y"+ +~"t.a.fifo_element[6].buf_func.c1"&~"t.a.fifo_element[6].buf_func.c2"|~"t.a.fifo_element[6].buf_func.pr_B"->"t.a.fifo_element[6].buf_func._y"+ +"t.a.fifo_element[6].buf_func.c1"&"t.a.fifo_element[6].buf_func.c2"&"t.a.fifo_element[6].buf_func.n1"&"t.a.fifo_element[6].buf_func.sr_B"->"t.a.fifo_element[6].buf_func._y"- +"t.a.fifo_element[6].buf_func._y"->"t.a.fifo_element[6].buf_func.y"- +~("t.a.fifo_element[6].buf_func._y")->"t.a.fifo_element[6].buf_func.y"+ += "t.a.fifo_element[6].reset_B" "t.a.fifo_element[6].reset_buf.a" += "t.a.fifo_element[6].supply.vdd" "t.a.fifo_element[6].reset_buf.vdd" += "t.a.fifo_element[6].supply.vdd" "t.a.fifo_element[6].buf_func.vdd" += "t.a.fifo_element[6].supply.vdd" "t.a.fifo_element[6].inv_outa.vdd" += "t.a.fifo_element[6].supply.vdd" "t.a.fifo_element[6].en_ctl.vdd" += "t.a.fifo_element[6].supply.vdd" "t.a.fifo_element[6].inack_ctl.vdd" += "t.a.fifo_element[6].supply.vss" "t.a.fifo_element[6].reset_buf.vss" += "t.a.fifo_element[6].supply.vss" "t.a.fifo_element[6].buf_func.vss" += "t.a.fifo_element[6].supply.vss" "t.a.fifo_element[6].inv_outa.vss" += "t.a.fifo_element[6].supply.vss" "t.a.fifo_element[6].en_ctl.vss" += "t.a.fifo_element[6].supply.vss" "t.a.fifo_element[6].inack_ctl.vss" += "t.a.fifo_element[6]._reset_BX" "t.a.fifo_element[6].reset_buf.y" += "t.a.fifo_element[6]._reset_BX" "t.a.fifo_element[6].buf_func.sr_B" += "t.a.fifo_element[6]._reset_BX" "t.a.fifo_element[6].buf_func.pr_B" += "t.a.fifo_element[6]._reset_BX" "t.a.fifo_element[6].inack_ctl.sr_B" += "t.a.fifo_element[6]._reset_BX" "t.a.fifo_element[6].inack_ctl.pr_B" += "t.a.fifo_element[6]._en" "t.a.fifo_element[6].buf_func.c1" += "t.a.fifo_element[6]._en" "t.a.fifo_element[6].en_ctl.y" += "t.a.fifo_element[6]._en" "t.a.fifo_element[6].inack_ctl.c1" +~"t.a.fifo_element[6].en_ctl.p1"&~"t.a.fifo_element[6].en_ctl.c1"->"t.a.fifo_element[6].en_ctl.y"+ +"t.a.fifo_element[6].en_ctl.c1"->"t.a.fifo_element[6].en_ctl.y"- += "t.a.fifo_element[6]._out_a_B" "t.a.fifo_element[6].buf_func.c2" += "t.a.fifo_element[6]._out_a_B" "t.a.fifo_element[6].inv_outa.y" += "t.a.fifo_element[6].in.d.d[0]" "t.a.fifo_element[6].in.r" += "t.a.fifo_element[6].in.a" "t.a.fifo_element[6].en_ctl.c1" += "t.a.fifo_element[6].in.a" "t.a.fifo_element[6].inack_ctl.y" += "t.a.fifo_element[6].in.d.d[0]" "t.a.fifo_element[6].buf_func.n1" += "t.a.fifo_element[6].in.d.d[0]" "t.a.fifo_element[6].inack_ctl.c2" += "t.a.fifo_element[6].in.d.d[0]" "t.a.fifo_element[6].in.r" += "t.a.fifo_element[6].out.d.d[0]" "t.a.fifo_element[6].out.r" += "t.a.fifo_element[6].out.a" "t.a.fifo_element[6].inv_outa.a" += "t.a.fifo_element[6].out.d.d[0]" "t.a.fifo_element[6].buf_func.y" += "t.a.fifo_element[6].out.d.d[0]" "t.a.fifo_element[6].en_ctl.p1" += "t.a.fifo_element[6].out.d.d[0]" "t.a.fifo_element[6].inack_ctl.c3" += "t.a.fifo_element[6].out.d.d[0]" "t.a.fifo_element[6].out.r" +"t.a.fifo_element[7].reset_buf.a"->"t.a.fifo_element[7].reset_buf._y"- +~("t.a.fifo_element[7].reset_buf.a")->"t.a.fifo_element[7].reset_buf._y"+ +"t.a.fifo_element[7].reset_buf._y"->"t.a.fifo_element[7].reset_buf.y"- +~("t.a.fifo_element[7].reset_buf._y")->"t.a.fifo_element[7].reset_buf.y"+ +"t.a.fifo_element[7].inv_outa.a"->"t.a.fifo_element[7].inv_outa.y"- +~("t.a.fifo_element[7].inv_outa.a")->"t.a.fifo_element[7].inv_outa.y"+ +~"t.a.fifo_element[7].inack_ctl.c1"&~"t.a.fifo_element[7].inack_ctl.c2"&~"t.a.fifo_element[7].inack_ctl.c3"|~"t.a.fifo_element[7].inack_ctl.pr_B"->"t.a.fifo_element[7].inack_ctl._y"+ +"t.a.fifo_element[7].inack_ctl.c1"&"t.a.fifo_element[7].inack_ctl.c2"&"t.a.fifo_element[7].inack_ctl.c3"&"t.a.fifo_element[7].inack_ctl.sr_B"->"t.a.fifo_element[7].inack_ctl._y"- +"t.a.fifo_element[7].inack_ctl._y"->"t.a.fifo_element[7].inack_ctl.y"- +~("t.a.fifo_element[7].inack_ctl._y")->"t.a.fifo_element[7].inack_ctl.y"+ +~"t.a.fifo_element[7].buf_func.c1"&~"t.a.fifo_element[7].buf_func.c2"|~"t.a.fifo_element[7].buf_func.pr_B"->"t.a.fifo_element[7].buf_func._y"+ +"t.a.fifo_element[7].buf_func.c1"&"t.a.fifo_element[7].buf_func.c2"&"t.a.fifo_element[7].buf_func.n1"&"t.a.fifo_element[7].buf_func.sr_B"->"t.a.fifo_element[7].buf_func._y"- +"t.a.fifo_element[7].buf_func._y"->"t.a.fifo_element[7].buf_func.y"- +~("t.a.fifo_element[7].buf_func._y")->"t.a.fifo_element[7].buf_func.y"+ += "t.a.fifo_element[7].reset_B" "t.a.fifo_element[7].reset_buf.a" += "t.a.fifo_element[7].supply.vdd" "t.a.fifo_element[7].reset_buf.vdd" += "t.a.fifo_element[7].supply.vdd" "t.a.fifo_element[7].buf_func.vdd" += "t.a.fifo_element[7].supply.vdd" "t.a.fifo_element[7].inv_outa.vdd" += "t.a.fifo_element[7].supply.vdd" "t.a.fifo_element[7].en_ctl.vdd" += "t.a.fifo_element[7].supply.vdd" "t.a.fifo_element[7].inack_ctl.vdd" += "t.a.fifo_element[7].supply.vss" "t.a.fifo_element[7].reset_buf.vss" += "t.a.fifo_element[7].supply.vss" "t.a.fifo_element[7].buf_func.vss" += "t.a.fifo_element[7].supply.vss" "t.a.fifo_element[7].inv_outa.vss" += "t.a.fifo_element[7].supply.vss" "t.a.fifo_element[7].en_ctl.vss" += "t.a.fifo_element[7].supply.vss" "t.a.fifo_element[7].inack_ctl.vss" += "t.a.fifo_element[7]._reset_BX" "t.a.fifo_element[7].reset_buf.y" += "t.a.fifo_element[7]._reset_BX" "t.a.fifo_element[7].buf_func.sr_B" += "t.a.fifo_element[7]._reset_BX" "t.a.fifo_element[7].buf_func.pr_B" += "t.a.fifo_element[7]._reset_BX" "t.a.fifo_element[7].inack_ctl.sr_B" += "t.a.fifo_element[7]._reset_BX" "t.a.fifo_element[7].inack_ctl.pr_B" += "t.a.fifo_element[7]._en" "t.a.fifo_element[7].buf_func.c1" += "t.a.fifo_element[7]._en" "t.a.fifo_element[7].en_ctl.y" += "t.a.fifo_element[7]._en" "t.a.fifo_element[7].inack_ctl.c1" +~"t.a.fifo_element[7].en_ctl.p1"&~"t.a.fifo_element[7].en_ctl.c1"->"t.a.fifo_element[7].en_ctl.y"+ +"t.a.fifo_element[7].en_ctl.c1"->"t.a.fifo_element[7].en_ctl.y"- += "t.a.fifo_element[7]._out_a_B" "t.a.fifo_element[7].buf_func.c2" += "t.a.fifo_element[7]._out_a_B" "t.a.fifo_element[7].inv_outa.y" += "t.a.fifo_element[7].in.d.d[0]" "t.a.fifo_element[7].in.r" += "t.a.fifo_element[7].in.a" "t.a.fifo_element[7].en_ctl.c1" += "t.a.fifo_element[7].in.a" "t.a.fifo_element[7].inack_ctl.y" += "t.a.fifo_element[7].in.d.d[0]" "t.a.fifo_element[7].buf_func.n1" += "t.a.fifo_element[7].in.d.d[0]" "t.a.fifo_element[7].inack_ctl.c2" += "t.a.fifo_element[7].in.d.d[0]" "t.a.fifo_element[7].in.r" += "t.a.fifo_element[7].out.d.d[0]" "t.a.fifo_element[7].out.r" += "t.a.fifo_element[7].out.a" "t.a.fifo_element[7].inv_outa.a" += "t.a.fifo_element[7].out.d.d[0]" "t.a.fifo_element[7].buf_func.y" += "t.a.fifo_element[7].out.d.d[0]" "t.a.fifo_element[7].en_ctl.p1" += "t.a.fifo_element[7].out.d.d[0]" "t.a.fifo_element[7].inack_ctl.c3" += "t.a.fifo_element[7].out.d.d[0]" "t.a.fifo_element[7].out.r" +"t.a.fifo_element[8].reset_buf.a"->"t.a.fifo_element[8].reset_buf._y"- +~("t.a.fifo_element[8].reset_buf.a")->"t.a.fifo_element[8].reset_buf._y"+ +"t.a.fifo_element[8].reset_buf._y"->"t.a.fifo_element[8].reset_buf.y"- +~("t.a.fifo_element[8].reset_buf._y")->"t.a.fifo_element[8].reset_buf.y"+ +"t.a.fifo_element[8].inv_outa.a"->"t.a.fifo_element[8].inv_outa.y"- +~("t.a.fifo_element[8].inv_outa.a")->"t.a.fifo_element[8].inv_outa.y"+ +~"t.a.fifo_element[8].inack_ctl.c1"&~"t.a.fifo_element[8].inack_ctl.c2"&~"t.a.fifo_element[8].inack_ctl.c3"|~"t.a.fifo_element[8].inack_ctl.pr_B"->"t.a.fifo_element[8].inack_ctl._y"+ +"t.a.fifo_element[8].inack_ctl.c1"&"t.a.fifo_element[8].inack_ctl.c2"&"t.a.fifo_element[8].inack_ctl.c3"&"t.a.fifo_element[8].inack_ctl.sr_B"->"t.a.fifo_element[8].inack_ctl._y"- +"t.a.fifo_element[8].inack_ctl._y"->"t.a.fifo_element[8].inack_ctl.y"- +~("t.a.fifo_element[8].inack_ctl._y")->"t.a.fifo_element[8].inack_ctl.y"+ +~"t.a.fifo_element[8].buf_func.c1"&~"t.a.fifo_element[8].buf_func.c2"|~"t.a.fifo_element[8].buf_func.pr_B"->"t.a.fifo_element[8].buf_func._y"+ +"t.a.fifo_element[8].buf_func.c1"&"t.a.fifo_element[8].buf_func.c2"&"t.a.fifo_element[8].buf_func.n1"&"t.a.fifo_element[8].buf_func.sr_B"->"t.a.fifo_element[8].buf_func._y"- +"t.a.fifo_element[8].buf_func._y"->"t.a.fifo_element[8].buf_func.y"- +~("t.a.fifo_element[8].buf_func._y")->"t.a.fifo_element[8].buf_func.y"+ += "t.a.fifo_element[8].reset_B" "t.a.fifo_element[8].reset_buf.a" += "t.a.fifo_element[8].supply.vdd" "t.a.fifo_element[8].reset_buf.vdd" += "t.a.fifo_element[8].supply.vdd" "t.a.fifo_element[8].buf_func.vdd" += "t.a.fifo_element[8].supply.vdd" "t.a.fifo_element[8].inv_outa.vdd" += "t.a.fifo_element[8].supply.vdd" "t.a.fifo_element[8].en_ctl.vdd" += "t.a.fifo_element[8].supply.vdd" "t.a.fifo_element[8].inack_ctl.vdd" += "t.a.fifo_element[8].supply.vss" "t.a.fifo_element[8].reset_buf.vss" += "t.a.fifo_element[8].supply.vss" "t.a.fifo_element[8].buf_func.vss" += "t.a.fifo_element[8].supply.vss" "t.a.fifo_element[8].inv_outa.vss" += "t.a.fifo_element[8].supply.vss" "t.a.fifo_element[8].en_ctl.vss" += "t.a.fifo_element[8].supply.vss" "t.a.fifo_element[8].inack_ctl.vss" += "t.a.fifo_element[8]._reset_BX" "t.a.fifo_element[8].reset_buf.y" += "t.a.fifo_element[8]._reset_BX" "t.a.fifo_element[8].buf_func.sr_B" += "t.a.fifo_element[8]._reset_BX" "t.a.fifo_element[8].buf_func.pr_B" += "t.a.fifo_element[8]._reset_BX" "t.a.fifo_element[8].inack_ctl.sr_B" += "t.a.fifo_element[8]._reset_BX" "t.a.fifo_element[8].inack_ctl.pr_B" += "t.a.fifo_element[8]._en" "t.a.fifo_element[8].buf_func.c1" += "t.a.fifo_element[8]._en" "t.a.fifo_element[8].en_ctl.y" += "t.a.fifo_element[8]._en" "t.a.fifo_element[8].inack_ctl.c1" +~"t.a.fifo_element[8].en_ctl.p1"&~"t.a.fifo_element[8].en_ctl.c1"->"t.a.fifo_element[8].en_ctl.y"+ +"t.a.fifo_element[8].en_ctl.c1"->"t.a.fifo_element[8].en_ctl.y"- += "t.a.fifo_element[8]._out_a_B" "t.a.fifo_element[8].buf_func.c2" += "t.a.fifo_element[8]._out_a_B" "t.a.fifo_element[8].inv_outa.y" += "t.a.fifo_element[8].in.d.d[0]" "t.a.fifo_element[8].in.r" += "t.a.fifo_element[8].in.a" "t.a.fifo_element[8].en_ctl.c1" += "t.a.fifo_element[8].in.a" "t.a.fifo_element[8].inack_ctl.y" += "t.a.fifo_element[8].in.d.d[0]" "t.a.fifo_element[8].buf_func.n1" += "t.a.fifo_element[8].in.d.d[0]" "t.a.fifo_element[8].inack_ctl.c2" += "t.a.fifo_element[8].in.d.d[0]" "t.a.fifo_element[8].in.r" += "t.a.fifo_element[8].out.d.d[0]" "t.a.fifo_element[8].out.r" += "t.a.fifo_element[8].out.a" "t.a.fifo_element[8].inv_outa.a" += "t.a.fifo_element[8].out.d.d[0]" "t.a.fifo_element[8].buf_func.y" += "t.a.fifo_element[8].out.d.d[0]" "t.a.fifo_element[8].en_ctl.p1" += "t.a.fifo_element[8].out.d.d[0]" "t.a.fifo_element[8].inack_ctl.c3" += "t.a.fifo_element[8].out.d.d[0]" "t.a.fifo_element[8].out.r" +"t.a.fifo_element[9].reset_buf.a"->"t.a.fifo_element[9].reset_buf._y"- +~("t.a.fifo_element[9].reset_buf.a")->"t.a.fifo_element[9].reset_buf._y"+ +"t.a.fifo_element[9].reset_buf._y"->"t.a.fifo_element[9].reset_buf.y"- +~("t.a.fifo_element[9].reset_buf._y")->"t.a.fifo_element[9].reset_buf.y"+ +"t.a.fifo_element[9].inv_outa.a"->"t.a.fifo_element[9].inv_outa.y"- +~("t.a.fifo_element[9].inv_outa.a")->"t.a.fifo_element[9].inv_outa.y"+ +~"t.a.fifo_element[9].inack_ctl.c1"&~"t.a.fifo_element[9].inack_ctl.c2"&~"t.a.fifo_element[9].inack_ctl.c3"|~"t.a.fifo_element[9].inack_ctl.pr_B"->"t.a.fifo_element[9].inack_ctl._y"+ +"t.a.fifo_element[9].inack_ctl.c1"&"t.a.fifo_element[9].inack_ctl.c2"&"t.a.fifo_element[9].inack_ctl.c3"&"t.a.fifo_element[9].inack_ctl.sr_B"->"t.a.fifo_element[9].inack_ctl._y"- +"t.a.fifo_element[9].inack_ctl._y"->"t.a.fifo_element[9].inack_ctl.y"- +~("t.a.fifo_element[9].inack_ctl._y")->"t.a.fifo_element[9].inack_ctl.y"+ +~"t.a.fifo_element[9].buf_func.c1"&~"t.a.fifo_element[9].buf_func.c2"|~"t.a.fifo_element[9].buf_func.pr_B"->"t.a.fifo_element[9].buf_func._y"+ +"t.a.fifo_element[9].buf_func.c1"&"t.a.fifo_element[9].buf_func.c2"&"t.a.fifo_element[9].buf_func.n1"&"t.a.fifo_element[9].buf_func.sr_B"->"t.a.fifo_element[9].buf_func._y"- +"t.a.fifo_element[9].buf_func._y"->"t.a.fifo_element[9].buf_func.y"- +~("t.a.fifo_element[9].buf_func._y")->"t.a.fifo_element[9].buf_func.y"+ += "t.a.fifo_element[9].reset_B" "t.a.fifo_element[9].reset_buf.a" += "t.a.fifo_element[9].supply.vdd" "t.a.fifo_element[9].reset_buf.vdd" += "t.a.fifo_element[9].supply.vdd" "t.a.fifo_element[9].buf_func.vdd" += "t.a.fifo_element[9].supply.vdd" "t.a.fifo_element[9].inv_outa.vdd" += "t.a.fifo_element[9].supply.vdd" "t.a.fifo_element[9].en_ctl.vdd" += "t.a.fifo_element[9].supply.vdd" "t.a.fifo_element[9].inack_ctl.vdd" += "t.a.fifo_element[9].supply.vss" "t.a.fifo_element[9].reset_buf.vss" += "t.a.fifo_element[9].supply.vss" "t.a.fifo_element[9].buf_func.vss" += "t.a.fifo_element[9].supply.vss" "t.a.fifo_element[9].inv_outa.vss" += "t.a.fifo_element[9].supply.vss" "t.a.fifo_element[9].en_ctl.vss" += "t.a.fifo_element[9].supply.vss" "t.a.fifo_element[9].inack_ctl.vss" += "t.a.fifo_element[9]._reset_BX" "t.a.fifo_element[9].reset_buf.y" += "t.a.fifo_element[9]._reset_BX" "t.a.fifo_element[9].buf_func.sr_B" += "t.a.fifo_element[9]._reset_BX" "t.a.fifo_element[9].buf_func.pr_B" += "t.a.fifo_element[9]._reset_BX" "t.a.fifo_element[9].inack_ctl.sr_B" += "t.a.fifo_element[9]._reset_BX" "t.a.fifo_element[9].inack_ctl.pr_B" += "t.a.fifo_element[9]._en" "t.a.fifo_element[9].buf_func.c1" += "t.a.fifo_element[9]._en" "t.a.fifo_element[9].en_ctl.y" += "t.a.fifo_element[9]._en" "t.a.fifo_element[9].inack_ctl.c1" +~"t.a.fifo_element[9].en_ctl.p1"&~"t.a.fifo_element[9].en_ctl.c1"->"t.a.fifo_element[9].en_ctl.y"+ +"t.a.fifo_element[9].en_ctl.c1"->"t.a.fifo_element[9].en_ctl.y"- += "t.a.fifo_element[9]._out_a_B" "t.a.fifo_element[9].buf_func.c2" += "t.a.fifo_element[9]._out_a_B" "t.a.fifo_element[9].inv_outa.y" += "t.a.fifo_element[9].in.d.d[0]" "t.a.fifo_element[9].in.r" += "t.a.fifo_element[9].in.a" "t.a.fifo_element[9].en_ctl.c1" += "t.a.fifo_element[9].in.a" "t.a.fifo_element[9].inack_ctl.y" += "t.a.fifo_element[9].in.d.d[0]" "t.a.fifo_element[9].buf_func.n1" += "t.a.fifo_element[9].in.d.d[0]" "t.a.fifo_element[9].inack_ctl.c2" += "t.a.fifo_element[9].in.d.d[0]" "t.a.fifo_element[9].in.r" += "t.a.fifo_element[9].out.d.d[0]" "t.a.fifo_element[9].out.r" += "t.a.fifo_element[9].out.a" "t.a.fifo_element[9].inv_outa.a" += "t.a.fifo_element[9].out.d.d[0]" "t.a.fifo_element[9].buf_func.y" += "t.a.fifo_element[9].out.d.d[0]" "t.a.fifo_element[9].en_ctl.p1" += "t.a.fifo_element[9].out.d.d[0]" "t.a.fifo_element[9].inack_ctl.c3" += "t.a.fifo_element[9].out.d.d[0]" "t.a.fifo_element[9].out.r" +"t.a.fifo_element[10].reset_buf.a"->"t.a.fifo_element[10].reset_buf._y"- +~("t.a.fifo_element[10].reset_buf.a")->"t.a.fifo_element[10].reset_buf._y"+ +"t.a.fifo_element[10].reset_buf._y"->"t.a.fifo_element[10].reset_buf.y"- +~("t.a.fifo_element[10].reset_buf._y")->"t.a.fifo_element[10].reset_buf.y"+ +"t.a.fifo_element[10].inv_outa.a"->"t.a.fifo_element[10].inv_outa.y"- +~("t.a.fifo_element[10].inv_outa.a")->"t.a.fifo_element[10].inv_outa.y"+ +~"t.a.fifo_element[10].inack_ctl.c1"&~"t.a.fifo_element[10].inack_ctl.c2"&~"t.a.fifo_element[10].inack_ctl.c3"|~"t.a.fifo_element[10].inack_ctl.pr_B"->"t.a.fifo_element[10].inack_ctl._y"+ +"t.a.fifo_element[10].inack_ctl.c1"&"t.a.fifo_element[10].inack_ctl.c2"&"t.a.fifo_element[10].inack_ctl.c3"&"t.a.fifo_element[10].inack_ctl.sr_B"->"t.a.fifo_element[10].inack_ctl._y"- +"t.a.fifo_element[10].inack_ctl._y"->"t.a.fifo_element[10].inack_ctl.y"- +~("t.a.fifo_element[10].inack_ctl._y")->"t.a.fifo_element[10].inack_ctl.y"+ +~"t.a.fifo_element[10].buf_func.c1"&~"t.a.fifo_element[10].buf_func.c2"|~"t.a.fifo_element[10].buf_func.pr_B"->"t.a.fifo_element[10].buf_func._y"+ +"t.a.fifo_element[10].buf_func.c1"&"t.a.fifo_element[10].buf_func.c2"&"t.a.fifo_element[10].buf_func.n1"&"t.a.fifo_element[10].buf_func.sr_B"->"t.a.fifo_element[10].buf_func._y"- +"t.a.fifo_element[10].buf_func._y"->"t.a.fifo_element[10].buf_func.y"- +~("t.a.fifo_element[10].buf_func._y")->"t.a.fifo_element[10].buf_func.y"+ += "t.a.fifo_element[10].reset_B" "t.a.fifo_element[10].reset_buf.a" += "t.a.fifo_element[10].supply.vdd" "t.a.fifo_element[10].reset_buf.vdd" += "t.a.fifo_element[10].supply.vdd" "t.a.fifo_element[10].buf_func.vdd" += "t.a.fifo_element[10].supply.vdd" "t.a.fifo_element[10].inv_outa.vdd" += "t.a.fifo_element[10].supply.vdd" "t.a.fifo_element[10].en_ctl.vdd" += "t.a.fifo_element[10].supply.vdd" "t.a.fifo_element[10].inack_ctl.vdd" += "t.a.fifo_element[10].supply.vss" "t.a.fifo_element[10].reset_buf.vss" += "t.a.fifo_element[10].supply.vss" "t.a.fifo_element[10].buf_func.vss" += "t.a.fifo_element[10].supply.vss" "t.a.fifo_element[10].inv_outa.vss" += "t.a.fifo_element[10].supply.vss" "t.a.fifo_element[10].en_ctl.vss" += "t.a.fifo_element[10].supply.vss" "t.a.fifo_element[10].inack_ctl.vss" += "t.a.fifo_element[10]._reset_BX" "t.a.fifo_element[10].reset_buf.y" += "t.a.fifo_element[10]._reset_BX" "t.a.fifo_element[10].buf_func.sr_B" += "t.a.fifo_element[10]._reset_BX" "t.a.fifo_element[10].buf_func.pr_B" += "t.a.fifo_element[10]._reset_BX" "t.a.fifo_element[10].inack_ctl.sr_B" += "t.a.fifo_element[10]._reset_BX" "t.a.fifo_element[10].inack_ctl.pr_B" += "t.a.fifo_element[10]._en" "t.a.fifo_element[10].buf_func.c1" += "t.a.fifo_element[10]._en" "t.a.fifo_element[10].en_ctl.y" += "t.a.fifo_element[10]._en" "t.a.fifo_element[10].inack_ctl.c1" +~"t.a.fifo_element[10].en_ctl.p1"&~"t.a.fifo_element[10].en_ctl.c1"->"t.a.fifo_element[10].en_ctl.y"+ +"t.a.fifo_element[10].en_ctl.c1"->"t.a.fifo_element[10].en_ctl.y"- += "t.a.fifo_element[10]._out_a_B" "t.a.fifo_element[10].buf_func.c2" += "t.a.fifo_element[10]._out_a_B" "t.a.fifo_element[10].inv_outa.y" += "t.a.fifo_element[10].in.d.d[0]" "t.a.fifo_element[10].in.r" += "t.a.fifo_element[10].in.a" "t.a.fifo_element[10].en_ctl.c1" += "t.a.fifo_element[10].in.a" "t.a.fifo_element[10].inack_ctl.y" += "t.a.fifo_element[10].in.d.d[0]" "t.a.fifo_element[10].buf_func.n1" += "t.a.fifo_element[10].in.d.d[0]" "t.a.fifo_element[10].inack_ctl.c2" += "t.a.fifo_element[10].in.d.d[0]" "t.a.fifo_element[10].in.r" += "t.a.fifo_element[10].out.d.d[0]" "t.a.fifo_element[10].out.r" += "t.a.fifo_element[10].out.a" "t.a.fifo_element[10].inv_outa.a" += "t.a.fifo_element[10].out.d.d[0]" "t.a.fifo_element[10].buf_func.y" += "t.a.fifo_element[10].out.d.d[0]" "t.a.fifo_element[10].en_ctl.p1" += "t.a.fifo_element[10].out.d.d[0]" "t.a.fifo_element[10].inack_ctl.c3" += "t.a.fifo_element[10].out.d.d[0]" "t.a.fifo_element[10].out.r" +"t.a.fifo_element[11].reset_buf.a"->"t.a.fifo_element[11].reset_buf._y"- +~("t.a.fifo_element[11].reset_buf.a")->"t.a.fifo_element[11].reset_buf._y"+ +"t.a.fifo_element[11].reset_buf._y"->"t.a.fifo_element[11].reset_buf.y"- +~("t.a.fifo_element[11].reset_buf._y")->"t.a.fifo_element[11].reset_buf.y"+ +"t.a.fifo_element[11].inv_outa.a"->"t.a.fifo_element[11].inv_outa.y"- +~("t.a.fifo_element[11].inv_outa.a")->"t.a.fifo_element[11].inv_outa.y"+ +~"t.a.fifo_element[11].inack_ctl.c1"&~"t.a.fifo_element[11].inack_ctl.c2"&~"t.a.fifo_element[11].inack_ctl.c3"|~"t.a.fifo_element[11].inack_ctl.pr_B"->"t.a.fifo_element[11].inack_ctl._y"+ +"t.a.fifo_element[11].inack_ctl.c1"&"t.a.fifo_element[11].inack_ctl.c2"&"t.a.fifo_element[11].inack_ctl.c3"&"t.a.fifo_element[11].inack_ctl.sr_B"->"t.a.fifo_element[11].inack_ctl._y"- +"t.a.fifo_element[11].inack_ctl._y"->"t.a.fifo_element[11].inack_ctl.y"- +~("t.a.fifo_element[11].inack_ctl._y")->"t.a.fifo_element[11].inack_ctl.y"+ +~"t.a.fifo_element[11].buf_func.c1"&~"t.a.fifo_element[11].buf_func.c2"|~"t.a.fifo_element[11].buf_func.pr_B"->"t.a.fifo_element[11].buf_func._y"+ +"t.a.fifo_element[11].buf_func.c1"&"t.a.fifo_element[11].buf_func.c2"&"t.a.fifo_element[11].buf_func.n1"&"t.a.fifo_element[11].buf_func.sr_B"->"t.a.fifo_element[11].buf_func._y"- +"t.a.fifo_element[11].buf_func._y"->"t.a.fifo_element[11].buf_func.y"- +~("t.a.fifo_element[11].buf_func._y")->"t.a.fifo_element[11].buf_func.y"+ += "t.a.fifo_element[11].reset_B" "t.a.fifo_element[11].reset_buf.a" += "t.a.fifo_element[11].supply.vdd" "t.a.fifo_element[11].reset_buf.vdd" += "t.a.fifo_element[11].supply.vdd" "t.a.fifo_element[11].buf_func.vdd" += "t.a.fifo_element[11].supply.vdd" "t.a.fifo_element[11].inv_outa.vdd" += "t.a.fifo_element[11].supply.vdd" "t.a.fifo_element[11].en_ctl.vdd" += "t.a.fifo_element[11].supply.vdd" "t.a.fifo_element[11].inack_ctl.vdd" += "t.a.fifo_element[11].supply.vss" "t.a.fifo_element[11].reset_buf.vss" += "t.a.fifo_element[11].supply.vss" "t.a.fifo_element[11].buf_func.vss" += "t.a.fifo_element[11].supply.vss" "t.a.fifo_element[11].inv_outa.vss" += "t.a.fifo_element[11].supply.vss" "t.a.fifo_element[11].en_ctl.vss" += "t.a.fifo_element[11].supply.vss" "t.a.fifo_element[11].inack_ctl.vss" += "t.a.fifo_element[11]._reset_BX" "t.a.fifo_element[11].reset_buf.y" += "t.a.fifo_element[11]._reset_BX" "t.a.fifo_element[11].buf_func.sr_B" += "t.a.fifo_element[11]._reset_BX" "t.a.fifo_element[11].buf_func.pr_B" += "t.a.fifo_element[11]._reset_BX" "t.a.fifo_element[11].inack_ctl.sr_B" += "t.a.fifo_element[11]._reset_BX" "t.a.fifo_element[11].inack_ctl.pr_B" += "t.a.fifo_element[11]._en" "t.a.fifo_element[11].buf_func.c1" += "t.a.fifo_element[11]._en" "t.a.fifo_element[11].en_ctl.y" += "t.a.fifo_element[11]._en" "t.a.fifo_element[11].inack_ctl.c1" +~"t.a.fifo_element[11].en_ctl.p1"&~"t.a.fifo_element[11].en_ctl.c1"->"t.a.fifo_element[11].en_ctl.y"+ +"t.a.fifo_element[11].en_ctl.c1"->"t.a.fifo_element[11].en_ctl.y"- += "t.a.fifo_element[11]._out_a_B" "t.a.fifo_element[11].buf_func.c2" += "t.a.fifo_element[11]._out_a_B" "t.a.fifo_element[11].inv_outa.y" += "t.a.fifo_element[11].in.d.d[0]" "t.a.fifo_element[11].in.r" += "t.a.fifo_element[11].in.a" "t.a.fifo_element[11].en_ctl.c1" += "t.a.fifo_element[11].in.a" "t.a.fifo_element[11].inack_ctl.y" += "t.a.fifo_element[11].in.d.d[0]" "t.a.fifo_element[11].buf_func.n1" += "t.a.fifo_element[11].in.d.d[0]" "t.a.fifo_element[11].inack_ctl.c2" += "t.a.fifo_element[11].in.d.d[0]" "t.a.fifo_element[11].in.r" += "t.a.fifo_element[11].out.d.d[0]" "t.a.fifo_element[11].out.r" += "t.a.fifo_element[11].out.a" "t.a.fifo_element[11].inv_outa.a" += "t.a.fifo_element[11].out.d.d[0]" "t.a.fifo_element[11].buf_func.y" += "t.a.fifo_element[11].out.d.d[0]" "t.a.fifo_element[11].en_ctl.p1" += "t.a.fifo_element[11].out.d.d[0]" "t.a.fifo_element[11].inack_ctl.c3" += "t.a.fifo_element[11].out.d.d[0]" "t.a.fifo_element[11].out.r" +"t.a.fifo_element[12].reset_buf.a"->"t.a.fifo_element[12].reset_buf._y"- +~("t.a.fifo_element[12].reset_buf.a")->"t.a.fifo_element[12].reset_buf._y"+ +"t.a.fifo_element[12].reset_buf._y"->"t.a.fifo_element[12].reset_buf.y"- +~("t.a.fifo_element[12].reset_buf._y")->"t.a.fifo_element[12].reset_buf.y"+ +"t.a.fifo_element[12].inv_outa.a"->"t.a.fifo_element[12].inv_outa.y"- +~("t.a.fifo_element[12].inv_outa.a")->"t.a.fifo_element[12].inv_outa.y"+ +~"t.a.fifo_element[12].inack_ctl.c1"&~"t.a.fifo_element[12].inack_ctl.c2"&~"t.a.fifo_element[12].inack_ctl.c3"|~"t.a.fifo_element[12].inack_ctl.pr_B"->"t.a.fifo_element[12].inack_ctl._y"+ +"t.a.fifo_element[12].inack_ctl.c1"&"t.a.fifo_element[12].inack_ctl.c2"&"t.a.fifo_element[12].inack_ctl.c3"&"t.a.fifo_element[12].inack_ctl.sr_B"->"t.a.fifo_element[12].inack_ctl._y"- +"t.a.fifo_element[12].inack_ctl._y"->"t.a.fifo_element[12].inack_ctl.y"- +~("t.a.fifo_element[12].inack_ctl._y")->"t.a.fifo_element[12].inack_ctl.y"+ +~"t.a.fifo_element[12].buf_func.c1"&~"t.a.fifo_element[12].buf_func.c2"|~"t.a.fifo_element[12].buf_func.pr_B"->"t.a.fifo_element[12].buf_func._y"+ +"t.a.fifo_element[12].buf_func.c1"&"t.a.fifo_element[12].buf_func.c2"&"t.a.fifo_element[12].buf_func.n1"&"t.a.fifo_element[12].buf_func.sr_B"->"t.a.fifo_element[12].buf_func._y"- +"t.a.fifo_element[12].buf_func._y"->"t.a.fifo_element[12].buf_func.y"- +~("t.a.fifo_element[12].buf_func._y")->"t.a.fifo_element[12].buf_func.y"+ += "t.a.fifo_element[12].reset_B" "t.a.fifo_element[12].reset_buf.a" += "t.a.fifo_element[12].supply.vdd" "t.a.fifo_element[12].reset_buf.vdd" += "t.a.fifo_element[12].supply.vdd" "t.a.fifo_element[12].buf_func.vdd" += "t.a.fifo_element[12].supply.vdd" "t.a.fifo_element[12].inv_outa.vdd" += "t.a.fifo_element[12].supply.vdd" "t.a.fifo_element[12].en_ctl.vdd" += "t.a.fifo_element[12].supply.vdd" "t.a.fifo_element[12].inack_ctl.vdd" += "t.a.fifo_element[12].supply.vss" "t.a.fifo_element[12].reset_buf.vss" += "t.a.fifo_element[12].supply.vss" "t.a.fifo_element[12].buf_func.vss" += "t.a.fifo_element[12].supply.vss" "t.a.fifo_element[12].inv_outa.vss" += "t.a.fifo_element[12].supply.vss" "t.a.fifo_element[12].en_ctl.vss" += "t.a.fifo_element[12].supply.vss" "t.a.fifo_element[12].inack_ctl.vss" += "t.a.fifo_element[12]._reset_BX" "t.a.fifo_element[12].reset_buf.y" += "t.a.fifo_element[12]._reset_BX" "t.a.fifo_element[12].buf_func.sr_B" += "t.a.fifo_element[12]._reset_BX" "t.a.fifo_element[12].buf_func.pr_B" += "t.a.fifo_element[12]._reset_BX" "t.a.fifo_element[12].inack_ctl.sr_B" += "t.a.fifo_element[12]._reset_BX" "t.a.fifo_element[12].inack_ctl.pr_B" += "t.a.fifo_element[12]._en" "t.a.fifo_element[12].buf_func.c1" += "t.a.fifo_element[12]._en" "t.a.fifo_element[12].en_ctl.y" += "t.a.fifo_element[12]._en" "t.a.fifo_element[12].inack_ctl.c1" +~"t.a.fifo_element[12].en_ctl.p1"&~"t.a.fifo_element[12].en_ctl.c1"->"t.a.fifo_element[12].en_ctl.y"+ +"t.a.fifo_element[12].en_ctl.c1"->"t.a.fifo_element[12].en_ctl.y"- += "t.a.fifo_element[12]._out_a_B" "t.a.fifo_element[12].buf_func.c2" += "t.a.fifo_element[12]._out_a_B" "t.a.fifo_element[12].inv_outa.y" += "t.a.fifo_element[12].in.d.d[0]" "t.a.fifo_element[12].in.r" += "t.a.fifo_element[12].in.a" "t.a.fifo_element[12].en_ctl.c1" += "t.a.fifo_element[12].in.a" "t.a.fifo_element[12].inack_ctl.y" += "t.a.fifo_element[12].in.d.d[0]" "t.a.fifo_element[12].buf_func.n1" += "t.a.fifo_element[12].in.d.d[0]" "t.a.fifo_element[12].inack_ctl.c2" += "t.a.fifo_element[12].in.d.d[0]" "t.a.fifo_element[12].in.r" += "t.a.fifo_element[12].out.d.d[0]" "t.a.fifo_element[12].out.r" += "t.a.fifo_element[12].out.a" "t.a.fifo_element[12].inv_outa.a" += "t.a.fifo_element[12].out.d.d[0]" "t.a.fifo_element[12].buf_func.y" += "t.a.fifo_element[12].out.d.d[0]" "t.a.fifo_element[12].en_ctl.p1" += "t.a.fifo_element[12].out.d.d[0]" "t.a.fifo_element[12].inack_ctl.c3" += "t.a.fifo_element[12].out.d.d[0]" "t.a.fifo_element[12].out.r" +"t.a.fifo_element[13].reset_buf.a"->"t.a.fifo_element[13].reset_buf._y"- +~("t.a.fifo_element[13].reset_buf.a")->"t.a.fifo_element[13].reset_buf._y"+ +"t.a.fifo_element[13].reset_buf._y"->"t.a.fifo_element[13].reset_buf.y"- +~("t.a.fifo_element[13].reset_buf._y")->"t.a.fifo_element[13].reset_buf.y"+ +"t.a.fifo_element[13].inv_outa.a"->"t.a.fifo_element[13].inv_outa.y"- +~("t.a.fifo_element[13].inv_outa.a")->"t.a.fifo_element[13].inv_outa.y"+ +~"t.a.fifo_element[13].inack_ctl.c1"&~"t.a.fifo_element[13].inack_ctl.c2"&~"t.a.fifo_element[13].inack_ctl.c3"|~"t.a.fifo_element[13].inack_ctl.pr_B"->"t.a.fifo_element[13].inack_ctl._y"+ +"t.a.fifo_element[13].inack_ctl.c1"&"t.a.fifo_element[13].inack_ctl.c2"&"t.a.fifo_element[13].inack_ctl.c3"&"t.a.fifo_element[13].inack_ctl.sr_B"->"t.a.fifo_element[13].inack_ctl._y"- +"t.a.fifo_element[13].inack_ctl._y"->"t.a.fifo_element[13].inack_ctl.y"- +~("t.a.fifo_element[13].inack_ctl._y")->"t.a.fifo_element[13].inack_ctl.y"+ +~"t.a.fifo_element[13].buf_func.c1"&~"t.a.fifo_element[13].buf_func.c2"|~"t.a.fifo_element[13].buf_func.pr_B"->"t.a.fifo_element[13].buf_func._y"+ +"t.a.fifo_element[13].buf_func.c1"&"t.a.fifo_element[13].buf_func.c2"&"t.a.fifo_element[13].buf_func.n1"&"t.a.fifo_element[13].buf_func.sr_B"->"t.a.fifo_element[13].buf_func._y"- +"t.a.fifo_element[13].buf_func._y"->"t.a.fifo_element[13].buf_func.y"- +~("t.a.fifo_element[13].buf_func._y")->"t.a.fifo_element[13].buf_func.y"+ += "t.a.fifo_element[13].reset_B" "t.a.fifo_element[13].reset_buf.a" += "t.a.fifo_element[13].supply.vdd" "t.a.fifo_element[13].reset_buf.vdd" += "t.a.fifo_element[13].supply.vdd" "t.a.fifo_element[13].buf_func.vdd" += "t.a.fifo_element[13].supply.vdd" "t.a.fifo_element[13].inv_outa.vdd" += "t.a.fifo_element[13].supply.vdd" "t.a.fifo_element[13].en_ctl.vdd" += "t.a.fifo_element[13].supply.vdd" "t.a.fifo_element[13].inack_ctl.vdd" += "t.a.fifo_element[13].supply.vss" "t.a.fifo_element[13].reset_buf.vss" += "t.a.fifo_element[13].supply.vss" "t.a.fifo_element[13].buf_func.vss" += "t.a.fifo_element[13].supply.vss" "t.a.fifo_element[13].inv_outa.vss" += "t.a.fifo_element[13].supply.vss" "t.a.fifo_element[13].en_ctl.vss" += "t.a.fifo_element[13].supply.vss" "t.a.fifo_element[13].inack_ctl.vss" += "t.a.fifo_element[13]._reset_BX" "t.a.fifo_element[13].reset_buf.y" += "t.a.fifo_element[13]._reset_BX" "t.a.fifo_element[13].buf_func.sr_B" += "t.a.fifo_element[13]._reset_BX" "t.a.fifo_element[13].buf_func.pr_B" += "t.a.fifo_element[13]._reset_BX" "t.a.fifo_element[13].inack_ctl.sr_B" += "t.a.fifo_element[13]._reset_BX" "t.a.fifo_element[13].inack_ctl.pr_B" += "t.a.fifo_element[13]._en" "t.a.fifo_element[13].buf_func.c1" += "t.a.fifo_element[13]._en" "t.a.fifo_element[13].en_ctl.y" += "t.a.fifo_element[13]._en" "t.a.fifo_element[13].inack_ctl.c1" +~"t.a.fifo_element[13].en_ctl.p1"&~"t.a.fifo_element[13].en_ctl.c1"->"t.a.fifo_element[13].en_ctl.y"+ +"t.a.fifo_element[13].en_ctl.c1"->"t.a.fifo_element[13].en_ctl.y"- += "t.a.fifo_element[13]._out_a_B" "t.a.fifo_element[13].buf_func.c2" += "t.a.fifo_element[13]._out_a_B" "t.a.fifo_element[13].inv_outa.y" += "t.a.fifo_element[13].in.d.d[0]" "t.a.fifo_element[13].in.r" += "t.a.fifo_element[13].in.a" "t.a.fifo_element[13].en_ctl.c1" += "t.a.fifo_element[13].in.a" "t.a.fifo_element[13].inack_ctl.y" += "t.a.fifo_element[13].in.d.d[0]" "t.a.fifo_element[13].buf_func.n1" += "t.a.fifo_element[13].in.d.d[0]" "t.a.fifo_element[13].inack_ctl.c2" += "t.a.fifo_element[13].in.d.d[0]" "t.a.fifo_element[13].in.r" += "t.a.fifo_element[13].out.d.d[0]" "t.a.fifo_element[13].out.r" += "t.a.fifo_element[13].out.a" "t.a.fifo_element[13].inv_outa.a" += "t.a.fifo_element[13].out.d.d[0]" "t.a.fifo_element[13].buf_func.y" += "t.a.fifo_element[13].out.d.d[0]" "t.a.fifo_element[13].en_ctl.p1" += "t.a.fifo_element[13].out.d.d[0]" "t.a.fifo_element[13].inack_ctl.c3" += "t.a.fifo_element[13].out.d.d[0]" "t.a.fifo_element[13].out.r" +"t.a.fifo_element[14].reset_buf.a"->"t.a.fifo_element[14].reset_buf._y"- +~("t.a.fifo_element[14].reset_buf.a")->"t.a.fifo_element[14].reset_buf._y"+ +"t.a.fifo_element[14].reset_buf._y"->"t.a.fifo_element[14].reset_buf.y"- +~("t.a.fifo_element[14].reset_buf._y")->"t.a.fifo_element[14].reset_buf.y"+ +"t.a.fifo_element[14].inv_outa.a"->"t.a.fifo_element[14].inv_outa.y"- +~("t.a.fifo_element[14].inv_outa.a")->"t.a.fifo_element[14].inv_outa.y"+ +~"t.a.fifo_element[14].inack_ctl.c1"&~"t.a.fifo_element[14].inack_ctl.c2"&~"t.a.fifo_element[14].inack_ctl.c3"|~"t.a.fifo_element[14].inack_ctl.pr_B"->"t.a.fifo_element[14].inack_ctl._y"+ +"t.a.fifo_element[14].inack_ctl.c1"&"t.a.fifo_element[14].inack_ctl.c2"&"t.a.fifo_element[14].inack_ctl.c3"&"t.a.fifo_element[14].inack_ctl.sr_B"->"t.a.fifo_element[14].inack_ctl._y"- +"t.a.fifo_element[14].inack_ctl._y"->"t.a.fifo_element[14].inack_ctl.y"- +~("t.a.fifo_element[14].inack_ctl._y")->"t.a.fifo_element[14].inack_ctl.y"+ +~"t.a.fifo_element[14].buf_func.c1"&~"t.a.fifo_element[14].buf_func.c2"|~"t.a.fifo_element[14].buf_func.pr_B"->"t.a.fifo_element[14].buf_func._y"+ +"t.a.fifo_element[14].buf_func.c1"&"t.a.fifo_element[14].buf_func.c2"&"t.a.fifo_element[14].buf_func.n1"&"t.a.fifo_element[14].buf_func.sr_B"->"t.a.fifo_element[14].buf_func._y"- +"t.a.fifo_element[14].buf_func._y"->"t.a.fifo_element[14].buf_func.y"- +~("t.a.fifo_element[14].buf_func._y")->"t.a.fifo_element[14].buf_func.y"+ += "t.a.fifo_element[14].reset_B" "t.a.fifo_element[14].reset_buf.a" += "t.a.fifo_element[14].supply.vdd" "t.a.fifo_element[14].reset_buf.vdd" += "t.a.fifo_element[14].supply.vdd" "t.a.fifo_element[14].buf_func.vdd" += "t.a.fifo_element[14].supply.vdd" "t.a.fifo_element[14].inv_outa.vdd" += "t.a.fifo_element[14].supply.vdd" "t.a.fifo_element[14].en_ctl.vdd" += "t.a.fifo_element[14].supply.vdd" "t.a.fifo_element[14].inack_ctl.vdd" += "t.a.fifo_element[14].supply.vss" "t.a.fifo_element[14].reset_buf.vss" += "t.a.fifo_element[14].supply.vss" "t.a.fifo_element[14].buf_func.vss" += "t.a.fifo_element[14].supply.vss" "t.a.fifo_element[14].inv_outa.vss" += "t.a.fifo_element[14].supply.vss" "t.a.fifo_element[14].en_ctl.vss" += "t.a.fifo_element[14].supply.vss" "t.a.fifo_element[14].inack_ctl.vss" += "t.a.fifo_element[14]._reset_BX" "t.a.fifo_element[14].reset_buf.y" += "t.a.fifo_element[14]._reset_BX" "t.a.fifo_element[14].buf_func.sr_B" += "t.a.fifo_element[14]._reset_BX" "t.a.fifo_element[14].buf_func.pr_B" += "t.a.fifo_element[14]._reset_BX" "t.a.fifo_element[14].inack_ctl.sr_B" += "t.a.fifo_element[14]._reset_BX" "t.a.fifo_element[14].inack_ctl.pr_B" += "t.a.fifo_element[14]._en" "t.a.fifo_element[14].buf_func.c1" += "t.a.fifo_element[14]._en" "t.a.fifo_element[14].en_ctl.y" += "t.a.fifo_element[14]._en" "t.a.fifo_element[14].inack_ctl.c1" +~"t.a.fifo_element[14].en_ctl.p1"&~"t.a.fifo_element[14].en_ctl.c1"->"t.a.fifo_element[14].en_ctl.y"+ +"t.a.fifo_element[14].en_ctl.c1"->"t.a.fifo_element[14].en_ctl.y"- += "t.a.fifo_element[14]._out_a_B" "t.a.fifo_element[14].buf_func.c2" += "t.a.fifo_element[14]._out_a_B" "t.a.fifo_element[14].inv_outa.y" += "t.a.fifo_element[14].in.d.d[0]" "t.a.fifo_element[14].in.r" += "t.a.fifo_element[14].in.a" "t.a.fifo_element[14].en_ctl.c1" += "t.a.fifo_element[14].in.a" "t.a.fifo_element[14].inack_ctl.y" += "t.a.fifo_element[14].in.d.d[0]" "t.a.fifo_element[14].buf_func.n1" += "t.a.fifo_element[14].in.d.d[0]" "t.a.fifo_element[14].inack_ctl.c2" += "t.a.fifo_element[14].in.d.d[0]" "t.a.fifo_element[14].in.r" += "t.a.fifo_element[14].out.d.d[0]" "t.a.fifo_element[14].out.r" += "t.a.fifo_element[14].out.a" "t.a.fifo_element[14].inv_outa.a" += "t.a.fifo_element[14].out.d.d[0]" "t.a.fifo_element[14].buf_func.y" += "t.a.fifo_element[14].out.d.d[0]" "t.a.fifo_element[14].en_ctl.p1" += "t.a.fifo_element[14].out.d.d[0]" "t.a.fifo_element[14].inack_ctl.c3" += "t.a.fifo_element[14].out.d.d[0]" "t.a.fifo_element[14].out.r" += "t.a.fifo_element[14].in.a" "t.a.fifo_element[13].out.a" += "t.a.fifo_element[14].in.d.d[0]" "t.a.fifo_element[13].out.r" += "t.a.fifo_element[14].in.d.d[0]" "t.a.fifo_element[13].out.d.d[0]" += "t.a.fifo_element[14].in.d.d[0]" "t.a.fifo_element[14].in.r" += "t.a.fifo_element[13].in.a" "t.a.fifo_element[12].out.a" += "t.a.fifo_element[13].in.d.d[0]" "t.a.fifo_element[12].out.r" += "t.a.fifo_element[13].in.d.d[0]" "t.a.fifo_element[12].out.d.d[0]" += "t.a.fifo_element[13].in.d.d[0]" "t.a.fifo_element[13].in.r" += "t.a.fifo_element[12].in.a" "t.a.fifo_element[11].out.a" += "t.a.fifo_element[12].in.d.d[0]" "t.a.fifo_element[11].out.r" += "t.a.fifo_element[12].in.d.d[0]" "t.a.fifo_element[11].out.d.d[0]" += "t.a.fifo_element[12].in.d.d[0]" "t.a.fifo_element[12].in.r" += "t.a.fifo_element[11].in.a" "t.a.fifo_element[10].out.a" += "t.a.fifo_element[11].in.d.d[0]" "t.a.fifo_element[10].out.r" += "t.a.fifo_element[11].in.d.d[0]" "t.a.fifo_element[10].out.d.d[0]" += "t.a.fifo_element[11].in.d.d[0]" "t.a.fifo_element[11].in.r" += "t.a.fifo_element[10].in.a" "t.a.fifo_element[9].out.a" += "t.a.fifo_element[10].in.d.d[0]" "t.a.fifo_element[9].out.r" += "t.a.fifo_element[10].in.d.d[0]" "t.a.fifo_element[9].out.d.d[0]" += "t.a.fifo_element[10].in.d.d[0]" "t.a.fifo_element[10].in.r" += "t.a.fifo_element[9].in.a" "t.a.fifo_element[8].out.a" += "t.a.fifo_element[9].in.d.d[0]" "t.a.fifo_element[8].out.r" += "t.a.fifo_element[9].in.d.d[0]" "t.a.fifo_element[8].out.d.d[0]" += "t.a.fifo_element[9].in.d.d[0]" "t.a.fifo_element[9].in.r" += "t.a.fifo_element[8].in.a" "t.a.fifo_element[7].out.a" += "t.a.fifo_element[8].in.d.d[0]" "t.a.fifo_element[7].out.r" += "t.a.fifo_element[8].in.d.d[0]" "t.a.fifo_element[7].out.d.d[0]" += "t.a.fifo_element[8].in.d.d[0]" "t.a.fifo_element[8].in.r" += "t.a.fifo_element[7].in.a" "t.a.fifo_element[6].out.a" += "t.a.fifo_element[7].in.d.d[0]" "t.a.fifo_element[6].out.r" += "t.a.fifo_element[7].in.d.d[0]" "t.a.fifo_element[6].out.d.d[0]" += "t.a.fifo_element[7].in.d.d[0]" "t.a.fifo_element[7].in.r" += "t.a.fifo_element[6].in.a" "t.a.fifo_element[5].out.a" += "t.a.fifo_element[6].in.d.d[0]" "t.a.fifo_element[5].out.r" += "t.a.fifo_element[6].in.d.d[0]" "t.a.fifo_element[5].out.d.d[0]" += "t.a.fifo_element[6].in.d.d[0]" "t.a.fifo_element[6].in.r" += "t.a.fifo_element[5].in.a" "t.a.fifo_element[4].out.a" += "t.a.fifo_element[5].in.d.d[0]" "t.a.fifo_element[4].out.r" += "t.a.fifo_element[5].in.d.d[0]" "t.a.fifo_element[4].out.d.d[0]" += "t.a.fifo_element[5].in.d.d[0]" "t.a.fifo_element[5].in.r" += "t.a.fifo_element[4].in.a" "t.a.fifo_element[3].out.a" += "t.a.fifo_element[4].in.d.d[0]" "t.a.fifo_element[3].out.r" += "t.a.fifo_element[4].in.d.d[0]" "t.a.fifo_element[3].out.d.d[0]" += "t.a.fifo_element[4].in.d.d[0]" "t.a.fifo_element[4].in.r" += "t.a.fifo_element[3].in.a" "t.a.fifo_element[2].out.a" += "t.a.fifo_element[3].in.d.d[0]" "t.a.fifo_element[2].out.r" += "t.a.fifo_element[3].in.d.d[0]" "t.a.fifo_element[2].out.d.d[0]" += "t.a.fifo_element[3].in.d.d[0]" "t.a.fifo_element[3].in.r" += "t.a.fifo_element[2].in.a" "t.a.fifo_element[1].out.a" += "t.a.fifo_element[2].in.d.d[0]" "t.a.fifo_element[1].out.r" += "t.a.fifo_element[2].in.d.d[0]" "t.a.fifo_element[1].out.d.d[0]" += "t.a.fifo_element[2].in.d.d[0]" "t.a.fifo_element[2].in.r" += "t.a.fifo_element[1].in.a" "t.a.fifo_element[0].out.a" += "t.a.fifo_element[1].in.d.d[0]" "t.a.fifo_element[0].out.r" += "t.a.fifo_element[1].in.d.d[0]" "t.a.fifo_element[0].out.d.d[0]" += "t.a.fifo_element[1].in.d.d[0]" "t.a.fifo_element[1].in.r" += "t.a._reset_BXX[0]" "t.a.reset_bufarray.out[0]" += "t.a._reset_BXX[1]" "t.a.reset_bufarray.out[1]" += "t.a._reset_BXX[2]" "t.a.reset_bufarray.out[2]" += "t.a._reset_BXX[3]" "t.a.reset_bufarray.out[3]" += "t.a._reset_BXX[4]" "t.a.reset_bufarray.out[4]" += "t.a._reset_BXX[5]" "t.a.reset_bufarray.out[5]" += "t.a._reset_BXX[6]" "t.a.reset_bufarray.out[6]" += "t.a._reset_BXX[7]" "t.a.reset_bufarray.out[7]" += "t.a._reset_BXX[8]" "t.a.reset_bufarray.out[8]" += "t.a._reset_BXX[9]" "t.a.reset_bufarray.out[9]" += "t.a._reset_BXX[10]" "t.a.reset_bufarray.out[10]" += "t.a._reset_BXX[11]" "t.a.reset_bufarray.out[11]" += "t.a._reset_BXX[12]" "t.a.reset_bufarray.out[12]" += "t.a._reset_BXX[13]" "t.a.reset_bufarray.out[13]" += "t.a._reset_BXX[14]" "t.a.reset_bufarray.out[14]" += "t.a._reset_BXX[14]" "t.a.fifo_element[13].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[13]" += "t.a._reset_BXX[14]" "t.a.fifo_element[12].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[12]" += "t.a._reset_BXX[14]" "t.a.fifo_element[11].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[11]" += "t.a._reset_BXX[14]" "t.a.fifo_element[10].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[10]" += "t.a._reset_BXX[14]" "t.a.fifo_element[9].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[9]" += "t.a._reset_BXX[14]" "t.a.fifo_element[8].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[8]" += "t.a._reset_BXX[14]" "t.a.fifo_element[7].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[7]" += "t.a._reset_BXX[14]" "t.a.fifo_element[6].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[6]" += "t.a._reset_BXX[14]" "t.a.fifo_element[5].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[5]" += "t.a._reset_BXX[14]" "t.a.fifo_element[4].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[4]" += "t.a._reset_BXX[14]" "t.a.fifo_element[3].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[3]" += "t.a._reset_BXX[14]" "t.a.fifo_element[2].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[2]" += "t.a._reset_BXX[14]" "t.a.fifo_element[1].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[1]" += "t.a._reset_BXX[14]" "t.a.fifo_element[0].reset_B" += "t.a._reset_BXX[14]" "t.a._reset_BXX[0]" += "t.a._reset_BXX[14]" "t.a.fifo_element[14].reset_B" += "t.a.in.d.d[0]" "t.a.in.r" += "t.a.in.a" "t.a.fifo_element[0].in.a" += "t.a.in.d.d[0]" "t.a.fifo_element[0].in.r" += "t.a.in.d.d[0]" "t.a.fifo_element[0].in.d.d[0]" += "t.a.in.d.d[0]" "t.a.in.r" += "t.a.out.d.d[0]" "t.a.out.r" += "t.a.out.a" "t.a.fifo_element[14].out.a" += "t.a.out.d.d[0]" "t.a.fifo_element[14].out.r" += "t.a.out.d.d[0]" "t.a.fifo_element[14].out.d.d[0]" += "t.a.out.d.d[0]" "t.a.out.r" += "Reset" "t.a.reset_B" += "Vdd" "t.a.supply.vdd" += "GND" "t.a.supply.vss" += "t.out.d.d[0]" "t.out.r" += "t.out.r" "t.a.out.r" += "t.out.a" "t.a.out.a" += "t.out.d.d[0]" "t.a.out.d.d[0]" += "t.out.d.d[0]" "t.out.r" += "t.in.d.d[0]" "t.in.r" += "t.in.r" "t.a.in.r" += "t.in.a" "t.a.in.a" += "t.in.d.d[0]" "t.a.in.d.d[0]" += "t.in.d.d[0]" "t.in.r" diff --git a/test/unit_tests/fifo_t_15/test.act b/test/unit_tests/fifo_t_15/test.act new file mode 100644 index 0000000..614fa30 --- /dev/null +++ b/test/unit_tests/fifo_t_15/test.act @@ -0,0 +1,43 @@ +/************************************************************************* + * + * 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/primitives.act"; +import globals; + +open tmpl::dataflow_neuro; + +defproc fifo_test(a1of1 in; a1of1 out) +{ + fifo_t<15> a(.in = in, .out = out); + a.supply.vdd = Vdd; + a.supply.vss = GND; + a.reset_B = Reset; + +} + +fifo_test t; \ No newline at end of file diff --git a/test/unit_tests/fifo_t_15/test.prsim b/test/unit_tests/fifo_t_15/test.prsim new file mode 100644 index 0000000..679c463 --- /dev/null +++ b/test/unit_tests/fifo_t_15/test.prsim @@ -0,0 +1,48 @@ +watchall +system "echo '[0] code starts'" +set t.in.r 0 +set t.out.a 0 +cycle +set Reset 0 +cycle +status X +mode run +system "echo '[1] reset done'" +system "echo '----------------------------------------------------------------------------------------------------'" +set t.in.r 1 +cycle +set t.in.r 0 +cycle +system "echo '1 bit inside'" +set t.in.r 1 +cycle +set t.in.r 0 +cycle +system "echo '2 bit inside'" +set t.in.r 1 +cycle +set t.in.r 0 +cycle +system "echo '3 bit inside'" +set t.in.r 1 +cycle +set t.in.r 0 +cycle +system "echo '4 bit inside'" +set t.in.r 1 +cycle +set t.in.r 0 +cycle +system "echo '5 bit inside'" +set t.in.r 1 +cycle +set t.in.r 0 +cycle +system "echo '6 bit inside'" +set t.in.r 1 +cycle +set t.in.r 0 +cycle +system "echo '7 bit inside'" +assert t.out.r 1 +