diff --git a/dataflow_neuro/primitives.act b/dataflow_neuro/primitives.act index 9a1873b..00b72e9 100644 --- a/dataflow_neuro/primitives.act +++ b/dataflow_neuro/primitives.act @@ -425,8 +425,9 @@ 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); } + //The buffer_t_valid doesn't work export - defproc buffer_t_tmsc(a1of1 in; a1of1 out; bool? reset_B; power supply) + defproc buffer_t_valid(a1of1 in; a1of1 out; bool? reset_B; power supply) { //control bool _en, _reset_BX; diff --git a/test/unit_tests/arbiter_handshake_adv/run/prsim.out b/test/unit_tests/arbiter_handshake_adv/run/prsim.out new file mode 100644 index 0000000..369d5b5 --- /dev/null +++ b/test/unit_tests/arbiter_handshake_adv/run/prsim.out @@ -0,0 +1,357 @@ +t.fifo_in1.fifo_element[2].in.r t.fifo_in1.fifo_element[1]._en t.in1.r t.in2.r t.fifo_in2.fifo_element[3].in.r t.out.r t._out1.r t.fifo_in2.fifo_element[3].inack_ctl._y t._out1.a t.arb._y1_arb t.fifo_in2.fifo_element[1].in.a t.fifo_in1.fifo_element[2].in.a t.fifo_in1.fifo_element[3]._out_a_B t.fifo_in1.fifo_element[1].in.r t.in2.a t.fifo_in2.fifo_element[3].in.a t._out2.a t.fifo_in2.fifo_element[1].in.r t.fifo_in1.fifo_element[3]._en t.fifo_in1.fifo_element[0].buf_func._y t.fifo_in2.fifo_element[0].inack_ctl._y t.fifo_in1.fifo_element[3].in.r t.fifo_in2.fifo_element[2].in.a t.fifo_in2.fifo_element[1]._out_a_B t.fifo_in2.fifo_element[3]._out_a_B t.fifo_in2.fifo_element[2].inack_ctl._y t.fifo_in2.fifo_element[0]._en t.fifo_in1.fifo_element[2]._en t._out2.r t.fifo_in1.fifo_element[1].in.a t.in1.a t.arb.ack_cell1._y t.fifo_in1.fifo_element[2].buf_func._y t.fifo_in1.fifo_element[0]._en t.fifo_in2.fifo_element[0]._out_a_B t.fifo_in1.fifo_element[2].inack_ctl._y t.fifo_in2.fifo_element[2]._out_a_B t.fifo_in1.fifo_element[1]._out_a_B t.fifo_in2.fifo_element[3]._en t.fifo_in2.fifo_element[1].buf_func._y t.fifo_in1.fifo_element[0].inack_ctl._y t.arb.or_cell._y t.arb.arbiter._y1 t.arb._y2_arb t.fifo_in1.fifo_element[1].inack_ctl._y t.fifo_in1.fifo_element[0]._out_a_B t.fifo_in2.fifo_element[1]._en t.fifo_in2.fifo_element[2]._en t.fifo_in2.fifo_element[0].buf_func._y t.fifo_in2.fifo_element[3].buf_func._y t.fifo_in1.fifo_element[2]._out_a_B t.fifo_in1.fifo_element[3].in.a t.fifo_in2.fifo_element[2].buf_func._y t.arb.arbiter._y2 t.fifo_in1.fifo_element[3].inack_ctl._y t.fifo_in2.fifo_element[2].in.r t.fifo_in1.fifo_element[1].buf_func._y t.fifo_in2.fifo_element[1].inack_ctl._y t.out.a t.fifo_in1.fifo_element[3].buf_func._y t.arb.ack_cell2._y +[0] code starts + 77100 t.in1.r : 0 + 77100 Reset : 0 + 77100 t.out.a : 0 + 77100 t.in2.r : 0 + 114031 t.fifo_in1.reset_buf._y : 1 [by Reset:=0] + 114086 t.fifo_in1._reset_BX : 0 [by t.fifo_in1.reset_buf._y:=1] + 120348 t.fifo_in2.reset_buf._y : 1 [by Reset:=0] + 150128 t.fifo_in2._reset_BX : 0 [by t.fifo_in2.reset_buf._y:=1] + 163977 t.fifo_in2.reset_bufarray.buf1._y : 1 [by t.fifo_in2._reset_BX:=0] + 165739 t.fifo_in1.reset_bufarray.buf1._y : 1 [by t.fifo_in1._reset_BX:=0] + 180082 t.fifo_in1._reset_BXX[0] : 0 [by t.fifo_in1.reset_bufarray.buf1._y:=1] + 180083 t.fifo_in1.fifo_element[0].reset_buf._y : 1 [by t.fifo_in1._reset_BXX[0]:=0] + 180083 t.fifo_in1.fifo_element[3].reset_buf._y : 1 [by t.fifo_in1._reset_BXX[0]:=0] + 180365 t.fifo_in1.fifo_element[3]._reset_BX : 0 [by t.fifo_in1.fifo_element[3].reset_buf._y:=1] + 180368 t.fifo_in1.fifo_element[3].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[3]._reset_BX:=0] + 180504 t.fifo_in1.fifo_element[2].reset_buf._y : 1 [by t.fifo_in1._reset_BXX[0]:=0] + 181055 t.fifo_in1.fifo_element[2]._reset_BX : 0 [by t.fifo_in1.fifo_element[2].reset_buf._y:=1] + 181133 t.fifo_in1.fifo_element[3].buf_func._y : 1 [by t.fifo_in1.fifo_element[3]._reset_BX:=0] + 182009 t.fifo_in1.fifo_element[2].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[2]._reset_BX:=0] + 182126 t.fifo_in1.fifo_element[2].buf_func._y : 1 [by t.fifo_in1.fifo_element[2]._reset_BX:=0] + 182214 t._out1.r : 0 [by t.fifo_in1.fifo_element[3].buf_func._y:=1] + 182232 t.arb.arbiter._y1 : 1 [by t._out1.r:=0] + 183108 t.fifo_in1.fifo_element[3].in.r : 0 [by t.fifo_in1.fifo_element[2].buf_func._y:=1] + 186245 t.arb._y1_arb : 0 [by t.arb.arbiter._y1:=1] + 188789 t.fifo_in2._reset_BXX[0] : 0 [by t.fifo_in2.reset_bufarray.buf1._y:=1] + 189291 t.fifo_in2.fifo_element[3].reset_buf._y : 1 [by t.fifo_in2._reset_BXX[0]:=0] + 189494 t.fifo_in2.fifo_element[3]._reset_BX : 0 [by t.fifo_in2.fifo_element[3].reset_buf._y:=1] + 189633 t.fifo_in2.fifo_element[3].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[3]._reset_BX:=0] + 190248 t.arb.ack_cell1._y : 1 [by t.arb._y1_arb:=0] + 190317 t._out1.a : 0 [by t.arb.ack_cell1._y:=1] + 190328 t.fifo_in1.fifo_element[3]._out_a_B : 1 [by t._out1.a:=0] + 191348 t.fifo_in2.fifo_element[3].buf_func._y : 1 [by t.fifo_in2.fifo_element[3]._reset_BX:=0] + 193549 t.fifo_in2.fifo_element[0].reset_buf._y : 1 [by t.fifo_in2._reset_BXX[0]:=0] + 193753 t.fifo_in2.fifo_element[0]._reset_BX : 0 [by t.fifo_in2.fifo_element[0].reset_buf._y:=1] + 193754 t.fifo_in2.fifo_element[0].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[0]._reset_BX:=0] + 193768 t.fifo_in2.fifo_element[0].buf_func._y : 1 [by t.fifo_in2.fifo_element[0]._reset_BX:=0] + 193791 t.in2.a : 0 [by t.fifo_in2.fifo_element[0].inack_ctl._y:=1] + 194507 t.fifo_in2.fifo_element[1].in.r : 0 [by t.fifo_in2.fifo_element[0].buf_func._y:=1] + 194619 t.fifo_in2.fifo_element[0]._en : 1 [by t.fifo_in2.fifo_element[1].in.r:=0] + 200288 t.fifo_in1.fifo_element[0]._reset_BX : 0 [by t.fifo_in1.fifo_element[0].reset_buf._y:=1] + 200328 t.fifo_in1.fifo_element[0].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[0]._reset_BX:=0] + 200585 t.in1.a : 0 [by t.fifo_in1.fifo_element[0].inack_ctl._y:=1] + 202809 t.fifo_in1.fifo_element[3].in.a : 0 [by t.fifo_in1.fifo_element[3].inack_ctl._y:=1] + 202896 t.fifo_in1.fifo_element[3]._en : 1 [by t.fifo_in1.fifo_element[3].in.a:=0] + 203103 t.fifo_in1.fifo_element[2]._out_a_B : 1 [by t.fifo_in1.fifo_element[3].in.a:=0] + 210373 t.fifo_in2.fifo_element[1].reset_buf._y : 1 [by t.fifo_in2._reset_BXX[0]:=0] + 210374 t.fifo_in2.fifo_element[1]._reset_BX : 0 [by t.fifo_in2.fifo_element[1].reset_buf._y:=1] + 212180 t.fifo_in2.fifo_element[1].buf_func._y : 1 [by t.fifo_in2.fifo_element[1]._reset_BX:=0] + 212381 t.fifo_in2.fifo_element[1].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[1]._reset_BX:=0] + 212971 t.fifo_in2.fifo_element[1].in.a : 0 [by t.fifo_in2.fifo_element[1].inack_ctl._y:=1] + 213149 t.fifo_in2.fifo_element[0]._out_a_B : 1 [by t.fifo_in2.fifo_element[1].in.a:=0] + 213389 t.fifo_in2.fifo_element[2].in.r : 0 [by t.fifo_in2.fifo_element[1].buf_func._y:=1] + 214192 t.fifo_in2.fifo_element[1]._en : 1 [by t.fifo_in2.fifo_element[2].in.r:=0] + 225979 t.fifo_in2.fifo_element[3].in.a : 0 [by t.fifo_in2.fifo_element[3].inack_ctl._y:=1] + 226143 t.fifo_in2.fifo_element[2]._out_a_B : 1 [by t.fifo_in2.fifo_element[3].in.a:=0] + 228796 t.fifo_in1.fifo_element[1].reset_buf._y : 1 [by t.fifo_in1._reset_BXX[0]:=0] + 230991 t.fifo_in1.fifo_element[1]._reset_BX : 0 [by t.fifo_in1.fifo_element[1].reset_buf._y:=1] + 231013 t.fifo_in1.fifo_element[1].buf_func._y : 1 [by t.fifo_in1.fifo_element[1]._reset_BX:=0] + 231838 t.fifo_in1.fifo_element[1].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[1]._reset_BX:=0] + 231971 t.fifo_in1.fifo_element[1].in.a : 0 [by t.fifo_in1.fifo_element[1].inack_ctl._y:=1] + 233690 t.fifo_in2.fifo_element[2].reset_buf._y : 1 [by t.fifo_in2._reset_BXX[0]:=0] + 234049 t.fifo_in2.fifo_element[2]._reset_BX : 0 [by t.fifo_in2.fifo_element[2].reset_buf._y:=1] + 234270 t.fifo_in2.fifo_element[2].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[2]._reset_BX:=0] + 234277 t.fifo_in2.fifo_element[2].in.a : 0 [by t.fifo_in2.fifo_element[2].inack_ctl._y:=1] + 234307 t.fifo_in2.fifo_element[1]._out_a_B : 1 [by t.fifo_in2.fifo_element[2].in.a:=0] + 236479 t.fifo_in1.fifo_element[2].in.a : 0 [by t.fifo_in1.fifo_element[2].inack_ctl._y:=1] + 243134 t._out2.r : 0 [by t.fifo_in2.fifo_element[3].buf_func._y:=1] + 243192 t.fifo_in1.fifo_element[2]._en : 1 [by t.fifo_in1.fifo_element[2].in.a:=0] + 243225 t.fifo_in2.fifo_element[3]._en : 1 [by t._out2.r:=0] + 245323 t.arb.arbiter._y2 : 1 [by t._out2.r:=0] + 245330 t.arb._y2_arb : 0 [by t.arb.arbiter._y2:=1] + 245436 t.arb.ack_cell2._y : 1 [by t.arb._y2_arb:=0] + 245514 t._out2.a : 0 [by t.arb.ack_cell2._y:=1] + 245789 t.fifo_in2.fifo_element[3]._out_a_B : 1 [by t._out2.a:=0] + 247633 t.fifo_in1.fifo_element[0]._out_a_B : 1 [by t.fifo_in1.fifo_element[1].in.a:=0] + 247800 t.fifo_in1.fifo_element[0].buf_func._y : 1 [by t.fifo_in1.fifo_element[0]._reset_BX:=0] + 248117 t.arb.or_cell._y : 1 [by t.arb._y2_arb:=0] + 248165 t.fifo_in2.fifo_element[2].buf_func._y : 1 [by t.fifo_in2.fifo_element[2]._reset_BX:=0] + 248177 t.fifo_in2.fifo_element[3].in.r : 0 [by t.fifo_in2.fifo_element[2].buf_func._y:=1] + 248572 t.out.r : 0 [by t.arb.or_cell._y:=1] + 248581 t.fifo_in2.fifo_element[2]._en : 1 [by t.fifo_in2.fifo_element[3].in.r:=0] + 261141 t.fifo_in1.fifo_element[2].in.r : 0 [by t.fifo_in1.fifo_element[1].buf_func._y:=1] + 261153 t.fifo_in1.fifo_element[1]._en : 1 [by t.fifo_in1.fifo_element[2].in.r:=0] + 266796 t.fifo_in1.fifo_element[1].in.r : 0 [by t.fifo_in1.fifo_element[0].buf_func._y:=1] + 272712 t.fifo_in1.fifo_element[0]._en : 1 [by t.fifo_in1.fifo_element[1].in.r:=0] + 293940 t.fifo_in1.fifo_element[1]._out_a_B : 1 [by t.fifo_in1.fifo_element[2].in.a:=0] + + 293940 Reset : 1 + 296839 t.fifo_in1.reset_buf._y : 0 [by Reset:=1] + 298216 t.fifo_in2.reset_buf._y : 0 [by Reset:=1] + 298218 t.fifo_in2._reset_BX : 1 [by t.fifo_in2.reset_buf._y:=0] + 301134 t.fifo_in1._reset_BX : 1 [by t.fifo_in1.reset_buf._y:=0] + 302383 t.fifo_in1.reset_bufarray.buf1._y : 0 [by t.fifo_in1._reset_BX:=1] + 302753 t.fifo_in2.reset_bufarray.buf1._y : 0 [by t.fifo_in2._reset_BX:=1] + 302919 t.fifo_in2._reset_BXX[0] : 1 [by t.fifo_in2.reset_bufarray.buf1._y:=0] + 302994 t.fifo_in2.fifo_element[2].reset_buf._y : 0 [by t.fifo_in2._reset_BXX[0]:=1] + 302996 t.fifo_in2.fifo_element[2]._reset_BX : 1 [by t.fifo_in2.fifo_element[2].reset_buf._y:=0] + 303057 t.fifo_in2.fifo_element[0].reset_buf._y : 0 [by t.fifo_in2._reset_BXX[0]:=1] + 303264 t.fifo_in2.fifo_element[1].reset_buf._y : 0 [by t.fifo_in2._reset_BXX[0]:=1] + 303265 t.fifo_in2.fifo_element[1]._reset_BX : 1 [by t.fifo_in2.fifo_element[1].reset_buf._y:=0] + 305882 t.fifo_in1._reset_BXX[0] : 1 [by t.fifo_in1.reset_bufarray.buf1._y:=0] + 305893 t.fifo_in1.fifo_element[1].reset_buf._y : 0 [by t.fifo_in1._reset_BXX[0]:=1] + 305949 t.fifo_in1.fifo_element[3].reset_buf._y : 0 [by t.fifo_in1._reset_BXX[0]:=1] + 305965 t.fifo_in1.fifo_element[3]._reset_BX : 1 [by t.fifo_in1.fifo_element[3].reset_buf._y:=0] + 306252 t.fifo_in1.fifo_element[0].reset_buf._y : 0 [by t.fifo_in1._reset_BXX[0]:=1] + 306430 t.fifo_in1.fifo_element[2].reset_buf._y : 0 [by t.fifo_in1._reset_BXX[0]:=1] + 306958 t.fifo_in1.fifo_element[2]._reset_BX : 1 [by t.fifo_in1.fifo_element[2].reset_buf._y:=0] + 308182 t.fifo_in2.fifo_element[3].reset_buf._y : 0 [by t.fifo_in2._reset_BXX[0]:=1] + 308534 t.fifo_in1.fifo_element[1]._reset_BX : 1 [by t.fifo_in1.fifo_element[1].reset_buf._y:=0] + 310617 t.fifo_in2.fifo_element[3]._reset_BX : 1 [by t.fifo_in2.fifo_element[3].reset_buf._y:=0] + 310814 t.fifo_in1.fifo_element[0]._reset_BX : 1 [by t.fifo_in1.fifo_element[0].reset_buf._y:=0] + 346974 t.fifo_in2.fifo_element[0]._reset_BX : 1 [by t.fifo_in2.fifo_element[0].reset_buf._y:=0] +[1] reset done +---------------------------------------------------------------------------------------------------- + 346974 t.in1.r : 1 + 346974 t.in2.r : 1 + 370899 t.fifo_in2.fifo_element[0].buf_func._y : 0 [by t.in2.r:=1] + 373854 t.fifo_in1.fifo_element[0].buf_func._y : 0 [by t.in1.r:=1] + 373856 t.fifo_in1.fifo_element[1].in.r : 1 [by t.fifo_in1.fifo_element[0].buf_func._y:=0] + 373859 t.fifo_in1.fifo_element[0].inack_ctl._y : 0 [by t.fifo_in1.fifo_element[1].in.r:=1] + 373888 t.in1.a : 1 [by t.fifo_in1.fifo_element[0].inack_ctl._y:=0] + 374205 t.fifo_in1.fifo_element[0]._en : 0 [by t.in1.a:=1] + 383940 t.fifo_in2.fifo_element[1].in.r : 1 [by t.fifo_in2.fifo_element[0].buf_func._y:=0] + 384093 t.fifo_in2.fifo_element[0].inack_ctl._y : 0 [by t.fifo_in2.fifo_element[1].in.r:=1] + 384137 t.in2.a : 1 [by t.fifo_in2.fifo_element[0].inack_ctl._y:=0] + 385541 t.fifo_in2.fifo_element[1].buf_func._y : 0 [by t.fifo_in2.fifo_element[1].in.r:=1] + 386898 t.fifo_in2.fifo_element[0]._en : 0 [by t.in2.a:=1] + 399224 t.fifo_in2.fifo_element[2].in.r : 1 [by t.fifo_in2.fifo_element[1].buf_func._y:=0] + 399225 t.fifo_in2.fifo_element[2].buf_func._y : 0 [by t.fifo_in2.fifo_element[2].in.r:=1] + 399247 t.fifo_in2.fifo_element[3].in.r : 1 [by t.fifo_in2.fifo_element[2].buf_func._y:=0] + 399248 t.fifo_in2.fifo_element[3].buf_func._y : 0 [by t.fifo_in2.fifo_element[3].in.r:=1] + 399441 t.fifo_in2.fifo_element[1].inack_ctl._y : 0 [by t.fifo_in2.fifo_element[2].in.r:=1] + 399600 t.fifo_in2.fifo_element[1].in.a : 1 [by t.fifo_in2.fifo_element[1].inack_ctl._y:=0] + 400828 t.fifo_in2.fifo_element[2].inack_ctl._y : 0 [by t.fifo_in2.fifo_element[3].in.r:=1] + 400887 t.fifo_in2.fifo_element[0]._out_a_B : 0 [by t.fifo_in2.fifo_element[1].in.a:=1] + 401032 t.fifo_in2.fifo_element[0].buf_func._y : 1 [by t.fifo_in2.fifo_element[0]._out_a_B:=0] + 403060 t.fifo_in2.fifo_element[2].in.a : 1 [by t.fifo_in2.fifo_element[2].inack_ctl._y:=0] + 403061 t.fifo_in2.fifo_element[1]._out_a_B : 0 [by t.fifo_in2.fifo_element[2].in.a:=1] + 403864 t.fifo_in2.fifo_element[1].in.r : 0 [by t.fifo_in2.fifo_element[0].buf_func._y:=1] + 408593 t._out2.r : 1 [by t.fifo_in2.fifo_element[3].buf_func._y:=0] + 408755 t.fifo_in2.fifo_element[3].inack_ctl._y : 0 [by t._out2.r:=1] + 409414 t.fifo_in2.fifo_element[2]._en : 0 [by t.fifo_in2.fifo_element[2].in.a:=1] + 416124 t.fifo_in2.fifo_element[3].in.a : 1 [by t.fifo_in2.fifo_element[3].inack_ctl._y:=0] + 416131 t.fifo_in2.fifo_element[2]._out_a_B : 0 [by t.fifo_in2.fifo_element[3].in.a:=1] + 416138 t.fifo_in2.fifo_element[3]._en : 0 [by t.fifo_in2.fifo_element[3].in.a:=1] + 416291 t.fifo_in2.fifo_element[2].buf_func._y : 1 [by t.fifo_in2.fifo_element[2]._out_a_B:=0] + 419276 t.fifo_in2.fifo_element[1]._en : 0 [by t.fifo_in2.fifo_element[1].in.a:=1] + 419277 t.fifo_in2.fifo_element[1].buf_func._y : 1 [by t.fifo_in2.fifo_element[1]._en:=0] + 419277 t.fifo_in2.fifo_element[1].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[1]._en:=0] + 419278 t.fifo_in2.fifo_element[2].in.r : 0 [by t.fifo_in2.fifo_element[1].buf_func._y:=1] + 419465 t.fifo_in2.fifo_element[2].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[2].in.r:=0] + 419466 t.fifo_in2.fifo_element[2].in.a : 0 [by t.fifo_in2.fifo_element[2].inack_ctl._y:=1] + 421520 t.fifo_in2.fifo_element[1].in.a : 0 [by t.fifo_in2.fifo_element[1].inack_ctl._y:=1] + 421521 t.fifo_in2.fifo_element[0]._out_a_B : 1 [by t.fifo_in2.fifo_element[1].in.a:=0] + 423648 t.fifo_in2.fifo_element[1]._out_a_B : 1 [by t.fifo_in2.fifo_element[2].in.a:=0] + 434814 t.fifo_in1.fifo_element[1].buf_func._y : 0 [by t.fifo_in1.fifo_element[1].in.r:=1] + 435667 t.fifo_in1.fifo_element[2].in.r : 1 [by t.fifo_in1.fifo_element[1].buf_func._y:=0] + 435672 t.fifo_in1.fifo_element[2].buf_func._y : 0 [by t.fifo_in1.fifo_element[2].in.r:=1] + 435673 t.fifo_in1.fifo_element[3].in.r : 1 [by t.fifo_in1.fifo_element[2].buf_func._y:=0] + 435690 t.fifo_in1.fifo_element[3].buf_func._y : 0 [by t.fifo_in1.fifo_element[3].in.r:=1] + 436558 t.fifo_in1.fifo_element[1].inack_ctl._y : 0 [by t.fifo_in1.fifo_element[2].in.r:=1] + 436561 t.fifo_in1.fifo_element[1].in.a : 1 [by t.fifo_in1.fifo_element[1].inack_ctl._y:=0] + 437502 t.fifo_in1.fifo_element[1]._en : 0 [by t.fifo_in1.fifo_element[1].in.a:=1] + 437848 t.fifo_in2.fifo_element[3].in.r : 0 [by t.fifo_in2.fifo_element[2].buf_func._y:=1] + 437849 t.fifo_in2.fifo_element[3].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[3].in.r:=0] + 437890 t.fifo_in2.fifo_element[2]._en : 1 [by t.fifo_in2.fifo_element[3].in.r:=0] + 438246 t.fifo_in1.fifo_element[2].inack_ctl._y : 0 [by t.fifo_in1.fifo_element[3].in.r:=1] + 440666 t.fifo_in2.fifo_element[3].in.a : 0 [by t.fifo_in2.fifo_element[3].inack_ctl._y:=1] + 440761 t.fifo_in2.fifo_element[2]._out_a_B : 1 [by t.fifo_in2.fifo_element[3].in.a:=0] + 444051 t._out1.r : 1 [by t.fifo_in1.fifo_element[3].buf_func._y:=0] + 444059 t.fifo_in1.fifo_element[3].inack_ctl._y : 0 [by t._out1.r:=1] + 444093 t.fifo_in1.fifo_element[3].in.a : 1 [by t.fifo_in1.fifo_element[3].inack_ctl._y:=0] + 445011 t.fifo_in1.fifo_element[2]._out_a_B : 0 [by t.fifo_in1.fifo_element[3].in.a:=1] + 447877 t.arb.arbiter._y2 : 0 [by t._out2.r:=1] + 447881 t.arb._y2_arb : 1 [by t.arb.arbiter._y2:=0] + 451979 t.fifo_in1.fifo_element[2].in.a : 1 [by t.fifo_in1.fifo_element[2].inack_ctl._y:=0] + 454377 t.fifo_in1.fifo_element[2]._en : 0 [by t.fifo_in1.fifo_element[2].in.a:=1] + 455194 t.fifo_in1.fifo_element[1]._out_a_B : 0 [by t.fifo_in1.fifo_element[2].in.a:=1] + 455242 t.fifo_in1.fifo_element[1].buf_func._y : 1 [by t.fifo_in1.fifo_element[1]._out_a_B:=0] + 455245 t.fifo_in1.fifo_element[2].in.r : 0 [by t.fifo_in1.fifo_element[1].buf_func._y:=1] + 455423 t.fifo_in1.fifo_element[2].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[2].in.r:=0] + 456302 t.fifo_in2.fifo_element[1]._en : 1 [by t.fifo_in2.fifo_element[1].in.a:=0] + 457980 t.fifo_in1.fifo_element[3]._en : 0 [by t.fifo_in1.fifo_element[3].in.a:=1] + 476400 t.fifo_in1.fifo_element[2].in.a : 0 [by t.fifo_in1.fifo_element[2].inack_ctl._y:=1] + 488299 t.fifo_in1.fifo_element[1]._out_a_B : 1 [by t.fifo_in1.fifo_element[2].in.a:=0] + 494259 t.arb.or_cell._y : 0 [by t.arb._y2_arb:=1] + 495523 t.fifo_in1.fifo_element[0]._out_a_B : 0 [by t.fifo_in1.fifo_element[1].in.a:=1] + 500210 t.out.r : 1 [by t.arb.or_cell._y:=0] + 501496 t.fifo_in1.fifo_element[2].buf_func._y : 1 [by t.fifo_in1.fifo_element[2]._en:=0] + 502323 t.fifo_in1.fifo_element[3].in.r : 0 [by t.fifo_in1.fifo_element[2].buf_func._y:=1] + 502496 t.fifo_in1.fifo_element[3].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[3].in.r:=0] + 502497 t.fifo_in1.fifo_element[3].in.a : 0 [by t.fifo_in1.fifo_element[3].inack_ctl._y:=1] + 502507 t.fifo_in1.fifo_element[2]._en : 1 [by t.fifo_in1.fifo_element[3].in.r:=0] + 502570 t.fifo_in1.fifo_element[2]._out_a_B : 1 [by t.fifo_in1.fifo_element[3].in.a:=0] + 535008 t.fifo_in1.fifo_element[0].buf_func._y : 1 [by t.fifo_in1.fifo_element[0]._out_a_B:=0] + 535012 t.fifo_in1.fifo_element[1].in.r : 0 [by t.fifo_in1.fifo_element[0].buf_func._y:=1] + 572300 t.fifo_in1.fifo_element[1].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[1].in.r:=0] + 572396 t.fifo_in1.fifo_element[1].in.a : 0 [by t.fifo_in1.fifo_element[1].inack_ctl._y:=1] + 572397 t.fifo_in1.fifo_element[0]._out_a_B : 1 [by t.fifo_in1.fifo_element[1].in.a:=0] + 572532 t.fifo_in1.fifo_element[1]._en : 1 [by t.fifo_in1.fifo_element[1].in.a:=0] +---------------------------------------------------------------------------------------------------- +[2] 1 bit processed by the arbiter + 572532 t.out.a : 1 + 591578 t.arb.ack_cell2._y : 0 [by t.out.a:=1] + 591819 t._out2.a : 1 [by t.arb.ack_cell2._y:=0] + 595778 t.fifo_in2.fifo_element[3]._out_a_B : 0 [by t._out2.a:=1] + 595790 t.fifo_in2.fifo_element[3].buf_func._y : 1 [by t.fifo_in2.fifo_element[3]._out_a_B:=0] + 599690 t._out2.r : 0 [by t.fifo_in2.fifo_element[3].buf_func._y:=1] + 599691 t.arb.arbiter._y2 : 1 [by t._out2.r:=0] + 599747 t.arb.arbiter._y1 : 0 [by t.arb.arbiter._y2:=1] + 600719 t.fifo_in2.fifo_element[3]._en : 1 [by t._out2.r:=0] + 644697 t.arb._y2_arb : 0 [by t.arb.arbiter._y2:=1] + 644698 t.arb.or_cell._y : 1 [by t.arb._y2_arb:=0] + 644735 t.out.r : 0 [by t.arb.or_cell._y:=1] + 644735 t.out.a : 0 + 668110 t.arb.ack_cell2._y : 1 [by t.out.a:=0] + 668111 t._out2.a : 0 [by t.arb.ack_cell2._y:=1] + 669803 t.arb._y1_arb : 1 [by t._out2.a:=0] + 669816 t.arb.or_cell._y : 0 [by t.arb._y1_arb:=1] + 671675 t.fifo_in2.fifo_element[3]._out_a_B : 1 [by t._out2.a:=0] + 686800 t.out.r : 1 [by t.arb.or_cell._y:=0] +---------------------------------------------------------------------------------------------------- +[3] 2 bit processed by the arbiter + 686800 t.out.a : 1 + 686800 t.in2.r : 0 + 686800 t.in1.r : 0 + 686821 t.fifo_in1.fifo_element[0].inack_ctl._y : 1 [by t.in1.r:=0] + 686822 t.in1.a : 0 [by t.fifo_in1.fifo_element[0].inack_ctl._y:=1] + 686825 t.fifo_in2.fifo_element[0].inack_ctl._y : 1 [by t.in2.r:=0] + 686826 t.in2.a : 0 [by t.fifo_in2.fifo_element[0].inack_ctl._y:=1] + 686827 t.fifo_in2.fifo_element[0]._en : 1 [by t.in2.a:=0] + 687157 t.arb.ack_cell1._y : 0 [by t.out.a:=1] + 687318 t._out1.a : 1 [by t.arb.ack_cell1._y:=0] + 688355 t.fifo_in1.fifo_element[3]._out_a_B : 0 [by t._out1.a:=1] + 688360 t.fifo_in1.fifo_element[3].buf_func._y : 1 [by t.fifo_in1.fifo_element[3]._out_a_B:=0] + 688941 t._out1.r : 0 [by t.fifo_in1.fifo_element[3].buf_func._y:=1] + 688952 t.fifo_in1.fifo_element[3]._en : 1 [by t._out1.r:=0] + 689349 t.arb.arbiter._y1 : 1 [by t._out1.r:=0] + 690396 t.arb._y1_arb : 0 [by t.arb.arbiter._y1:=1] + 690410 t.arb.or_cell._y : 1 [by t.arb._y1_arb:=0] + 690428 t.out.r : 0 [by t.arb.or_cell._y:=1] + 696470 t.fifo_in1.fifo_element[0]._en : 1 [by t.in1.a:=0] + 696470 t.out.a : 0 + 696470 t.in2.r : 1 + 696470 t.in1.r : 1 + 696474 t.arb.ack_cell1._y : 1 [by t.out.a:=0] + 696574 t.fifo_in2.fifo_element[0].buf_func._y : 0 [by t.in2.r:=1] + 697678 t._out1.a : 0 [by t.arb.ack_cell1._y:=1] + 697906 t.fifo_in1.fifo_element[3]._out_a_B : 1 [by t._out1.a:=0] + 705029 t.fifo_in2.fifo_element[1].in.r : 1 [by t.fifo_in2.fifo_element[0].buf_func._y:=0] + 705872 t.fifo_in2.fifo_element[1].buf_func._y : 0 [by t.fifo_in2.fifo_element[1].in.r:=1] + 705942 t.fifo_in2.fifo_element[2].in.r : 1 [by t.fifo_in2.fifo_element[1].buf_func._y:=0] + 705953 t.fifo_in2.fifo_element[1].inack_ctl._y : 0 [by t.fifo_in2.fifo_element[2].in.r:=1] + 705956 t.fifo_in2.fifo_element[1].in.a : 1 [by t.fifo_in2.fifo_element[1].inack_ctl._y:=0] + 706010 t.fifo_in2.fifo_element[1]._en : 0 [by t.fifo_in2.fifo_element[1].in.a:=1] + 706488 t.fifo_in2.fifo_element[0].inack_ctl._y : 0 [by t.fifo_in2.fifo_element[1].in.r:=1] + 707104 t.fifo_in2.fifo_element[0]._out_a_B : 0 [by t.fifo_in2.fifo_element[1].in.a:=1] + 707649 t.in2.a : 1 [by t.fifo_in2.fifo_element[0].inack_ctl._y:=0] + 716301 t.fifo_in2.fifo_element[0]._en : 0 [by t.in2.a:=1] + 716382 t.fifo_in2.fifo_element[0].buf_func._y : 1 [by t.fifo_in2.fifo_element[0]._en:=0] + 727459 t.fifo_in2.fifo_element[1].in.r : 0 [by t.fifo_in2.fifo_element[0].buf_func._y:=1] + 727914 t.fifo_in1.fifo_element[0].buf_func._y : 0 [by t.in1.r:=1] + 728006 t.fifo_in1.fifo_element[1].in.r : 1 [by t.fifo_in1.fifo_element[0].buf_func._y:=0] + 729750 t.fifo_in1.fifo_element[0].inack_ctl._y : 0 [by t.fifo_in1.fifo_element[1].in.r:=1] + 730363 t.in1.a : 1 [by t.fifo_in1.fifo_element[0].inack_ctl._y:=0] + 736317 t.fifo_in1.fifo_element[1].buf_func._y : 0 [by t.fifo_in1.fifo_element[1].in.r:=1] + 736362 t.fifo_in1.fifo_element[2].in.r : 1 [by t.fifo_in1.fifo_element[1].buf_func._y:=0] + 737359 t.fifo_in1.fifo_element[2].buf_func._y : 0 [by t.fifo_in1.fifo_element[2].in.r:=1] + 737884 t.fifo_in1.fifo_element[3].in.r : 1 [by t.fifo_in1.fifo_element[2].buf_func._y:=0] + 737936 t.fifo_in1.fifo_element[2].inack_ctl._y : 0 [by t.fifo_in1.fifo_element[3].in.r:=1] + 737943 t.fifo_in1.fifo_element[2].in.a : 1 [by t.fifo_in1.fifo_element[2].inack_ctl._y:=0] + 738011 t.fifo_in1.fifo_element[1].inack_ctl._y : 0 [by t.fifo_in1.fifo_element[2].in.r:=1] + 738013 t.fifo_in1.fifo_element[1].in.a : 1 [by t.fifo_in1.fifo_element[1].inack_ctl._y:=0] + 738146 t.fifo_in1.fifo_element[0]._out_a_B : 0 [by t.fifo_in1.fifo_element[1].in.a:=1] + 738367 t.fifo_in1.fifo_element[1]._en : 0 [by t.fifo_in1.fifo_element[1].in.a:=1] + 738784 t.fifo_in1.fifo_element[3].buf_func._y : 0 [by t.fifo_in1.fifo_element[3].in.r:=1] + 738785 t._out1.r : 1 [by t.fifo_in1.fifo_element[3].buf_func._y:=0] + 738789 t.arb.arbiter._y1 : 0 [by t._out1.r:=1] + 739331 t.fifo_in1.fifo_element[3].inack_ctl._y : 0 [by t._out1.r:=1] + 739332 t.fifo_in1.fifo_element[3].in.a : 1 [by t.fifo_in1.fifo_element[3].inack_ctl._y:=0] + 739411 t.fifo_in1.fifo_element[2]._out_a_B : 0 [by t.fifo_in1.fifo_element[3].in.a:=1] + 744385 t.fifo_in1.fifo_element[0]._en : 0 [by t.in1.a:=1] + 744410 t.fifo_in1.fifo_element[1]._out_a_B : 0 [by t.fifo_in1.fifo_element[2].in.a:=1] + 744498 t.fifo_in1.fifo_element[1].buf_func._y : 1 [by t.fifo_in1.fifo_element[1]._out_a_B:=0] + 745442 t.fifo_in2.fifo_element[1].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[1].in.r:=0] + 746818 t.fifo_in1.fifo_element[0].buf_func._y : 1 [by t.fifo_in1.fifo_element[0]._en:=0] + 746877 t.fifo_in1.fifo_element[1].in.r : 0 [by t.fifo_in1.fifo_element[0].buf_func._y:=1] + 746907 t.fifo_in1.fifo_element[1].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[1].in.r:=0] + 748374 t.fifo_in1.fifo_element[1].in.a : 0 [by t.fifo_in1.fifo_element[1].inack_ctl._y:=1] + 751710 t.fifo_in1.fifo_element[3]._en : 0 [by t.fifo_in1.fifo_element[3].in.a:=1] + 752280 t.fifo_in1.fifo_element[2].in.r : 0 [by t.fifo_in1.fifo_element[1].buf_func._y:=1] + 753555 t.fifo_in1.fifo_element[2]._en : 0 [by t.fifo_in1.fifo_element[2].in.a:=1] + 754240 t.fifo_in1.fifo_element[2].buf_func._y : 1 [by t.fifo_in1.fifo_element[2]._en:=0] + 754367 t.fifo_in1.fifo_element[3].in.r : 0 [by t.fifo_in1.fifo_element[2].buf_func._y:=1] + 754536 t.fifo_in1.fifo_element[3].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[3].in.r:=0] + 754579 t.fifo_in1.fifo_element[3].in.a : 0 [by t.fifo_in1.fifo_element[3].inack_ctl._y:=1] + 754591 t.fifo_in1.fifo_element[2]._out_a_B : 1 [by t.fifo_in1.fifo_element[3].in.a:=0] + 756364 t.fifo_in2.fifo_element[2].buf_func._y : 0 [by t.fifo_in2.fifo_element[2].in.r:=1] + 757643 t.fifo_in2.fifo_element[3].in.r : 1 [by t.fifo_in2.fifo_element[2].buf_func._y:=0] + 757646 t.fifo_in2.fifo_element[2].inack_ctl._y : 0 [by t.fifo_in2.fifo_element[3].in.r:=1] + 757684 t.fifo_in2.fifo_element[2].in.a : 1 [by t.fifo_in2.fifo_element[2].inack_ctl._y:=0] + 757685 t.fifo_in2.fifo_element[2]._en : 0 [by t.fifo_in2.fifo_element[2].in.a:=1] + 757876 t.fifo_in2.fifo_element[3].buf_func._y : 0 [by t.fifo_in2.fifo_element[3].in.r:=1] + 757968 t._out2.r : 1 [by t.fifo_in2.fifo_element[3].buf_func._y:=0] + 760695 t.fifo_in2.fifo_element[3].inack_ctl._y : 0 [by t._out2.r:=1] + 760697 t.fifo_in2.fifo_element[3].in.a : 1 [by t.fifo_in2.fifo_element[3].inack_ctl._y:=0] + 760698 t.fifo_in2.fifo_element[3]._en : 0 [by t.fifo_in2.fifo_element[3].in.a:=1] + 762198 t.fifo_in2.fifo_element[2]._out_a_B : 0 [by t.fifo_in2.fifo_element[3].in.a:=1] + 762200 t.fifo_in2.fifo_element[2].buf_func._y : 1 [by t.fifo_in2.fifo_element[2]._out_a_B:=0] + 762218 t.fifo_in2.fifo_element[3].in.r : 0 [by t.fifo_in2.fifo_element[2].buf_func._y:=1] + 762337 t.fifo_in2.fifo_element[3].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[3].in.r:=0] + 768057 t.fifo_in2.fifo_element[3].in.a : 0 [by t.fifo_in2.fifo_element[3].inack_ctl._y:=1] + 768065 t.fifo_in2.fifo_element[2]._out_a_B : 1 [by t.fifo_in2.fifo_element[3].in.a:=0] + 770270 t.fifo_in1.fifo_element[2].inack_ctl._y : 1 [by t.fifo_in1.fifo_element[2]._en:=0] + 770324 t.fifo_in1.fifo_element[2].in.a : 0 [by t.fifo_in1.fifo_element[2].inack_ctl._y:=1] + 770329 t.fifo_in1.fifo_element[1]._out_a_B : 1 [by t.fifo_in1.fifo_element[2].in.a:=0] + 770436 t.fifo_in2.fifo_element[1]._out_a_B : 0 [by t.fifo_in2.fifo_element[2].in.a:=1] + 771503 t.fifo_in2.fifo_element[1].buf_func._y : 1 [by t.fifo_in2.fifo_element[1]._out_a_B:=0] + 771504 t.fifo_in2.fifo_element[2].in.r : 0 [by t.fifo_in2.fifo_element[1].buf_func._y:=1] + 771642 t.fifo_in2.fifo_element[2].inack_ctl._y : 1 [by t.fifo_in2.fifo_element[2].in.r:=0] + 771643 t.fifo_in2.fifo_element[2].in.a : 0 [by t.fifo_in2.fifo_element[2].inack_ctl._y:=1] + 771664 t.fifo_in1.fifo_element[1]._en : 1 [by t.fifo_in1.fifo_element[2].in.r:=0] + 771707 t.fifo_in2.fifo_element[2]._en : 1 [by t.fifo_in2.fifo_element[2].in.a:=0] + 771766 t.fifo_in2.fifo_element[1]._out_a_B : 1 [by t.fifo_in2.fifo_element[2].in.a:=0] + 773769 t.fifo_in2.fifo_element[1].in.a : 0 [by t.fifo_in2.fifo_element[1].inack_ctl._y:=1] + 773771 t.fifo_in2.fifo_element[1]._en : 1 [by t.fifo_in2.fifo_element[1].in.a:=0] + 773806 t.fifo_in2.fifo_element[0]._out_a_B : 1 [by t.fifo_in2.fifo_element[1].in.a:=0] + 784352 t.arb._y1_arb : 1 [by t.arb.arbiter._y1:=0] + 784495 t.arb.or_cell._y : 0 [by t.arb._y1_arb:=1] + 784546 t.out.r : 1 [by t.arb.or_cell._y:=0] + 807878 t.fifo_in1.fifo_element[0]._out_a_B : 1 [by t.fifo_in1.fifo_element[1].in.a:=0] + 820862 t.fifo_in1.fifo_element[2]._en : 1 [by t.fifo_in1.fifo_element[2].in.a:=0] +---------------------------------------------------------------------------------------------------- +[4] 3 bit processed by the arbiter + 820862 t.out.a : 1 + 821304 t.arb.ack_cell1._y : 0 [by t.out.a:=1] + 821315 t._out1.a : 1 [by t.arb.ack_cell1._y:=0] + 821316 t.fifo_in1.fifo_element[3]._out_a_B : 0 [by t._out1.a:=1] + 821325 t.fifo_in1.fifo_element[3].buf_func._y : 1 [by t.fifo_in1.fifo_element[3]._out_a_B:=0] + 821350 t._out1.r : 0 [by t.fifo_in1.fifo_element[3].buf_func._y:=1] + 824871 t.fifo_in1.fifo_element[3]._en : 1 [by t._out1.r:=0] + 831603 t.arb.arbiter._y1 : 1 [by t._out1.r:=0] + 831748 t.arb.arbiter._y2 : 0 [by t.arb.arbiter._y1:=1] + 847771 t.arb._y1_arb : 0 [by t.arb.arbiter._y1:=1] + 848001 t.arb.or_cell._y : 1 [by t.arb._y1_arb:=0] + 848692 t.out.r : 0 [by t.arb.or_cell._y:=1] + 848692 t.out.a : 0 + 848706 t.arb.ack_cell1._y : 1 [by t.out.a:=0] + 850249 t._out1.a : 0 [by t.arb.ack_cell1._y:=1] + 851860 t.arb._y2_arb : 1 [by t._out1.a:=0] + 851871 t.arb.or_cell._y : 0 [by t.arb._y2_arb:=1] + 851872 t.out.r : 1 [by t.arb.or_cell._y:=0] + 867761 t.fifo_in1.fifo_element[3]._out_a_B : 1 [by t._out1.a:=0] +---------------------------------------------------------------------------------------------------- +[5] 4 bit processed by the arbiter diff --git a/test/unit_tests/arbiter_handshake_adv/run/test.prs b/test/unit_tests/arbiter_handshake_adv/run/test.prs new file mode 100644 index 0000000..68617a3 --- /dev/null +++ b/test/unit_tests/arbiter_handshake_adv/run/test.prs @@ -0,0 +1,606 @@ += "GND" "GND" += "Vdd" "Vdd" += "Reset" "Reset" +"t.fifo_in2.reset_bufarray.buf1.a"->"t.fifo_in2.reset_bufarray.buf1._y"- +~("t.fifo_in2.reset_bufarray.buf1.a")->"t.fifo_in2.reset_bufarray.buf1._y"+ +"t.fifo_in2.reset_bufarray.buf1._y"->"t.fifo_in2.reset_bufarray.buf1.y"- +~("t.fifo_in2.reset_bufarray.buf1._y")->"t.fifo_in2.reset_bufarray.buf1.y"+ += "t.fifo_in2.reset_bufarray.supply.vdd" "t.fifo_in2.reset_bufarray.buf1.vdd" += "t.fifo_in2.reset_bufarray.supply.vss" "t.fifo_in2.reset_bufarray.buf1.vss" += "t.fifo_in2.reset_bufarray.out[0]" "t.fifo_in2.reset_bufarray.out[3]" += "t.fifo_in2.reset_bufarray.out[0]" "t.fifo_in2.reset_bufarray.out[2]" += "t.fifo_in2.reset_bufarray.out[0]" "t.fifo_in2.reset_bufarray.out[1]" += "t.fifo_in2.reset_bufarray.out[0]" "t.fifo_in2.reset_bufarray.buf1.y" += "t.fifo_in2.reset_bufarray.in" "t.fifo_in2.reset_bufarray.buf1.a" +"t.fifo_in2.reset_buf.a"->"t.fifo_in2.reset_buf._y"- +~("t.fifo_in2.reset_buf.a")->"t.fifo_in2.reset_buf._y"+ +"t.fifo_in2.reset_buf._y"->"t.fifo_in2.reset_buf.y"- +~("t.fifo_in2.reset_buf._y")->"t.fifo_in2.reset_buf.y"+ += "t.fifo_in2.reset_B" "t.fifo_in2.reset_buf.a" += "t.fifo_in2.supply.vss" "t.fifo_in2.fifo_element[3].supply.vss" += "t.fifo_in2.supply.vdd" "t.fifo_in2.fifo_element[3].supply.vdd" += "t.fifo_in2.supply.vss" "t.fifo_in2.fifo_element[2].supply.vss" += "t.fifo_in2.supply.vdd" "t.fifo_in2.fifo_element[2].supply.vdd" += "t.fifo_in2.supply.vss" "t.fifo_in2.fifo_element[1].supply.vss" += "t.fifo_in2.supply.vdd" "t.fifo_in2.fifo_element[1].supply.vdd" += "t.fifo_in2.supply.vss" "t.fifo_in2.fifo_element[0].supply.vss" += "t.fifo_in2.supply.vdd" "t.fifo_in2.fifo_element[0].supply.vdd" += "t.fifo_in2.supply.vdd" "t.fifo_in2.reset_buf.vdd" += "t.fifo_in2.supply.vss" "t.fifo_in2.reset_buf.vss" += "t.fifo_in2._reset_BX" "t.fifo_in2.reset_bufarray.in" += "t.fifo_in2._reset_BX" "t.fifo_in2.reset_buf.y" +"t.fifo_in2.fifo_element[0].reset_buf.a"->"t.fifo_in2.fifo_element[0].reset_buf._y"- +~("t.fifo_in2.fifo_element[0].reset_buf.a")->"t.fifo_in2.fifo_element[0].reset_buf._y"+ +"t.fifo_in2.fifo_element[0].reset_buf._y"->"t.fifo_in2.fifo_element[0].reset_buf.y"- +~("t.fifo_in2.fifo_element[0].reset_buf._y")->"t.fifo_in2.fifo_element[0].reset_buf.y"+ +"t.fifo_in2.fifo_element[0].inv_outa.a"->"t.fifo_in2.fifo_element[0].inv_outa.y"- +~("t.fifo_in2.fifo_element[0].inv_outa.a")->"t.fifo_in2.fifo_element[0].inv_outa.y"+ +~"t.fifo_in2.fifo_element[0].inack_ctl.c1"&~"t.fifo_in2.fifo_element[0].inack_ctl.c2"|~"t.fifo_in2.fifo_element[0].inack_ctl.pr_B"->"t.fifo_in2.fifo_element[0].inack_ctl._y"+ +"t.fifo_in2.fifo_element[0].inack_ctl.c1"&"t.fifo_in2.fifo_element[0].inack_ctl.c2"&"t.fifo_in2.fifo_element[0].inack_ctl.n1"&"t.fifo_in2.fifo_element[0].inack_ctl.sr_B"->"t.fifo_in2.fifo_element[0].inack_ctl._y"- +"t.fifo_in2.fifo_element[0].inack_ctl._y"->"t.fifo_in2.fifo_element[0].inack_ctl.y"- +~("t.fifo_in2.fifo_element[0].inack_ctl._y")->"t.fifo_in2.fifo_element[0].inack_ctl.y"+ +~"t.fifo_in2.fifo_element[0].buf_func.c1"&~"t.fifo_in2.fifo_element[0].buf_func.c2"|~"t.fifo_in2.fifo_element[0].buf_func.pr_B"->"t.fifo_in2.fifo_element[0].buf_func._y"+ +"t.fifo_in2.fifo_element[0].buf_func.c1"&"t.fifo_in2.fifo_element[0].buf_func.c2"&"t.fifo_in2.fifo_element[0].buf_func.n1"&"t.fifo_in2.fifo_element[0].buf_func.sr_B"->"t.fifo_in2.fifo_element[0].buf_func._y"- +"t.fifo_in2.fifo_element[0].buf_func._y"->"t.fifo_in2.fifo_element[0].buf_func.y"- +~("t.fifo_in2.fifo_element[0].buf_func._y")->"t.fifo_in2.fifo_element[0].buf_func.y"+ += "t.fifo_in2.fifo_element[0].reset_B" "t.fifo_in2.fifo_element[0].reset_buf.a" += "t.fifo_in2.fifo_element[0].supply.vdd" "t.fifo_in2.fifo_element[0].reset_buf.vdd" += "t.fifo_in2.fifo_element[0].supply.vdd" "t.fifo_in2.fifo_element[0].buf_func.vdd" += "t.fifo_in2.fifo_element[0].supply.vdd" "t.fifo_in2.fifo_element[0].inv_outa.vdd" += "t.fifo_in2.fifo_element[0].supply.vdd" "t.fifo_in2.fifo_element[0].en_ctl.vdd" += "t.fifo_in2.fifo_element[0].supply.vdd" "t.fifo_in2.fifo_element[0].inack_ctl.vdd" += "t.fifo_in2.fifo_element[0].supply.vss" "t.fifo_in2.fifo_element[0].reset_buf.vss" += "t.fifo_in2.fifo_element[0].supply.vss" "t.fifo_in2.fifo_element[0].buf_func.vss" += "t.fifo_in2.fifo_element[0].supply.vss" "t.fifo_in2.fifo_element[0].inv_outa.vss" += "t.fifo_in2.fifo_element[0].supply.vss" "t.fifo_in2.fifo_element[0].en_ctl.vss" += "t.fifo_in2.fifo_element[0].supply.vss" "t.fifo_in2.fifo_element[0].inack_ctl.vss" += "t.fifo_in2.fifo_element[0]._reset_BX" "t.fifo_in2.fifo_element[0].reset_buf.y" += "t.fifo_in2.fifo_element[0]._reset_BX" "t.fifo_in2.fifo_element[0].buf_func.sr_B" += "t.fifo_in2.fifo_element[0]._reset_BX" "t.fifo_in2.fifo_element[0].buf_func.pr_B" += "t.fifo_in2.fifo_element[0]._reset_BX" "t.fifo_in2.fifo_element[0].inack_ctl.sr_B" += "t.fifo_in2.fifo_element[0]._reset_BX" "t.fifo_in2.fifo_element[0].inack_ctl.pr_B" += "t.fifo_in2.fifo_element[0]._en" "t.fifo_in2.fifo_element[0].buf_func.c1" += "t.fifo_in2.fifo_element[0]._en" "t.fifo_in2.fifo_element[0].en_ctl.y" += "t.fifo_in2.fifo_element[0]._en" "t.fifo_in2.fifo_element[0].inack_ctl.c1" +~"t.fifo_in2.fifo_element[0].en_ctl.p1"&~"t.fifo_in2.fifo_element[0].en_ctl.c1"->"t.fifo_in2.fifo_element[0].en_ctl.y"+ +"t.fifo_in2.fifo_element[0].en_ctl.c1"->"t.fifo_in2.fifo_element[0].en_ctl.y"- += "t.fifo_in2.fifo_element[0]._out_a_B" "t.fifo_in2.fifo_element[0].buf_func.c2" += "t.fifo_in2.fifo_element[0]._out_a_B" "t.fifo_in2.fifo_element[0].inv_outa.y" += "t.fifo_in2.fifo_element[0].in.d.d[0]" "t.fifo_in2.fifo_element[0].in.r" += "t.fifo_in2.fifo_element[0].in.a" "t.fifo_in2.fifo_element[0].en_ctl.c1" += "t.fifo_in2.fifo_element[0].in.a" "t.fifo_in2.fifo_element[0].inack_ctl.y" += "t.fifo_in2.fifo_element[0].in.d.d[0]" "t.fifo_in2.fifo_element[0].buf_func.n1" += "t.fifo_in2.fifo_element[0].in.d.d[0]" "t.fifo_in2.fifo_element[0].inack_ctl.c2" += "t.fifo_in2.fifo_element[0].in.d.d[0]" "t.fifo_in2.fifo_element[0].in.r" += "t.fifo_in2.fifo_element[0].out.d.d[0]" "t.fifo_in2.fifo_element[0].out.r" += "t.fifo_in2.fifo_element[0].out.a" "t.fifo_in2.fifo_element[0].inv_outa.a" += "t.fifo_in2.fifo_element[0].out.d.d[0]" "t.fifo_in2.fifo_element[0].buf_func.y" += "t.fifo_in2.fifo_element[0].out.d.d[0]" "t.fifo_in2.fifo_element[0].en_ctl.p1" += "t.fifo_in2.fifo_element[0].out.d.d[0]" "t.fifo_in2.fifo_element[0].inack_ctl.n1" += "t.fifo_in2.fifo_element[0].out.d.d[0]" "t.fifo_in2.fifo_element[0].out.r" +"t.fifo_in2.fifo_element[1].reset_buf.a"->"t.fifo_in2.fifo_element[1].reset_buf._y"- +~("t.fifo_in2.fifo_element[1].reset_buf.a")->"t.fifo_in2.fifo_element[1].reset_buf._y"+ +"t.fifo_in2.fifo_element[1].reset_buf._y"->"t.fifo_in2.fifo_element[1].reset_buf.y"- +~("t.fifo_in2.fifo_element[1].reset_buf._y")->"t.fifo_in2.fifo_element[1].reset_buf.y"+ +"t.fifo_in2.fifo_element[1].inv_outa.a"->"t.fifo_in2.fifo_element[1].inv_outa.y"- +~("t.fifo_in2.fifo_element[1].inv_outa.a")->"t.fifo_in2.fifo_element[1].inv_outa.y"+ +~"t.fifo_in2.fifo_element[1].inack_ctl.c1"&~"t.fifo_in2.fifo_element[1].inack_ctl.c2"|~"t.fifo_in2.fifo_element[1].inack_ctl.pr_B"->"t.fifo_in2.fifo_element[1].inack_ctl._y"+ +"t.fifo_in2.fifo_element[1].inack_ctl.c1"&"t.fifo_in2.fifo_element[1].inack_ctl.c2"&"t.fifo_in2.fifo_element[1].inack_ctl.n1"&"t.fifo_in2.fifo_element[1].inack_ctl.sr_B"->"t.fifo_in2.fifo_element[1].inack_ctl._y"- +"t.fifo_in2.fifo_element[1].inack_ctl._y"->"t.fifo_in2.fifo_element[1].inack_ctl.y"- +~("t.fifo_in2.fifo_element[1].inack_ctl._y")->"t.fifo_in2.fifo_element[1].inack_ctl.y"+ +~"t.fifo_in2.fifo_element[1].buf_func.c1"&~"t.fifo_in2.fifo_element[1].buf_func.c2"|~"t.fifo_in2.fifo_element[1].buf_func.pr_B"->"t.fifo_in2.fifo_element[1].buf_func._y"+ +"t.fifo_in2.fifo_element[1].buf_func.c1"&"t.fifo_in2.fifo_element[1].buf_func.c2"&"t.fifo_in2.fifo_element[1].buf_func.n1"&"t.fifo_in2.fifo_element[1].buf_func.sr_B"->"t.fifo_in2.fifo_element[1].buf_func._y"- +"t.fifo_in2.fifo_element[1].buf_func._y"->"t.fifo_in2.fifo_element[1].buf_func.y"- +~("t.fifo_in2.fifo_element[1].buf_func._y")->"t.fifo_in2.fifo_element[1].buf_func.y"+ += "t.fifo_in2.fifo_element[1].reset_B" "t.fifo_in2.fifo_element[1].reset_buf.a" += "t.fifo_in2.fifo_element[1].supply.vdd" "t.fifo_in2.fifo_element[1].reset_buf.vdd" += "t.fifo_in2.fifo_element[1].supply.vdd" "t.fifo_in2.fifo_element[1].buf_func.vdd" += "t.fifo_in2.fifo_element[1].supply.vdd" "t.fifo_in2.fifo_element[1].inv_outa.vdd" += "t.fifo_in2.fifo_element[1].supply.vdd" "t.fifo_in2.fifo_element[1].en_ctl.vdd" += "t.fifo_in2.fifo_element[1].supply.vdd" "t.fifo_in2.fifo_element[1].inack_ctl.vdd" += "t.fifo_in2.fifo_element[1].supply.vss" "t.fifo_in2.fifo_element[1].reset_buf.vss" += "t.fifo_in2.fifo_element[1].supply.vss" "t.fifo_in2.fifo_element[1].buf_func.vss" += "t.fifo_in2.fifo_element[1].supply.vss" "t.fifo_in2.fifo_element[1].inv_outa.vss" += "t.fifo_in2.fifo_element[1].supply.vss" "t.fifo_in2.fifo_element[1].en_ctl.vss" += "t.fifo_in2.fifo_element[1].supply.vss" "t.fifo_in2.fifo_element[1].inack_ctl.vss" += "t.fifo_in2.fifo_element[1]._reset_BX" "t.fifo_in2.fifo_element[1].reset_buf.y" += "t.fifo_in2.fifo_element[1]._reset_BX" "t.fifo_in2.fifo_element[1].buf_func.sr_B" += "t.fifo_in2.fifo_element[1]._reset_BX" "t.fifo_in2.fifo_element[1].buf_func.pr_B" += "t.fifo_in2.fifo_element[1]._reset_BX" "t.fifo_in2.fifo_element[1].inack_ctl.sr_B" += "t.fifo_in2.fifo_element[1]._reset_BX" "t.fifo_in2.fifo_element[1].inack_ctl.pr_B" += "t.fifo_in2.fifo_element[1]._en" "t.fifo_in2.fifo_element[1].buf_func.c1" += "t.fifo_in2.fifo_element[1]._en" "t.fifo_in2.fifo_element[1].en_ctl.y" += "t.fifo_in2.fifo_element[1]._en" "t.fifo_in2.fifo_element[1].inack_ctl.c1" +~"t.fifo_in2.fifo_element[1].en_ctl.p1"&~"t.fifo_in2.fifo_element[1].en_ctl.c1"->"t.fifo_in2.fifo_element[1].en_ctl.y"+ +"t.fifo_in2.fifo_element[1].en_ctl.c1"->"t.fifo_in2.fifo_element[1].en_ctl.y"- += "t.fifo_in2.fifo_element[1]._out_a_B" "t.fifo_in2.fifo_element[1].buf_func.c2" += "t.fifo_in2.fifo_element[1]._out_a_B" "t.fifo_in2.fifo_element[1].inv_outa.y" += "t.fifo_in2.fifo_element[1].in.d.d[0]" "t.fifo_in2.fifo_element[1].in.r" += "t.fifo_in2.fifo_element[1].in.a" "t.fifo_in2.fifo_element[1].en_ctl.c1" += "t.fifo_in2.fifo_element[1].in.a" "t.fifo_in2.fifo_element[1].inack_ctl.y" += "t.fifo_in2.fifo_element[1].in.d.d[0]" "t.fifo_in2.fifo_element[1].buf_func.n1" += "t.fifo_in2.fifo_element[1].in.d.d[0]" "t.fifo_in2.fifo_element[1].inack_ctl.c2" += "t.fifo_in2.fifo_element[1].in.d.d[0]" "t.fifo_in2.fifo_element[1].in.r" += "t.fifo_in2.fifo_element[1].out.d.d[0]" "t.fifo_in2.fifo_element[1].out.r" += "t.fifo_in2.fifo_element[1].out.a" "t.fifo_in2.fifo_element[1].inv_outa.a" += "t.fifo_in2.fifo_element[1].out.d.d[0]" "t.fifo_in2.fifo_element[1].buf_func.y" += "t.fifo_in2.fifo_element[1].out.d.d[0]" "t.fifo_in2.fifo_element[1].en_ctl.p1" += "t.fifo_in2.fifo_element[1].out.d.d[0]" "t.fifo_in2.fifo_element[1].inack_ctl.n1" += "t.fifo_in2.fifo_element[1].out.d.d[0]" "t.fifo_in2.fifo_element[1].out.r" +"t.fifo_in2.fifo_element[2].reset_buf.a"->"t.fifo_in2.fifo_element[2].reset_buf._y"- +~("t.fifo_in2.fifo_element[2].reset_buf.a")->"t.fifo_in2.fifo_element[2].reset_buf._y"+ +"t.fifo_in2.fifo_element[2].reset_buf._y"->"t.fifo_in2.fifo_element[2].reset_buf.y"- +~("t.fifo_in2.fifo_element[2].reset_buf._y")->"t.fifo_in2.fifo_element[2].reset_buf.y"+ +"t.fifo_in2.fifo_element[2].inv_outa.a"->"t.fifo_in2.fifo_element[2].inv_outa.y"- +~("t.fifo_in2.fifo_element[2].inv_outa.a")->"t.fifo_in2.fifo_element[2].inv_outa.y"+ +~"t.fifo_in2.fifo_element[2].inack_ctl.c1"&~"t.fifo_in2.fifo_element[2].inack_ctl.c2"|~"t.fifo_in2.fifo_element[2].inack_ctl.pr_B"->"t.fifo_in2.fifo_element[2].inack_ctl._y"+ +"t.fifo_in2.fifo_element[2].inack_ctl.c1"&"t.fifo_in2.fifo_element[2].inack_ctl.c2"&"t.fifo_in2.fifo_element[2].inack_ctl.n1"&"t.fifo_in2.fifo_element[2].inack_ctl.sr_B"->"t.fifo_in2.fifo_element[2].inack_ctl._y"- +"t.fifo_in2.fifo_element[2].inack_ctl._y"->"t.fifo_in2.fifo_element[2].inack_ctl.y"- +~("t.fifo_in2.fifo_element[2].inack_ctl._y")->"t.fifo_in2.fifo_element[2].inack_ctl.y"+ +~"t.fifo_in2.fifo_element[2].buf_func.c1"&~"t.fifo_in2.fifo_element[2].buf_func.c2"|~"t.fifo_in2.fifo_element[2].buf_func.pr_B"->"t.fifo_in2.fifo_element[2].buf_func._y"+ +"t.fifo_in2.fifo_element[2].buf_func.c1"&"t.fifo_in2.fifo_element[2].buf_func.c2"&"t.fifo_in2.fifo_element[2].buf_func.n1"&"t.fifo_in2.fifo_element[2].buf_func.sr_B"->"t.fifo_in2.fifo_element[2].buf_func._y"- +"t.fifo_in2.fifo_element[2].buf_func._y"->"t.fifo_in2.fifo_element[2].buf_func.y"- +~("t.fifo_in2.fifo_element[2].buf_func._y")->"t.fifo_in2.fifo_element[2].buf_func.y"+ += "t.fifo_in2.fifo_element[2].reset_B" "t.fifo_in2.fifo_element[2].reset_buf.a" += "t.fifo_in2.fifo_element[2].supply.vdd" "t.fifo_in2.fifo_element[2].reset_buf.vdd" += "t.fifo_in2.fifo_element[2].supply.vdd" "t.fifo_in2.fifo_element[2].buf_func.vdd" += "t.fifo_in2.fifo_element[2].supply.vdd" "t.fifo_in2.fifo_element[2].inv_outa.vdd" += "t.fifo_in2.fifo_element[2].supply.vdd" "t.fifo_in2.fifo_element[2].en_ctl.vdd" += "t.fifo_in2.fifo_element[2].supply.vdd" "t.fifo_in2.fifo_element[2].inack_ctl.vdd" += "t.fifo_in2.fifo_element[2].supply.vss" "t.fifo_in2.fifo_element[2].reset_buf.vss" += "t.fifo_in2.fifo_element[2].supply.vss" "t.fifo_in2.fifo_element[2].buf_func.vss" += "t.fifo_in2.fifo_element[2].supply.vss" "t.fifo_in2.fifo_element[2].inv_outa.vss" += "t.fifo_in2.fifo_element[2].supply.vss" "t.fifo_in2.fifo_element[2].en_ctl.vss" += "t.fifo_in2.fifo_element[2].supply.vss" "t.fifo_in2.fifo_element[2].inack_ctl.vss" += "t.fifo_in2.fifo_element[2]._reset_BX" "t.fifo_in2.fifo_element[2].reset_buf.y" += "t.fifo_in2.fifo_element[2]._reset_BX" "t.fifo_in2.fifo_element[2].buf_func.sr_B" += "t.fifo_in2.fifo_element[2]._reset_BX" "t.fifo_in2.fifo_element[2].buf_func.pr_B" += "t.fifo_in2.fifo_element[2]._reset_BX" "t.fifo_in2.fifo_element[2].inack_ctl.sr_B" += "t.fifo_in2.fifo_element[2]._reset_BX" "t.fifo_in2.fifo_element[2].inack_ctl.pr_B" += "t.fifo_in2.fifo_element[2]._en" "t.fifo_in2.fifo_element[2].buf_func.c1" += "t.fifo_in2.fifo_element[2]._en" "t.fifo_in2.fifo_element[2].en_ctl.y" += "t.fifo_in2.fifo_element[2]._en" "t.fifo_in2.fifo_element[2].inack_ctl.c1" +~"t.fifo_in2.fifo_element[2].en_ctl.p1"&~"t.fifo_in2.fifo_element[2].en_ctl.c1"->"t.fifo_in2.fifo_element[2].en_ctl.y"+ +"t.fifo_in2.fifo_element[2].en_ctl.c1"->"t.fifo_in2.fifo_element[2].en_ctl.y"- += "t.fifo_in2.fifo_element[2]._out_a_B" "t.fifo_in2.fifo_element[2].buf_func.c2" += "t.fifo_in2.fifo_element[2]._out_a_B" "t.fifo_in2.fifo_element[2].inv_outa.y" += "t.fifo_in2.fifo_element[2].in.d.d[0]" "t.fifo_in2.fifo_element[2].in.r" += "t.fifo_in2.fifo_element[2].in.a" "t.fifo_in2.fifo_element[2].en_ctl.c1" += "t.fifo_in2.fifo_element[2].in.a" "t.fifo_in2.fifo_element[2].inack_ctl.y" += "t.fifo_in2.fifo_element[2].in.d.d[0]" "t.fifo_in2.fifo_element[2].buf_func.n1" += "t.fifo_in2.fifo_element[2].in.d.d[0]" "t.fifo_in2.fifo_element[2].inack_ctl.c2" += "t.fifo_in2.fifo_element[2].in.d.d[0]" "t.fifo_in2.fifo_element[2].in.r" += "t.fifo_in2.fifo_element[2].out.d.d[0]" "t.fifo_in2.fifo_element[2].out.r" += "t.fifo_in2.fifo_element[2].out.a" "t.fifo_in2.fifo_element[2].inv_outa.a" += "t.fifo_in2.fifo_element[2].out.d.d[0]" "t.fifo_in2.fifo_element[2].buf_func.y" += "t.fifo_in2.fifo_element[2].out.d.d[0]" "t.fifo_in2.fifo_element[2].en_ctl.p1" += "t.fifo_in2.fifo_element[2].out.d.d[0]" "t.fifo_in2.fifo_element[2].inack_ctl.n1" += "t.fifo_in2.fifo_element[2].out.d.d[0]" "t.fifo_in2.fifo_element[2].out.r" +"t.fifo_in2.fifo_element[3].reset_buf.a"->"t.fifo_in2.fifo_element[3].reset_buf._y"- +~("t.fifo_in2.fifo_element[3].reset_buf.a")->"t.fifo_in2.fifo_element[3].reset_buf._y"+ +"t.fifo_in2.fifo_element[3].reset_buf._y"->"t.fifo_in2.fifo_element[3].reset_buf.y"- +~("t.fifo_in2.fifo_element[3].reset_buf._y")->"t.fifo_in2.fifo_element[3].reset_buf.y"+ +"t.fifo_in2.fifo_element[3].inv_outa.a"->"t.fifo_in2.fifo_element[3].inv_outa.y"- +~("t.fifo_in2.fifo_element[3].inv_outa.a")->"t.fifo_in2.fifo_element[3].inv_outa.y"+ +~"t.fifo_in2.fifo_element[3].inack_ctl.c1"&~"t.fifo_in2.fifo_element[3].inack_ctl.c2"|~"t.fifo_in2.fifo_element[3].inack_ctl.pr_B"->"t.fifo_in2.fifo_element[3].inack_ctl._y"+ +"t.fifo_in2.fifo_element[3].inack_ctl.c1"&"t.fifo_in2.fifo_element[3].inack_ctl.c2"&"t.fifo_in2.fifo_element[3].inack_ctl.n1"&"t.fifo_in2.fifo_element[3].inack_ctl.sr_B"->"t.fifo_in2.fifo_element[3].inack_ctl._y"- +"t.fifo_in2.fifo_element[3].inack_ctl._y"->"t.fifo_in2.fifo_element[3].inack_ctl.y"- +~("t.fifo_in2.fifo_element[3].inack_ctl._y")->"t.fifo_in2.fifo_element[3].inack_ctl.y"+ +~"t.fifo_in2.fifo_element[3].buf_func.c1"&~"t.fifo_in2.fifo_element[3].buf_func.c2"|~"t.fifo_in2.fifo_element[3].buf_func.pr_B"->"t.fifo_in2.fifo_element[3].buf_func._y"+ +"t.fifo_in2.fifo_element[3].buf_func.c1"&"t.fifo_in2.fifo_element[3].buf_func.c2"&"t.fifo_in2.fifo_element[3].buf_func.n1"&"t.fifo_in2.fifo_element[3].buf_func.sr_B"->"t.fifo_in2.fifo_element[3].buf_func._y"- +"t.fifo_in2.fifo_element[3].buf_func._y"->"t.fifo_in2.fifo_element[3].buf_func.y"- +~("t.fifo_in2.fifo_element[3].buf_func._y")->"t.fifo_in2.fifo_element[3].buf_func.y"+ += "t.fifo_in2.fifo_element[3].reset_B" "t.fifo_in2.fifo_element[3].reset_buf.a" += "t.fifo_in2.fifo_element[3].supply.vdd" "t.fifo_in2.fifo_element[3].reset_buf.vdd" += "t.fifo_in2.fifo_element[3].supply.vdd" "t.fifo_in2.fifo_element[3].buf_func.vdd" += "t.fifo_in2.fifo_element[3].supply.vdd" "t.fifo_in2.fifo_element[3].inv_outa.vdd" += "t.fifo_in2.fifo_element[3].supply.vdd" "t.fifo_in2.fifo_element[3].en_ctl.vdd" += "t.fifo_in2.fifo_element[3].supply.vdd" "t.fifo_in2.fifo_element[3].inack_ctl.vdd" += "t.fifo_in2.fifo_element[3].supply.vss" "t.fifo_in2.fifo_element[3].reset_buf.vss" += "t.fifo_in2.fifo_element[3].supply.vss" "t.fifo_in2.fifo_element[3].buf_func.vss" += "t.fifo_in2.fifo_element[3].supply.vss" "t.fifo_in2.fifo_element[3].inv_outa.vss" += "t.fifo_in2.fifo_element[3].supply.vss" "t.fifo_in2.fifo_element[3].en_ctl.vss" += "t.fifo_in2.fifo_element[3].supply.vss" "t.fifo_in2.fifo_element[3].inack_ctl.vss" += "t.fifo_in2.fifo_element[3]._reset_BX" "t.fifo_in2.fifo_element[3].reset_buf.y" += "t.fifo_in2.fifo_element[3]._reset_BX" "t.fifo_in2.fifo_element[3].buf_func.sr_B" += "t.fifo_in2.fifo_element[3]._reset_BX" "t.fifo_in2.fifo_element[3].buf_func.pr_B" += "t.fifo_in2.fifo_element[3]._reset_BX" "t.fifo_in2.fifo_element[3].inack_ctl.sr_B" += "t.fifo_in2.fifo_element[3]._reset_BX" "t.fifo_in2.fifo_element[3].inack_ctl.pr_B" += "t.fifo_in2.fifo_element[3]._en" "t.fifo_in2.fifo_element[3].buf_func.c1" += "t.fifo_in2.fifo_element[3]._en" "t.fifo_in2.fifo_element[3].en_ctl.y" += "t.fifo_in2.fifo_element[3]._en" "t.fifo_in2.fifo_element[3].inack_ctl.c1" +~"t.fifo_in2.fifo_element[3].en_ctl.p1"&~"t.fifo_in2.fifo_element[3].en_ctl.c1"->"t.fifo_in2.fifo_element[3].en_ctl.y"+ +"t.fifo_in2.fifo_element[3].en_ctl.c1"->"t.fifo_in2.fifo_element[3].en_ctl.y"- += "t.fifo_in2.fifo_element[3]._out_a_B" "t.fifo_in2.fifo_element[3].buf_func.c2" += "t.fifo_in2.fifo_element[3]._out_a_B" "t.fifo_in2.fifo_element[3].inv_outa.y" += "t.fifo_in2.fifo_element[3].in.d.d[0]" "t.fifo_in2.fifo_element[3].in.r" += "t.fifo_in2.fifo_element[3].in.a" "t.fifo_in2.fifo_element[3].en_ctl.c1" += "t.fifo_in2.fifo_element[3].in.a" "t.fifo_in2.fifo_element[3].inack_ctl.y" += "t.fifo_in2.fifo_element[3].in.d.d[0]" "t.fifo_in2.fifo_element[3].buf_func.n1" += "t.fifo_in2.fifo_element[3].in.d.d[0]" "t.fifo_in2.fifo_element[3].inack_ctl.c2" += "t.fifo_in2.fifo_element[3].in.d.d[0]" "t.fifo_in2.fifo_element[3].in.r" += "t.fifo_in2.fifo_element[3].out.d.d[0]" "t.fifo_in2.fifo_element[3].out.r" += "t.fifo_in2.fifo_element[3].out.a" "t.fifo_in2.fifo_element[3].inv_outa.a" += "t.fifo_in2.fifo_element[3].out.d.d[0]" "t.fifo_in2.fifo_element[3].buf_func.y" += "t.fifo_in2.fifo_element[3].out.d.d[0]" "t.fifo_in2.fifo_element[3].en_ctl.p1" += "t.fifo_in2.fifo_element[3].out.d.d[0]" "t.fifo_in2.fifo_element[3].inack_ctl.n1" += "t.fifo_in2.fifo_element[3].out.d.d[0]" "t.fifo_in2.fifo_element[3].out.r" += "t.fifo_in2.fifo_element[3].in.a" "t.fifo_in2.fifo_element[2].out.a" += "t.fifo_in2.fifo_element[3].in.d.d[0]" "t.fifo_in2.fifo_element[2].out.r" += "t.fifo_in2.fifo_element[3].in.d.d[0]" "t.fifo_in2.fifo_element[2].out.d.d[0]" += "t.fifo_in2.fifo_element[3].in.d.d[0]" "t.fifo_in2.fifo_element[3].in.r" += "t.fifo_in2.fifo_element[2].in.a" "t.fifo_in2.fifo_element[1].out.a" += "t.fifo_in2.fifo_element[2].in.d.d[0]" "t.fifo_in2.fifo_element[1].out.r" += "t.fifo_in2.fifo_element[2].in.d.d[0]" "t.fifo_in2.fifo_element[1].out.d.d[0]" += "t.fifo_in2.fifo_element[2].in.d.d[0]" "t.fifo_in2.fifo_element[2].in.r" += "t.fifo_in2.fifo_element[1].in.a" "t.fifo_in2.fifo_element[0].out.a" += "t.fifo_in2.fifo_element[1].in.d.d[0]" "t.fifo_in2.fifo_element[0].out.r" += "t.fifo_in2.fifo_element[1].in.d.d[0]" "t.fifo_in2.fifo_element[0].out.d.d[0]" += "t.fifo_in2.fifo_element[1].in.d.d[0]" "t.fifo_in2.fifo_element[1].in.r" += "t.fifo_in2._reset_BXX[0]" "t.fifo_in2.reset_bufarray.out[0]" += "t.fifo_in2._reset_BXX[1]" "t.fifo_in2.reset_bufarray.out[1]" += "t.fifo_in2._reset_BXX[2]" "t.fifo_in2.reset_bufarray.out[2]" += "t.fifo_in2._reset_BXX[3]" "t.fifo_in2.reset_bufarray.out[3]" += "t.fifo_in2._reset_BXX[3]" "t.fifo_in2.fifo_element[2].reset_B" += "t.fifo_in2._reset_BXX[3]" "t.fifo_in2._reset_BXX[2]" += "t.fifo_in2._reset_BXX[3]" "t.fifo_in2.fifo_element[1].reset_B" += "t.fifo_in2._reset_BXX[3]" "t.fifo_in2._reset_BXX[1]" += "t.fifo_in2._reset_BXX[3]" "t.fifo_in2.fifo_element[0].reset_B" += "t.fifo_in2._reset_BXX[3]" "t.fifo_in2._reset_BXX[0]" += "t.fifo_in2._reset_BXX[3]" "t.fifo_in2.fifo_element[3].reset_B" += "t.fifo_in2.in.d.d[0]" "t.fifo_in2.in.r" += "t.fifo_in2.in.a" "t.fifo_in2.fifo_element[0].in.a" += "t.fifo_in2.in.d.d[0]" "t.fifo_in2.fifo_element[0].in.r" += "t.fifo_in2.in.d.d[0]" "t.fifo_in2.fifo_element[0].in.d.d[0]" += "t.fifo_in2.in.d.d[0]" "t.fifo_in2.in.r" += "t.fifo_in2.out.d.d[0]" "t.fifo_in2.out.r" += "t.fifo_in2.out.a" "t.fifo_in2.fifo_element[3].out.a" += "t.fifo_in2.out.d.d[0]" "t.fifo_in2.fifo_element[3].out.r" += "t.fifo_in2.out.d.d[0]" "t.fifo_in2.fifo_element[3].out.d.d[0]" += "t.fifo_in2.out.d.d[0]" "t.fifo_in2.out.r" += "Reset" "t.fifo_in2.reset_B" += "Vdd" "t.fifo_in2.supply.vdd" += "GND" "t.fifo_in2.supply.vss" += "t._out2.d.d[0]" "t._out2.r" += "t._out2.r" "t.arb.in2.r" += "t._out2.a" "t.arb.in2.a" += "t._out2.d.d[0]" "t.arb.in2.d.d[0]" += "t._out2.r" "t.fifo_in2.out.r" += "t._out2.a" "t.fifo_in2.out.a" += "t._out2.d.d[0]" "t.fifo_in2.out.d.d[0]" += "t._out2.d.d[0]" "t._out2.r" += "t._out1.d.d[0]" "t._out1.r" += "t._out1.r" "t.arb.in1.r" += "t._out1.a" "t.arb.in1.a" += "t._out1.d.d[0]" "t.arb.in1.d.d[0]" += "t._out1.r" "t.fifo_in1.out.r" += "t._out1.a" "t.fifo_in1.out.a" += "t._out1.d.d[0]" "t.fifo_in1.out.d.d[0]" += "t._out1.d.d[0]" "t._out1.r" += "t.in1.d.d[0]" "t.in1.r" += "t.in1.r" "t.fifo_in1.in.r" += "t.in1.a" "t.fifo_in1.in.a" += "t.in1.d.d[0]" "t.fifo_in1.in.d.d[0]" += "t.in1.d.d[0]" "t.in1.r" += "t.arb.in1.d.d[0]" "t.arb.in1.r" += "t.arb.in1.a" "t.arb.arbiter.d" += "t.arb.in1.a" "t.arb.ack_cell1.y" += "t.arb.in1.d.d[0]" "t.arb.arbiter.a" += "t.arb.in1.d.d[0]" "t.arb.in1.r" +~"t.arb.ack_cell1.c1"&~"t.arb.ack_cell1.c2"->"t.arb.ack_cell1._y"+ +"t.arb.ack_cell1.c1"&"t.arb.ack_cell1.c2"->"t.arb.ack_cell1._y"- +"t.arb.ack_cell1._y"->"t.arb.ack_cell1.y"- +~("t.arb.ack_cell1._y")->"t.arb.ack_cell1.y"+ += "t.arb.in2.d.d[0]" "t.arb.in2.r" += "t.arb.in2.a" "t.arb.arbiter.c" += "t.arb.in2.a" "t.arb.ack_cell2.y" += "t.arb.in2.d.d[0]" "t.arb.arbiter.b" += "t.arb.in2.d.d[0]" "t.arb.in2.r" += "t.arb.supply.vdd" "t.arb.arbiter.vdd" += "t.arb.supply.vdd" "t.arb.or_cell.vdd" += "t.arb.supply.vdd" "t.arb.ack_cell2.vdd" += "t.arb.supply.vdd" "t.arb.ack_cell1.vdd" += "t.arb.supply.vss" "t.arb.arbiter.vss" += "t.arb.supply.vss" "t.arb.or_cell.vss" += "t.arb.supply.vss" "t.arb.ack_cell2.vss" += "t.arb.supply.vss" "t.arb.ack_cell1.vss" +"t.arb.arbiter.a"&"t.arb.arbiter._y2"->"t.arb.arbiter._y1"- +~"t.arb.arbiter.a"|~"t.arb.arbiter._y2"->"t.arb.arbiter._y1"+ +"t.arb.arbiter.b"&"t.arb.arbiter._y1"->"t.arb.arbiter._y2"- +~"t.arb.arbiter.b"|~"t.arb.arbiter._y1"->"t.arb.arbiter._y2"+ +"t.arb.arbiter._y1"|"t.arb.arbiter.c"->"t.arb.arbiter.y1"- +~("t.arb.arbiter._y1"|"t.arb.arbiter.c")->"t.arb.arbiter.y1"+ +"t.arb.arbiter._y2"|"t.arb.arbiter.d"->"t.arb.arbiter.y2"- +~("t.arb.arbiter._y2"|"t.arb.arbiter.d")->"t.arb.arbiter.y2"+ +mk_excllo("t.arb.arbiter._y1","t.arb.arbiter._y2") += "t.arb._y1_arb" "t.arb.arbiter.y1" += "t.arb._y1_arb" "t.arb.or_cell.a" += "t.arb._y1_arb" "t.arb.ack_cell1.c2" +~"t.arb.ack_cell2.c1"&~"t.arb.ack_cell2.c2"->"t.arb.ack_cell2._y"+ +"t.arb.ack_cell2.c1"&"t.arb.ack_cell2.c2"->"t.arb.ack_cell2._y"- +"t.arb.ack_cell2._y"->"t.arb.ack_cell2.y"- +~("t.arb.ack_cell2._y")->"t.arb.ack_cell2.y"+ +"t.arb.or_cell.a"|"t.arb.or_cell.b"->"t.arb.or_cell._y"- +~("t.arb.or_cell.a"|"t.arb.or_cell.b")->"t.arb.or_cell._y"+ +"t.arb.or_cell._y"->"t.arb.or_cell.y"- +~("t.arb.or_cell._y")->"t.arb.or_cell.y"+ += "t.arb.out.d.d[0]" "t.arb.out.r" += "t.arb.out.a" "t.arb.ack_cell2.c1" += "t.arb.out.a" "t.arb.ack_cell1.c1" += "t.arb.out.d.d[0]" "t.arb.or_cell.y" += "t.arb.out.d.d[0]" "t.arb.out.r" += "t.arb._y2_arb" "t.arb.arbiter.y2" += "t.arb._y2_arb" "t.arb.or_cell.b" += "t.arb._y2_arb" "t.arb.ack_cell2.c2" += "Vdd" "t.arb.supply.vdd" += "GND" "t.arb.supply.vss" +"t.fifo_in1.reset_bufarray.buf1.a"->"t.fifo_in1.reset_bufarray.buf1._y"- +~("t.fifo_in1.reset_bufarray.buf1.a")->"t.fifo_in1.reset_bufarray.buf1._y"+ +"t.fifo_in1.reset_bufarray.buf1._y"->"t.fifo_in1.reset_bufarray.buf1.y"- +~("t.fifo_in1.reset_bufarray.buf1._y")->"t.fifo_in1.reset_bufarray.buf1.y"+ += "t.fifo_in1.reset_bufarray.supply.vdd" "t.fifo_in1.reset_bufarray.buf1.vdd" += "t.fifo_in1.reset_bufarray.supply.vss" "t.fifo_in1.reset_bufarray.buf1.vss" += "t.fifo_in1.reset_bufarray.out[0]" "t.fifo_in1.reset_bufarray.out[3]" += "t.fifo_in1.reset_bufarray.out[0]" "t.fifo_in1.reset_bufarray.out[2]" += "t.fifo_in1.reset_bufarray.out[0]" "t.fifo_in1.reset_bufarray.out[1]" += "t.fifo_in1.reset_bufarray.out[0]" "t.fifo_in1.reset_bufarray.buf1.y" += "t.fifo_in1.reset_bufarray.in" "t.fifo_in1.reset_bufarray.buf1.a" +"t.fifo_in1.reset_buf.a"->"t.fifo_in1.reset_buf._y"- +~("t.fifo_in1.reset_buf.a")->"t.fifo_in1.reset_buf._y"+ +"t.fifo_in1.reset_buf._y"->"t.fifo_in1.reset_buf.y"- +~("t.fifo_in1.reset_buf._y")->"t.fifo_in1.reset_buf.y"+ += "t.fifo_in1.reset_B" "t.fifo_in1.reset_buf.a" += "t.fifo_in1.supply.vss" "t.fifo_in1.fifo_element[3].supply.vss" += "t.fifo_in1.supply.vdd" "t.fifo_in1.fifo_element[3].supply.vdd" += "t.fifo_in1.supply.vss" "t.fifo_in1.fifo_element[2].supply.vss" += "t.fifo_in1.supply.vdd" "t.fifo_in1.fifo_element[2].supply.vdd" += "t.fifo_in1.supply.vss" "t.fifo_in1.fifo_element[1].supply.vss" += "t.fifo_in1.supply.vdd" "t.fifo_in1.fifo_element[1].supply.vdd" += "t.fifo_in1.supply.vss" "t.fifo_in1.fifo_element[0].supply.vss" += "t.fifo_in1.supply.vdd" "t.fifo_in1.fifo_element[0].supply.vdd" += "t.fifo_in1.supply.vdd" "t.fifo_in1.reset_buf.vdd" += "t.fifo_in1.supply.vss" "t.fifo_in1.reset_buf.vss" += "t.fifo_in1._reset_BX" "t.fifo_in1.reset_bufarray.in" += "t.fifo_in1._reset_BX" "t.fifo_in1.reset_buf.y" +"t.fifo_in1.fifo_element[0].reset_buf.a"->"t.fifo_in1.fifo_element[0].reset_buf._y"- +~("t.fifo_in1.fifo_element[0].reset_buf.a")->"t.fifo_in1.fifo_element[0].reset_buf._y"+ +"t.fifo_in1.fifo_element[0].reset_buf._y"->"t.fifo_in1.fifo_element[0].reset_buf.y"- +~("t.fifo_in1.fifo_element[0].reset_buf._y")->"t.fifo_in1.fifo_element[0].reset_buf.y"+ +"t.fifo_in1.fifo_element[0].inv_outa.a"->"t.fifo_in1.fifo_element[0].inv_outa.y"- +~("t.fifo_in1.fifo_element[0].inv_outa.a")->"t.fifo_in1.fifo_element[0].inv_outa.y"+ +~"t.fifo_in1.fifo_element[0].inack_ctl.c1"&~"t.fifo_in1.fifo_element[0].inack_ctl.c2"|~"t.fifo_in1.fifo_element[0].inack_ctl.pr_B"->"t.fifo_in1.fifo_element[0].inack_ctl._y"+ +"t.fifo_in1.fifo_element[0].inack_ctl.c1"&"t.fifo_in1.fifo_element[0].inack_ctl.c2"&"t.fifo_in1.fifo_element[0].inack_ctl.n1"&"t.fifo_in1.fifo_element[0].inack_ctl.sr_B"->"t.fifo_in1.fifo_element[0].inack_ctl._y"- +"t.fifo_in1.fifo_element[0].inack_ctl._y"->"t.fifo_in1.fifo_element[0].inack_ctl.y"- +~("t.fifo_in1.fifo_element[0].inack_ctl._y")->"t.fifo_in1.fifo_element[0].inack_ctl.y"+ +~"t.fifo_in1.fifo_element[0].buf_func.c1"&~"t.fifo_in1.fifo_element[0].buf_func.c2"|~"t.fifo_in1.fifo_element[0].buf_func.pr_B"->"t.fifo_in1.fifo_element[0].buf_func._y"+ +"t.fifo_in1.fifo_element[0].buf_func.c1"&"t.fifo_in1.fifo_element[0].buf_func.c2"&"t.fifo_in1.fifo_element[0].buf_func.n1"&"t.fifo_in1.fifo_element[0].buf_func.sr_B"->"t.fifo_in1.fifo_element[0].buf_func._y"- +"t.fifo_in1.fifo_element[0].buf_func._y"->"t.fifo_in1.fifo_element[0].buf_func.y"- +~("t.fifo_in1.fifo_element[0].buf_func._y")->"t.fifo_in1.fifo_element[0].buf_func.y"+ += "t.fifo_in1.fifo_element[0].reset_B" "t.fifo_in1.fifo_element[0].reset_buf.a" += "t.fifo_in1.fifo_element[0].supply.vdd" "t.fifo_in1.fifo_element[0].reset_buf.vdd" += "t.fifo_in1.fifo_element[0].supply.vdd" "t.fifo_in1.fifo_element[0].buf_func.vdd" += "t.fifo_in1.fifo_element[0].supply.vdd" "t.fifo_in1.fifo_element[0].inv_outa.vdd" += "t.fifo_in1.fifo_element[0].supply.vdd" "t.fifo_in1.fifo_element[0].en_ctl.vdd" += "t.fifo_in1.fifo_element[0].supply.vdd" "t.fifo_in1.fifo_element[0].inack_ctl.vdd" += "t.fifo_in1.fifo_element[0].supply.vss" "t.fifo_in1.fifo_element[0].reset_buf.vss" += "t.fifo_in1.fifo_element[0].supply.vss" "t.fifo_in1.fifo_element[0].buf_func.vss" += "t.fifo_in1.fifo_element[0].supply.vss" "t.fifo_in1.fifo_element[0].inv_outa.vss" += "t.fifo_in1.fifo_element[0].supply.vss" "t.fifo_in1.fifo_element[0].en_ctl.vss" += "t.fifo_in1.fifo_element[0].supply.vss" "t.fifo_in1.fifo_element[0].inack_ctl.vss" += "t.fifo_in1.fifo_element[0]._reset_BX" "t.fifo_in1.fifo_element[0].reset_buf.y" += "t.fifo_in1.fifo_element[0]._reset_BX" "t.fifo_in1.fifo_element[0].buf_func.sr_B" += "t.fifo_in1.fifo_element[0]._reset_BX" "t.fifo_in1.fifo_element[0].buf_func.pr_B" += "t.fifo_in1.fifo_element[0]._reset_BX" "t.fifo_in1.fifo_element[0].inack_ctl.sr_B" += "t.fifo_in1.fifo_element[0]._reset_BX" "t.fifo_in1.fifo_element[0].inack_ctl.pr_B" += "t.fifo_in1.fifo_element[0]._en" "t.fifo_in1.fifo_element[0].buf_func.c1" += "t.fifo_in1.fifo_element[0]._en" "t.fifo_in1.fifo_element[0].en_ctl.y" += "t.fifo_in1.fifo_element[0]._en" "t.fifo_in1.fifo_element[0].inack_ctl.c1" +~"t.fifo_in1.fifo_element[0].en_ctl.p1"&~"t.fifo_in1.fifo_element[0].en_ctl.c1"->"t.fifo_in1.fifo_element[0].en_ctl.y"+ +"t.fifo_in1.fifo_element[0].en_ctl.c1"->"t.fifo_in1.fifo_element[0].en_ctl.y"- += "t.fifo_in1.fifo_element[0]._out_a_B" "t.fifo_in1.fifo_element[0].buf_func.c2" += "t.fifo_in1.fifo_element[0]._out_a_B" "t.fifo_in1.fifo_element[0].inv_outa.y" += "t.fifo_in1.fifo_element[0].in.d.d[0]" "t.fifo_in1.fifo_element[0].in.r" += "t.fifo_in1.fifo_element[0].in.a" "t.fifo_in1.fifo_element[0].en_ctl.c1" += "t.fifo_in1.fifo_element[0].in.a" "t.fifo_in1.fifo_element[0].inack_ctl.y" += "t.fifo_in1.fifo_element[0].in.d.d[0]" "t.fifo_in1.fifo_element[0].buf_func.n1" += "t.fifo_in1.fifo_element[0].in.d.d[0]" "t.fifo_in1.fifo_element[0].inack_ctl.c2" += "t.fifo_in1.fifo_element[0].in.d.d[0]" "t.fifo_in1.fifo_element[0].in.r" += "t.fifo_in1.fifo_element[0].out.d.d[0]" "t.fifo_in1.fifo_element[0].out.r" += "t.fifo_in1.fifo_element[0].out.a" "t.fifo_in1.fifo_element[0].inv_outa.a" += "t.fifo_in1.fifo_element[0].out.d.d[0]" "t.fifo_in1.fifo_element[0].buf_func.y" += "t.fifo_in1.fifo_element[0].out.d.d[0]" "t.fifo_in1.fifo_element[0].en_ctl.p1" += "t.fifo_in1.fifo_element[0].out.d.d[0]" "t.fifo_in1.fifo_element[0].inack_ctl.n1" += "t.fifo_in1.fifo_element[0].out.d.d[0]" "t.fifo_in1.fifo_element[0].out.r" +"t.fifo_in1.fifo_element[1].reset_buf.a"->"t.fifo_in1.fifo_element[1].reset_buf._y"- +~("t.fifo_in1.fifo_element[1].reset_buf.a")->"t.fifo_in1.fifo_element[1].reset_buf._y"+ +"t.fifo_in1.fifo_element[1].reset_buf._y"->"t.fifo_in1.fifo_element[1].reset_buf.y"- +~("t.fifo_in1.fifo_element[1].reset_buf._y")->"t.fifo_in1.fifo_element[1].reset_buf.y"+ +"t.fifo_in1.fifo_element[1].inv_outa.a"->"t.fifo_in1.fifo_element[1].inv_outa.y"- +~("t.fifo_in1.fifo_element[1].inv_outa.a")->"t.fifo_in1.fifo_element[1].inv_outa.y"+ +~"t.fifo_in1.fifo_element[1].inack_ctl.c1"&~"t.fifo_in1.fifo_element[1].inack_ctl.c2"|~"t.fifo_in1.fifo_element[1].inack_ctl.pr_B"->"t.fifo_in1.fifo_element[1].inack_ctl._y"+ +"t.fifo_in1.fifo_element[1].inack_ctl.c1"&"t.fifo_in1.fifo_element[1].inack_ctl.c2"&"t.fifo_in1.fifo_element[1].inack_ctl.n1"&"t.fifo_in1.fifo_element[1].inack_ctl.sr_B"->"t.fifo_in1.fifo_element[1].inack_ctl._y"- +"t.fifo_in1.fifo_element[1].inack_ctl._y"->"t.fifo_in1.fifo_element[1].inack_ctl.y"- +~("t.fifo_in1.fifo_element[1].inack_ctl._y")->"t.fifo_in1.fifo_element[1].inack_ctl.y"+ +~"t.fifo_in1.fifo_element[1].buf_func.c1"&~"t.fifo_in1.fifo_element[1].buf_func.c2"|~"t.fifo_in1.fifo_element[1].buf_func.pr_B"->"t.fifo_in1.fifo_element[1].buf_func._y"+ +"t.fifo_in1.fifo_element[1].buf_func.c1"&"t.fifo_in1.fifo_element[1].buf_func.c2"&"t.fifo_in1.fifo_element[1].buf_func.n1"&"t.fifo_in1.fifo_element[1].buf_func.sr_B"->"t.fifo_in1.fifo_element[1].buf_func._y"- +"t.fifo_in1.fifo_element[1].buf_func._y"->"t.fifo_in1.fifo_element[1].buf_func.y"- +~("t.fifo_in1.fifo_element[1].buf_func._y")->"t.fifo_in1.fifo_element[1].buf_func.y"+ += "t.fifo_in1.fifo_element[1].reset_B" "t.fifo_in1.fifo_element[1].reset_buf.a" += "t.fifo_in1.fifo_element[1].supply.vdd" "t.fifo_in1.fifo_element[1].reset_buf.vdd" += "t.fifo_in1.fifo_element[1].supply.vdd" "t.fifo_in1.fifo_element[1].buf_func.vdd" += "t.fifo_in1.fifo_element[1].supply.vdd" "t.fifo_in1.fifo_element[1].inv_outa.vdd" += "t.fifo_in1.fifo_element[1].supply.vdd" "t.fifo_in1.fifo_element[1].en_ctl.vdd" += "t.fifo_in1.fifo_element[1].supply.vdd" "t.fifo_in1.fifo_element[1].inack_ctl.vdd" += "t.fifo_in1.fifo_element[1].supply.vss" "t.fifo_in1.fifo_element[1].reset_buf.vss" += "t.fifo_in1.fifo_element[1].supply.vss" "t.fifo_in1.fifo_element[1].buf_func.vss" += "t.fifo_in1.fifo_element[1].supply.vss" "t.fifo_in1.fifo_element[1].inv_outa.vss" += "t.fifo_in1.fifo_element[1].supply.vss" "t.fifo_in1.fifo_element[1].en_ctl.vss" += "t.fifo_in1.fifo_element[1].supply.vss" "t.fifo_in1.fifo_element[1].inack_ctl.vss" += "t.fifo_in1.fifo_element[1]._reset_BX" "t.fifo_in1.fifo_element[1].reset_buf.y" += "t.fifo_in1.fifo_element[1]._reset_BX" "t.fifo_in1.fifo_element[1].buf_func.sr_B" += "t.fifo_in1.fifo_element[1]._reset_BX" "t.fifo_in1.fifo_element[1].buf_func.pr_B" += "t.fifo_in1.fifo_element[1]._reset_BX" "t.fifo_in1.fifo_element[1].inack_ctl.sr_B" += "t.fifo_in1.fifo_element[1]._reset_BX" "t.fifo_in1.fifo_element[1].inack_ctl.pr_B" += "t.fifo_in1.fifo_element[1]._en" "t.fifo_in1.fifo_element[1].buf_func.c1" += "t.fifo_in1.fifo_element[1]._en" "t.fifo_in1.fifo_element[1].en_ctl.y" += "t.fifo_in1.fifo_element[1]._en" "t.fifo_in1.fifo_element[1].inack_ctl.c1" +~"t.fifo_in1.fifo_element[1].en_ctl.p1"&~"t.fifo_in1.fifo_element[1].en_ctl.c1"->"t.fifo_in1.fifo_element[1].en_ctl.y"+ +"t.fifo_in1.fifo_element[1].en_ctl.c1"->"t.fifo_in1.fifo_element[1].en_ctl.y"- += "t.fifo_in1.fifo_element[1]._out_a_B" "t.fifo_in1.fifo_element[1].buf_func.c2" += "t.fifo_in1.fifo_element[1]._out_a_B" "t.fifo_in1.fifo_element[1].inv_outa.y" += "t.fifo_in1.fifo_element[1].in.d.d[0]" "t.fifo_in1.fifo_element[1].in.r" += "t.fifo_in1.fifo_element[1].in.a" "t.fifo_in1.fifo_element[1].en_ctl.c1" += "t.fifo_in1.fifo_element[1].in.a" "t.fifo_in1.fifo_element[1].inack_ctl.y" += "t.fifo_in1.fifo_element[1].in.d.d[0]" "t.fifo_in1.fifo_element[1].buf_func.n1" += "t.fifo_in1.fifo_element[1].in.d.d[0]" "t.fifo_in1.fifo_element[1].inack_ctl.c2" += "t.fifo_in1.fifo_element[1].in.d.d[0]" "t.fifo_in1.fifo_element[1].in.r" += "t.fifo_in1.fifo_element[1].out.d.d[0]" "t.fifo_in1.fifo_element[1].out.r" += "t.fifo_in1.fifo_element[1].out.a" "t.fifo_in1.fifo_element[1].inv_outa.a" += "t.fifo_in1.fifo_element[1].out.d.d[0]" "t.fifo_in1.fifo_element[1].buf_func.y" += "t.fifo_in1.fifo_element[1].out.d.d[0]" "t.fifo_in1.fifo_element[1].en_ctl.p1" += "t.fifo_in1.fifo_element[1].out.d.d[0]" "t.fifo_in1.fifo_element[1].inack_ctl.n1" += "t.fifo_in1.fifo_element[1].out.d.d[0]" "t.fifo_in1.fifo_element[1].out.r" +"t.fifo_in1.fifo_element[2].reset_buf.a"->"t.fifo_in1.fifo_element[2].reset_buf._y"- +~("t.fifo_in1.fifo_element[2].reset_buf.a")->"t.fifo_in1.fifo_element[2].reset_buf._y"+ +"t.fifo_in1.fifo_element[2].reset_buf._y"->"t.fifo_in1.fifo_element[2].reset_buf.y"- +~("t.fifo_in1.fifo_element[2].reset_buf._y")->"t.fifo_in1.fifo_element[2].reset_buf.y"+ +"t.fifo_in1.fifo_element[2].inv_outa.a"->"t.fifo_in1.fifo_element[2].inv_outa.y"- +~("t.fifo_in1.fifo_element[2].inv_outa.a")->"t.fifo_in1.fifo_element[2].inv_outa.y"+ +~"t.fifo_in1.fifo_element[2].inack_ctl.c1"&~"t.fifo_in1.fifo_element[2].inack_ctl.c2"|~"t.fifo_in1.fifo_element[2].inack_ctl.pr_B"->"t.fifo_in1.fifo_element[2].inack_ctl._y"+ +"t.fifo_in1.fifo_element[2].inack_ctl.c1"&"t.fifo_in1.fifo_element[2].inack_ctl.c2"&"t.fifo_in1.fifo_element[2].inack_ctl.n1"&"t.fifo_in1.fifo_element[2].inack_ctl.sr_B"->"t.fifo_in1.fifo_element[2].inack_ctl._y"- +"t.fifo_in1.fifo_element[2].inack_ctl._y"->"t.fifo_in1.fifo_element[2].inack_ctl.y"- +~("t.fifo_in1.fifo_element[2].inack_ctl._y")->"t.fifo_in1.fifo_element[2].inack_ctl.y"+ +~"t.fifo_in1.fifo_element[2].buf_func.c1"&~"t.fifo_in1.fifo_element[2].buf_func.c2"|~"t.fifo_in1.fifo_element[2].buf_func.pr_B"->"t.fifo_in1.fifo_element[2].buf_func._y"+ +"t.fifo_in1.fifo_element[2].buf_func.c1"&"t.fifo_in1.fifo_element[2].buf_func.c2"&"t.fifo_in1.fifo_element[2].buf_func.n1"&"t.fifo_in1.fifo_element[2].buf_func.sr_B"->"t.fifo_in1.fifo_element[2].buf_func._y"- +"t.fifo_in1.fifo_element[2].buf_func._y"->"t.fifo_in1.fifo_element[2].buf_func.y"- +~("t.fifo_in1.fifo_element[2].buf_func._y")->"t.fifo_in1.fifo_element[2].buf_func.y"+ += "t.fifo_in1.fifo_element[2].reset_B" "t.fifo_in1.fifo_element[2].reset_buf.a" += "t.fifo_in1.fifo_element[2].supply.vdd" "t.fifo_in1.fifo_element[2].reset_buf.vdd" += "t.fifo_in1.fifo_element[2].supply.vdd" "t.fifo_in1.fifo_element[2].buf_func.vdd" += "t.fifo_in1.fifo_element[2].supply.vdd" "t.fifo_in1.fifo_element[2].inv_outa.vdd" += "t.fifo_in1.fifo_element[2].supply.vdd" "t.fifo_in1.fifo_element[2].en_ctl.vdd" += "t.fifo_in1.fifo_element[2].supply.vdd" "t.fifo_in1.fifo_element[2].inack_ctl.vdd" += "t.fifo_in1.fifo_element[2].supply.vss" "t.fifo_in1.fifo_element[2].reset_buf.vss" += "t.fifo_in1.fifo_element[2].supply.vss" "t.fifo_in1.fifo_element[2].buf_func.vss" += "t.fifo_in1.fifo_element[2].supply.vss" "t.fifo_in1.fifo_element[2].inv_outa.vss" += "t.fifo_in1.fifo_element[2].supply.vss" "t.fifo_in1.fifo_element[2].en_ctl.vss" += "t.fifo_in1.fifo_element[2].supply.vss" "t.fifo_in1.fifo_element[2].inack_ctl.vss" += "t.fifo_in1.fifo_element[2]._reset_BX" "t.fifo_in1.fifo_element[2].reset_buf.y" += "t.fifo_in1.fifo_element[2]._reset_BX" "t.fifo_in1.fifo_element[2].buf_func.sr_B" += "t.fifo_in1.fifo_element[2]._reset_BX" "t.fifo_in1.fifo_element[2].buf_func.pr_B" += "t.fifo_in1.fifo_element[2]._reset_BX" "t.fifo_in1.fifo_element[2].inack_ctl.sr_B" += "t.fifo_in1.fifo_element[2]._reset_BX" "t.fifo_in1.fifo_element[2].inack_ctl.pr_B" += "t.fifo_in1.fifo_element[2]._en" "t.fifo_in1.fifo_element[2].buf_func.c1" += "t.fifo_in1.fifo_element[2]._en" "t.fifo_in1.fifo_element[2].en_ctl.y" += "t.fifo_in1.fifo_element[2]._en" "t.fifo_in1.fifo_element[2].inack_ctl.c1" +~"t.fifo_in1.fifo_element[2].en_ctl.p1"&~"t.fifo_in1.fifo_element[2].en_ctl.c1"->"t.fifo_in1.fifo_element[2].en_ctl.y"+ +"t.fifo_in1.fifo_element[2].en_ctl.c1"->"t.fifo_in1.fifo_element[2].en_ctl.y"- += "t.fifo_in1.fifo_element[2]._out_a_B" "t.fifo_in1.fifo_element[2].buf_func.c2" += "t.fifo_in1.fifo_element[2]._out_a_B" "t.fifo_in1.fifo_element[2].inv_outa.y" += "t.fifo_in1.fifo_element[2].in.d.d[0]" "t.fifo_in1.fifo_element[2].in.r" += "t.fifo_in1.fifo_element[2].in.a" "t.fifo_in1.fifo_element[2].en_ctl.c1" += "t.fifo_in1.fifo_element[2].in.a" "t.fifo_in1.fifo_element[2].inack_ctl.y" += "t.fifo_in1.fifo_element[2].in.d.d[0]" "t.fifo_in1.fifo_element[2].buf_func.n1" += "t.fifo_in1.fifo_element[2].in.d.d[0]" "t.fifo_in1.fifo_element[2].inack_ctl.c2" += "t.fifo_in1.fifo_element[2].in.d.d[0]" "t.fifo_in1.fifo_element[2].in.r" += "t.fifo_in1.fifo_element[2].out.d.d[0]" "t.fifo_in1.fifo_element[2].out.r" += "t.fifo_in1.fifo_element[2].out.a" "t.fifo_in1.fifo_element[2].inv_outa.a" += "t.fifo_in1.fifo_element[2].out.d.d[0]" "t.fifo_in1.fifo_element[2].buf_func.y" += "t.fifo_in1.fifo_element[2].out.d.d[0]" "t.fifo_in1.fifo_element[2].en_ctl.p1" += "t.fifo_in1.fifo_element[2].out.d.d[0]" "t.fifo_in1.fifo_element[2].inack_ctl.n1" += "t.fifo_in1.fifo_element[2].out.d.d[0]" "t.fifo_in1.fifo_element[2].out.r" +"t.fifo_in1.fifo_element[3].reset_buf.a"->"t.fifo_in1.fifo_element[3].reset_buf._y"- +~("t.fifo_in1.fifo_element[3].reset_buf.a")->"t.fifo_in1.fifo_element[3].reset_buf._y"+ +"t.fifo_in1.fifo_element[3].reset_buf._y"->"t.fifo_in1.fifo_element[3].reset_buf.y"- +~("t.fifo_in1.fifo_element[3].reset_buf._y")->"t.fifo_in1.fifo_element[3].reset_buf.y"+ +"t.fifo_in1.fifo_element[3].inv_outa.a"->"t.fifo_in1.fifo_element[3].inv_outa.y"- +~("t.fifo_in1.fifo_element[3].inv_outa.a")->"t.fifo_in1.fifo_element[3].inv_outa.y"+ +~"t.fifo_in1.fifo_element[3].inack_ctl.c1"&~"t.fifo_in1.fifo_element[3].inack_ctl.c2"|~"t.fifo_in1.fifo_element[3].inack_ctl.pr_B"->"t.fifo_in1.fifo_element[3].inack_ctl._y"+ +"t.fifo_in1.fifo_element[3].inack_ctl.c1"&"t.fifo_in1.fifo_element[3].inack_ctl.c2"&"t.fifo_in1.fifo_element[3].inack_ctl.n1"&"t.fifo_in1.fifo_element[3].inack_ctl.sr_B"->"t.fifo_in1.fifo_element[3].inack_ctl._y"- +"t.fifo_in1.fifo_element[3].inack_ctl._y"->"t.fifo_in1.fifo_element[3].inack_ctl.y"- +~("t.fifo_in1.fifo_element[3].inack_ctl._y")->"t.fifo_in1.fifo_element[3].inack_ctl.y"+ +~"t.fifo_in1.fifo_element[3].buf_func.c1"&~"t.fifo_in1.fifo_element[3].buf_func.c2"|~"t.fifo_in1.fifo_element[3].buf_func.pr_B"->"t.fifo_in1.fifo_element[3].buf_func._y"+ +"t.fifo_in1.fifo_element[3].buf_func.c1"&"t.fifo_in1.fifo_element[3].buf_func.c2"&"t.fifo_in1.fifo_element[3].buf_func.n1"&"t.fifo_in1.fifo_element[3].buf_func.sr_B"->"t.fifo_in1.fifo_element[3].buf_func._y"- +"t.fifo_in1.fifo_element[3].buf_func._y"->"t.fifo_in1.fifo_element[3].buf_func.y"- +~("t.fifo_in1.fifo_element[3].buf_func._y")->"t.fifo_in1.fifo_element[3].buf_func.y"+ += "t.fifo_in1.fifo_element[3].reset_B" "t.fifo_in1.fifo_element[3].reset_buf.a" += "t.fifo_in1.fifo_element[3].supply.vdd" "t.fifo_in1.fifo_element[3].reset_buf.vdd" += "t.fifo_in1.fifo_element[3].supply.vdd" "t.fifo_in1.fifo_element[3].buf_func.vdd" += "t.fifo_in1.fifo_element[3].supply.vdd" "t.fifo_in1.fifo_element[3].inv_outa.vdd" += "t.fifo_in1.fifo_element[3].supply.vdd" "t.fifo_in1.fifo_element[3].en_ctl.vdd" += "t.fifo_in1.fifo_element[3].supply.vdd" "t.fifo_in1.fifo_element[3].inack_ctl.vdd" += "t.fifo_in1.fifo_element[3].supply.vss" "t.fifo_in1.fifo_element[3].reset_buf.vss" += "t.fifo_in1.fifo_element[3].supply.vss" "t.fifo_in1.fifo_element[3].buf_func.vss" += "t.fifo_in1.fifo_element[3].supply.vss" "t.fifo_in1.fifo_element[3].inv_outa.vss" += "t.fifo_in1.fifo_element[3].supply.vss" "t.fifo_in1.fifo_element[3].en_ctl.vss" += "t.fifo_in1.fifo_element[3].supply.vss" "t.fifo_in1.fifo_element[3].inack_ctl.vss" += "t.fifo_in1.fifo_element[3]._reset_BX" "t.fifo_in1.fifo_element[3].reset_buf.y" += "t.fifo_in1.fifo_element[3]._reset_BX" "t.fifo_in1.fifo_element[3].buf_func.sr_B" += "t.fifo_in1.fifo_element[3]._reset_BX" "t.fifo_in1.fifo_element[3].buf_func.pr_B" += "t.fifo_in1.fifo_element[3]._reset_BX" "t.fifo_in1.fifo_element[3].inack_ctl.sr_B" += "t.fifo_in1.fifo_element[3]._reset_BX" "t.fifo_in1.fifo_element[3].inack_ctl.pr_B" += "t.fifo_in1.fifo_element[3]._en" "t.fifo_in1.fifo_element[3].buf_func.c1" += "t.fifo_in1.fifo_element[3]._en" "t.fifo_in1.fifo_element[3].en_ctl.y" += "t.fifo_in1.fifo_element[3]._en" "t.fifo_in1.fifo_element[3].inack_ctl.c1" +~"t.fifo_in1.fifo_element[3].en_ctl.p1"&~"t.fifo_in1.fifo_element[3].en_ctl.c1"->"t.fifo_in1.fifo_element[3].en_ctl.y"+ +"t.fifo_in1.fifo_element[3].en_ctl.c1"->"t.fifo_in1.fifo_element[3].en_ctl.y"- += "t.fifo_in1.fifo_element[3]._out_a_B" "t.fifo_in1.fifo_element[3].buf_func.c2" += "t.fifo_in1.fifo_element[3]._out_a_B" "t.fifo_in1.fifo_element[3].inv_outa.y" += "t.fifo_in1.fifo_element[3].in.d.d[0]" "t.fifo_in1.fifo_element[3].in.r" += "t.fifo_in1.fifo_element[3].in.a" "t.fifo_in1.fifo_element[3].en_ctl.c1" += "t.fifo_in1.fifo_element[3].in.a" "t.fifo_in1.fifo_element[3].inack_ctl.y" += "t.fifo_in1.fifo_element[3].in.d.d[0]" "t.fifo_in1.fifo_element[3].buf_func.n1" += "t.fifo_in1.fifo_element[3].in.d.d[0]" "t.fifo_in1.fifo_element[3].inack_ctl.c2" += "t.fifo_in1.fifo_element[3].in.d.d[0]" "t.fifo_in1.fifo_element[3].in.r" += "t.fifo_in1.fifo_element[3].out.d.d[0]" "t.fifo_in1.fifo_element[3].out.r" += "t.fifo_in1.fifo_element[3].out.a" "t.fifo_in1.fifo_element[3].inv_outa.a" += "t.fifo_in1.fifo_element[3].out.d.d[0]" "t.fifo_in1.fifo_element[3].buf_func.y" += "t.fifo_in1.fifo_element[3].out.d.d[0]" "t.fifo_in1.fifo_element[3].en_ctl.p1" += "t.fifo_in1.fifo_element[3].out.d.d[0]" "t.fifo_in1.fifo_element[3].inack_ctl.n1" += "t.fifo_in1.fifo_element[3].out.d.d[0]" "t.fifo_in1.fifo_element[3].out.r" += "t.fifo_in1.fifo_element[3].in.a" "t.fifo_in1.fifo_element[2].out.a" += "t.fifo_in1.fifo_element[3].in.d.d[0]" "t.fifo_in1.fifo_element[2].out.r" += "t.fifo_in1.fifo_element[3].in.d.d[0]" "t.fifo_in1.fifo_element[2].out.d.d[0]" += "t.fifo_in1.fifo_element[3].in.d.d[0]" "t.fifo_in1.fifo_element[3].in.r" += "t.fifo_in1.fifo_element[2].in.a" "t.fifo_in1.fifo_element[1].out.a" += "t.fifo_in1.fifo_element[2].in.d.d[0]" "t.fifo_in1.fifo_element[1].out.r" += "t.fifo_in1.fifo_element[2].in.d.d[0]" "t.fifo_in1.fifo_element[1].out.d.d[0]" += "t.fifo_in1.fifo_element[2].in.d.d[0]" "t.fifo_in1.fifo_element[2].in.r" += "t.fifo_in1.fifo_element[1].in.a" "t.fifo_in1.fifo_element[0].out.a" += "t.fifo_in1.fifo_element[1].in.d.d[0]" "t.fifo_in1.fifo_element[0].out.r" += "t.fifo_in1.fifo_element[1].in.d.d[0]" "t.fifo_in1.fifo_element[0].out.d.d[0]" += "t.fifo_in1.fifo_element[1].in.d.d[0]" "t.fifo_in1.fifo_element[1].in.r" += "t.fifo_in1._reset_BXX[0]" "t.fifo_in1.reset_bufarray.out[0]" += "t.fifo_in1._reset_BXX[1]" "t.fifo_in1.reset_bufarray.out[1]" += "t.fifo_in1._reset_BXX[2]" "t.fifo_in1.reset_bufarray.out[2]" += "t.fifo_in1._reset_BXX[3]" "t.fifo_in1.reset_bufarray.out[3]" += "t.fifo_in1._reset_BXX[3]" "t.fifo_in1.fifo_element[2].reset_B" += "t.fifo_in1._reset_BXX[3]" "t.fifo_in1._reset_BXX[2]" += "t.fifo_in1._reset_BXX[3]" "t.fifo_in1.fifo_element[1].reset_B" += "t.fifo_in1._reset_BXX[3]" "t.fifo_in1._reset_BXX[1]" += "t.fifo_in1._reset_BXX[3]" "t.fifo_in1.fifo_element[0].reset_B" += "t.fifo_in1._reset_BXX[3]" "t.fifo_in1._reset_BXX[0]" += "t.fifo_in1._reset_BXX[3]" "t.fifo_in1.fifo_element[3].reset_B" += "t.fifo_in1.in.d.d[0]" "t.fifo_in1.in.r" += "t.fifo_in1.in.a" "t.fifo_in1.fifo_element[0].in.a" += "t.fifo_in1.in.d.d[0]" "t.fifo_in1.fifo_element[0].in.r" += "t.fifo_in1.in.d.d[0]" "t.fifo_in1.fifo_element[0].in.d.d[0]" += "t.fifo_in1.in.d.d[0]" "t.fifo_in1.in.r" += "t.fifo_in1.out.d.d[0]" "t.fifo_in1.out.r" += "t.fifo_in1.out.a" "t.fifo_in1.fifo_element[3].out.a" += "t.fifo_in1.out.d.d[0]" "t.fifo_in1.fifo_element[3].out.r" += "t.fifo_in1.out.d.d[0]" "t.fifo_in1.fifo_element[3].out.d.d[0]" += "t.fifo_in1.out.d.d[0]" "t.fifo_in1.out.r" += "Reset" "t.fifo_in1.reset_B" += "Vdd" "t.fifo_in1.supply.vdd" += "GND" "t.fifo_in1.supply.vss" += "t.out.d.d[0]" "t.out.r" += "t.out.r" "t.arb.out.r" += "t.out.a" "t.arb.out.a" += "t.out.d.d[0]" "t.arb.out.d.d[0]" += "t.out.d.d[0]" "t.out.r" += "t.in2.d.d[0]" "t.in2.r" += "t.in2.r" "t.fifo_in2.in.r" += "t.in2.a" "t.fifo_in2.in.a" += "t.in2.d.d[0]" "t.fifo_in2.in.d.d[0]" += "t.in2.d.d[0]" "t.in2.r" diff --git a/test/unit_tests/arbiter_handshake_adv/test.act b/test/unit_tests/arbiter_handshake_adv/test.act new file mode 100644 index 0000000..c33208c --- /dev/null +++ b/test/unit_tests/arbiter_handshake_adv/test.act @@ -0,0 +1,52 @@ +/************************************************************************* + * + * This file is part of ACT dataflow neuro library. + * It's the testing facility for cell_lib_std.act + * + * Copyright (c) 2022 University of Groningen - Ole Richter + * Copyright (c) 2022 University of Groningen - Hugh Greatorex + * Copyright (c) 2022 University of Groningen - Michele Mastella + * Copyright (c) 2022 University of Groningen - Madison Cotteret + * + * This source describes Open Hardware and is licensed under the CERN-OHL-W v2 or later + * + * You may redistribute and modify this documentation and make products + * using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl). + * This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED + * WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY + * AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2 + * for applicable conditions. + * + * Source location: https://git.web.rug.nl/bics/actlib_dataflow_neuro + * + * As per CERN-OHL-W v2 section 4.1, should You produce hardware based on + * these sources, You must maintain the Source Location visible in its + * documentation. + * + ************************************************************************** + */ + +import "../../dataflow_neuro/primitives.act"; +import globals; + +open tmpl::dataflow_neuro; + +defproc arbiter_test(a1of1 in1; a1of1 in2; a1of1 out) +{ + a1of1 _out1,_out2; + fifo_t<4> fifo_in1(.in = in1,.out = _out1); + fifo_t<4> fifo_in2(.in = in2,.out = _out2); + fifo_in1.supply.vdd = Vdd; + fifo_in1.supply.vss = GND; + fifo_in1.reset_B = Reset; + fifo_in2.supply.vdd = Vdd; + fifo_in2.supply.vss = GND; + fifo_in2.reset_B = Reset; + + + arbiter_handshake arb(.in1 = _out1, .in2 = _out2, .out = out); + arb.supply.vdd = Vdd; + arb.supply.vss = GND; +} + +arbiter_test t; \ No newline at end of file diff --git a/test/unit_tests/arbiter_handshake_adv/test.prsim b/test/unit_tests/arbiter_handshake_adv/test.prsim new file mode 100644 index 0000000..ebbb757 --- /dev/null +++ b/test/unit_tests/arbiter_handshake_adv/test.prsim @@ -0,0 +1,45 @@ +watchall +system "echo '[0] code starts'" +set t.in1.r 0 +set t.in2.r 0 +set t.out.a 0 +set Reset 0 +cycle +status X +mode run +set Reset 1 +cycle +system "echo '[1] reset done'" +system "echo '----------------------------------------------------------------------------------------------------'" +set t.in1.r 1 +set t.in2.r 1 +cycle +assert t.out.r 1 +set t.out.a 1 +system "echo '----------------------------------------------------------------------------------------------------'" +system "echo '[2] 1 bit processed by the arbiter'" +cycle +set t.out.a 0 +cycle +assert t.out.r 1 +set t.out.a 1 +set t.in1.r 0 +set t.in2.r 0 +system "echo '----------------------------------------------------------------------------------------------------'" +system "echo '[3] 2 bit processed by the arbiter'" +cycle +set t.out.a 0 +set t.in1.r 1 +set t.in2.r 1 +cycle +assert t.out.r 1 +set t.out.a 1 +system "echo '----------------------------------------------------------------------------------------------------'" +system "echo '[4] 3 bit processed by the arbiter'" +cycle +set t.out.a 0 +cycle +assert t.out.r 1 +set t.out.a 1 +system "echo '----------------------------------------------------------------------------------------------------'" +system "echo '[5] 4 bit processed by the arbiter'" diff --git a/test/unit_tests/arbiter_handshake/run/prsim.out b/test/unit_tests/arbiter_handshake_simple/run/prsim.out similarity index 100% rename from test/unit_tests/arbiter_handshake/run/prsim.out rename to test/unit_tests/arbiter_handshake_simple/run/prsim.out diff --git a/test/unit_tests/arbiter_handshake/run/test.prs b/test/unit_tests/arbiter_handshake_simple/run/test.prs similarity index 100% rename from test/unit_tests/arbiter_handshake/run/test.prs rename to test/unit_tests/arbiter_handshake_simple/run/test.prs diff --git a/test/unit_tests/arbiter_handshake/test.act b/test/unit_tests/arbiter_handshake_simple/test.act similarity index 100% rename from test/unit_tests/arbiter_handshake/test.act rename to test/unit_tests/arbiter_handshake_simple/test.act diff --git a/test/unit_tests/arbiter_handshake/test.prsim b/test/unit_tests/arbiter_handshake_simple/test.prsim similarity index 100% rename from test/unit_tests/arbiter_handshake/test.prsim rename to test/unit_tests/arbiter_handshake_simple/test.prsim diff --git a/test/unit_tests/fifo_t_15/run/prsim.out b/test/unit_tests/fifo_t_15/run/prsim.out index afe3d35..04e8b95 100644 --- a/test/unit_tests/fifo_t_15/run/prsim.out +++ b/test/unit_tests/fifo_t_15/run/prsim.out @@ -338,11 +338,12 @@ t.a.fifo_element[13].in.r t.a.fifo_element[0]._out_a_B t.out.r t.a.fifo_element[ 645055 t.a.fifo_element[11]._out_a_B : 1 [by t.a.fifo_element[12].in.a:=0] 645473 t.a.fifo_element[12]._en : 1 [by t.a.fifo_element[12].in.a:=0] 647877 t.a.fifo_element[11]._en : 1 [by t.a.fifo_element[12].in.r:=0] +1 bit inside 647877 t.in.r : 0 650465 t.a.fifo_element[0].inack_ctl._y : 1 [by t.in.r:=0] 652926 t.in.a : 0 [by t.a.fifo_element[0].inack_ctl._y:=1] 653756 t.a.fifo_element[0]._en : 1 [by t.in.a:=0] -1 bit inside +2 bit inside 653756 t.in.r : 1 676688 t.a.fifo_element[0].buf_func._y : 0 [by t.in.r:=1] 676690 t.a.fifo_element[1].in.r : 1 [by t.a.fifo_element[0].buf_func._y:=0] @@ -508,7 +509,7 @@ t.a.fifo_element[13].in.r t.a.fifo_element[0]._out_a_B t.out.r t.a.fifo_element[ 961697 t.a.fifo_element[0].inack_ctl._y : 1 [by t.in.r:=0] 962124 t.in.a : 0 [by t.a.fifo_element[0].inack_ctl._y:=1] 962366 t.a.fifo_element[0]._en : 1 [by t.in.a:=0] -2 bit inside +3 bit inside 962366 t.in.r : 1 963201 t.a.fifo_element[0].buf_func._y : 0 [by t.in.r:=1] 1009937 t.a.fifo_element[1].in.r : 1 [by t.a.fifo_element[0].buf_func._y:=0] @@ -662,7 +663,7 @@ t.a.fifo_element[13].in.r t.a.fifo_element[0]._out_a_B t.out.r t.a.fifo_element[ 1343118 t.a.fifo_element[0].inack_ctl._y : 1 [by t.in.r:=0] 1343757 t.in.a : 0 [by t.a.fifo_element[0].inack_ctl._y:=1] 1377312 t.a.fifo_element[0]._en : 1 [by t.in.a:=0] -3 bit inside +4 bit inside 1377312 t.in.r : 1 1377329 t.a.fifo_element[0].buf_func._y : 0 [by t.in.r:=1] 1401607 t.a.fifo_element[1].in.r : 1 [by t.a.fifo_element[0].buf_func._y:=0] @@ -804,7 +805,7 @@ t.a.fifo_element[13].in.r t.a.fifo_element[0]._out_a_B t.out.r t.a.fifo_element[ 1670131 t.a.fifo_element[0].inack_ctl._y : 1 [by t.in.r:=0] 1670173 t.in.a : 0 [by t.a.fifo_element[0].inack_ctl._y:=1] 1680643 t.a.fifo_element[0]._en : 1 [by t.in.a:=0] -4 bit inside +5 bit inside 1680643 t.in.r : 1 1680916 t.a.fifo_element[0].buf_func._y : 0 [by t.in.r:=1] 1685895 t.a.fifo_element[1].in.r : 1 [by t.a.fifo_element[0].buf_func._y:=0] @@ -934,7 +935,7 @@ t.a.fifo_element[13].in.r t.a.fifo_element[0]._out_a_B t.out.r t.a.fifo_element[ 2023889 t.a.fifo_element[0].inack_ctl._y : 1 [by t.in.r:=0] 2030969 t.in.a : 0 [by t.a.fifo_element[0].inack_ctl._y:=1] 2030970 t.a.fifo_element[0]._en : 1 [by t.in.a:=0] -5 bit inside +6 bit inside 2030970 t.in.r : 1 2030971 t.a.fifo_element[0].buf_func._y : 0 [by t.in.r:=1] 2031102 t.a.fifo_element[1].in.r : 1 [by t.a.fifo_element[0].buf_func._y:=0] @@ -1052,110 +1053,4 @@ t.a.fifo_element[13].in.r t.a.fifo_element[0]._out_a_B t.out.r t.a.fifo_element[ 2259986 t.a.fifo_element[0].inack_ctl._y : 1 [by t.in.r:=0] 2260144 t.in.a : 0 [by t.a.fifo_element[0].inack_ctl._y:=1] 2263755 t.a.fifo_element[0]._en : 1 [by t.in.a:=0] -6 bit inside - 2263755 t.in.r : 1 - 2263772 t.a.fifo_element[0].buf_func._y : 0 [by t.in.r:=1] - 2273460 t.a.fifo_element[1].in.r : 1 [by t.a.fifo_element[0].buf_func._y:=0] - 2274717 t.a.fifo_element[0].inack_ctl._y : 0 [by t.a.fifo_element[1].in.r:=1] - 2291970 t.in.a : 1 [by t.a.fifo_element[0].inack_ctl._y:=0] - 2293260 t.a.fifo_element[0]._en : 0 [by t.in.a:=1] - 2332453 t.a.fifo_element[1].buf_func._y : 0 [by t.a.fifo_element[1].in.r:=1] - 2346296 t.a.fifo_element[2].in.r : 1 [by t.a.fifo_element[1].buf_func._y:=0] - 2346298 t.a.fifo_element[1].inack_ctl._y : 0 [by t.a.fifo_element[2].in.r:=1] - 2346304 t.a.fifo_element[1].in.a : 1 [by t.a.fifo_element[1].inack_ctl._y:=0] - 2346463 t.a.fifo_element[1]._en : 0 [by t.a.fifo_element[1].in.a:=1] - 2353383 t.a.fifo_element[0]._out_a_B : 0 [by t.a.fifo_element[1].in.a:=1] - 2353434 t.a.fifo_element[0].buf_func._y : 1 [by t.a.fifo_element[0]._out_a_B:=0] - 2354091 t.a.fifo_element[1].in.r : 0 [by t.a.fifo_element[0].buf_func._y:=1] - 2354377 t.a.fifo_element[1].inack_ctl._y : 1 [by t.a.fifo_element[1].in.r:=0] - 2354496 t.a.fifo_element[1].in.a : 0 [by t.a.fifo_element[1].inack_ctl._y:=1] - 2368681 t.a.fifo_element[0]._out_a_B : 1 [by t.a.fifo_element[1].in.a:=0] - 2391813 t.a.fifo_element[2].buf_func._y : 0 [by t.a.fifo_element[2].in.r:=1] - 2408424 t.a.fifo_element[3].in.r : 1 [by t.a.fifo_element[2].buf_func._y:=0] - 2408636 t.a.fifo_element[2].inack_ctl._y : 0 [by t.a.fifo_element[3].in.r:=1] - 2408694 t.a.fifo_element[3].buf_func._y : 0 [by t.a.fifo_element[3].in.r:=1] - 2408695 t.a.fifo_element[4].in.r : 1 [by t.a.fifo_element[3].buf_func._y:=0] - 2408697 t.a.fifo_element[3].inack_ctl._y : 0 [by t.a.fifo_element[4].in.r:=1] - 2408724 t.a.fifo_element[3].in.a : 1 [by t.a.fifo_element[3].inack_ctl._y:=0] - 2408733 t.a.fifo_element[2]._out_a_B : 0 [by t.a.fifo_element[3].in.a:=1] - 2408791 t.a.fifo_element[3]._en : 0 [by t.a.fifo_element[3].in.a:=1] - 2418518 t.a.fifo_element[2].in.a : 1 [by t.a.fifo_element[2].inack_ctl._y:=0] - 2419217 t.a.fifo_element[1]._out_a_B : 0 [by t.a.fifo_element[2].in.a:=1] - 2419218 t.a.fifo_element[1].buf_func._y : 1 [by t.a.fifo_element[1]._out_a_B:=0] - 2420366 t.a.fifo_element[4].buf_func._y : 0 [by t.a.fifo_element[4].in.r:=1] - 2420792 t.a.fifo_element[5].in.r : 1 [by t.a.fifo_element[4].buf_func._y:=0] - 2420924 t.a.fifo_element[2].in.r : 0 [by t.a.fifo_element[1].buf_func._y:=1] - 2421038 t.a.fifo_element[4].inack_ctl._y : 0 [by t.a.fifo_element[5].in.r:=1] - 2422313 t.a.fifo_element[5].buf_func._y : 0 [by t.a.fifo_element[5].in.r:=1] - 2423556 t.a.fifo_element[4].in.a : 1 [by t.a.fifo_element[4].inack_ctl._y:=0] - 2423766 t.a.fifo_element[3]._out_a_B : 0 [by t.a.fifo_element[4].in.a:=1] - 2423792 t.a.fifo_element[3].buf_func._y : 1 [by t.a.fifo_element[3]._out_a_B:=0] - 2423843 t.a.fifo_element[4].in.r : 0 [by t.a.fifo_element[3].buf_func._y:=1] - 2435033 t.a.fifo_element[2]._en : 0 [by t.a.fifo_element[2].in.a:=1] - 2435169 t.a.fifo_element[2].buf_func._y : 1 [by t.a.fifo_element[2]._en:=0] - 2436547 t.a.fifo_element[2].inack_ctl._y : 1 [by t.a.fifo_element[2]._en:=0] - 2436555 t.a.fifo_element[2].in.a : 0 [by t.a.fifo_element[2].inack_ctl._y:=1] - 2436563 t.a.fifo_element[1]._out_a_B : 1 [by t.a.fifo_element[2].in.a:=0] - 2444387 t.a.fifo_element[3].in.r : 0 [by t.a.fifo_element[2].buf_func._y:=1] - 2445354 t.a.fifo_element[2]._en : 1 [by t.a.fifo_element[3].in.r:=0] - 2449706 t.a.fifo_element[3].inack_ctl._y : 1 [by t.a.fifo_element[3].in.r:=0] - 2457861 t.a.fifo_element[1]._en : 1 [by t.a.fifo_element[2].in.r:=0] - 2458430 t.a.fifo_element[3].in.a : 0 [by t.a.fifo_element[3].inack_ctl._y:=1] - 2458439 t.a.fifo_element[2]._out_a_B : 1 [by t.a.fifo_element[3].in.a:=0] - 2472905 t.a.fifo_element[4]._en : 0 [by t.a.fifo_element[4].in.a:=1] - 2476366 t.a.fifo_element[6].in.r : 1 [by t.a.fifo_element[5].buf_func._y:=0] - 2476368 t.a.fifo_element[6].buf_func._y : 0 [by t.a.fifo_element[6].in.r:=1] - 2476412 t.a.fifo_element[7].in.r : 1 [by t.a.fifo_element[6].buf_func._y:=0] - 2476440 t.a.fifo_element[6].inack_ctl._y : 0 [by t.a.fifo_element[7].in.r:=1] - 2476443 t.a.fifo_element[6].in.a : 1 [by t.a.fifo_element[6].inack_ctl._y:=0] - 2476458 t.a.fifo_element[5]._out_a_B : 0 [by t.a.fifo_element[6].in.a:=1] - 2476520 t.a.fifo_element[5].inack_ctl._y : 0 [by t.a.fifo_element[6].in.r:=1] - 2476521 t.a.fifo_element[5].in.a : 1 [by t.a.fifo_element[5].inack_ctl._y:=0] - 2476974 t.a.fifo_element[4].inack_ctl._y : 1 [by t.a.fifo_element[4]._en:=0] - 2477360 t.a.fifo_element[4].in.a : 0 [by t.a.fifo_element[4].inack_ctl._y:=1] - 2477509 t.a.fifo_element[4]._out_a_B : 0 [by t.a.fifo_element[5].in.a:=1] - 2478120 t.a.fifo_element[6]._en : 0 [by t.a.fifo_element[6].in.a:=1] - 2480036 t.a.fifo_element[3]._out_a_B : 1 [by t.a.fifo_element[4].in.a:=0] - 2480517 t.a.fifo_element[5]._en : 0 [by t.a.fifo_element[5].in.a:=1] - 2481804 t.a.fifo_element[5].buf_func._y : 1 [by t.a.fifo_element[5]._en:=0] - 2483643 t.a.fifo_element[3]._en : 1 [by t.a.fifo_element[3].in.a:=0] - 2502255 t.a.fifo_element[6].in.r : 0 [by t.a.fifo_element[5].buf_func._y:=1] - 2505234 t.a.fifo_element[6].inack_ctl._y : 1 [by t.a.fifo_element[6].in.r:=0] - 2505452 t.a.fifo_element[6].in.a : 0 [by t.a.fifo_element[6].inack_ctl._y:=1] - 2512442 t.a.fifo_element[4].buf_func._y : 1 [by t.a.fifo_element[4]._out_a_B:=0] - 2518048 t.a.fifo_element[7].buf_func._y : 0 [by t.a.fifo_element[7].in.r:=1] - 2518119 t.a.fifo_element[8].in.r : 1 [by t.a.fifo_element[7].buf_func._y:=0] - 2518766 t.a.fifo_element[7].inack_ctl._y : 0 [by t.a.fifo_element[8].in.r:=1] - 2519668 t.a.fifo_element[7].in.a : 1 [by t.a.fifo_element[7].inack_ctl._y:=0] - 2519971 t.a.fifo_element[6]._out_a_B : 0 [by t.a.fifo_element[7].in.a:=1] - 2527440 t.a.fifo_element[8].buf_func._y : 0 [by t.a.fifo_element[8].in.r:=1] - 2527753 t.a.fifo_element[7]._en : 0 [by t.a.fifo_element[7].in.a:=1] - 2527776 t.a.fifo_element[9].in.r : 1 [by t.a.fifo_element[8].buf_func._y:=0] - 2536155 t.a.fifo_element[5].in.r : 0 [by t.a.fifo_element[4].buf_func._y:=1] - 2536156 t.a.fifo_element[4]._en : 1 [by t.a.fifo_element[5].in.r:=0] - 2550474 t.a.fifo_element[5]._out_a_B : 1 [by t.a.fifo_element[6].in.a:=0] - 2560584 t.a.fifo_element[8].inack_ctl._y : 0 [by t.a.fifo_element[9].in.r:=1] - 2560602 t.a.fifo_element[8].in.a : 1 [by t.a.fifo_element[8].inack_ctl._y:=0] - 2560603 t.a.fifo_element[8]._en : 0 [by t.a.fifo_element[8].in.a:=1] - 2560609 t.a.fifo_element[7]._out_a_B : 0 [by t.a.fifo_element[8].in.a:=1] - 2573591 t.a.fifo_element[7].buf_func._y : 1 [by t.a.fifo_element[7]._out_a_B:=0] - 2573616 t.a.fifo_element[8].in.r : 0 [by t.a.fifo_element[7].buf_func._y:=1] - 2573617 t.a.fifo_element[8].inack_ctl._y : 1 [by t.a.fifo_element[8].in.r:=0] - 2573783 t.a.fifo_element[8].in.a : 0 [by t.a.fifo_element[8].inack_ctl._y:=1] - 2573792 t.a.fifo_element[7]._out_a_B : 1 [by t.a.fifo_element[8].in.a:=0] - 2576666 t.a.fifo_element[6].buf_func._y : 1 [by t.a.fifo_element[6]._out_a_B:=0] - 2576675 t.a.fifo_element[7].in.r : 0 [by t.a.fifo_element[6].buf_func._y:=1] - 2576786 t.a.fifo_element[6]._en : 1 [by t.a.fifo_element[7].in.r:=0] - 2580269 t.a.fifo_element[7].inack_ctl._y : 1 [by t.a.fifo_element[7].in.r:=0] - 2581138 t.a.fifo_element[7].in.a : 0 [by t.a.fifo_element[7].inack_ctl._y:=1] - 2581142 t.a.fifo_element[7]._en : 1 [by t.a.fifo_element[7].in.a:=0] - 2581168 t.a.fifo_element[6]._out_a_B : 1 [by t.a.fifo_element[7].in.a:=0] - 2598814 t.a.fifo_element[5].inack_ctl._y : 1 [by t.a.fifo_element[5].in.r:=0] - 2598815 t.a.fifo_element[5].in.a : 0 [by t.a.fifo_element[5].inack_ctl._y:=1] - 2607764 t.a.fifo_element[5]._en : 1 [by t.a.fifo_element[5].in.a:=0] - 2609568 t.a.fifo_element[4]._out_a_B : 1 [by t.a.fifo_element[5].in.a:=0] - 2609568 t.in.r : 0 - 2639368 t.a.fifo_element[0].inack_ctl._y : 1 [by t.in.r:=0] - 2645008 t.in.a : 0 [by t.a.fifo_element[0].inack_ctl._y:=1] - 2645222 t.a.fifo_element[0]._en : 1 [by t.in.a:=0] 7 bit inside diff --git a/test/unit_tests/fifo_t_15/test.prsim b/test/unit_tests/fifo_t_15/test.prsim index e4dfecf..304a5a1 100644 --- a/test/unit_tests/fifo_t_15/test.prsim +++ b/test/unit_tests/fifo_t_15/test.prsim @@ -14,7 +14,6 @@ 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