actlib_dataflow_neuro/test/unit_tests/register_wrw/run/prsim.out

817 lines
71 KiB
Plaintext
Raw Normal View History

0 GND : 0
0 Reset : 1
0 Vdd : 1
1 t._reset_B : 0 [by Reset:=1]
3 t.registers.reset_buf_BXX._y : 1 [by t._reset_B:=0]
4756 t.registers._reset_mem_BX : 0 [by t.registers.reset_buf_BXX._y:=1]
5893 t.registers.reset_bufarray.buf3._y : 1 [by t.registers._reset_mem_BX:=0]
6007 t.registers._reset_mem_BXX[0] : 0 [by t.registers.reset_bufarray.buf3._y:=1]
6011 t.registers.ff[0]._mqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6020 t.registers.ff[5]._sqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6022 t.registers.ff[6]._sqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6023 t.registers.ff[2]._sqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6026 t.registers.ff[0]._mqi : 0 [by t.registers.ff[0]._mqib:=1]
6027 t.registers.ff[3]._mqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6046 t.registers.ff[6]._mqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6047 t.registers.ff[4]._mqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6054 t.registers.ff[2]._mqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6077 t.registers.ff[6]._sqi : 0 [by t.registers.ff[6]._sqib:=1]
6422 t.registers.ff[4]._sqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6423 t.registers.ff[4]._sqi : 0 [by t.registers.ff[4]._sqib:=1]
6423 t.data[2].d[0] : 0 [by t.registers.ff[4]._sqib:=1]
6469 t.registers.ff[4]._mqi : 0 [by t.registers.ff[4]._mqib:=1]
6498 t.registers.ff[5]._mqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
6705 t.registers.ff[4].q_B : 1 [by t.data[2].d[0]:=0]
7093 t.registers.reset_buf_BX._y : 1 [by t._reset_B:=0]
7096 t.registers._reset_BX : 0 [by t.registers.reset_buf_BX._y:=1]
7266 t.registers.ff[5]._mqi : 0 [by t.registers.ff[5]._mqib:=1]
7733 t.registers.ff[7]._sqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
8284 t.data[3].d[1] : 0 [by t.registers.ff[7]._sqib:=1]
9238 t.registers.ff[7].q_B : 1 [by t.data[3].d[1]:=0]
9355 t.registers.word_selector_t[7]._y : 1 [by t.data[3].d[1]:=0]
10436 t.registers.word_selector_t[7].y : 0 [by t.registers.word_selector_t[7]._y:=1]
10468 t.registers.output_buf.reset_buf._y : 1 [by t._reset_B:=0]
12068 t.registers.ff[3]._sqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
12086 t.data[1].d[1] : 0 [by t.registers.ff[3]._sqib:=1]
13050 t.registers.ff[3]._sqi : 0 [by t.registers.ff[3]._sqib:=1]
15136 t.registers.ff[0]._sqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
16089 t.registers.ff[3].q_B : 1 [by t.data[1].d[1]:=0]
16099 t.registers.word_selector_t[3]._y : 1 [by t.data[1].d[1]:=0]
19731 t.registers.ff[1]._sqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
19872 t.data[1].d[0] : 0 [by t.registers.ff[2]._sqib:=1]
19934 t.data[0].d[1] : 0 [by t.registers.ff[1]._sqib:=1]
20003 t.registers.ff[1].q_B : 1 [by t.data[0].d[1]:=0]
20011 t.registers.ff[2].q_B : 1 [by t.data[1].d[0]:=0]
20233 t.registers.ff[1]._sqi : 0 [by t.registers.ff[1]._sqib:=1]
20389 t.registers.ff[6]._mqi : 0 [by t.registers.ff[6]._mqib:=1]
20859 t.registers.word_selector_t[3].y : 0 [by t.registers.word_selector_t[3]._y:=1]
21726 t.registers.word_selector_t[2]._y : 1 [by t.data[1].d[0]:=0]
21737 t.registers.word_selector_t[2].y : 0 [by t.registers.word_selector_t[2]._y:=1]
26628 t.registers.word_selector_t[4]._y : 1 [by t.data[2].d[0]:=0]
30174 t.registers.ff[7]._sqi : 0 [by t.registers.ff[7]._sqib:=1]
30839 t.registers.ff[3]._mqi : 0 [by t.registers.ff[3]._mqib:=1]
35803 t.registers.ff[2]._sqi : 0 [by t.registers.ff[2]._sqib:=1]
36720 t.data[0].d[0] : 0 [by t.registers.ff[0]._sqib:=1]
36735 t.registers.ff[0].q_B : 1 [by t.data[0].d[0]:=0]
36924 t.registers.word_selector_t[0]._y : 1 [by t.data[0].d[0]:=0]
36925 t.registers.word_selector_t[0].y : 0 [by t.registers.word_selector_t[0]._y:=1]
36962 t.registers.bitselector_t[0].or2s[0]._y : 1 [by t.registers.word_selector_t[0].y:=0]
37701 t.registers.bitselector_t[0].tmp[4] : 0 [by t.registers.bitselector_t[0].or2s[0]._y:=1]
42951 t.data[2].d[1] : 0 [by t.registers.ff[5]._sqib:=1]
43063 t.registers.word_selector_t[5]._y : 1 [by t.data[2].d[1]:=0]
43103 t.registers.word_selector_t[5].y : 0 [by t.registers.word_selector_t[5]._y:=1]
43360 t.registers.bitselector_t[1].or2s[1]._y : 1 [by t.registers.word_selector_t[5].y:=0]
43447 t.registers.bitselector_t[1].tmp[5] : 0 [by t.registers.bitselector_t[1].or2s[1]._y:=1]
49268 t.registers.ff[5]._sqi : 0 [by t.registers.ff[5]._sqib:=1]
50105 t.registers.ff[1]._mqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
50399 t.registers.ff[1]._mqi : 0 [by t.registers.ff[1]._mqib:=1]
54768 t.registers.ff[2]._mqi : 0 [by t.registers.ff[2]._mqib:=1]
56280 t.registers.word_selector_t[1]._y : 1 [by t.data[0].d[1]:=0]
56281 t.registers.word_selector_t[1].y : 0 [by t.registers.word_selector_t[1]._y:=1]
57675 t.data[3].d[0] : 0 [by t.registers.ff[6]._sqib:=1]
58087 t.registers.bitselector_t[1].or2s[0]._y : 1 [by t.registers.word_selector_t[1].y:=0]
58677 t.registers.bitselector_t[1].tmp[4] : 0 [by t.registers.bitselector_t[1].or2s[0]._y:=1]
58855 t.registers.bitselector_t[1].or2s[2]._y : 1 [by t.registers.bitselector_t[1].tmp[4]:=0]
58884 t.registers.ff[6].q_B : 1 [by t.data[3].d[0]:=0]
59658 t.registers.bitselector_t[1].out : 0 [by t.registers.bitselector_t[1].or2s[2]._y:=1]
59682 t.registers.word_selector_t[6]._y : 1 [by t.data[3].d[0]:=0]
59846 t.registers.word_selector_t[6].y : 0 [by t.registers.word_selector_t[6]._y:=1]
60037 t.registers.ff[0]._sqi : 0 [by t.registers.ff[0]._sqib:=1]
64938 t.registers.output_buf._reset_BX : 0 [by t.registers.output_buf.reset_buf._y:=1]
64960 t.registers.output_buf.inack_ctl._y : 1 [by t.registers.output_buf._reset_BX:=0]
65807 t.registers.ack_read_and.b : 0 [by t.registers.output_buf.inack_ctl._y:=1]
67133 t.registers.output_buf.reset_bufarray.buf1._y : 1 [by t.registers.output_buf._reset_BX:=0]
67266 t.registers.output_buf._reset_BXX[0] : 0 [by t.registers.output_buf.reset_bufarray.buf1._y:=1]
67273 t.registers.output_buf.f_buf_func[0]._y : 1 [by t.registers.output_buf._reset_BXX[0]:=0]
67296 t.registers.output_buf.f_buf_func[1]._y : 1 [by t.registers.output_buf._reset_BXX[0]:=0]
67364 t.out.d.d[0].f : 0 [by t.registers.output_buf.f_buf_func[0]._y:=1]
67487 t.registers.output_buf.t_buf_func[3]._y : 1 [by t.registers.output_buf._reset_BXX[0]:=0]
67494 t.out.d.d[3].t : 0 [by t.registers.output_buf.t_buf_func[3]._y:=1]
67625 t.registers.output_buf.t_buf_func[1]._y : 1 [by t.registers.output_buf._reset_BXX[0]:=0]
69485 t.out.d.d[1].f : 0 [by t.registers.output_buf.f_buf_func[1]._y:=1]
70412 t.out.d.d[1].t : 0 [by t.registers.output_buf.t_buf_func[1]._y:=1]
71373 t.registers.ff[7]._mqib : 1 [by t.registers._reset_mem_BXX[0]:=0]
71479 t.registers.ff[7]._mqi : 0 [by t.registers.ff[7]._mqib:=1]
73979 t.registers.output_buf.f_buf_func[2]._y : 1 [by t.registers.output_buf._reset_BXX[0]:=0]
74057 t.out.d.d[2].f : 0 [by t.registers.output_buf.f_buf_func[2]._y:=1]
78414 t.registers.word_selector_t[4].y : 0 [by t.registers.word_selector_t[4]._y:=1]
78689 t.registers.bitselector_t[0].or2s[1]._y : 1 [by t.registers.word_selector_t[4].y:=0]
81382 t.registers.output_buf.t_buf_func[2]._y : 1 [by t.registers.output_buf._reset_BXX[0]:=0]
81837 t.out.d.d[2].t : 0 [by t.registers.output_buf.t_buf_func[2]._y:=1]
82928 t.registers.output_buf.t_buf_func[0]._y : 1 [by t.registers.output_buf._reset_BXX[0]:=0]
82940 t.out.d.d[0].t : 0 [by t.registers.output_buf.t_buf_func[0]._y:=1]
90463 t.registers.ff[5].q_B : 1 [by t.data[2].d[1]:=0]
95935 t.registers.ack_read_and._y : 1 [by t.registers.ack_read_and.b:=0]
96339 t.registers._in_a_read : 0 [by t.registers.ack_read_and._y:=1]
97685 t.registers.bitselector_t[0].tmp[5] : 0 [by t.registers.bitselector_t[0].or2s[1]._y:=1]
97697 t.registers.bitselector_t[0].or2s[2]._y : 1 [by t.registers.bitselector_t[0].tmp[5]:=0]
103613 t.registers.bitselector_t[0].out : 0 [by t.registers.bitselector_t[0].or2s[2]._y:=1]
124727 t.registers.output_buf.f_buf_func[3]._y : 1 [by t.registers.output_buf._reset_BXX[0]:=0]
129003 t.out.d.d[3].f : 0 [by t.registers.output_buf.f_buf_func[3]._y:=1]
t.registers._clock_word_temp[0] t.registers.ack_dly._a[1] t.registers._clock_temp_inv t.registers.ff[0].clk_B t.registers._clock[0] t.dly_cfg[1] t.registers.ff[0].d t.registers.ff[4].clk_B t.registers.word_selector_f[3].y t.registers.output_buf._in_vX[0] t.registers._out_encoder[0] t.registers.bitselector_f[1].out t.registers.clock_buffer[1].buf1._y t.registers.atree[2].in[1] t.registers.ff[6].clk_B t.registers.word_selector_f[1].y t.registers.address_propagator_f[1].y t.registers._in_v_temp_write t.registers.bitselector_f[0].out t.registers.address_propagator_t[0].y t.registers._out_encoder[2] t.registers.clk_dly.and2[1]._y t.registers.output_buf._en_X_f[0] t.registers._out_encoder[1] t.registers.val_input.ct.in[0] t.registers.ack_dly.dly[2]._y t.registers.atree[0].in[0] t.in.d.d[0].f t.registers.word_selector_f[0].y t.in.v t.registers.word_selector_f[0].a t.registers.word_selector_f[6].a t.registers.clk_dly.dly[1].a t.registers.output_buf._en t.registers._in_a_write t.registers._clock_word_temp[3] t.registers.word_selector_f[4].a t.registers.output_buf._out_a_BX_t[0] t.registers.val_input.ct.in[3] t.registers.word_to_read[0].y t.registers.ff[1].d t.registers.clock_buffer[0].buf1._y t.registers.word_selector_f[2].y t.registers.output_buf.vc.ct.in[3] t.registers.ack_read_and.a t.registers.address_propagator_f[0]._y t.registers.word_selector_f[2].a t.registers.address_propagator_t[1].y t.registers.atree[1].in[0] t.registers.ack_dly.dly[2].___y t.registers.bitselector_f[0].or2s[2]._y t.registers.output_buf.vc.ct.tmp[4] t.registers.output_buf.vc.ct.tmp[5] t.registers.ack_dly.mu2[0]._y t.in.d.d[1].f t.registers.address_propagator_t[0]._y t.out.v t.registers.val_input.OR2_tf[3]._y t.registers.clk_X.buf1._y t.registers._clock_temp t.registers.word_to_read[3].y t.registers._in_a_write_temp t.registers.word_to_read[1].y t.registers.ff[7]._clk_B t.registers.output_buf.vc.ct.in[0] t.in.a t.registers.atree[0].in[1] t.registers._out_encoder[3] t.registers.ff[1]._clk_B t.registers.clk_dly.dly[0]._y t.registers.word_selector_f[4].y t.registers.val_input.OR2_tf[2]._y t.registers.val_input.ct.in[2] t.registers.output_buf._in_v t.registers.clk_dly.dly[1]._y t.registers.output_buf.vc.OR2_tf[0]._y t.registers.word_to_read[1]._y t.registers.output_buf._out_a_BX_f[0] t.registers.bitselector_f[0].tmp[5] t.registers.bitselector_f[1].tmp[4] t.registers._clock_word_temp[1] t.registers.clk_dly.mu2[0]._s t.registers.output_buf.in.v t.registers.ack_dly.dly[0]._y t.registers.word_selector_f[7].y t.registers.ack_dly.dly[0].a t.registers.address_propagator_f[0].y t.registers.clock_buffer[2].buf1._y t.registers.output_buf.vc.ct.in[1] t.registers.clk_dly.dly[1].__y t.registers.word_to_read[2].y t.registers.ff[2].clk_B t.registers._in_a_temp t.registers.ff[6]._clk_B t.registers.output_buf._en_X_t[0] t.registers.clk_dly.mu2[0]._y t.dly_cfg[0] t.registers.word_selector_f[5].y t.registers.bitselector_f[0].tmp[4] t.registers.clock_buffer[3].buf1._y t.registers.val_input.ct.tmp[5] t.registers._in_v_temp t.registers.output_buf._out_a_B t.registers.ack_dly.dly[1]._y t.registers.and_encoder[0]._y t.registers.clk_dly._a[1] t.registers.bitselector_f[1].or2s[0]._y t.registers.output_buf.vc.ct.in[2] t.registers.ack_dly.dly[1].y t.registers.output_buf.out_a_B_buf_f.buf1._y t.registers.clk_switch.b t.registers.val_input.OR2_tf[1]._y t.registers.clk_dly.dly[0].__y t.registers.output_buf.vc.ct.C2Els[2]._y t.registers.word_selector_f[4]._y t.registers.clk_dly.dly[2].__y t.registers.atree[3].and2s[0]._y t.registers.word_to_read_X[0].buf1._y t.registers.ack_dly.dly[2].y t.registers.ff[4].__clk_B t.registers.word_selector_f[2]._y t.registers.val_input.ct.in[4] t.registers._clock_word_temp[2] t.registers.val_input_X.buf4._y t.registers.atree[2].and2s[0]._y t.registers.val_input.ct.tmp[6] t.registers.val_input.ct.in[1] t.registers.output_buf.en_buf_t.buf1._y t.registers.output_buf.vc.ct.C2Els[0]._y t.registers.word_selector_f[6].y t.registers.bitselector_f[1].or2s[1]._y t.registers.val_input.OR2_tf[0]._y t.out.a t.registers.ff[5]._clk_B t.registers.output_buf.vc.OR2_tf[2]._y
[0] start test
2022-03-09 20:02:41 +01:00
----------------------------------------------------------
129003 t.in.d.d[0].f : 0
129003 Reset : 0
129003 t.out.v : 0
129003 t.in.d.d[1].f : 0
129003 t.registers.atree[0].in[1] : 0
129003 t.registers.atree[1].in[0] : 0
129003 t.out.a : 0
129003 t.dly_cfg[1] : 1
129003 t.registers.ff[0].d : 0
129003 t.registers.atree[0].in[0] : 0
129003 t.dly_cfg[0] : 1
129003 t.registers.ack_read_and.a : 0
129003 t.registers.ff[1].d : 0
129003 t.registers.clk_switch.b : 0
129003 t.registers.atree[2].in[1] : 0
129004 t.registers.address_propagator_f[0]._y : 1 [by t.registers.atree[0].in[0]:=0]
129005 t.registers.atree[0].and2s[0]._y : 1 [by t.registers.atree[0].in[1]:=0]
129005 t.registers.atree[2].and2s[0]._y : 1 [by t.registers.atree[0].in[0]:=0]
129006 t.registers.address_propagator_f[0].y : 0 [by t.registers.address_propagator_f[0]._y:=1]
129008 t.registers._out_encoder[2] : 0 [by t.registers.atree[2].and2s[0]._y:=1]
129014 t.registers.clk_dly.mu2[0]._s : 0 [by t.dly_cfg[0]:=1]
129019 t.registers.word_to_read[3]._y : 1 [by t.registers.ack_read_and.a:=0]
129037 t.registers.and_encoder[2]._y : 1 [by t.registers._out_encoder[2]:=0]
129070 t.registers.word_to_read[1]._y : 1 [by t.registers.ack_read_and.a:=0]
129078 t.registers.output_buf._out_a_B : 1 [by t.out.a:=0]
129122 t.registers.output_buf.out_a_B_buf_t.buf1._y : 0 [by t.registers.output_buf._out_a_B:=1]
129141 t.registers.clk_dly.mu2[1]._s : 0 [by t.dly_cfg[1]:=1]
129169 t.registers.address_propagator_t[0]._y : 1 [by t.registers.atree[1].in[0]:=0]
129170 t.registers.address_propagator_t[0].y : 0 [by t.registers.address_propagator_t[0]._y:=1]
129223 t.registers.word_to_read[1].y : 0 [by t.registers.word_to_read[1]._y:=1]
129245 t.registers.word_to_read_X[1].buf1._y : 1 [by t.registers.word_to_read[1].y:=0]
129246 t.registers.word_selector_f[2].a : 0 [by t.registers.word_to_read_X[1].buf1._y:=1]
129336 t.registers.word_to_read[3].y : 0 [by t.registers.word_to_read[3]._y:=1]
129348 t.registers.ack_dly.mu2[1]._s : 0 [by t.dly_cfg[1]:=1]
129373 t.registers.word_to_read[0]._y : 1 [by t.registers.ack_read_and.a:=0]
129387 t.registers.output_buf.vc.OR2_tf[2]._y : 1 [by t.registers.address_propagator_t[0].y:=0]
129495 t.registers.word_to_read_X[3].buf1._y : 1 [by t.registers.word_to_read[3].y:=0]
129531 t.registers.val_input.OR2_tf[1]._y : 1 [by t.registers.ff[1].d:=0]
129551 t.registers.ack_dly.mu2[0]._s : 0 [by t.dly_cfg[0]:=1]
129676 t.registers.val_input.ct.in[1] : 0 [by t.registers.val_input.OR2_tf[1]._y:=1]
130252 t.registers.address_propagator_f[1]._y : 1 [by t.registers.atree[0].in[1]:=0]
130638 t.registers._clock_word_temp[2] : 0 [by t.registers.and_encoder[2]._y:=1]
130674 t.registers.output_buf.vc.ct.in[2] : 0 [by t.registers.output_buf.vc.OR2_tf[2]._y:=1]
130827 t.registers.word_selector_f[2]._y : 1 [by t.registers.word_selector_f[2].a:=0]
130828 t.registers.word_selector_f[2].y : 0 [by t.registers.word_selector_f[2]._y:=1]
131438 t.registers.ack_write_and._y : 1 [by t.registers.clk_switch.b:=0]
131644 t.registers.word_to_read[2]._y : 1 [by t.registers.ack_read_and.a:=0]
131727 t.registers.word_selector_f[6].a : 0 [by t.registers.word_to_read_X[3].buf1._y:=1]
131741 t.registers.word_selector_f[7]._y : 1 [by t.registers.word_selector_f[6].a:=0]
131748 t.registers.word_selector_f[7].y : 0 [by t.registers.word_selector_f[7]._y:=1]
131806 t.registers.word_to_read[2].y : 0 [by t.registers.word_to_read[2]._y:=1]
131839 t.registers.output_buf.out_a_B_buf_f.buf1._y : 0 [by t.registers.output_buf._out_a_B:=1]
131902 t._reset_B : 1 [by Reset:=0]
131903 t.registers.reset_buf_BX._y : 0 [by t._reset_B:=1]
131903 t.registers.output_buf.reset_buf._y : 0 [by t._reset_B:=1]
131903 t.registers.reset_buf_BXX._y : 0 [by t._reset_B:=1]
131904 t.registers._reset_mem_BX : 1 [by t.registers.reset_buf_BXX._y:=0]
131966 t.registers.word_to_read_X[2].buf1._y : 1 [by t.registers.word_to_read[2].y:=0]
132090 t.registers.output_buf._reset_BX : 1 [by t.registers.output_buf.reset_buf._y:=0]
132091 t.registers.output_buf.reset_bufarray.buf1._y : 0 [by t.registers.output_buf._reset_BX:=1]
132502 t.registers.atree[3].and2s[0]._y : 1 [by t.registers.atree[1].in[0]:=0]
132507 t.registers._out_encoder[3] : 0 [by t.registers.atree[3].and2s[0]._y:=1]
WARNING: weak-interference `t.registers.output_buf.t_buf_func[3]._y'
>> cause: t.registers.output_buf._reset_BXX[0] (val: 1)
>> time: 132944
WARNING: weak-interference `t.registers.output_buf.f_buf_func[0]._y'
>> cause: t.registers.output_buf._reset_BXX[0] (val: 1)
>> time: 132944
WARNING: weak-interference `t.registers.output_buf.f_buf_func[1]._y'
>> cause: t.registers.output_buf._reset_BXX[0] (val: 1)
>> time: 132944
WARNING: weak-interference `t.registers.output_buf.f_buf_func[3]._y'
>> cause: t.registers.output_buf._reset_BXX[0] (val: 1)
>> time: 132944
132944 t.registers.output_buf._reset_BXX[0] : 1 [by t.registers.output_buf.reset_bufarray.buf1._y:=0]
WARNING: weak-interference `t.out.d.d[3].t'
>> cause: t.registers.output_buf.t_buf_func[3]._y (val: X)
>> time: 132945
132945 t.registers.output_buf.t_buf_func[3]._y : X [by t.registers.output_buf._reset_BXX[0]:=1]
132948 t.out.d.d[3].t : X [by t.registers.output_buf.t_buf_func[3]._y:=X]
WARNING: weak-interference `t.out.d.d[0].f'
>> cause: t.registers.output_buf.f_buf_func[0]._y (val: X)
>> time: 132961
132961 t.registers.output_buf.f_buf_func[0]._y : X [by t.registers.output_buf._reset_BXX[0]:=1]
133084 t.registers.address_propagator_f[1].y : 0 [by t.registers.address_propagator_f[1]._y:=1]
133298 t.registers.output_buf._en : 1 [by t.out.v:=0]
133299 t.registers.output_buf.en_buf_t.buf1._y : 0 [by t.registers.output_buf._en:=1]
133341 t.registers.output_buf._en_X_t[0] : 1 [by t.registers.output_buf.en_buf_t.buf1._y:=0]
133398 t.registers.and_encoder[3]._y : 1 [by t.registers._out_encoder[3]:=0]
133538 t.registers.atree[1].and2s[0]._y : 1 [by t.registers.atree[0].in[1]:=0]
133565 t.registers.address_propagator_t[1]._y : 1 [by t.registers.ack_read_and.a:=0]
133660 t.registers.address_propagator_t[1].y : 0 [by t.registers.address_propagator_t[1]._y:=1]
133902 t.out.d.d[0].f : X [by t.registers.output_buf.f_buf_func[0]._y:=X]
133995 t.registers.output_buf.vc.OR2_tf[3]._y : 1 [by t.registers.address_propagator_t[1].y:=0]
134003 t.registers.output_buf.vc.ct.in[3] : 0 [by t.registers.output_buf.vc.OR2_tf[3]._y:=1]
134037 t.registers.output_buf.vc.ct.C2Els[1]._y : 1 [by t.registers.output_buf.vc.ct.in[3]:=0]
134146 t.registers._reset_BX : 1 [by t.registers.reset_buf_BX._y:=0]
134266 t.registers.val_input.OR2_tf[0]._y : 1 [by t.registers.ff[0].d:=0]
135184 t.registers.val_input.ct.in[0] : 0 [by t.registers.val_input.OR2_tf[0]._y:=1]
135188 t.registers.val_input.ct.C2Els[0]._y : 1 [by t.registers.val_input.ct.in[0]:=0]
WARNING: weak-interference `t.out.d.d[1].f'
>> cause: t.registers.output_buf.f_buf_func[1]._y (val: X)
>> time: 135517
135517 t.registers.output_buf.f_buf_func[1]._y : X [by t.registers.output_buf._reset_BXX[0]:=1]
136086 t.registers.reset_bufarray.buf3._y : 0 [by t.registers._reset_mem_BX:=1]
136215 t.registers._clock_word_temp[3] : 0 [by t.registers.and_encoder[3]._y:=1]
136992 t.registers.clock_buffer[2].buf1._y : 1 [by t.registers._clock_word_temp[2]:=0]
137040 t.registers.ff[4].clk_B : 0 [by t.registers.clock_buffer[2].buf1._y:=1]
137043 t.registers.ff[4]._clk_B : 1 [by t.registers.ff[4].clk_B:=0]
137218 t.registers.ff[5]._clk_B : 1 [by t.registers.ff[4].clk_B:=0]
137915 t.out.d.d[1].f : X [by t.registers.output_buf.f_buf_func[1]._y:=X]
138591 t.registers.word_selector_f[3]._y : 1 [by t.registers.word_selector_f[2].a:=0]
139096 t.registers.word_selector_f[6]._y : 1 [by t.registers.word_selector_f[6].a:=0]
139301 t.registers._reset_mem_BXX[0] : 1 [by t.registers.reset_bufarray.buf3._y:=0]
WARNING: weak-interference `t.out.d.d[3].f'
>> cause: t.registers.output_buf.f_buf_func[3]._y (val: X)
>> time: 141305
141305 t.registers.output_buf.f_buf_func[3]._y : X [by t.registers.output_buf._reset_BXX[0]:=1]
142044 t.registers.val_input.OR2_tf[3]._y : 1 [by t.registers.atree[2].in[1]:=0]
142132 t.out.d.d[3].f : X [by t.registers.output_buf.f_buf_func[3]._y:=X]
142217 t.registers.val_input.ct.in[3] : 0 [by t.registers.val_input.OR2_tf[3]._y:=1]
142805 t.registers.output_buf._out_a_BX_f[0] : 1 [by t.registers.output_buf.out_a_B_buf_t.buf1._y:=0]
144542 t.registers.word_selector_f[3].y : 0 [by t.registers.word_selector_f[3]._y:=1]
147271 t.registers._out_encoder[1] : 0 [by t.registers.atree[1].and2s[0]._y:=1]
147455 t.registers.and_encoder[1]._y : 1 [by t.registers._out_encoder[1]:=0]
147456 t.registers._clock_word_temp[1] : 0 [by t.registers.and_encoder[1]._y:=1]
147529 t.registers.clock_buffer[1].buf1._y : 1 [by t.registers._clock_word_temp[1]:=0]
147533 t.registers.ff[2].clk_B : 0 [by t.registers.clock_buffer[1].buf1._y:=1]
147629 t.registers.ff[3]._clk_B : 1 [by t.registers.ff[2].clk_B:=0]
147765 t.registers.ff[3].__clk_B : 0 [by t.registers.ff[3]._clk_B:=1]
147924 t.registers.output_buf.vc.ct.tmp[5] : 0 [by t.registers.output_buf.vc.ct.C2Els[1]._y:=1]
149049 t.registers.word_to_read[0].y : 0 [by t.registers.word_to_read[0]._y:=1]
149050 t.registers.word_to_read_X[0].buf1._y : 1 [by t.registers.word_to_read[0].y:=0]
149117 t.registers.ff[5].__clk_B : 0 [by t.registers.ff[5]._clk_B:=1]
152928 t.registers.val_input.OR2_tf[4]._y : 1 [by t.registers.clk_switch.b:=0]
153169 t.registers.val_input.ct.in[4] : 0 [by t.registers.val_input.OR2_tf[4]._y:=1]
153396 t.registers.output_buf._out_a_BX_t[0] : 1 [by t.registers.output_buf.out_a_B_buf_f.buf1._y:=0]
155883 t.registers.clk_switch._y : 1 [by t.registers.clk_switch.b:=0]
158020 t.registers.ff[4].__clk_B : 0 [by t.registers.ff[4]._clk_B:=1]
159842 t.registers._in_v_temp_write : 0 [by t.registers.clk_switch._y:=1]
159854 t.registers.clk_dly.and2[0]._y : 1 [by t.registers._in_v_temp_write:=0]
163754 t.registers.clk_dly.dly[0].a : 0 [by t.registers.clk_dly.and2[0]._y:=1]
164783 t.registers.clk_dly.dly[0]._y : 1 [by t.registers.clk_dly.dly[0].a:=0]
164784 t.registers.clk_dly.dly[0].__y : 0 [by t.registers.clk_dly.dly[0]._y:=1]
164840 t.registers.clk_dly.dly[0].___y : 1 [by t.registers.clk_dly.dly[0].__y:=0]
166748 t.registers.word_selector_f[4].a : 0 [by t.registers.word_to_read_X[2].buf1._y:=1]
166749 t.registers.word_selector_f[4]._y : 1 [by t.registers.word_selector_f[4].a:=0]
166785 t.registers.word_selector_f[5]._y : 1 [by t.registers.word_selector_f[4].a:=0]
166786 t.registers.word_selector_f[5].y : 0 [by t.registers.word_selector_f[5]._y:=1]
168096 t.registers.word_selector_f[0].a : 0 [by t.registers.word_to_read_X[0].buf1._y:=1]
168109 t.registers.word_selector_f[1]._y : 1 [by t.registers.word_selector_f[0].a:=0]
169788 t.registers.word_selector_f[0]._y : 1 [by t.registers.word_selector_f[0].a:=0]
170145 t.registers.word_selector_f[0].y : 0 [by t.registers.word_selector_f[0]._y:=1]
170170 t.registers.bitselector_f[0].or2s[0]._y : 1 [by t.registers.word_selector_f[0].y:=0]
170191 t.registers.bitselector_f[0].tmp[4] : 0 [by t.registers.bitselector_f[0].or2s[0]._y:=1]
170350 t.registers.bitselector_f[1].or2s[1]._y : 1 [by t.registers.word_selector_f[5].y:=0]
170351 t.registers.bitselector_f[1].tmp[5] : 0 [by t.registers.bitselector_f[1].or2s[1]._y:=1]
170722 t.registers._in_a_write : 0 [by t.registers.ack_write_and._y:=1]
172920 t.registers.val_input.OR2_tf[2]._y : 1 [by t.registers.atree[0].in[0]:=0]
172921 t.registers.val_input.ct.in[2] : 0 [by t.registers.val_input.OR2_tf[2]._y:=1]
172922 t.registers.val_input.ct.C3Els[0]._y : 1 [by t.registers.val_input.ct.in[2]:=0]
173083 t.registers.val_input.ct.tmp[6] : 0 [by t.registers.val_input.ct.C3Els[0]._y:=1]
178581 t.registers.word_selector_f[6].y : 0 [by t.registers.word_selector_f[6]._y:=1]
180370 t.registers.ack_readwrite._y : 1 [by t.registers._in_a_write:=0]
181407 t.registers._in_a_temp : 0 [by t.registers.ack_readwrite._y:=1]
181412 t.registers.ack_input_X.buf4._y : 1 [by t.registers._in_a_temp:=0]
181566 t.registers.val_input.ct.tmp[5] : 0 [by t.registers.val_input.ct.C2Els[0]._y:=1]
181974 t.registers.val_input.ct.C2Els[1]._y : 1 [by t.registers.val_input.ct.tmp[5]:=0]
181985 t.registers._in_v_temp : 0 [by t.registers.val_input.ct.C2Els[1]._y:=1]
181993 t.in.a : 0 [by t.registers.ack_input_X.buf4._y:=1]
183032 t.registers.val_input_X.buf4._y : 1 [by t.registers._in_v_temp:=0]
183046 t.in.v : 0 [by t.registers.val_input_X.buf4._y:=1]
183334 t.registers.clock_buffer[3].buf1._y : 1 [by t.registers._clock_word_temp[3]:=0]
183352 t.registers.ff[6].clk_B : 0 [by t.registers.clock_buffer[3].buf1._y:=1]
183356 t.registers.ff[6]._clk_B : 1 [by t.registers.ff[6].clk_B:=0]
183456 t.registers.ff[7]._clk_B : 1 [by t.registers.ff[6].clk_B:=0]
184660 t.registers.ff[7].__clk_B : 0 [by t.registers.ff[7]._clk_B:=1]
184821 t.registers.ff[2]._clk_B : 1 [by t.registers.ff[2].clk_B:=0]
185093 t.registers.word_selector_f[1].y : 0 [by t.registers.word_selector_f[1]._y:=1]
185321 t.registers.bitselector_f[1].or2s[0]._y : 1 [by t.registers.word_selector_f[1].y:=0]
186164 t.registers.bitselector_f[1].tmp[4] : 0 [by t.registers.bitselector_f[1].or2s[0]._y:=1]
187623 t.registers.bitselector_f[1].or2s[2]._y : 1 [by t.registers.bitselector_f[1].tmp[4]:=0]
187693 t.registers.bitselector_f[1].out : 0 [by t.registers.bitselector_f[1].or2s[2]._y:=1]
189963 t.registers._out_encoder[0] : 0 [by t.registers.atree[0].and2s[0]._y:=1]
189974 t.registers.and_encoder[0]._y : 1 [by t.registers._out_encoder[0]:=0]
189977 t.registers._clock_word_temp[0] : 0 [by t.registers.and_encoder[0]._y:=1]
190031 t.registers.clock_buffer[0].buf1._y : 1 [by t.registers._clock_word_temp[0]:=0]
190124 t.registers.word_selector_f[4].y : 0 [by t.registers.word_selector_f[4]._y:=1]
191179 t.registers.ff[0].clk_B : 0 [by t.registers.clock_buffer[0].buf1._y:=1]
191260 t.registers.ff[1]._clk_B : 1 [by t.registers.ff[0].clk_B:=0]
191285 t.registers.bitselector_f[0].or2s[1]._y : 1 [by t.registers.word_selector_f[4].y:=0]
192260 t.registers.output_buf.en_buf_f.buf1._y : 0 [by t.registers.output_buf._en:=1]
192352 t.registers.output_buf._en_X_f[0] : 1 [by t.registers.output_buf.en_buf_f.buf1._y:=0]
193276 t.registers.ff[2].__clk_B : 0 [by t.registers.ff[2]._clk_B:=1]
199831 t.registers.ff[0]._clk_B : 1 [by t.registers.ff[0].clk_B:=0]
202337 t.registers.ff[1].__clk_B : 0 [by t.registers.ff[1]._clk_B:=1]
208142 t.registers.ff[0].__clk_B : 0 [by t.registers.ff[0]._clk_B:=1]
209268 t.registers.bitselector_f[0].tmp[5] : 0 [by t.registers.bitselector_f[0].or2s[1]._y:=1]
209846 t.registers.clk_dly.dly[0].y : 0 [by t.registers.clk_dly.dly[0].___y:=1]
210459 t.registers.clk_dly.mu2[0]._y : 1 [by t.registers.clk_dly.dly[0].y:=0]
211012 t.registers.bitselector_f[0].or2s[2]._y : 1 [by t.registers.bitselector_f[0].tmp[5]:=0]
211057 t.registers.bitselector_f[0].out : 0 [by t.registers.bitselector_f[0].or2s[2]._y:=1]
212054 t.registers.output_buf.vc.OR2_tf[0]._y : 1 [by t.registers.bitselector_f[0].out:=0]
213703 t.registers.output_buf.vc.ct.in[0] : 0 [by t.registers.output_buf.vc.OR2_tf[0]._y:=1]
214800 t.registers.ff[6].__clk_B : 0 [by t.registers.ff[6]._clk_B:=1]
224481 t.registers.clk_dly._a[1] : 0 [by t.registers.clk_dly.mu2[0]._y:=1]
225006 t.registers.clk_dly.and2[1]._y : 1 [by t.registers.clk_dly._a[1]:=0]
225906 t.registers.clk_dly.dly[1].a : 0 [by t.registers.clk_dly.and2[1]._y:=1]
225958 t.registers.clk_dly.dly[1]._y : 1 [by t.registers.clk_dly.dly[1].a:=0]
225965 t.registers.clk_dly.dly[1].__y : 0 [by t.registers.clk_dly.dly[1]._y:=1]
238115 t.registers.output_buf.vc.OR2_tf[1]._y : 1 [by t.registers.bitselector_f[1].out:=0]
241577 t.registers.clk_dly.dly[1].___y : 1 [by t.registers.clk_dly.dly[1].__y:=0]
241579 t.registers.clk_dly.dly[1].y : 0 [by t.registers.clk_dly.dly[1].___y:=1]
241933 t.registers.clk_dly.dly[2]._y : 1 [by t.registers.clk_dly.dly[1].y:=0]
242066 t.registers.clk_dly.dly[2].__y : 0 [by t.registers.clk_dly.dly[2]._y:=1]
242067 t.registers.clk_dly.dly[2].___y : 1 [by t.registers.clk_dly.dly[2].__y:=0]
242071 t.registers.clk_dly.dly[2].y : 0 [by t.registers.clk_dly.dly[2].___y:=1]
242617 t.registers.clk_dly.mu2[1]._y : 1 [by t.registers.clk_dly.dly[2].y:=0]
244582 t.registers.output_buf.vc.ct.in[1] : 0 [by t.registers.output_buf.vc.OR2_tf[1]._y:=1]
244583 t.registers.output_buf.vc.ct.C2Els[0]._y : 1 [by t.registers.output_buf.vc.ct.in[1]:=0]
256961 t.registers.output_buf.vc.ct.tmp[4] : 0 [by t.registers.output_buf.vc.ct.C2Els[0]._y:=1]
257040 t.registers.output_buf.vc.ct.C2Els[2]._y : 1 [by t.registers.output_buf.vc.ct.tmp[4]:=0]
259473 t.registers.output_buf._in_v : 0 [by t.registers.output_buf.vc.ct.C2Els[2]._y:=1]
259561 t.registers.output_buf.in_v_buf4._y : 1 [by t.registers.output_buf._in_v:=0]
267343 t.registers.output_buf.in.v : 0 [by t.registers.output_buf.in_v_buf4._y:=1]
288180 t.registers._clock_temp : 0 [by t.registers.clk_dly.mu2[1]._y:=1]
288210 t.registers._clock_temp_inv : 1 [by t.registers._clock_temp:=0]
288239 t.registers.ack_dly.and2[0]._y : 1 [by t.registers._clock_temp:=0]
289677 t.registers.clk_X.buf1._y : 0 [by t.registers._clock_temp_inv:=1]
295670 t.registers.output_buf.in_v_bufN.buf1._y : 1 [by t.registers.output_buf.in.v:=0]
296355 t.registers.output_buf._in_vX[0] : 0 [by t.registers.output_buf.in_v_bufN.buf1._y:=1]
309061 t.registers._clock[0] : 1 [by t.registers.clk_X.buf1._y:=0]
347743 t.registers.ack_dly.dly[0].a : 0 [by t.registers.ack_dly.and2[0]._y:=1]
364458 t.registers.ack_dly.dly[0]._y : 1 [by t.registers.ack_dly.dly[0].a:=0]
364585 t.registers.ack_dly.dly[0].__y : 0 [by t.registers.ack_dly.dly[0]._y:=1]
364754 t.registers.ack_dly.dly[0].___y : 1 [by t.registers.ack_dly.dly[0].__y:=0]
364797 t.registers.ack_dly.dly[0].y : 0 [by t.registers.ack_dly.dly[0].___y:=1]
364809 t.registers.ack_dly.mu2[0]._y : 1 [by t.registers.ack_dly.dly[0].y:=0]
366088 t.registers.ack_dly._a[1] : 0 [by t.registers.ack_dly.mu2[0]._y:=1]
366321 t.registers.ack_dly.and2[1]._y : 1 [by t.registers.ack_dly._a[1]:=0]
366324 t.registers.ack_dly.dly[1].a : 0 [by t.registers.ack_dly.and2[1]._y:=1]
366362 t.registers.ack_dly.dly[1]._y : 1 [by t.registers.ack_dly.dly[1].a:=0]
366363 t.registers.ack_dly.dly[1].__y : 0 [by t.registers.ack_dly.dly[1]._y:=1]
379115 t.registers.ack_dly.dly[1].___y : 1 [by t.registers.ack_dly.dly[1].__y:=0]
379207 t.registers.ack_dly.dly[1].y : 0 [by t.registers.ack_dly.dly[1].___y:=1]
381934 t.registers.ack_dly.dly[2]._y : 1 [by t.registers.ack_dly.dly[1].y:=0]
381936 t.registers.ack_dly.dly[2].__y : 0 [by t.registers.ack_dly.dly[2]._y:=1]
381937 t.registers.ack_dly.dly[2].___y : 1 [by t.registers.ack_dly.dly[2].__y:=0]
383438 t.registers.ack_dly.dly[2].y : 0 [by t.registers.ack_dly.dly[2].___y:=1]
383440 t.registers.ack_dly.mu2[1]._y : 1 [by t.registers.ack_dly.dly[2].y:=0]
383458 t.registers._in_a_write_temp : 0 [by t.registers.ack_dly.mu2[1]._y:=1]
t.out.d.d[3].t t.out.d.d[0].f t.out.d.d[3].f t.out.d.d[1].f t.registers.output_buf.f_buf_func[0]._y t.registers.output_buf.t_buf_func[3]._y t.registers.output_buf.f_buf_func[3]._y t.registers.output_buf.f_buf_func[1]._y
WRONG ASSERT: "t.out.d.d[0].f" has value X and not 0.
WRONG ASSERT: "t.out.d.d[1].f" has value X and not 0.
WRONG ASSERT: "t.out.d.d[3].f" has value X and not 0.
WRONG ASSERT: "t.out.d.d[3].t" has value X and not 0.
[1] reset completed
2022-03-09 20:02:41 +01:00
----------------------------------------------------------
408819 t.dly_cfg[0] : 1
408819 t.dly_cfg[1] : 1
408849 t.registers.ack_dly.mu2[1]._s : 0 [by t.dly_cfg[1]:=1]
408878 t.registers.clk_dly.mu2[0]._s : 0 [by t.dly_cfg[0]:=1]
410286 t.registers.clk_dly.mu2[1]._s : 0 [by t.dly_cfg[1]:=1]
437146 t.registers.ack_dly.mu2[0]._s : 0 [by t.dly_cfg[0]:=1]
468382 t.registers.clk_dly.mu2[0]._y : 1 [by t.registers.clk_dly.mu2[0]._s:=0]
487766 t.registers.clk_dly._a[1] : 0 [by t.registers.clk_dly.mu2[0]._y:=1]
488451 t.registers.clk_dly.and2[1]._y : 1 [by t.registers.clk_dly._a[1]:=0]
505166 t.registers.clk_dly.dly[1].a : 0 [by t.registers.clk_dly.and2[1]._y:=1]
505293 t.registers.clk_dly.dly[1]._y : 1 [by t.registers.clk_dly.dly[1].a:=0]
505462 t.registers.clk_dly.dly[1].__y : 0 [by t.registers.clk_dly.dly[1]._y:=1]
505505 t.registers.clk_dly.dly[1].___y : 1 [by t.registers.clk_dly.dly[1].__y:=0]
505517 t.registers.clk_dly.dly[1].y : 0 [by t.registers.clk_dly.dly[1].___y:=1]
506796 t.registers.clk_dly.dly[2]._y : 1 [by t.registers.clk_dly.dly[1].y:=0]
507029 t.registers.clk_dly.dly[2].__y : 0 [by t.registers.clk_dly.dly[2]._y:=1]
507032 t.registers.clk_dly.dly[2].___y : 1 [by t.registers.clk_dly.dly[2].__y:=0]
507070 t.registers.clk_dly.dly[2].y : 0 [by t.registers.clk_dly.dly[2].___y:=1]
507071 t.registers.clk_dly.mu2[1]._y : 1 [by t.registers.clk_dly.dly[2].y:=0]
519823 t.registers._clock_temp : 0 [by t.registers.clk_dly.mu2[1]._y:=1]
519915 t.registers._clock_temp_inv : 1 [by t.registers._clock_temp:=0]
522642 t.registers.clk_X.buf1._y : 0 [by t.registers._clock_temp_inv:=1]
522644 t.registers._clock : 1 [by t.registers.clk_X.buf1._y:=0]
522645 t.registers.ack_dly.and2[0]._y : 0 [by t.registers._clock:=1]
524146 t.registers.ack_dly.dly[0].a : 1 [by t.registers.ack_dly.and2[0]._y:=0]
524148 t.registers.ack_dly.dly[0]._y : 0 [by t.registers.ack_dly.dly[0].a:=1]
524166 t.registers.ack_dly.dly[0].__y : 1 [by t.registers.ack_dly.dly[0]._y:=0]
524285 t.registers.ack_dly.dly[0].___y : 0 [by t.registers.ack_dly.dly[0].__y:=1]
530005 t.registers.ack_dly.dly[0].y : 1 [by t.registers.ack_dly.dly[0].___y:=0]
530013 t.registers.ack_dly.mu2[0]._y : 0 [by t.registers.ack_dly.dly[0].y:=1]
530067 t.registers.ack_dly._a[1] : 1 [by t.registers.ack_dly.mu2[0]._y:=0]
580605 t.registers.ack_dly.and2[1]._y : 0 [by t.registers.ack_dly._a[1]:=1]
580610 t.registers.ack_dly.dly[1].a : 1 [by t.registers.ack_dly.and2[1]._y:=0]
581677 t.registers.ack_dly.dly[1]._y : 0 [by t.registers.ack_dly.dly[1].a:=1]
581678 t.registers.ack_dly.dly[1].__y : 1 [by t.registers.ack_dly.dly[1]._y:=0]
581816 t.registers.ack_dly.dly[1].___y : 0 [by t.registers.ack_dly.dly[1].__y:=1]
581817 t.registers.ack_dly.dly[1].y : 1 [by t.registers.ack_dly.dly[1].___y:=0]
581881 t.registers.ack_dly.dly[2]._y : 0 [by t.registers.ack_dly.dly[1].y:=1]
582004 t.registers.ack_dly.dly[2].__y : 1 [by t.registers.ack_dly.dly[2]._y:=0]
582006 t.registers.ack_dly.dly[2].___y : 0 [by t.registers.ack_dly.dly[2].__y:=1]
582043 t.registers.ack_dly.dly[2].y : 1 [by t.registers.ack_dly.dly[2].___y:=0]
582186 t.registers.ack_dly.mu2[1]._y : 0 [by t.registers.ack_dly.dly[2].y:=1]
582237 t.registers._in_write.a : 1 [by t.registers.ack_dly.mu2[1]._y:=0]
582679 t.registers.read_write_demux._out2_a_B : 0 [by t.registers._in_write.a:=1]
582680 t.registers.read_write_demux.out2_a_B_buf_f.buf1._y : 1 [by t.registers.read_write_demux._out2_a_B:=0]
582689 t.registers.read_write_demux._out2_a_BX_t[0] : 0 [by t.registers.read_write_demux.out2_a_B_buf_f.buf1._y:=1]
582690 t.registers.read_write_demux.out2_a_B_buf_t.buf1._y : 1 [by t.registers.read_write_demux._out2_a_B:=0]
582715 t.registers.read_write_demux._out2_a_BX_f[0] : 0 [by t.registers.read_write_demux.out2_a_B_buf_t.buf1._y:=1]
[2] delay line set
2022-03-09 20:02:41 +01:00
----------------------------------------------------------
383458 t.registers.ff[0].d : 1
383458 t.registers.clk_switch.b : 1
383458 t.registers.atree[0].in[0] : 1
383458 t.registers.ff[1].d : 1
383458 t.registers.atree[0].in[1] : 1
383463 t.registers.val_input.OR2_tf[3]._y : 0 [by t.registers.atree[0].in[1]:=1]
383466 t.registers.val_input.OR2_tf[2]._y : 0 [by t.registers.atree[0].in[0]:=1]
383467 t.registers.val_input.ct.in[2] : 1 [by t.registers.val_input.OR2_tf[2]._y:=0]
383512 t.registers.val_input.OR2_tf[1]._y : 0 [by t.registers.ff[1].d:=1]
383577 t.registers.val_input.OR2_tf[0]._y : 0 [by t.registers.ff[0].d:=1]
383578 t.registers.val_input.ct.in[0] : 1 [by t.registers.val_input.OR2_tf[0]._y:=0]
383650 t.registers.val_input.ct.in[1] : 1 [by t.registers.val_input.OR2_tf[1]._y:=0]
383714 t.registers.val_input.ct.C2Els[0]._y : 0 [by t.registers.val_input.ct.in[1]:=1]
383837 t.registers.val_input.ct.tmp[5] : 1 [by t.registers.val_input.ct.C2Els[0]._y:=0]
384530 t.registers.val_input.ct.in[3] : 1 [by t.registers.val_input.OR2_tf[3]._y:=0]
389178 t.registers.val_input.OR2_tf[4]._y : 0 [by t.registers.clk_switch.b:=1]
389180 t.registers.val_input.ct.in[4] : 1 [by t.registers.val_input.OR2_tf[4]._y:=0]
389217 t.registers.val_input.ct.C3Els[0]._y : 0 [by t.registers.val_input.ct.in[4]:=1]
389360 t.registers.val_input.ct.tmp[6] : 1 [by t.registers.val_input.ct.C3Els[0]._y:=0]
389411 t.registers.val_input.ct.C2Els[1]._y : 0 [by t.registers.val_input.ct.tmp[6]:=1]
389853 t.registers._in_v_temp : 1 [by t.registers.val_input.ct.C2Els[1]._y:=0]
389854 t.registers.val_input_X.buf4._y : 0 [by t.registers._in_v_temp:=1]
389863 t.in.v : 1 [by t.registers.val_input_X.buf4._y:=0]
389864 t.registers.clk_switch._y : 0 [by t.registers._in_v_temp:=1]
389889 t.registers._in_v_temp_write : 1 [by t.registers.clk_switch._y:=0]
400142 t.registers.clk_dly.and2[0]._y : 0 [by t.registers._in_v_temp_write:=1]
403663 t.registers.clk_dly.dly[0].a : 1 [by t.registers.clk_dly.and2[0]._y:=0]
403808 t.registers.clk_dly.dly[0]._y : 0 [by t.registers.clk_dly.dly[0].a:=1]
419976 t.registers.clk_dly.dly[0].__y : 1 [by t.registers.clk_dly.dly[0]._y:=0]
420206 t.registers.clk_dly.dly[0].___y : 0 [by t.registers.clk_dly.dly[0].__y:=1]
420897 t.registers.clk_dly.dly[0].y : 1 [by t.registers.clk_dly.dly[0].___y:=0]
420911 t.registers.clk_dly.mu2[0]._y : 0 [by t.registers.clk_dly.dly[0].y:=1]
422454 t.registers.clk_dly._a[1] : 1 [by t.registers.clk_dly.mu2[0]._y:=0]
424065 t.registers.clk_dly.and2[1]._y : 0 [by t.registers.clk_dly._a[1]:=1]
433996 t.registers.atree[0].and2s[0]._y : 0 [by t.registers.atree[0].in[1]:=1]
434007 t.registers._out_encoder[0] : 1 [by t.registers.atree[0].and2s[0]._y:=0]
434008 t.registers.and_encoder[0]._y : 0 [by t.registers._out_encoder[0]:=1]
434009 t.registers._clock_word_temp[0] : 1 [by t.registers.and_encoder[0]._y:=0]
440510 t.registers.clock_buffer[0].buf1._y : 0 [by t.registers._clock_word_temp[0]:=1]
441149 t.registers.ff[0].clk_B : 1 [by t.registers.clock_buffer[0].buf1._y:=0]
441281 t.registers.ff[1]._clk_B : 0 [by t.registers.ff[0].clk_B:=1]
441282 t.registers.ff[1].__clk_B : 1 [by t.registers.ff[1]._clk_B:=0]
441299 t.registers.ff[1]._mqib : 0 [by t.registers.ff[1].__clk_B:=1]
441451 t.registers.ff[1]._mqi : 1 [by t.registers.ff[1]._mqib:=0]
441577 t.registers.clk_dly.dly[1].a : 1 [by t.registers.clk_dly.and2[1]._y:=0]
442942 t.registers.ff[0]._clk_B : 0 [by t.registers.ff[0].clk_B:=1]
442945 t.registers.ff[0].__clk_B : 1 [by t.registers.ff[0]._clk_B:=0]
443369 t.registers.ff[0]._mqib : 0 [by t.registers.ff[0].__clk_B:=1]
443375 t.registers.ff[0]._mqi : 1 [by t.registers.ff[0]._mqib:=0]
444560 t.registers.clk_dly.dly[1]._y : 0 [by t.registers.clk_dly.dly[1].a:=1]
447148 t.registers.clk_dly.dly[1].__y : 1 [by t.registers.clk_dly.dly[1]._y:=0]
449609 t.registers.clk_dly.dly[1].___y : 0 [by t.registers.clk_dly.dly[1].__y:=1]
450439 t.registers.clk_dly.dly[1].y : 1 [by t.registers.clk_dly.dly[1].___y:=0]
473371 t.registers.clk_dly.dly[2]._y : 0 [by t.registers.clk_dly.dly[1].y:=1]
473373 t.registers.clk_dly.dly[2].__y : 1 [by t.registers.clk_dly.dly[2]._y:=0]
473567 t.registers.clk_dly.dly[2].___y : 0 [by t.registers.clk_dly.dly[2].__y:=1]
474170 t.registers.clk_dly.dly[2].y : 1 [by t.registers.clk_dly.dly[2].___y:=0]
474308 t.registers.clk_dly.mu2[1]._y : 0 [by t.registers.clk_dly.dly[2].y:=1]
474325 t.registers._clock_temp : 1 [by t.registers.clk_dly.mu2[1]._y:=0]
474342 t.registers.ack_dly.and2[0]._y : 0 [by t.registers._clock_temp:=1]
474343 t.registers.ack_dly.dly[0].a : 1 [by t.registers.ack_dly.and2[0]._y:=0]
474344 t.registers.ack_dly.dly[0]._y : 0 [by t.registers.ack_dly.dly[0].a:=1]
474751 t.registers._clock_temp_inv : 0 [by t.registers._clock_temp:=1]
474752 t.registers.clk_X.buf1._y : 1 [by t.registers._clock_temp_inv:=0]
474771 t.registers._clock[0] : 0 [by t.registers.clk_X.buf1._y:=1]
474939 t.registers.and_encoder[0]._y : 1 [by t.registers._clock[0]:=0]
475370 t.registers.ack_dly.dly[0].__y : 1 [by t.registers.ack_dly.dly[0]._y:=0]
475478 t.registers._clock_word_temp[0] : 0 [by t.registers.and_encoder[0]._y:=1]
475531 t.registers.ack_dly.dly[0].___y : 0 [by t.registers.ack_dly.dly[0].__y:=1]
475651 t.registers.clock_buffer[0].buf1._y : 1 [by t.registers._clock_word_temp[0]:=0]
478078 t.registers.ack_dly.dly[0].y : 1 [by t.registers.ack_dly.dly[0].___y:=0]
478079 t.registers.ack_dly.mu2[0]._y : 0 [by t.registers.ack_dly.dly[0].y:=1]
478080 t.registers.ack_dly._a[1] : 1 [by t.registers.ack_dly.mu2[0]._y:=0]
478470 t.registers.ack_dly.and2[1]._y : 0 [by t.registers.ack_dly._a[1]:=1]
478677 t.registers.ack_dly.dly[1].a : 1 [by t.registers.ack_dly.and2[1]._y:=0]
479510 t.registers.ack_dly.dly[1]._y : 0 [by t.registers.ack_dly.dly[1].a:=1]
479538 t.registers.ack_dly.dly[1].__y : 1 [by t.registers.ack_dly.dly[1]._y:=0]
479545 t.registers.ack_dly.dly[1].___y : 0 [by t.registers.ack_dly.dly[1].__y:=1]
479959 t.registers.ack_dly.dly[1].y : 1 [by t.registers.ack_dly.dly[1].___y:=0]
479963 t.registers.ack_dly.dly[2]._y : 0 [by t.registers.ack_dly.dly[1].y:=1]
481742 t.registers.ack_dly.dly[2].__y : 1 [by t.registers.ack_dly.dly[2]._y:=0]
490712 t.registers.ff[0].clk_B : 0 [by t.registers.clock_buffer[0].buf1._y:=1]
490878 t.registers.ff[0]._clk_B : 1 [by t.registers.ff[0].clk_B:=0]
491811 t.registers.ff[0]._sqib : 0 [by t.registers.ff[0]._clk_B:=1]
491950 t.data[0].d[0] : 1 [by t.registers.ff[0]._sqib:=0]
492667 t.registers.ff[0]._sqi : 1 [by t.registers.ff[0]._sqib:=0]
499523 t.registers.ff[0].__clk_B : 0 [by t.registers.ff[0]._clk_B:=1]
504616 t.registers.ack_dly.dly[2].___y : 0 [by t.registers.ack_dly.dly[2].__y:=1]
504811 t.registers.ack_dly.dly[2].y : 1 [by t.registers.ack_dly.dly[2].___y:=0]
504813 t.registers.ack_dly.mu2[1]._y : 0 [by t.registers.ack_dly.dly[2].y:=1]
518159 t.registers.ff[0].q_B : 0 [by t.data[0].d[0]:=1]
530582 t.registers.ff[1]._clk_B : 1 [by t.registers.ff[0].clk_B:=0]
530588 t.registers.ff[1].__clk_B : 0 [by t.registers.ff[1]._clk_B:=1]
530836 t.registers.ff[1]._sqib : 0 [by t.registers.ff[1]._clk_B:=1]
530837 t.data[0].d[1] : 1 [by t.registers.ff[1]._sqib:=0]
530843 t.registers.ff[1].q_B : 0 [by t.data[0].d[1]:=1]
530844 t.registers.ff[1]._sqi : 1 [by t.registers.ff[1]._sqib:=0]
558262 t.registers._in_a_write_temp : 1 [by t.registers.ack_dly.mu2[1]._y:=0]
609298 t.registers.ack_write_and._y : 0 [by t.registers._in_a_write_temp:=1]
612388 t.registers._in_a_write : 1 [by t.registers.ack_write_and._y:=0]
612614 t.registers.ack_readwrite._y : 0 [by t.registers._in_a_write:=1]
613433 t.registers._in_a_temp : 1 [by t.registers.ack_readwrite._y:=0]
613434 t.registers.ack_input_X.buf4._y : 0 [by t.registers._in_a_temp:=1]
613440 t.in.a : 1 [by t.registers.ack_input_X.buf4._y:=0]
WRONG ASSERT: "t.out.d.d[0].f" has value X and not 0.
WRONG ASSERT: "t.out.d.d[1].f" has value X and not 0.
WRONG ASSERT: "t.out.d.d[3].f" has value X and not 0.
WRONG ASSERT: "t.out.d.d[3].t" has value X and not 0.
613440 t.registers.ff[0].d : 0
613440 t.registers.clk_switch.b : 0
613440 t.registers.atree[0].in[0] : 0
613440 t.registers.ff[1].d : 0
613440 t.registers.atree[0].in[1] : 0
613442 t.registers.val_input.OR2_tf[0]._y : 1 [by t.registers.ff[0].d:=0]
613455 t.registers.clk_switch._y : 1 [by t.registers.clk_switch.b:=0]
613533 t.registers.val_input.OR2_tf[2]._y : 1 [by t.registers.atree[0].in[0]:=0]
613547 t.registers.atree[0].and2s[0]._y : 1 [by t.registers.atree[0].in[0]:=0]
613548 t.registers._out_encoder[0] : 0 [by t.registers.atree[0].and2s[0]._y:=1]
614200 t.registers.val_input.ct.in[0] : 0 [by t.registers.val_input.OR2_tf[0]._y:=1]
614249 t.registers.val_input.ct.in[2] : 0 [by t.registers.val_input.OR2_tf[2]._y:=1]
615092 t.registers.val_input.OR2_tf[1]._y : 1 [by t.registers.ff[1].d:=0]
616078 t.registers._in_v_temp_write : 0 [by t.registers.clk_switch._y:=1]
616079 t.registers.clk_dly.and2[0]._y : 1 [by t.registers._in_v_temp_write:=0]
616832 t.registers.val_input.ct.in[1] : 0 [by t.registers.val_input.OR2_tf[1]._y:=1]
617002 t.registers.ack_write_and._y : 1 [by t.registers.clk_switch.b:=0]
617003 t.registers._in_a_write : 0 [by t.registers.ack_write_and._y:=1]
617009 t.registers.ack_readwrite._y : 1 [by t.registers._in_a_write:=0]
617010 t.registers._in_a_temp : 0 [by t.registers.ack_readwrite._y:=1]
617379 t.registers.val_input.OR2_tf[3]._y : 1 [by t.registers.atree[0].in[1]:=0]
628231 t.registers.clk_dly.dly[0].a : 0 [by t.registers.clk_dly.and2[0]._y:=1]
628253 t.registers.clk_dly.dly[0]._y : 1 [by t.registers.clk_dly.dly[0].a:=0]
634241 t.registers.val_input.OR2_tf[4]._y : 1 [by t.registers.clk_switch.b:=0]
634248 t.registers.val_input.ct.in[4] : 0 [by t.registers.val_input.OR2_tf[4]._y:=1]
638978 t.registers.val_input.ct.in[3] : 0 [by t.registers.val_input.OR2_tf[3]._y:=1]
639043 t.registers.val_input.ct.C3Els[0]._y : 1 [by t.registers.val_input.ct.in[3]:=0]
639056 t.registers.val_input.ct.tmp[6] : 0 [by t.registers.val_input.ct.C3Els[0]._y:=1]
645031 t.registers.val_input.ct.C2Els[0]._y : 1 [by t.registers.val_input.ct.in[1]:=0]
646155 t.registers.val_input.ct.tmp[5] : 0 [by t.registers.val_input.ct.C2Els[0]._y:=1]
646259 t.registers.val_input.ct.C2Els[1]._y : 1 [by t.registers.val_input.ct.tmp[5]:=0]
646300 t.registers._in_v_temp : 0 [by t.registers.val_input.ct.C2Els[1]._y:=1]
646301 t.registers.val_input_X.buf4._y : 1 [by t.registers._in_v_temp:=0]
646302 t.in.v : 0 [by t.registers.val_input_X.buf4._y:=1]
650761 t.registers.clk_dly.dly[0].__y : 0 [by t.registers.clk_dly.dly[0]._y:=1]
656499 t.registers.ack_input_X.buf4._y : 1 [by t.registers._in_a_temp:=0]
669671 t.in.a : 0 [by t.registers.ack_input_X.buf4._y:=1]
715139 t.registers.clk_dly.dly[0].___y : 1 [by t.registers.clk_dly.dly[0].__y:=0]
715140 t.registers.clk_dly.dly[0].y : 0 [by t.registers.clk_dly.dly[0].___y:=1]
734965 t.registers.clk_dly.mu2[0]._y : 1 [by t.registers.clk_dly.dly[0].y:=0]
738101 t.registers.clk_dly._a[1] : 0 [by t.registers.clk_dly.mu2[0]._y:=1]
738927 t.registers.clk_dly.and2[1]._y : 1 [by t.registers.clk_dly._a[1]:=0]
740760 t.registers.clk_dly.dly[1].a : 0 [by t.registers.clk_dly.and2[1]._y:=1]
757308 t.registers.clk_dly.dly[1]._y : 1 [by t.registers.clk_dly.dly[1].a:=0]
757366 t.registers.clk_dly.dly[1].__y : 0 [by t.registers.clk_dly.dly[1]._y:=1]
759809 t.registers.clk_dly.dly[1].___y : 1 [by t.registers.clk_dly.dly[1].__y:=0]
776582 t.registers.clk_dly.dly[1].y : 0 [by t.registers.clk_dly.dly[1].___y:=1]
813781 t.registers.clk_dly.dly[2]._y : 1 [by t.registers.clk_dly.dly[1].y:=0]
813795 t.registers.clk_dly.dly[2].__y : 0 [by t.registers.clk_dly.dly[2]._y:=1]
814151 t.registers.clk_dly.dly[2].___y : 1 [by t.registers.clk_dly.dly[2].__y:=0]
849989 t.registers.clk_dly.dly[2].y : 0 [by t.registers.clk_dly.dly[2].___y:=1]
850094 t.registers.clk_dly.mu2[1]._y : 1 [by t.registers.clk_dly.dly[2].y:=0]
850203 t.registers._clock_temp : 0 [by t.registers.clk_dly.mu2[1]._y:=1]
850204 t.registers.ack_dly.and2[0]._y : 1 [by t.registers._clock_temp:=0]
850212 t.registers._clock_temp_inv : 1 [by t.registers._clock_temp:=0]
850213 t.registers.clk_X.buf1._y : 0 [by t.registers._clock_temp_inv:=1]
886607 t.registers._clock[0] : 1 [by t.registers.clk_X.buf1._y:=0]
888157 t.registers.ack_dly.dly[0].a : 0 [by t.registers.ack_dly.and2[0]._y:=1]
888158 t.registers.ack_dly.dly[0]._y : 1 [by t.registers.ack_dly.dly[0].a:=0]
891247 t.registers.ack_dly.dly[0].__y : 0 [by t.registers.ack_dly.dly[0]._y:=1]
939973 t.registers.ack_dly.dly[0].___y : 1 [by t.registers.ack_dly.dly[0].__y:=0]
940723 t.registers.ack_dly.dly[0].y : 0 [by t.registers.ack_dly.dly[0].___y:=1]
947478 t.registers.ack_dly.mu2[0]._y : 1 [by t.registers.ack_dly.dly[0].y:=0]
947529 t.registers.ack_dly._a[1] : 0 [by t.registers.ack_dly.mu2[0]._y:=1]
947539 t.registers.ack_dly.and2[1]._y : 1 [by t.registers.ack_dly._a[1]:=0]
947859 t.registers.ack_dly.dly[1].a : 0 [by t.registers.ack_dly.and2[1]._y:=1]
955441 t.registers.ack_dly.dly[1]._y : 1 [by t.registers.ack_dly.dly[1].a:=0]
955442 t.registers.ack_dly.dly[1].__y : 0 [by t.registers.ack_dly.dly[1]._y:=1]
955443 t.registers.ack_dly.dly[1].___y : 1 [by t.registers.ack_dly.dly[1].__y:=0]
957173 t.registers.ack_dly.dly[1].y : 0 [by t.registers.ack_dly.dly[1].___y:=1]
958860 t.registers.ack_dly.dly[2]._y : 1 [by t.registers.ack_dly.dly[1].y:=0]
958875 t.registers.ack_dly.dly[2].__y : 0 [by t.registers.ack_dly.dly[2]._y:=1]
983149 t.registers.ack_dly.dly[2].___y : 1 [by t.registers.ack_dly.dly[2].__y:=0]
983603 t.registers.ack_dly.dly[2].y : 0 [by t.registers.ack_dly.dly[2].___y:=1]
983919 t.registers.ack_dly.mu2[1]._y : 1 [by t.registers.ack_dly.dly[2].y:=0]
983920 t.registers._in_a_write_temp : 0 [by t.registers.ack_dly.mu2[1]._y:=1]
2022-03-09 20:02:41 +01:00
[3] first writing done
----------------------------------------------------------
983920 t.in.d.d[0].f : 1
983920 t.registers.ack_read_and.a : 1
983920 t.registers.atree[0].in[0] : 1
983920 t.in.d.d[1].f : 1
983920 t.registers.atree[0].in[1] : 1
983932 t.registers.val_input.OR2_tf[3]._y : 0 [by t.registers.atree[0].in[1]:=1]
983940 t.registers.val_input.OR2_tf[2]._y : 0 [by t.registers.atree[0].in[0]:=1]
984007 t.registers.val_input.OR2_tf[1]._y : 0 [by t.in.d.d[1].f:=1]
984065 t.registers.address_propagator_f[1]._y : 0 [by t.registers.atree[0].in[1]:=1]
984226 t.registers.val_input.ct.in[1] : 1 [by t.registers.val_input.OR2_tf[1]._y:=0]
984303 t.registers.val_input.OR2_tf[0]._y : 0 [by t.in.d.d[0].f:=1]
984833 t.registers.val_input.ct.in[3] : 1 [by t.registers.val_input.OR2_tf[3]._y:=0]
985243 t.registers.address_propagator_f[0]._y : 0 [by t.registers.atree[0].in[0]:=1]
985261 t.registers.address_propagator_f[0].y : 1 [by t.registers.address_propagator_f[0]._y:=0]
985289 t.registers.val_input.ct.in[2] : 1 [by t.registers.val_input.OR2_tf[2]._y:=0]
987455 t.registers.output_buf.vc.OR2_tf[2]._y : 0 [by t.registers.address_propagator_f[0].y:=1]
990642 t.registers.atree[0].and2s[0]._y : 0 [by t.registers.atree[0].in[1]:=1]
990762 t.registers._out_encoder[0] : 1 [by t.registers.atree[0].and2s[0]._y:=0]
991383 t.registers.val_input.OR2_tf[4]._y : 0 [by t.registers.ack_read_and.a:=1]
991975 t.registers.val_input.ct.in[4] : 1 [by t.registers.val_input.OR2_tf[4]._y:=0]
991982 t.registers.val_input.ct.C3Els[0]._y : 0 [by t.registers.val_input.ct.in[4]:=1]
991983 t.registers.val_input.ct.tmp[6] : 1 [by t.registers.val_input.ct.C3Els[0]._y:=0]
992396 t.registers.address_propagator_f[1].y : 1 [by t.registers.address_propagator_f[1]._y:=0]
992520 t.registers.output_buf.vc.OR2_tf[3]._y : 0 [by t.registers.address_propagator_f[1].y:=1]
992826 t.registers.word_to_read[0]._y : 0 [by t.registers._out_encoder[0]:=1]
993878 t.registers.word_to_read[0].y : 1 [by t.registers.word_to_read[0]._y:=0]
994238 t.registers.word_to_read_X[0].buf1._y : 0 [by t.registers.word_to_read[0].y:=1]
997077 t.registers.and_encoder[0]._y : 0 [by t.registers._out_encoder[0]:=1]
998174 t.registers._clock_word_temp[0] : 1 [by t.registers.and_encoder[0]._y:=0]
998450 t.registers.output_buf.vc.ct.in[3] : 1 [by t.registers.output_buf.vc.OR2_tf[3]._y:=0]
1004432 t.registers.word_selector_f[0].a : 1 [by t.registers.word_to_read_X[0].buf1._y:=0]
1004436 t.registers.word_selector_t[1]._y : 0 [by t.registers.word_selector_f[0].a:=1]
1015884 t.registers.val_input.ct.in[0] : 1 [by t.registers.val_input.OR2_tf[0]._y:=0]
1016096 t.registers.word_selector_t[0]._y : 0 [by t.registers.word_selector_f[0].a:=1]
1018066 t.registers.clock_buffer[0].buf1._y : 0 [by t.registers._clock_word_temp[0]:=1]
1018322 t.registers.ff[0].clk_B : 1 [by t.registers.clock_buffer[0].buf1._y:=0]
1018359 t.registers.ff[1]._clk_B : 0 [by t.registers.ff[0].clk_B:=1]
1018368 t.registers.ff[1]._mqib : 1 [by t.registers.ff[1]._clk_B:=0]
1018371 t.registers.ff[1].__clk_B : 1 [by t.registers.ff[1]._clk_B:=0]
1018795 t.registers.ff[1]._mqi : 0 [by t.registers.ff[1]._mqib:=1]
1019477 t.registers.word_selector_t[0].y : 1 [by t.registers.word_selector_t[0]._y:=0]
1019719 t.registers.bitselector_t[0].or2s[0]._y : 0 [by t.registers.word_selector_t[0].y:=1]
1020554 t.registers.bitselector_t[0].tmp[4] : 1 [by t.registers.bitselector_t[0].or2s[0]._y:=0]
1025427 t.registers.output_buf.vc.ct.in[2] : 1 [by t.registers.output_buf.vc.OR2_tf[2]._y:=0]
1026987 t.registers.output_buf.vc.ct.C2Els[1]._y : 0 [by t.registers.output_buf.vc.ct.in[2]:=1]
1033252 t.registers.ff[0]._clk_B : 0 [by t.registers.ff[0].clk_B:=1]
1033512 t.registers.ff[0].__clk_B : 1 [by t.registers.ff[0]._clk_B:=0]
1033545 t.registers.val_input.ct.C2Els[0]._y : 0 [by t.registers.val_input.ct.in[0]:=1]
1033546 t.registers.val_input.ct.tmp[5] : 1 [by t.registers.val_input.ct.C2Els[0]._y:=0]
1042240 t.registers.ff[0]._mqib : 1 [by t.registers.ff[0]._clk_B:=0]
1042355 t.registers.word_selector_t[1].y : 1 [by t.registers.word_selector_t[1]._y:=0]
1042374 t.registers.bitselector_t[1].or2s[0]._y : 0 [by t.registers.word_selector_t[1].y:=1]
1042383 t.registers.bitselector_t[1].tmp[4] : 1 [by t.registers.bitselector_t[1].or2s[0]._y:=0]
1042624 t.registers.ff[0]._mqi : 0 [by t.registers.ff[0]._mqib:=1]
1064080 t.registers.output_buf.vc.ct.tmp[5] : 1 [by t.registers.output_buf.vc.ct.C2Els[1]._y:=0]
1064337 t.registers.bitselector_t[1].or2s[2]._y : 0 [by t.registers.bitselector_t[1].tmp[4]:=1]
1064525 t.registers.bitselector_t[1].out : 1 [by t.registers.bitselector_t[1].or2s[2]._y:=0]
1067290 t.registers.bitselector_t[0].or2s[2]._y : 0 [by t.registers.bitselector_t[0].tmp[4]:=1]
1069596 t.registers.val_input.ct.C2Els[1]._y : 0 [by t.registers.val_input.ct.tmp[5]:=1]
1069744 t.registers._in_v_temp : 1 [by t.registers.val_input.ct.C2Els[1]._y:=0]
1070890 t.registers.bitselector_t[0].out : 1 [by t.registers.bitselector_t[0].or2s[2]._y:=0]
1070905 t.registers.output_buf.vc.OR2_tf[0]._y : 0 [by t.registers.bitselector_t[0].out:=1]
1081514 t.registers.output_buf.vc.ct.in[0] : 1 [by t.registers.output_buf.vc.OR2_tf[0]._y:=0]
1088621 t.registers.val_input_X.buf4._y : 0 [by t.registers._in_v_temp:=1]
1089508 t.in.v : 1 [by t.registers.val_input_X.buf4._y:=0]
1110301 t.registers.output_buf.vc.OR2_tf[1]._y : 0 [by t.registers.bitselector_t[1].out:=1]
1118283 t.registers.output_buf.vc.ct.in[1] : 1 [by t.registers.output_buf.vc.OR2_tf[1]._y:=0]
1118284 t.registers.output_buf.vc.ct.C2Els[0]._y : 0 [by t.registers.output_buf.vc.ct.in[1]:=1]
1125010 t.registers.output_buf.vc.ct.tmp[4] : 1 [by t.registers.output_buf.vc.ct.C2Els[0]._y:=0]
1125375 t.registers.output_buf.vc.ct.C2Els[2]._y : 0 [by t.registers.output_buf.vc.ct.tmp[4]:=1]
1134333 t.registers.output_buf._in_v : 1 [by t.registers.output_buf.vc.ct.C2Els[2]._y:=0]
1135717 t.registers.output_buf.in_v_buf4._y : 0 [by t.registers.output_buf._in_v:=1]
1135738 t.registers.output_buf.in.v : 1 [by t.registers.output_buf.in_v_buf4._y:=0]
1135779 t.registers.output_buf.in_v_bufN.buf1._y : 0 [by t.registers.output_buf.in.v:=1]
1135782 t.registers.output_buf._in_vX[0] : 1 [by t.registers.output_buf.in_v_bufN.buf1._y:=0]
1135784 t.registers.output_buf.f_buf_func[3]._y : 0 [by t.registers.output_buf._in_vX[0]:=1]
1135787 t.out.d.d[3].f : 1 [by t.registers.output_buf.f_buf_func[3]._y:=0]
1136364 t.registers.output_buf.f_buf_func[2]._y : 0 [by t.registers.output_buf._in_vX[0]:=1]
1136365 t.out.d.d[2].f : 1 [by t.registers.output_buf.f_buf_func[2]._y:=0]
1137659 t.registers.output_buf.t_buf_func[0]._y : 0 [by t.registers.output_buf._in_vX[0]:=1]
1141111 t.out.d.d[0].t : 1 [by t.registers.output_buf.t_buf_func[0]._y:=0]
1145291 t.registers.output_buf.t_buf_func[1]._y : 0 [by t.registers.output_buf._in_vX[0]:=1]
1152424 t.out.d.d[1].t : 1 [by t.registers.output_buf.t_buf_func[1]._y:=0]
WRONG ASSERT: "t.out.d.d[0].f" has value X and not 0.
WRONG ASSERT: "t.out.d.d[1].f" has value X and not 0.
WRONG ASSERT: "t.out.d.d[3].t" has value X and not 0.
1152424 t.out.v : 1
1153284 t.registers.output_buf.inack_ctl._y : 0 [by t.out.v:=1]
1153285 t.registers.ack_read_and.b : 1 [by t.registers.output_buf.inack_ctl._y:=0]
1153360 t.registers.ack_read_and._y : 0 [by t.registers.ack_read_and.b:=1]
1153434 t.registers._in_a_read : 1 [by t.registers.ack_read_and._y:=0]
1155704 t.registers.ack_readwrite._y : 0 [by t.registers._in_a_read:=1]
1155802 t.registers._in_a_temp : 1 [by t.registers.ack_readwrite._y:=0]
1161573 t.registers.ack_input_X.buf4._y : 0 [by t.registers._in_a_temp:=1]
1181236 t.registers.output_buf._en : 0 [by t.registers.ack_read_and.b:=1]
1185089 t.registers.output_buf.en_buf_f.buf1._y : 1 [by t.registers.output_buf._en:=0]
1187377 t.registers.output_buf.en_buf_t.buf1._y : 1 [by t.registers.output_buf._en:=0]
1187381 t.registers.output_buf._en_X_t[0] : 0 [by t.registers.output_buf.en_buf_t.buf1._y:=1]
1187449 t.registers.output_buf._en_X_f[0] : 0 [by t.registers.output_buf.en_buf_f.buf1._y:=1]
1193301 t.in.a : 1 [by t.registers.ack_input_X.buf4._y:=0]
1193301 t.out.a : 1
1193306 t.registers.output_buf._out_a_B : 0 [by t.out.a:=1]
1193400 t.registers.output_buf.out_a_B_buf_f.buf1._y : 1 [by t.registers.output_buf._out_a_B:=0]
1193401 t.registers.output_buf._out_a_BX_t[0] : 0 [by t.registers.output_buf.out_a_B_buf_f.buf1._y:=1]
1193403 t.registers.output_buf.t_buf_func[1]._y : 1 [by t.registers.output_buf._out_a_BX_t[0]:=0]
1193437 t.registers.output_buf.t_buf_func[0]._y : 1 [by t.registers.output_buf._out_a_BX_t[0]:=0]
1193438 t.out.d.d[0].t : 0 [by t.registers.output_buf.t_buf_func[0]._y:=1]
1193439 t.out.d.d[1].t : 0 [by t.registers.output_buf.t_buf_func[1]._y:=1]
1193597 t.registers.output_buf.out_a_B_buf_t.buf1._y : 1 [by t.registers.output_buf._out_a_B:=0]
1193611 t.registers.output_buf._out_a_BX_f[0] : 0 [by t.registers.output_buf.out_a_B_buf_t.buf1._y:=1]
1193623 t.registers.output_buf.f_buf_func[0]._y : 1 [by t.registers.output_buf._out_a_BX_f[0]:=0]
1205521 t.out.d.d[0].f : 0 [by t.registers.output_buf.f_buf_func[0]._y:=1]
1206601 t.registers.output_buf.f_buf_func[3]._y : 1 [by t.registers.output_buf._out_a_BX_f[0]:=0]
1215168 t.registers.output_buf.f_buf_func[2]._y : 1 [by t.registers.output_buf._out_a_BX_f[0]:=0]
1215169 t.out.d.d[2].f : 0 [by t.registers.output_buf.f_buf_func[2]._y:=1]
1215219 t.registers.output_buf.t_buf_func[3]._y : 1 [by t.registers.output_buf._out_a_BX_t[0]:=0]
1215431 t.out.d.d[3].t : 0 [by t.registers.output_buf.t_buf_func[3]._y:=1]
1217642 t.registers.output_buf.f_buf_func[1]._y : 1 [by t.registers.output_buf._out_a_BX_f[0]:=0]
1225054 t.out.d.d[1].f : 0 [by t.registers.output_buf.f_buf_func[1]._y:=1]
1249551 t.out.d.d[3].f : 0 [by t.registers.output_buf.f_buf_func[3]._y:=1]
1249551 t.in.d.d[0].f : 0
1249551 t.registers.ack_read_and.a : 0
1249551 t.registers.atree[0].in[0] : 0
1249551 t.in.d.d[1].f : 0
1249551 t.registers.atree[0].in[1] : 0
1249555 t.registers.word_to_read[0]._y : 1 [by t.registers.ack_read_and.a:=0]
1249556 t.registers.val_input.OR2_tf[3]._y : 1 [by t.registers.atree[0].in[1]:=0]
1249577 t.registers.atree[0].and2s[0]._y : 1 [by t.registers.atree[0].in[0]:=0]
1249596 t.registers._out_encoder[0] : 0 [by t.registers.atree[0].and2s[0]._y:=1]
1249612 t.registers.val_input.OR2_tf[1]._y : 1 [by t.in.d.d[1].f:=0]
1249627 t.registers.word_to_read[0].y : 0 [by t.registers.word_to_read[0]._y:=1]
1249629 t.registers.address_propagator_f[0]._y : 1 [by t.registers.ack_read_and.a:=0]
1249664 t.registers.address_propagator_f[0].y : 0 [by t.registers.address_propagator_f[0]._y:=1]
1249667 t.registers.val_input.ct.in[3] : 0 [by t.registers.val_input.OR2_tf[3]._y:=1]
1249676 t.registers.word_to_read_X[0].buf1._y : 1 [by t.registers.word_to_read[0].y:=0]
1249690 t.registers.ack_read_and._y : 1 [by t.registers.ack_read_and.a:=0]
1249695 t.registers.and_encoder[0]._y : 1 [by t.registers._out_encoder[0]:=0]
1249718 t.registers._in_a_read : 0 [by t.registers.ack_read_and._y:=1]
1249815 t.registers.val_input.OR2_tf[2]._y : 1 [by t.registers.atree[0].in[0]:=0]
1249875 t.registers.val_input.ct.in[2] : 0 [by t.registers.val_input.OR2_tf[2]._y:=1]
1249906 t.registers.val_input.OR2_tf[4]._y : 1 [by t.registers.ack_read_and.a:=0]
1249979 t.registers.val_input.ct.in[1] : 0 [by t.registers.val_input.OR2_tf[1]._y:=1]
1250682 t.registers._clock_word_temp[0] : 0 [by t.registers.and_encoder[0]._y:=1]
1252484 t.registers.val_input.OR2_tf[0]._y : 1 [by t.in.d.d[0].f:=0]
1252785 t.registers.clock_buffer[0].buf1._y : 1 [by t.registers._clock_word_temp[0]:=0]
1254500 t.registers.word_selector_f[0].a : 0 [by t.registers.word_to_read_X[0].buf1._y:=1]
1254501 t.registers.word_selector_t[1]._y : 1 [by t.registers.word_selector_f[0].a:=0]
1254504 t.registers.word_selector_t[1].y : 0 [by t.registers.word_selector_t[1]._y:=1]
1255841 t.registers.output_buf.vc.OR2_tf[2]._y : 1 [by t.registers.address_propagator_f[0].y:=0]
1257310 t.registers.output_buf.vc.ct.in[2] : 0 [by t.registers.output_buf.vc.OR2_tf[2]._y:=1]
1259476 t.registers.val_input.ct.in[4] : 0 [by t.registers.val_input.OR2_tf[4]._y:=1]
1259506 t.registers.val_input.ct.C3Els[0]._y : 1 [by t.registers.val_input.ct.in[4]:=0]
1259512 t.registers.val_input.ct.tmp[6] : 0 [by t.registers.val_input.ct.C3Els[0]._y:=1]
1263702 t.registers.ff[0].clk_B : 0 [by t.registers.clock_buffer[0].buf1._y:=1]
1263703 t.registers.ff[0]._clk_B : 1 [by t.registers.ff[0].clk_B:=0]
1263706 t.registers.ff[0].__clk_B : 0 [by t.registers.ff[0]._clk_B:=1]
1263792 t.registers.ff[0]._sqib : 1 [by t.registers.ff[0].__clk_B:=0]
1263829 t.registers.ff[1]._clk_B : 1 [by t.registers.ff[0].clk_B:=0]
1264724 t.registers.ff[0]._sqi : 0 [by t.registers.ff[0]._sqib:=1]
1265285 t.data[0].d[0] : 0 [by t.registers.ff[0]._sqib:=1]
1270192 t.registers.val_input.ct.in[0] : 0 [by t.registers.val_input.OR2_tf[0]._y:=1]
1270221 t.registers.ack_readwrite._y : 1 [by t.registers._in_a_read:=0]
1270222 t.registers._in_a_temp : 0 [by t.registers.ack_readwrite._y:=1]
1270466 t.registers.val_input.ct.C2Els[0]._y : 1 [by t.registers.val_input.ct.in[0]:=0]
1272552 t.registers.ff[1].__clk_B : 0 [by t.registers.ff[1]._clk_B:=1]
1272554 t.registers.ff[1]._sqib : 1 [by t.registers.ff[1].__clk_B:=0]
1272913 t.registers.ff[1]._sqi : 0 [by t.registers.ff[1]._sqib:=1]
1273168 t.registers.bitselector_t[1].or2s[0]._y : 1 [by t.registers.word_selector_t[1].y:=0]
1274570 t.data[0].d[1] : 0 [by t.registers.ff[1]._sqib:=1]
1274572 t.registers.ff[1].q_B : 1 [by t.data[0].d[1]:=0]
1278373 t.registers.ack_input_X.buf4._y : 1 [by t.registers._in_a_temp:=0]
1279638 t.registers.ff[0].q_B : 1 [by t.data[0].d[0]:=0]
1280241 t.registers.word_selector_t[0]._y : 1 [by t.registers.word_selector_f[0].a:=0]
1280244 t.registers.word_selector_t[0].y : 0 [by t.registers.word_selector_t[0]._y:=1]
1287756 t.registers.address_propagator_f[1]._y : 1 [by t.registers.ack_read_and.a:=0]
1288100 t.registers.address_propagator_f[1].y : 0 [by t.registers.address_propagator_f[1]._y:=1]
1289883 t.registers.output_buf.vc.OR2_tf[3]._y : 1 [by t.registers.address_propagator_f[1].y:=0]
1289912 t.registers.output_buf.vc.ct.in[3] : 0 [by t.registers.output_buf.vc.OR2_tf[3]._y:=1]
1289983 t.registers.output_buf.vc.ct.C2Els[1]._y : 1 [by t.registers.output_buf.vc.ct.in[3]:=0]
1290311 t.registers.val_input.ct.tmp[5] : 0 [by t.registers.val_input.ct.C2Els[0]._y:=1]
1290345 t.registers.output_buf.vc.ct.tmp[5] : 0 [by t.registers.output_buf.vc.ct.C2Els[1]._y:=1]
1290394 t.registers.val_input.ct.C2Els[1]._y : 1 [by t.registers.val_input.ct.tmp[5]:=0]
1292804 t.in.a : 0 [by t.registers.ack_input_X.buf4._y:=1]
1297679 t.registers.bitselector_t[1].tmp[4] : 0 [by t.registers.bitselector_t[1].or2s[0]._y:=1]
1297786 t.registers.bitselector_t[1].or2s[2]._y : 1 [by t.registers.bitselector_t[1].tmp[4]:=0]
1297789 t.registers.bitselector_t[1].out : 0 [by t.registers.bitselector_t[1].or2s[2]._y:=1]
1297790 t.registers.output_buf.vc.OR2_tf[1]._y : 1 [by t.registers.bitselector_t[1].out:=0]
1297791 t.registers.output_buf.vc.ct.in[1] : 0 [by t.registers.output_buf.vc.OR2_tf[1]._y:=1]
1317533 t.registers.bitselector_t[0].or2s[0]._y : 1 [by t.registers.word_selector_t[0].y:=0]
1321878 t.registers.bitselector_t[0].tmp[4] : 0 [by t.registers.bitselector_t[0].or2s[0]._y:=1]
1322736 t.registers.bitselector_t[0].or2s[2]._y : 1 [by t.registers.bitselector_t[0].tmp[4]:=0]
1322748 t.registers.bitselector_t[0].out : 0 [by t.registers.bitselector_t[0].or2s[2]._y:=1]
1338556 t.registers._in_v_temp : 0 [by t.registers.val_input.ct.C2Els[1]._y:=1]
1359177 t.registers.output_buf.vc.OR2_tf[0]._y : 1 [by t.registers.bitselector_t[0].out:=0]
1389525 t.registers.val_input_X.buf4._y : 1 [by t.registers._in_v_temp:=0]
1392523 t.registers.output_buf.vc.ct.in[0] : 0 [by t.registers.output_buf.vc.OR2_tf[0]._y:=1]
1392551 t.registers.output_buf.vc.ct.C2Els[0]._y : 1 [by t.registers.output_buf.vc.ct.in[0]:=0]
1392559 t.registers.output_buf.vc.ct.tmp[4] : 0 [by t.registers.output_buf.vc.ct.C2Els[0]._y:=1]
1394506 t.in.v : 0 [by t.registers.val_input_X.buf4._y:=1]
1413914 t.registers.output_buf.vc.ct.C2Els[2]._y : 1 [by t.registers.output_buf.vc.ct.tmp[4]:=0]
1448245 t.registers.output_buf._in_v : 0 [by t.registers.output_buf.vc.ct.C2Els[2]._y:=1]
1448510 t.registers.output_buf.in_v_buf4._y : 1 [by t.registers.output_buf._in_v:=0]
1448589 t.registers.output_buf.in.v : 0 [by t.registers.output_buf.in_v_buf4._y:=1]
1448597 t.registers.output_buf.in_v_bufN.buf1._y : 1 [by t.registers.output_buf.in.v:=0]
1448638 t.registers.output_buf._in_vX[0] : 0 [by t.registers.output_buf.in_v_bufN.buf1._y:=1]
WRONG ASSERT: "t.registers.ff[0].q" has value 0 and not 1.
WRONG ASSERT: "t.registers.ff[1].q" has value 0 and not 1.
[4] reading done
2022-03-09 20:02:41 +01:00
----------------------------------------------------------