	         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 t.registers.word_to_read[3]._y t.registers.bitselector_f[1].or2s[2]._y t.registers.word_to_read_X[2].buf1._y t.registers.ack_input_X.buf4._y t.registers.ack_dly.mu2[1]._s t.registers.bitselector_f[0].or2s[0]._y t.registers.clk_dly.dly[2].___y t.registers.val_input.ct.C2Els[0]._y t.registers.ack_dly.mu2[1]._y t.registers.ack_dly.dly[0].__y t.registers.word_selector_f[7]._y t.registers.clk_dly.and2[0]._y t.registers.ack_dly.dly[1].__y t.registers.clk_dly.dly[2]._y t.registers.ff[5].__clk_B t.registers.ack_dly.dly[1].___y t.registers.ff[4]._clk_B t.registers.word_selector_f[6]._y t.registers.clk_dly.dly[1].y t.registers.ff[3]._clk_B t.registers.clk_dly.dly[2].y t.registers.word_selector_f[1]._y t.registers.ack_dly.dly[0].___y t.registers.atree[1].and2s[0]._y t.registers.ff[2].__clk_B t.registers.output_buf.in_v_bufN.buf1._y t.registers.clk_switch._y t.registers.ff[7].__clk_B t.registers.clk_dly.dly[0].___y t.registers.and_encoder[2]._y t.registers.clk_dly.dly[1].___y t.registers.clk_dly.mu2[1]._s t.registers.output_buf.in_v_buf4._y t.registers.ack_readwrite._y t.registers.output_buf.en_buf_f.buf1._y t.registers.atree[0].and2s[0]._y t.registers.word_to_read_X[3].buf1._y t.registers.clk_dly.mu2[1]._y t.registers.bitselector_f[1].tmp[5] t.registers.clk_dly.dly[0].a t.registers.ff[0]._clk_B t.registers.bitselector_f[0].or2s[1]._y t.registers.clk_dly.dly[0].y t.registers.address_propagator_t[1]._y t.registers.word_selector_f[0]._y t.registers.val_input.ct.C2Els[1]._y t.registers.output_buf.out_a_B_buf_t.buf1._y t.registers.ack_dly.and2[1]._y t.registers.ff[3].__clk_B t.registers.ack_dly.dly[0].y t.registers.ack_write_and._y t.registers.ff[6].__clk_B t.registers.ack_dly.dly[1].a t.registers.ff[1].__clk_B t.registers.output_buf.vc.OR2_tf[3]._y t.registers.word_to_read[2]._y t.registers.address_propagator_f[1]._y t.registers.word_selector_f[3]._y t.registers.ack_dly.dly[2].__y t.registers.ff[0].__clk_B t.registers.and_encoder[1]._y t.registers.ack_dly.and2[0]._y t.registers.word_to_read_X[1].buf1._y t.registers.val_input.OR2_tf[4]._y t.registers.word_selector_f[5]._y t.registers.output_buf.vc.OR2_tf[1]._y t.registers.word_to_read[0]._y t.registers.val_input.ct.C3Els[0]._y t.registers.output_buf.vc.ct.C2Els[1]._y t.registers.and_encoder[3]._y t.registers.ff[2]._clk_B t.registers.ack_dly.mu2[0]._s 
[0] start test
----------------------------------------------------------
	    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
----------------------------------------------------------
	    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
----------------------------------------------------------
	    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]
[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
----------------------------------------------------------
