t.registers.read_write_demux.vc.ct.in[0] t.registers.ff_f[4].clk_B t.registers._clock_word_temp[0] t.registers._clock_temp_inv t.registers._clock t.dly_cfg[1] t.registers.atree[2].in[1] t.registers.read_write_demux._in_v t.registers.read_write_demux._c_v t.registers.reading_activator_f[0].a t.registers.ff_t[0].d t.registers.ff_f[4].__clk_B t.registers.ff_t[0]._clk_B t.registers.ff_f[5]._clk_B t.registers.atree[0].in[1] t.registers.atree[0].in[0] t.registers.ff_f[6].clk_B t.registers.clock_buffer[1].buf1._y t.registers._out_encoder[2] t.registers._out_encoder[1] t.registers.clk_dly.and2[1]._y t.registers.ff_t[1]._clk_B t.registers.ff_f[0].d t.registers.atree[1].in[0] t.in.v t.registers.ff_t[4]._clk_B t.registers.ff_t[1].d t.registers.ff_f[0].clk_B t.registers.read_write_demux._c_t_buf[0] t.registers.clk_dly.dly[1].a t.registers._clock_word_temp[3] t.registers.read_write_demux._out2_a_BX_t[0] t.registers.ff_val[1].y t.registers.read_write_demux._out2_a_BX_f[0] t.registers.clock_buffer[0].buf1._y t.registers._out_encoder[0] t.registers.ff_f[1].d t.registers.ff_t[5]._clk_B t.registers.ff_t[4].__clk_B t.registers.reading_activator_t[0].a t.registers.clk_X.buf1._y t.registers.read_write_demux._c_f_buf[0] t.registers._clock_temp t.registers.read_write_demux.out2_a_B_buf_f.buf1._y t.registers._out_encoder[3] t.registers.read_write_demux.vc.ct.in[1] t.registers.clk_dly.dly[1]._y t.registers.read_write_demux.c_f_c_t_or._y t.registers.ff_t[0].__clk_B t.registers.ff_t[2]._clk_B t.registers.ff_val[1]._y t.registers.read_write_demux.vc.ct.in[2] t.registers._clock_word_temp[1] t.registers.clk_dly.mu2[0]._s t.registers.clock_buffer[2].buf1._y t.registers.ff_t[1].__clk_B t.registers.read_write_demux.in_v_buf._y t.registers.clk_dly.dly[1].__y t.registers.ff_f[7]._clk_B t.registers.clk_dly.mu2[0]._y t.registers.clock_buffer[3].buf1._y t.registers.read_write_demux._out2_a_B t.dly_cfg[0] t.registers.and_encoder[0]._y t.registers.clk_dly._a[1] t.registers.read_write_demux._in_c_v_ t.registers.ff_f[2].__clk_B t.registers.read_write_demux.vc.ct.in[3] t.registers.clk_dly.dly[2].__y t.registers.atree[3].and2s[0]._y t.registers.read_write_demux.vc.ct.tmp[4] t.registers.read_write_demux.c_el._y t.registers.ff_f[7].__clk_B t.registers.read_write_demux.vc.OR2_tf[2]._y t.registers._clock_word_temp[2] t.registers.atree[2].and2s[0]._y t.registers.ff_f[0].__clk_B t.registers._in_write.a t.registers.ff_val[0].y t.registers.ff_t[6]._clk_B t.registers.read_write_demux.vc.ct.C2Els[1]._y t.registers.ff_f[4]._clk_B t.registers.read_write_demux.vc.OR2_tf[0]._y t.registers.clk_dly.dly[2].___y t.registers.read_write_demux.vc.ct.C2Els[2]._y t.registers.ff_f[2].clk_B t.registers.read_write_demux.out2_a_B_buf_t.buf1._y t.registers.clk_dly.dly[2]._y t.registers.ff_val[0].b t.registers.read_write_demux.vc.ct.tmp[5] t.registers.read_write_demux.vc.ct.C2Els[0]._y t.registers.clk_dly.dly[1].y t.registers.ff_f[2]._clk_B t.registers.clk_dly.dly[2].y t.registers.read_write_demux.c_buf_f.buf1._y t.registers.ff_val[1].b t.registers.ff_val[0].a t.registers.ff_t[2].__clk_B t.registers.atree[1].and2s[0]._y t.registers.ff_f[3].__clk_B t.registers.ff_f[6].__clk_B t.registers.and_encoder[2]._y t.registers.ff_f[6]._clk_B t.registers.clk_dly.dly[1].___y t.registers.clk_dly.mu2[1]._s t.registers.ff_f[0]._clk_B t.registers.read_write_demux.c_buf_t.buf1._y t.registers.ff_val[1].a t.registers.ff_t[3]._clk_B t.registers.atree[0].and2s[0]._y t.registers.clk_dly.mu2[1]._y t.registers.ff_f[1]._clk_B t.registers.ff_val[0]._y t.registers.ff_t[7].__clk_B t.registers.ff_t[7]._clk_B t.registers.read_write_demux.vc.OR2_tf[1]._y t.registers.ff_f[5].__clk_B t.registers.ff_f[1].__clk_B t.registers.and_encoder[1]._y t.registers.ff_t[5].__clk_B t.registers.ff_t[6].__clk_B t.registers.and_encoder[3]._y t.registers.read_write_demux.vc.OR2_tf[3]._y t.registers.ff_t[3].__clk_B t.registers.ff_f[3]._clk_B [0] start test ---------------------------------------------------------- t.registers._clock_temp_inv t.registers._clock t.dly_cfg[1] t.registers.clk_dly.and2[1]._y t.registers.clk_dly.dly[1].a t.registers.read_write_demux._out2_a_BX_t[0] t.registers.ff_val[1].y t.registers.read_write_demux._out2_a_BX_f[0] t.registers.clk_X.buf1._y t.registers._clock_temp t.registers.read_write_demux.out2_a_B_buf_f.buf1._y t.registers.clk_dly.dly[1]._y t.registers.ff_val[1]._y t.registers.clk_dly.mu2[0]._s t.registers.clk_dly.dly[1].__y t.registers.clk_dly.mu2[0]._y t.registers.read_write_demux._out2_a_B t.dly_cfg[0] t.registers.clk_dly._a[1] t.registers.clk_dly.dly[2].__y t.registers._in_write.a t.registers.ff_val[0].y t.registers.clk_dly.dly[2].___y t.registers.read_write_demux.out2_a_B_buf_t.buf1._y t.registers.clk_dly.dly[2]._y t.registers.ff_val[0].b t.registers.clk_dly.dly[1].y t.registers.clk_dly.dly[2].y t.registers.ff_val[1].b t.registers.ff_val[0].a t.registers.clk_dly.dly[1].___y t.registers.clk_dly.mu2[1]._s t.registers.ff_val[1].a t.registers.clk_dly.mu2[1]._y t.registers.ff_val[0]._y [1] reset completed ---------------------------------------------------------- [2] delay line set ---------------------------------------------------------- WARNING: weak-interference `t.registers._in_write_temp.d[0].t' >> cause: t.registers.read_write_demux.out2_t_buf_func[0]._y (val: X) >> time: 555402 WARNING: weak-interference `t.registers._in_write_temp.d[1].t' >> cause: t.registers.read_write_demux.out2_t_buf_func[1]._y (val: X) >> time: 555410 WARNING: weak-interference `t.registers._in_write_temp.d[2].f' >> cause: t.registers.read_write_demux.out2_f_buf_func[2]._y (val: X) >> time: 555426 WARNING: weak-interference `t.registers.val_input_write.OR2_tf[1]._y' >> cause: t.registers._in_write_temp.d[1].t (val: X) >> time: 555555 WARNING: weak-interference `t.registers.val_input_write.ct.in[1]' >> cause: t.registers.val_input_write.OR2_tf[1]._y (val: X) >> time: 555785 WARNING: weak-interference `t.registers.val_input_write.OR2_tf[0]._y' >> cause: t.registers._in_write_temp.d[0].t (val: X) >> time: 558923 WARNING: weak-interference `t.registers.val_input_write.ct.in[0]' >> cause: t.registers.val_input_write.OR2_tf[0]._y (val: X) >> time: 558937 WARNING: weak-interference `t.registers.val_input_write.ct.C2Els[0]._y' >> cause: t.registers.val_input_write.ct.in[0] (val: X) >> time: 560480 WARNING: weak-interference `t.registers.val_input_write.ct.tmp[4]' >> cause: t.registers.val_input_write.ct.C2Els[0]._y (val: X) >> time: 562091 WARNING: weak-interference `t.registers._in_write_temp.d[3].f' >> cause: t.registers.read_write_demux.out2_f_buf_func[3]._y (val: X) >> time: 565654 WARNING: weak-interference `t.registers.val_input_write.OR2_tf[3]._y' >> cause: t.registers._in_write_temp.d[3].f (val: X) >> time: 565665 WARNING: weak-interference `t.registers.val_input_write.ct.in[3]' >> cause: t.registers.val_input_write.OR2_tf[3]._y (val: X) >> time: 565666 WARNING: weak-interference `t.registers.val_input_write.OR2_tf[2]._y' >> cause: t.registers._in_write_temp.d[2].f (val: X) >> time: 571594 WARNING: weak-interference `t.registers.val_input_write.ct.in[2]' >> cause: t.registers.val_input_write.OR2_tf[2]._y (val: X) >> time: 578095 WARNING: weak-interference `t.registers.val_input_write.ct.C2Els[1]._y' >> cause: t.registers.val_input_write.ct.in[2] (val: X) >> time: 578734 WARNING: weak-interference `t.registers.val_input_write.ct.tmp[5]' >> cause: t.registers.val_input_write.ct.C2Els[1]._y (val: X) >> time: 580527 WARNING: weak-interference `t.registers.val_input_write.ct.C2Els[2]._y' >> cause: t.registers.val_input_write.ct.tmp[5] (val: X) >> time: 580659 WARNING: weak-interference `t.registers.clk_dly.in' >> cause: t.registers.val_input_write.ct.C2Els[2]._y (val: X) >> time: 580660 WARNING: weak-interference `t.registers.clk_dly.and2[0]._y' >> cause: t.registers.clk_dly.in (val: X) >> time: 580677 WARNING: weak-interference `t.registers.read_write_demux.out_or._y' >> cause: t.registers.clk_dly.in (val: X) >> time: 580677 WARNING: weak-interference `t.registers.clk_dly.dly[0].a' >> cause: t.registers.clk_dly.and2[0]._y (val: X) >> time: 580829 WARNING: weak-interference `t.registers.clk_dly.dly[0]._y' >> cause: t.registers.clk_dly.dly[0].a (val: X) >> time: 580832 WARNING: weak-interference `t.registers.clk_dly.dly[0].__y' >> cause: t.registers.clk_dly.dly[0]._y (val: X) >> time: 581256 WARNING: weak-interference `t.registers.clk_dly.dly[0].___y' >> cause: t.registers.clk_dly.dly[0].__y (val: X) >> time: 581262 WARNING: weak-interference `t.registers.read_write_demux._out_v' >> cause: t.registers.read_write_demux.out_or._y (val: X) >> time: 583660 WARNING: weak-interference `t.registers.clk_dly.dly[0].y' >> cause: t.registers.clk_dly.dly[0].___y (val: X) >> time: 583850 WARNING: weak-interference `t.registers.clk_dly.mu2[0]._y' >> cause: t.registers.clk_dly.dly[0].y (val: X) >> time: 584680 WARNING: weak-interference `t.registers.ack_and.a' >> cause: t.registers.read_write_demux.inack_ctl._y (val: X) >> time: 586123 WARNING: weak-interference `t.registers.read_write_demux._en' >> cause: t.registers.ack_and.a (val: X) >> time: 586317 WARNING: weak-interference `t.registers.read_write_demux.out2_en_buf_f.buf1._y' >> cause: t.registers.read_write_demux._en (val: X) >> time: 586920 WARNING: weak-interference `t.registers.read_write_demux.out1_en_buf_t.buf1._y' >> cause: t.registers.read_write_demux._en (val: X) >> time: 586920 WARNING: weak-interference `t.registers.read_write_demux.out2_en_buf_t.buf1._y' >> cause: t.registers.read_write_demux._en (val: X) >> time: 586920 WARNING: weak-interference `t.registers.read_write_demux.out1_en_buf_f.buf1._y' >> cause: t.registers.read_write_demux._en (val: X) >> time: 586920 WARNING: weak-interference `t.registers.read_write_demux._en1_X_t[0]' >> cause: t.registers.read_write_demux.out1_en_buf_t.buf1._y (val: X) >> time: 586937 WARNING: weak-interference `t.registers.read_write_demux._en2_X_t[0]' >> cause: t.registers.read_write_demux.out2_en_buf_t.buf1._y (val: X) >> time: 586937 WARNING: weak-interference `t.registers.read_write_demux._en2_X_f[0]' >> cause: t.registers.read_write_demux.out2_en_buf_f.buf1._y (val: X) >> time: 587058 WARNING: weak-interference `t.registers.read_write_demux._en1_X_f[0]' >> cause: t.registers.read_write_demux.out1_en_buf_f.buf1._y (val: X) >> time: 587346 WARNING: weak-interference `t.registers.clk_dly._a[1]' >> cause: t.registers.clk_dly.mu2[0]._y (val: X) >> time: 607612 WARNING: weak-interference `t.registers.clk_dly.and2[1]._y' >> cause: t.registers.clk_dly._a[1] (val: X) >> time: 607619 WARNING: weak-interference `t.registers.clk_dly.dly[1].a' >> cause: t.registers.clk_dly.and2[1]._y (val: X) >> time: 608033 WARNING: weak-interference `t.registers.clk_dly.dly[1]._y' >> cause: t.registers.clk_dly.dly[1].a (val: X) >> time: 608037 WARNING: weak-interference `t.registers.clk_dly.dly[1].__y' >> cause: t.registers.clk_dly.dly[1]._y (val: X) >> time: 609816 WARNING: weak-interference `t.registers.clk_dly.dly[1].___y' >> cause: t.registers.clk_dly.dly[1].__y (val: X) >> time: 632690 WARNING: weak-interference `t.registers.clk_dly.dly[1].y' >> cause: t.registers.clk_dly.dly[1].___y (val: X) >> time: 641335 WARNING: weak-interference `t.registers.clk_dly.dly[2]._y' >> cause: t.registers.clk_dly.dly[1].y (val: X) >> time: 642268 WARNING: weak-interference `t.registers.clk_dly.dly[2].__y' >> cause: t.registers.clk_dly.dly[2]._y (val: X) >> time: 643124 WARNING: weak-interference `t.registers.clk_dly.dly[2].___y' >> cause: t.registers.clk_dly.dly[2].__y (val: X) >> time: 643263 WARNING: weak-interference `t.registers.clk_dly.dly[2].y' >> cause: t.registers.clk_dly.dly[2].___y (val: X) >> time: 669472 WARNING: weak-interference `t.registers.clk_dly.mu2[1]._y' >> cause: t.registers.clk_dly.dly[2].y (val: X) >> time: 669474 WARNING: weak-interference `t.registers._clock_temp' >> cause: t.registers.clk_dly.mu2[1]._y (val: X) >> time: 722923 WARNING: weak-interference `t.registers._clock_temp_inv' >> cause: t.registers._clock_temp (val: X) >> time: 722929 WARNING: weak-interference `t.registers.clk_X.buf1._y' >> cause: t.registers._clock_temp_inv (val: X) >> time: 723183 WARNING: weak-interference `t.registers._clock' >> cause: t.registers.clk_X.buf1._y (val: X) >> time: 723191 WARNING: weak-interference `t.registers.and_encoder[0]._y' >> cause: t.registers._clock (val: X) >> time: 723192 WARNING: weak-interference `t.registers._clock_word_temp[0]' >> cause: t.registers.and_encoder[0]._y (val: X) >> time: 723198 WARNING: weak-interference `t.registers.clock_buffer[0].buf1._y' >> cause: t.registers._clock_word_temp[0] (val: X) >> time: 774234 WARNING: weak-interference `t.registers.ff_f[0].clk_B' >> cause: t.registers.clock_buffer[0].buf1._y (val: X) >> time: 777324 WARNING: weak-interference `t.registers.ff_f[0]._clk_B' >> cause: t.registers.ff_f[0].clk_B (val: X) >> time: 777550 WARNING: weak-interference `t.registers.ff_f[1]._clk_B' >> cause: t.registers.ff_f[0].clk_B (val: X) >> time: 777550 WARNING: weak-interference `t.registers.ff_t[0]._clk_B' >> cause: t.registers.ff_f[0].clk_B (val: X) >> time: 777550 WARNING: weak-interference `t.registers.ff_t[1]._clk_B' >> cause: t.registers.ff_f[0].clk_B (val: X) >> time: 777550 WARNING: weak-interference `t.registers.ff_f[1].__clk_B' >> cause: t.registers.ff_f[1]._clk_B (val: X) >> time: 777551 WARNING: weak-interference `t.registers.ff_t[1].__clk_B' >> cause: t.registers.ff_t[1]._clk_B (val: X) >> time: 777552 WARNING: weak-interference `t.registers.ff_t[1]._sqib' >> cause: t.registers.ff_t[1]._clk_B (val: X) >> time: 777552 WARNING: weak-interference `t.registers.ff_t[0].__clk_B' >> cause: t.registers.ff_t[0]._clk_B (val: X) >> time: 777556 WARNING: weak-interference `t.registers.ff_t[0]._sqib' >> cause: t.registers.ff_t[0]._clk_B (val: X) >> time: 777556 WARNING: weak-interference `t.registers.ff_t[0]._sqi' >> cause: t.registers.ff_t[0]._sqib (val: X) >> time: 777649 WARNING: weak-interference `t.data[0].d[0]' >> cause: t.registers.ff_t[0]._sqib (val: X) >> time: 777649 WARNING: weak-interference `t.registers.ff_f[0].__clk_B' >> cause: t.registers.ff_f[0]._clk_B (val: X) >> time: 778369 WARNING: weak-interference `t.registers.ff_t[1]._sqi' >> cause: t.registers.ff_t[1]._sqib (val: X) >> time: 798353 WARNING: weak-interference `t.data[0].d[1]' >> cause: t.registers.ff_t[1]._sqib (val: X) >> time: 798353 WRONG ASSERT: "t.registers._in_write.d.d[0].t" has value X and not 1. WRONG ASSERT: "t.registers._in_write.d.d[1].t" has value X and not 1. WRONG ASSERT: "t.registers._in_write.d.d[2].f" has value X and not 1. WRONG ASSERT: "t.registers._in_write.d.d[3].f" has value X and not 1. WRONG ASSERT: "t.registers._clock" has value X and not 0. WARNING: weak-interference `t.registers.ff_t[0]._mqib' >> cause: t.registers.ff_t[0].d (val: 0) >> time: 800976 WARNING: weak-interference `t.registers.ff_t[1]._mqib' >> cause: t.registers.ff_t[1].d (val: 0) >> time: 800976 WARNING: weak-interference `t.registers.ff_t[0]._mqi' >> cause: t.registers.ff_t[0]._mqib (val: X) >> time: 800977 WARNING: weak-interference `t.registers.ff_t[1]._mqi' >> cause: t.registers.ff_t[1]._mqib (val: X) >> time: 800982 WRONG ASSERT: "t.registers._clock" has value X and not 1. WRONG ASSERT: "t.registers.ff_t[0].q" has value X and not 1. WRONG ASSERT: "t.registers.ff_t[1].q" has value X and not 1. [3] first writing done ----------------------------------------------------------