616 lines
36 KiB
Plaintext
616 lines
36 KiB
Plaintext
|
b.b._out_a_BX_f[0] b.b.dly.dly[5].__y b.b.dly.mu2[0]._s b.b._inB[1] b.b.dly.dly[9].__y b.in.r b.b._inB[4] b.b.dly.dly[6].y b.in.d[1] b.b.dly.dly[3].a b.in.d[4] b.b.dly.dly[11].__y b.b._reqX b.b._en_X_f[0] b.b.dly.dly[13].y b.b.dly.dly[4]._y b.dly_cfg[3] b.in.d[2] b.b.dly.dly[11].y b.b.dly.dly[0].a b.b._en_X_t[0] b.b.dly.mu2[3].b b.dly_cfg[2] b.b._out_a_BX_t[0] b.b._reqXX[0] b.out.v b.b.dly.dly[7].___y b.b._out_a_B b.b._inB[2] b.b._inB[0] b.b.dly._a[1] b.dly_cfg[1] b.b.dly.dly[8].__y b.b.dly.dly[4].___y b.in.d[0] b.b.dly.dly[8]._y b.b.dly.dly[0].__y b.dly_cfg[0] b.b.dly.dly[7].a b.b.req_buf._y b.b.dly.dly[8].y b.b.en_buf_f.buf2._y b.b.dly.dly[10].y b.b.dly.dly[3].___y b.b.dly.mu2[1]._y b.b.dly.dly[5].y b.b.dly._a[2] b.b.dly.dly[6]._y b.b.dly.mu2[3]._s b.b.dly.dly[7].y b.b.en_buf_t.buf2._y b.b._en b.b.dly._a[3] b.b.dly.dly[1].___y b.out.a b.in.d[3] b.b.dly.dly[2]._y b.b.dly.dly[7].__y b.b._req b.b.dly.dly[12].___y b.b.dly.dly[12].y b.b.dly.dly[8].___y b.b.dly.dly[1].a b.b.dly.dly[9].___y b.b.dly.dly[3].y b.b.dly.dly[2].y b.b.dly.dly[14].___y b.b._inB[3] b.b.dly.mu2[0]._y b.b.dly.dly[6].___y b.b.dly.and2[0]._y b.b.dly.dly[3]._y b.b.dly.dly[10].__y b.b.out_a_B_buf_t.buf2._y b.b.dly.mu2[3]._y b.b.req_bufarray.buf2._y b.b.dly.dly[5]._y b.b.dly.mu2[1]._s b.b.dly.dly[4].y b.b.dly.dly[1]._y b.b.dly.and2[3]._y b.b.dly.dly[13].___y b.b.dly.dly[0]._y b.b.dly.dly[11]._y b.b.dly.dly[14].__y b.b.dly.dly[1].__y b.b.dly.mu2[2]._y b.b.dly.and2[1]._y b.b.out_a_B_buf_f.buf2._y b.b.dly.dly[9].y b.b.dly.dly[0].___y b.b.dly.dly[7]._y b.b.dly.dly[13]._y b.b.dly.dly[4].__y b.b.dly.and2[2]._y b.b.dly.dly[12].__y b.b.dly.dly[11].___y b.b.dly.dly[1].y b.b.dly.dly[12]._y b.b.dly.dly[2].__y b.b.dly.dly[14]._y b.b.dly.dly[5].___y b.b.dly.dly[2].___y b.b.dly.dly[0].y b.b.dly.dly[3].__y b.b.dly.mu2[2]._s b.b.dly.dly[13].__y b.b.dly.dly[10].___y b.b.dly.dly[9]._y b.b.dly.dly[6].__y b.b.dly.dly[10]._y
|
||
|
87848 b.out.a : 0
|
||
|
87848 Reset : 0
|
||
|
87848 b.in.r : 0
|
||
|
87848 b.dly_cfg[3] : 1
|
||
|
87848 b.dly_cfg[2] : 1
|
||
|
87848 b.in.d[4] : 0
|
||
|
87848 b.out.v : 0
|
||
|
87848 b.dly_cfg[1] : 1
|
||
|
87848 b.in.d[3] : 1
|
||
|
87848 b.in.d[2] : 0
|
||
|
87848 b.dly_cfg[0] : 1
|
||
|
87848 b.in.d[1] : 0
|
||
|
87848 b.in.d[0] : 1
|
||
|
87849 b.b.dly.mu2[1]._s : 0 [by b.dly_cfg[1]:=1]
|
||
|
87849 b.b._inB[3] : 0 [by b.in.d[3]:=1]
|
||
|
87851 b.b._inB[0] : 0 [by b.in.d[0]:=1]
|
||
|
88130 b.b.dly.mu2[0]._s : 0 [by b.dly_cfg[0]:=1]
|
||
|
88270 b.b._inB[4] : 1 [by b.in.d[4]:=0]
|
||
|
88616 b.b._inB[1] : 1 [by b.in.d[1]:=0]
|
||
|
101697 b.b.dly.and2[0]._y : 1 [by b.in.r:=0]
|
||
|
102191 b.b.dly.mu2[2]._s : 0 [by b.dly_cfg[2]:=1]
|
||
|
108053 b.b._inB[2] : 1 [by b.in.d[2]:=0]
|
||
|
112660 b.b.dly.mu2[3]._s : 0 [by b.dly_cfg[3]:=1]
|
||
|
117628 b._reset_B : 1 [by Reset:=0]
|
||
|
118179 b.b.reset_buf._y : 0 [by b._reset_B:=1]
|
||
|
119250 b.b._reset_BX : 1 [by b.b.reset_buf._y:=0]
|
||
|
120204 b.b.reset_bufarray.buf2._y : 0 [by b.b._reset_BX:=1]
|
||
|
121285 b.b._reset_BXX[0] : 1 [by b.b.reset_bufarray.buf2._y:=0]
|
||
|
121303 b.b.f_buf_func[4]._y : X [by b.b._reset_BXX[0]:=1]
|
||
|
122267 b.b.f_buf_func[2]._y : X [by b.b._reset_BXX[0]:=1]
|
||
|
124138 b.b.dly.dly[0].a : 0 [by b.b.dly.and2[0]._y:=1]
|
||
|
125288 b.b.t_buf_func[3]._y : X [by b.b._reset_BXX[0]:=1]
|
||
|
125298 b.b.t_buf_func[0]._y : X [by b.b._reset_BXX[0]:=1]
|
||
|
125501 b.b.t_buf_func[0].y : X [by b.b.t_buf_func[0]._y:=X]
|
||
|
125790 b.b.t_buf_func[3].y : X [by b.b.t_buf_func[3]._y:=X]
|
||
|
128898 b.b.dly.dly[0]._y : 1 [by b.b.dly.dly[0].a:=0]
|
||
|
130752 b.b.dly.dly[0].__y : 0 [by b.b.dly.dly[0]._y:=1]
|
||
|
130891 b.b.dly.dly[0].___y : 1 [by b.b.dly.dly[0].__y:=0]
|
||
|
136562 b.b._en : 1 [by b.out.v:=0]
|
||
|
136573 b.b.en_buf_t.buf2._y : 0 [by b.b._en:=1]
|
||
|
136631 b.b.en_buf_f.buf2._y : 0 [by b.b._en:=1]
|
||
|
136835 b.b._en_X_f[0] : 1 [by b.b.en_buf_f.buf2._y:=0]
|
||
|
139501 b.b._out_a_B : 1 [by b.out.a:=0]
|
||
|
139502 b.b.out_a_B_buf_f.buf2._y : 0 [by b.b._out_a_B:=1]
|
||
|
139516 b.b.out_a_B_buf_t.buf2._y : 0 [by b.b._out_a_B:=1]
|
||
|
139539 b.b._out_a_BX_t[0] : 1 [by b.b.out_a_B_buf_f.buf2._y:=0]
|
||
|
140255 b.b._out_a_BX_f[0] : 1 [by b.b.out_a_B_buf_t.buf2._y:=0]
|
||
|
143851 b.b.f_buf_func[2].y : X [by b.b.f_buf_func[2]._y:=X]
|
||
|
166204 b.b.f_buf_func[4].y : X [by b.b.f_buf_func[4]._y:=X]
|
||
|
167237 b.b.dly.dly[0].y : 0 [by b.b.dly.dly[0].___y:=1]
|
||
|
167349 b.b.dly.mu2[0]._y : 1 [by b.b.dly.dly[0].y:=0]
|
||
|
175755 b.b.f_buf_func[1]._y : X [by b.b._reset_BXX[0]:=1]
|
||
|
175795 b.b.f_buf_func[1].y : X [by b.b.f_buf_func[1]._y:=X]
|
||
|
188359 b.b._en_X_t[0] : 1 [by b.b.en_buf_t.buf2._y:=0]
|
||
|
214861 b.b.dly._a[1] : 0 [by b.b.dly.mu2[0]._y:=1]
|
||
|
215118 b.b.dly.and2[1]._y : 1 [by b.b.dly._a[1]:=0]
|
||
|
215205 b.b.dly.dly[1].a : 0 [by b.b.dly.and2[1]._y:=1]
|
||
|
215499 b.b.dly.dly[1]._y : 1 [by b.b.dly.dly[1].a:=0]
|
||
|
215500 b.b.dly.dly[1].__y : 0 [by b.b.dly.dly[1]._y:=1]
|
||
|
217306 b.b.dly.dly[1].___y : 1 [by b.b.dly.dly[1].__y:=0]
|
||
|
219313 b.b.dly.dly[1].y : 0 [by b.b.dly.dly[1].___y:=1]
|
||
|
220522 b.b.dly.dly[2]._y : 1 [by b.b.dly.dly[1].y:=0]
|
||
|
221112 b.b.dly.dly[2].__y : 0 [by b.b.dly.dly[2]._y:=1]
|
||
|
221290 b.b.dly.dly[2].___y : 1 [by b.b.dly.dly[2].__y:=0]
|
||
|
222093 b.b.dly.dly[2].y : 0 [by b.b.dly.dly[2].___y:=1]
|
||
|
222257 b.b.dly.mu2[1]._y : 1 [by b.b.dly.dly[2].y:=0]
|
||
|
224452 b.b.dly._a[2] : 0 [by b.b.dly.mu2[1]._y:=1]
|
||
|
224474 b.b.dly.and2[2]._y : 1 [by b.b.dly._a[2]:=0]
|
||
|
225321 b.b.dly.dly[3].a : 0 [by b.b.dly.and2[2]._y:=1]
|
||
|
255449 b.b.dly.dly[3]._y : 1 [by b.b.dly.dly[3].a:=0]
|
||
|
255582 b.b.dly.dly[3].__y : 0 [by b.b.dly.dly[3]._y:=1]
|
||
|
271244 b.b.dly.dly[3].___y : 1 [by b.b.dly.dly[3].__y:=0]
|
||
|
271603 b.b.dly.dly[3].y : 0 [by b.b.dly.dly[3].___y:=1]
|
||
|
285719 b.b.dly.dly[4]._y : 1 [by b.b.dly.dly[3].y:=0]
|
||
|
285940 b.b.dly.dly[4].__y : 0 [by b.b.dly.dly[4]._y:=1]
|
||
|
285947 b.b.dly.dly[4].___y : 1 [by b.b.dly.dly[4].__y:=0]
|
||
|
285977 b.b.dly.dly[4].y : 0 [by b.b.dly.dly[4].___y:=1]
|
||
|
292690 b.b.dly.dly[5]._y : 1 [by b.b.dly.dly[4].y:=0]
|
||
|
350151 b.b.dly.dly[5].__y : 0 [by b.b.dly.dly[5]._y:=1]
|
||
|
350242 b.b.dly.dly[5].___y : 1 [by b.b.dly.dly[5].__y:=0]
|
||
|
352431 b.b.dly.dly[5].y : 0 [by b.b.dly.dly[5].___y:=1]
|
||
|
352438 b.b.dly.dly[6]._y : 1 [by b.b.dly.dly[5].y:=0]
|
||
|
355225 b.b.dly.dly[6].__y : 0 [by b.b.dly.dly[6]._y:=1]
|
||
|
355331 b.b.dly.dly[6].___y : 1 [by b.b.dly.dly[6].__y:=0]
|
||
|
355409 b.b.dly.dly[6].y : 0 [by b.b.dly.dly[6].___y:=1]
|
||
|
355684 b.b.dly.mu2[2]._y : 1 [by b.b.dly.dly[6].y:=0]
|
||
|
374680 b.b.dly._a[3] : 0 [by b.b.dly.mu2[2]._y:=1]
|
||
|
375135 b.b.dly.and2[3]._y : 1 [by b.b.dly._a[3]:=0]
|
||
|
375147 b.b.dly.dly[7].a : 0 [by b.b.dly.and2[3]._y:=1]
|
||
|
375551 b.b.dly.dly[7]._y : 1 [by b.b.dly.dly[7].a:=0]
|
||
|
375563 b.b.dly.dly[7].__y : 0 [by b.b.dly.dly[7]._y:=1]
|
||
|
381479 b.b.dly.dly[7].___y : 1 [by b.b.dly.dly[7].__y:=0]
|
||
|
385755 b.b.dly.dly[7].y : 0 [by b.b.dly.dly[7].___y:=1]
|
||
|
388654 b.b.dly.dly[8]._y : 1 [by b.b.dly.dly[7].y:=0]
|
||
|
392949 b.b.dly.dly[8].__y : 0 [by b.b.dly.dly[8]._y:=1]
|
||
|
392951 b.b.dly.dly[8].___y : 1 [by b.b.dly.dly[8].__y:=0]
|
||
|
397486 b.b.dly.dly[8].y : 0 [by b.b.dly.dly[8].___y:=1]
|
||
|
398735 b.b.dly.dly[9]._y : 1 [by b.b.dly.dly[8].y:=0]
|
||
|
402234 b.b.dly.dly[9].__y : 0 [by b.b.dly.dly[9]._y:=1]
|
||
|
402400 b.b.dly.dly[9].___y : 1 [by b.b.dly.dly[9].__y:=0]
|
||
|
402475 b.b.dly.dly[9].y : 0 [by b.b.dly.dly[9].___y:=1]
|
||
|
402820 b.b.dly.dly[10]._y : 1 [by b.b.dly.dly[9].y:=0]
|
||
|
402958 b.b.dly.dly[10].__y : 0 [by b.b.dly.dly[10]._y:=1]
|
||
|
408221 b.b.dly.dly[10].___y : 1 [by b.b.dly.dly[10].__y:=0]
|
||
|
408223 b.b.dly.dly[10].y : 0 [by b.b.dly.dly[10].___y:=1]
|
||
|
452140 b.b.dly.dly[11]._y : 1 [by b.b.dly.dly[10].y:=0]
|
||
|
452141 b.b.dly.dly[11].__y : 0 [by b.b.dly.dly[11]._y:=1]
|
||
|
452689 b.b.dly.dly[11].___y : 1 [by b.b.dly.dly[11].__y:=0]
|
||
|
452700 b.b.dly.dly[11].y : 0 [by b.b.dly.dly[11].___y:=1]
|
||
|
453070 b.b.dly.dly[12]._y : 1 [by b.b.dly.dly[11].y:=0]
|
||
|
453137 b.b.dly.dly[12].__y : 0 [by b.b.dly.dly[12]._y:=1]
|
||
|
455778 b.b.dly.dly[12].___y : 1 [by b.b.dly.dly[12].__y:=0]
|
||
|
455794 b.b.dly.dly[12].y : 0 [by b.b.dly.dly[12].___y:=1]
|
||
|
460356 b.b.dly.dly[13]._y : 1 [by b.b.dly.dly[12].y:=0]
|
||
|
460884 b.b.dly.dly[13].__y : 0 [by b.b.dly.dly[13]._y:=1]
|
||
|
463319 b.b.dly.dly[13].___y : 1 [by b.b.dly.dly[13].__y:=0]
|
||
|
490199 b.b.dly.dly[13].y : 0 [by b.b.dly.dly[13].___y:=1]
|
||
|
514124 b.b.dly.dly[14]._y : 1 [by b.b.dly.dly[13].y:=0]
|
||
|
527165 b.b.dly.dly[14].__y : 0 [by b.b.dly.dly[14]._y:=1]
|
||
|
527167 b.b.dly.dly[14].___y : 1 [by b.b.dly.dly[14].__y:=0]
|
||
|
588125 b.b.dly.mu2[3].b : 0 [by b.b.dly.dly[14].___y:=1]
|
||
|
588128 b.b.dly.mu2[3]._y : 1 [by b.b.dly.mu2[3].b:=0]
|
||
|
588157 b.b._req : 0 [by b.b.dly.mu2[3]._y:=1]
|
||
|
588474 b.b.req_buf._y : 1 [by b.b._req:=0]
|
||
|
590075 b.b._reqX : 0 [by b.b.req_buf._y:=1]
|
||
|
590228 b.b.req_bufarray.buf2._y : 1 [by b.b._reqX:=0]
|
||
|
590272 b.b._reqXX[0] : 0 [by b.b.req_bufarray.buf2._y:=1]
|
||
|
[] set Reset 1
|
||
|
590272 Reset : 1
|
||
|
593033 b._reset_B : 0 [by Reset:=1]
|
||
|
606716 b.b.reset_buf._y : 1 [by b._reset_B:=0]
|
||
|
606717 b.b._reset_BX : 0 [by b.b.reset_buf._y:=1]
|
||
|
606934 b.b.reset_bufarray.buf2._y : 1 [by b.b._reset_BX:=0]
|
||
|
606956 b.b._reset_BXX[0] : 0 [by b.b.reset_bufarray.buf2._y:=1]
|
||
|
606957 b.b.f_buf_func[1]._y : 1 [by b.b._reset_BXX[0]:=0]
|
||
|
607115 b.b.t_buf_func[0]._y : 1 [by b.b._reset_BXX[0]:=0]
|
||
|
608244 b.b.f_buf_func[1].y : 0 [by b.b.f_buf_func[1]._y:=1]
|
||
|
608537 b.b.f_buf_func[2]._y : 1 [by b.b._reset_BXX[0]:=0]
|
||
|
608682 b.b.f_buf_func[2].y : 0 [by b.b.f_buf_func[2]._y:=1]
|
||
|
609347 b.b.t_buf_func[0].y : 0 [by b.b.t_buf_func[0]._y:=1]
|
||
|
616301 b.b.f_buf_func[4]._y : 1 [by b.b._reset_BXX[0]:=0]
|
||
|
619133 b.b.f_buf_func[4].y : 0 [by b.b.f_buf_func[4]._y:=1]
|
||
|
626632 b.b.t_buf_func[3]._y : 1 [by b.b._reset_BXX[0]:=0]
|
||
|
632986 b.b.t_buf_func[3].y : 0 [by b.b.t_buf_func[3]._y:=1]
|
||
|
[] set Reset 0
|
||
|
632986 Reset : 0
|
||
|
632987 b._reset_B : 1 [by Reset:=0]
|
||
|
672271 b.b.reset_buf._y : 0 [by b._reset_B:=1]
|
||
|
672433 b.b._reset_BX : 1 [by b.b.reset_buf._y:=0]
|
||
|
679802 b.b.reset_bufarray.buf2._y : 0 [by b.b._reset_BX:=1]
|
||
|
679816 b.b._reset_BXX[0] : 1 [by b.b.reset_bufarray.buf2._y:=0]
|
||
|
|
||
|
[] Reset finished, setting data
|
||
|
679816 b.in.d[0] : 0
|
||
|
679816 b.in.d[4] : 1
|
||
|
679816 b.in.d[2] : 1
|
||
|
679816 b.in.d[1] : 1
|
||
|
679816 b.in.d[3] : 0
|
||
|
679817 b.b._inB[1] : 0 [by b.in.d[1]:=1]
|
||
|
679817 b.b._inB[3] : 1 [by b.in.d[3]:=0]
|
||
|
679823 b.b._inB[0] : 1 [by b.in.d[0]:=0]
|
||
|
679976 b.b._inB[4] : 0 [by b.in.d[4]:=1]
|
||
|
701373 b.b._inB[2] : 0 [by b.in.d[2]:=1]
|
||
|
[] Reset finished, setting req 1
|
||
|
701373 b.in.r : 1
|
||
|
701374 b.b.dly.and2[0]._y : 0 [by b.in.r:=1]
|
||
|
703617 b.b.dly.dly[0].a : 1 [by b.b.dly.and2[0]._y:=0]
|
||
|
703804 b.b.dly.dly[0]._y : 0 [by b.b.dly.dly[0].a:=1]
|
||
|
703805 b.b.dly.dly[0].__y : 1 [by b.b.dly.dly[0]._y:=0]
|
||
|
707987 b.b.dly.dly[0].___y : 0 [by b.b.dly.dly[0].__y:=1]
|
||
|
742769 b.b.dly.dly[0].y : 1 [by b.b.dly.dly[0].___y:=0]
|
||
|
742770 b.b.dly.mu2[0]._y : 0 [by b.b.dly.dly[0].y:=1]
|
||
|
743623 b.b.dly._a[1] : 1 [by b.b.dly.mu2[0]._y:=0]
|
||
|
743628 b.b.dly.and2[1]._y : 0 [by b.b.dly._a[1]:=1]
|
||
|
744519 b.b.dly.dly[1].a : 1 [by b.b.dly.and2[1]._y:=0]
|
||
|
744520 b.b.dly.dly[1]._y : 0 [by b.b.dly.dly[1].a:=1]
|
||
|
744537 b.b.dly.dly[1].__y : 1 [by b.b.dly.dly[1]._y:=0]
|
||
|
747110 b.b.dly.dly[1].___y : 0 [by b.b.dly.dly[1].__y:=1]
|
||
|
755471 b.b.dly.dly[1].y : 1 [by b.b.dly.dly[1].___y:=0]
|
||
|
755474 b.b.dly.dly[2]._y : 0 [by b.b.dly.dly[1].y:=1]
|
||
|
756415 b.b.dly.dly[2].__y : 1 [by b.b.dly.dly[2]._y:=0]
|
||
|
815377 b.b.dly.dly[2].___y : 0 [by b.b.dly.dly[2].__y:=1]
|
||
|
815378 b.b.dly.dly[2].y : 1 [by b.b.dly.dly[2].___y:=0]
|
||
|
815420 b.b.dly.mu2[1]._y : 0 [by b.b.dly.dly[2].y:=1]
|
||
|
818237 b.b.dly._a[2] : 1 [by b.b.dly.mu2[1]._y:=0]
|
||
|
831970 b.b.dly.and2[2]._y : 0 [by b.b.dly._a[2]:=1]
|
||
|
832065 b.b.dly.dly[3].a : 1 [by b.b.dly.and2[2]._y:=0]
|
||
|
832400 b.b.dly.dly[3]._y : 0 [by b.b.dly.dly[3].a:=1]
|
||
|
832408 b.b.dly.dly[3].__y : 1 [by b.b.dly.dly[3]._y:=0]
|
||
|
832442 b.b.dly.dly[3].___y : 0 [by b.b.dly.dly[3].__y:=1]
|
||
|
846329 b.b.dly.dly[3].y : 1 [by b.b.dly.dly[3].___y:=0]
|
||
|
847247 b.b.dly.dly[4]._y : 0 [by b.b.dly.dly[3].y:=1]
|
||
|
847251 b.b.dly.dly[4].__y : 1 [by b.b.dly.dly[4]._y:=0]
|
||
|
893629 b.b.dly.dly[4].___y : 0 [by b.b.dly.dly[4].__y:=1]
|
||
|
896027 b.b.dly.dly[4].y : 1 [by b.b.dly.dly[4].___y:=0]
|
||
|
899242 b.b.dly.dly[5]._y : 0 [by b.b.dly.dly[4].y:=1]
|
||
|
946361 b.b.dly.dly[5].__y : 1 [by b.b.dly.dly[5]._y:=0]
|
||
|
946409 b.b.dly.dly[5].___y : 0 [by b.b.dly.dly[5].__y:=1]
|
||
|
946412 b.b.dly.dly[5].y : 1 [by b.b.dly.dly[5].___y:=0]
|
||
|
946590 b.b.dly.dly[6]._y : 0 [by b.b.dly.dly[5].y:=1]
|
||
|
967567 b.b.dly.dly[6].__y : 1 [by b.b.dly.dly[6]._y:=0]
|
||
|
979466 b.b.dly.dly[6].___y : 0 [by b.b.dly.dly[6].__y:=1]
|
||
|
985417 b.b.dly.dly[6].y : 1 [by b.b.dly.dly[6].___y:=0]
|
||
|
1024902 b.b.dly.mu2[2]._y : 0 [by b.b.dly.dly[6].y:=1]
|
||
|
1025729 b.b.dly._a[3] : 1 [by b.b.dly.mu2[2]._y:=0]
|
||
|
1025902 b.b.dly.and2[3]._y : 0 [by b.b.dly._a[3]:=1]
|
||
|
1026086 b.b.dly.dly[7].a : 1 [by b.b.dly.and2[3]._y:=0]
|
||
|
1026087 b.b.dly.dly[7]._y : 0 [by b.b.dly.dly[7].a:=1]
|
||
|
1026160 b.b.dly.dly[7].__y : 1 [by b.b.dly.dly[7]._y:=0]
|
||
|
1026164 b.b.dly.dly[7].___y : 0 [by b.b.dly.dly[7].__y:=1]
|
||
|
1063452 b.b.dly.dly[7].y : 1 [by b.b.dly.dly[7].___y:=0]
|
||
|
1063548 b.b.dly.dly[8]._y : 0 [by b.b.dly.dly[7].y:=1]
|
||
|
1063684 b.b.dly.dly[8].__y : 1 [by b.b.dly.dly[8]._y:=0]
|
||
|
1063685 b.b.dly.dly[8].___y : 0 [by b.b.dly.dly[8].__y:=1]
|
||
|
1082731 b.b.dly.dly[8].y : 1 [by b.b.dly.dly[8].___y:=0]
|
||
|
1082972 b.b.dly.dly[9]._y : 0 [by b.b.dly.dly[8].y:=1]
|
||
|
1086931 b.b.dly.dly[9].__y : 1 [by b.b.dly.dly[9]._y:=0]
|
||
|
1086943 b.b.dly.dly[9].___y : 0 [by b.b.dly.dly[9].__y:=1]
|
||
|
1090843 b.b.dly.dly[9].y : 1 [by b.b.dly.dly[9].___y:=0]
|
||
|
1091872 b.b.dly.dly[10]._y : 0 [by b.b.dly.dly[9].y:=1]
|
||
|
1091873 b.b.dly.dly[10].__y : 1 [by b.b.dly.dly[10]._y:=0]
|
||
|
1091929 b.b.dly.dly[10].___y : 0 [by b.b.dly.dly[10].__y:=1]
|
||
|
1136935 b.b.dly.dly[10].y : 1 [by b.b.dly.dly[10].___y:=0]
|
||
|
1136936 b.b.dly.dly[11]._y : 0 [by b.b.dly.dly[10].y:=1]
|
||
|
1136973 b.b.dly.dly[11].__y : 1 [by b.b.dly.dly[11]._y:=0]
|
||
|
1160348 b.b.dly.dly[11].___y : 0 [by b.b.dly.dly[11].__y:=1]
|
||
|
1160349 b.b.dly.dly[11].y : 1 [by b.b.dly.dly[11].___y:=0]
|
||
|
1163913 b.b.dly.dly[12]._y : 0 [by b.b.dly.dly[11].y:=1]
|
||
|
1165605 b.b.dly.dly[12].__y : 1 [by b.b.dly.dly[12]._y:=0]
|
||
|
1165618 b.b.dly.dly[12].___y : 0 [by b.b.dly.dly[12].__y:=1]
|
||
|
1182602 b.b.dly.dly[12].y : 1 [by b.b.dly.dly[12].___y:=0]
|
||
|
1182959 b.b.dly.dly[13]._y : 0 [by b.b.dly.dly[12].y:=1]
|
||
|
1182984 b.b.dly.dly[13].__y : 1 [by b.b.dly.dly[13]._y:=0]
|
||
|
1183005 b.b.dly.dly[13].___y : 0 [by b.b.dly.dly[13].__y:=1]
|
||
|
1183006 b.b.dly.dly[13].y : 1 [by b.b.dly.dly[13].___y:=0]
|
||
|
1192654 b.b.dly.dly[14]._y : 0 [by b.b.dly.dly[13].y:=1]
|
||
|
1192655 b.b.dly.dly[14].__y : 1 [by b.b.dly.dly[14]._y:=0]
|
||
|
1192656 b.b.dly.dly[14].___y : 0 [by b.b.dly.dly[14].__y:=1]
|
||
|
1192817 b.b.dly.mu2[3].b : 1 [by b.b.dly.dly[14].___y:=0]
|
||
|
1193854 b.b.dly.mu2[3]._y : 0 [by b.b.dly.mu2[3].b:=1]
|
||
|
1193859 b.b._req : 1 [by b.b.dly.mu2[3]._y:=0]
|
||
|
1194440 b.b.req_buf._y : 0 [by b.b._req:=1]
|
||
|
1194848 b.b._reqX : 1 [by b.b.req_buf._y:=0]
|
||
|
1194859 b.b.req_bufarray.buf2._y : 0 [by b.b._reqX:=1]
|
||
|
1195906 b.b._reqXX[0] : 1 [by b.b.req_bufarray.buf2._y:=0]
|
||
|
1195910 b.b.t_buf_func[1]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
1195920 b.b.f_buf_func[0]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
1195924 b.b.f_buf_func[3]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
1196010 b.b.t_buf_func[2]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
1196152 b.b.f_buf_func[3].y : 1 [by b.b.f_buf_func[3]._y:=0]
|
||
|
1196853 b.b.t_buf_func[2].y : 1 [by b.b.t_buf_func[2]._y:=0]
|
||
|
1197114 b.b.t_buf_func[1].y : 1 [by b.b.t_buf_func[1]._y:=0]
|
||
|
1204375 b.b.f_buf_func[0].y : 1 [by b.b.f_buf_func[0]._y:=0]
|
||
|
1227350 b.b.t_buf_func[4]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
1228809 b.b.t_buf_func[4].y : 1 [by b.b.t_buf_func[4]._y:=0]
|
||
|
[] Receiving val out
|
||
|
1228809 b.out.v : 1
|
||
|
1228879 b.b.inack_ctl._y : 0 [by b.out.v:=1]
|
||
|
1279301 b.in.a : 1 [by b.b.inack_ctl._y:=0]
|
||
|
1279312 b.b._en : 0 [by b.in.a:=1]
|
||
|
1279315 b.b.en_buf_f.buf2._y : 1 [by b.b._en:=0]
|
||
|
1279366 b.b.en_buf_t.buf2._y : 1 [by b.b._en:=0]
|
||
|
1280463 b.b._en_X_f[0] : 0 [by b.b.en_buf_f.buf2._y:=1]
|
||
|
1280527 b.b._en_X_t[0] : 0 [by b.b.en_buf_t.buf2._y:=1]
|
||
|
[] Changing some input data
|
||
|
1280527 b.in.d[0] : 1
|
||
|
1289179 b.b._inB[0] : 0 [by b.in.d[0]:=1]
|
||
|
[] Removing req
|
||
|
[] Changing more data
|
||
|
1289179 b.in.r : 0
|
||
|
1289179 b.in.d[4] : 0
|
||
|
1289260 b.b.dly.and2[0]._y : 1 [by b.in.r:=0]
|
||
|
1300256 b.b._inB[4] : 1 [by b.in.d[4]:=0]
|
||
|
1307243 b.b.dly.dly[0].a : 0 [by b.b.dly.and2[0]._y:=1]
|
||
|
1307335 b.b.dly.dly[0]._y : 1 [by b.b.dly.dly[0].a:=0]
|
||
|
1315646 b.b.dly.dly[0].__y : 0 [by b.b.dly.dly[0]._y:=1]
|
||
|
1317390 b.b.dly.dly[0].___y : 1 [by b.b.dly.dly[0].__y:=0]
|
||
|
1318003 b.b.dly.dly[0].y : 0 [by b.b.dly.dly[0].___y:=1]
|
||
|
1332025 b.b.dly.mu2[0]._y : 1 [by b.b.dly.dly[0].y:=0]
|
||
|
1332070 b.b.dly._a[1] : 0 [by b.b.dly.mu2[0]._y:=1]
|
||
|
1333067 b.b.dly.and2[1]._y : 1 [by b.b.dly._a[1]:=0]
|
||
|
1334716 b.b.dly.dly[1].a : 0 [by b.b.dly.and2[1]._y:=1]
|
||
|
1335241 b.b.dly.dly[1]._y : 1 [by b.b.dly.dly[1].a:=0]
|
||
|
1336141 b.b.dly.dly[1].__y : 0 [by b.b.dly.dly[1]._y:=1]
|
||
|
1336193 b.b.dly.dly[1].___y : 1 [by b.b.dly.dly[1].__y:=0]
|
||
|
1336200 b.b.dly.dly[1].y : 0 [by b.b.dly.dly[1].___y:=1]
|
||
|
1351812 b.b.dly.dly[2]._y : 1 [by b.b.dly.dly[1].y:=0]
|
||
|
1358279 b.b.dly.dly[2].__y : 0 [by b.b.dly.dly[2]._y:=1]
|
||
|
1358281 b.b.dly.dly[2].___y : 1 [by b.b.dly.dly[2].__y:=0]
|
||
|
1358635 b.b.dly.dly[2].y : 0 [by b.b.dly.dly[2].___y:=1]
|
||
|
1358768 b.b.dly.mu2[1]._y : 1 [by b.b.dly.dly[2].y:=0]
|
||
|
1358769 b.b.dly._a[2] : 0 [by b.b.dly.mu2[1]._y:=1]
|
||
|
1358773 b.b.dly.and2[2]._y : 1 [by b.b.dly._a[2]:=0]
|
||
|
1359319 b.b.dly.dly[3].a : 0 [by b.b.dly.and2[2]._y:=1]
|
||
|
1404882 b.b.dly.dly[3]._y : 1 [by b.b.dly.dly[3].a:=0]
|
||
|
1404883 b.b.dly.dly[3].__y : 0 [by b.b.dly.dly[3]._y:=1]
|
||
|
1417261 b.b.dly.dly[3].___y : 1 [by b.b.dly.dly[3].__y:=0]
|
||
|
1417340 b.b.dly.dly[3].y : 0 [by b.b.dly.dly[3].___y:=1]
|
||
|
1419773 b.b.dly.dly[4]._y : 1 [by b.b.dly.dly[3].y:=0]
|
||
|
1419861 b.b.dly.dly[4].__y : 0 [by b.b.dly.dly[4]._y:=1]
|
||
|
1427643 b.b.dly.dly[4].___y : 1 [by b.b.dly.dly[4].__y:=0]
|
||
|
1455970 b.b.dly.dly[4].y : 0 [by b.b.dly.dly[4].___y:=1]
|
||
|
1456029 b.b.dly.dly[5]._y : 1 [by b.b.dly.dly[4].y:=0]
|
||
|
1456059 b.b.dly.dly[5].__y : 0 [by b.b.dly.dly[5]._y:=1]
|
||
|
1457526 b.b.dly.dly[5].___y : 1 [by b.b.dly.dly[5].__y:=0]
|
||
|
1517030 b.b.dly.dly[5].y : 0 [by b.b.dly.dly[5].___y:=1]
|
||
|
1536414 b.b.dly.dly[6]._y : 1 [by b.b.dly.dly[5].y:=0]
|
||
|
1537099 b.b.dly.dly[6].__y : 0 [by b.b.dly.dly[6]._y:=1]
|
||
|
1553814 b.b.dly.dly[6].___y : 1 [by b.b.dly.dly[6].__y:=0]
|
||
|
1553941 b.b.dly.dly[6].y : 0 [by b.b.dly.dly[6].___y:=1]
|
||
|
1554110 b.b.dly.mu2[2]._y : 1 [by b.b.dly.dly[6].y:=0]
|
||
|
1554153 b.b.dly._a[3] : 0 [by b.b.dly.mu2[2]._y:=1]
|
||
|
1554165 b.b.dly.and2[3]._y : 1 [by b.b.dly._a[3]:=0]
|
||
|
1555444 b.b.dly.dly[7].a : 0 [by b.b.dly.and2[3]._y:=1]
|
||
|
1555677 b.b.dly.dly[7]._y : 1 [by b.b.dly.dly[7].a:=0]
|
||
|
1555680 b.b.dly.dly[7].__y : 0 [by b.b.dly.dly[7]._y:=1]
|
||
|
1555718 b.b.dly.dly[7].___y : 1 [by b.b.dly.dly[7].__y:=0]
|
||
|
1555719 b.b.dly.dly[7].y : 0 [by b.b.dly.dly[7].___y:=1]
|
||
|
1568471 b.b.dly.dly[8]._y : 1 [by b.b.dly.dly[7].y:=0]
|
||
|
1568563 b.b.dly.dly[8].__y : 0 [by b.b.dly.dly[8]._y:=1]
|
||
|
1571290 b.b.dly.dly[8].___y : 1 [by b.b.dly.dly[8].__y:=0]
|
||
|
1571292 b.b.dly.dly[8].y : 0 [by b.b.dly.dly[8].___y:=1]
|
||
|
1571293 b.b.dly.dly[9]._y : 1 [by b.b.dly.dly[8].y:=0]
|
||
|
1572794 b.b.dly.dly[9].__y : 0 [by b.b.dly.dly[9]._y:=1]
|
||
|
1572796 b.b.dly.dly[9].___y : 1 [by b.b.dly.dly[9].__y:=0]
|
||
|
1572814 b.b.dly.dly[9].y : 0 [by b.b.dly.dly[9].___y:=1]
|
||
|
1572933 b.b.dly.dly[10]._y : 1 [by b.b.dly.dly[9].y:=0]
|
||
|
1578653 b.b.dly.dly[10].__y : 0 [by b.b.dly.dly[10]._y:=1]
|
||
|
1578661 b.b.dly.dly[10].___y : 1 [by b.b.dly.dly[10].__y:=0]
|
||
|
1578715 b.b.dly.dly[10].y : 0 [by b.b.dly.dly[10].___y:=1]
|
||
|
1629253 b.b.dly.dly[11]._y : 1 [by b.b.dly.dly[10].y:=0]
|
||
|
1629258 b.b.dly.dly[11].__y : 0 [by b.b.dly.dly[11]._y:=1]
|
||
|
1630325 b.b.dly.dly[11].___y : 1 [by b.b.dly.dly[11].__y:=0]
|
||
|
1630326 b.b.dly.dly[11].y : 0 [by b.b.dly.dly[11].___y:=1]
|
||
|
1630464 b.b.dly.dly[12]._y : 1 [by b.b.dly.dly[11].y:=0]
|
||
|
1630465 b.b.dly.dly[12].__y : 0 [by b.b.dly.dly[12]._y:=1]
|
||
|
1630529 b.b.dly.dly[12].___y : 1 [by b.b.dly.dly[12].__y:=0]
|
||
|
1630652 b.b.dly.dly[12].y : 0 [by b.b.dly.dly[12].___y:=1]
|
||
|
1630654 b.b.dly.dly[13]._y : 1 [by b.b.dly.dly[12].y:=0]
|
||
|
1630691 b.b.dly.dly[13].__y : 0 [by b.b.dly.dly[13]._y:=1]
|
||
|
1630834 b.b.dly.dly[13].___y : 1 [by b.b.dly.dly[13].__y:=0]
|
||
|
1630885 b.b.dly.dly[13].y : 0 [by b.b.dly.dly[13].___y:=1]
|
||
|
1631327 b.b.dly.dly[14]._y : 1 [by b.b.dly.dly[13].y:=0]
|
||
|
1631338 b.b.dly.dly[14].__y : 0 [by b.b.dly.dly[14]._y:=1]
|
||
|
1631339 b.b.dly.dly[14].___y : 1 [by b.b.dly.dly[14].__y:=0]
|
||
|
1631348 b.b.dly.mu2[3].b : 0 [by b.b.dly.dly[14].___y:=1]
|
||
|
1631373 b.b.dly.mu2[3]._y : 1 [by b.b.dly.mu2[3].b:=0]
|
||
|
1641626 b.b._req : 0 [by b.b.dly.mu2[3]._y:=1]
|
||
|
1645147 b.b.req_buf._y : 1 [by b.b._req:=0]
|
||
|
1645292 b.b._reqX : 0 [by b.b.req_buf._y:=1]
|
||
|
1661460 b.b.req_bufarray.buf2._y : 1 [by b.b._reqX:=0]
|
||
|
1661690 b.b._reqXX[0] : 0 [by b.b.req_bufarray.buf2._y:=1]
|
||
|
[] Receiving ack out
|
||
|
1661690 b.out.a : 1
|
||
|
1662381 b.b._out_a_B : 0 [by b.out.a:=1]
|
||
|
1662395 b.b.out_a_B_buf_t.buf2._y : 1 [by b.b._out_a_B:=0]
|
||
|
1663924 b.b.out_a_B_buf_f.buf2._y : 1 [by b.b._out_a_B:=0]
|
||
|
1664006 b.b._out_a_BX_f[0] : 0 [by b.b.out_a_B_buf_t.buf2._y:=1]
|
||
|
1664007 b.b.f_buf_func[3]._y : 1 [by b.b._out_a_BX_f[0]:=0]
|
||
|
1664008 b.b.f_buf_func[3].y : 0 [by b.b.f_buf_func[3]._y:=1]
|
||
|
1664017 b.b.f_buf_func[0]._y : 1 [by b.b._out_a_BX_f[0]:=0]
|
||
|
1670518 b.b.f_buf_func[0].y : 0 [by b.b.f_buf_func[0]._y:=1]
|
||
|
1681436 b.b._out_a_BX_t[0] : 0 [by b.b.out_a_B_buf_f.buf2._y:=1]
|
||
|
1681568 b.b.t_buf_func[4]._y : 1 [by b.b._out_a_BX_t[0]:=0]
|
||
|
1681569 b.b.t_buf_func[4].y : 0 [by b.b.t_buf_func[4]._y:=1]
|
||
|
1682075 b.b.t_buf_func[1]._y : 1 [by b.b._out_a_BX_t[0]:=0]
|
||
|
1682092 b.b.t_buf_func[1].y : 0 [by b.b.t_buf_func[1]._y:=1]
|
||
|
1683229 b.b.t_buf_func[2]._y : 1 [by b.b._out_a_BX_t[0]:=0]
|
||
|
1683381 b.b.t_buf_func[2].y : 0 [by b.b.t_buf_func[2]._y:=1]
|
||
|
1683381 b.out.v : 0
|
||
|
1686364 b.b.inack_ctl._y : 1 [by b.out.v:=0]
|
||
|
1686367 b.in.a : 0 [by b.b.inack_ctl._y:=1]
|
||
|
1686791 b.b._en : 1 [by b.in.a:=0]
|
||
|
1686797 b.b.en_buf_f.buf2._y : 0 [by b.b._en:=1]
|
||
|
1689258 b.b._en_X_f[0] : 1 [by b.b.en_buf_f.buf2._y:=0]
|
||
|
1689379 b.b.en_buf_t.buf2._y : 0 [by b.b._en:=1]
|
||
|
1690209 b.b._en_X_t[0] : 1 [by b.b.en_buf_t.buf2._y:=0]
|
||
|
[] Set ack out 0
|
||
|
1690209 b.out.a : 0
|
||
|
1713141 b.b._out_a_B : 1 [by b.out.a:=0]
|
||
|
1713143 b.b.out_a_B_buf_t.buf2._y : 0 [by b.b._out_a_B:=1]
|
||
|
1713335 b.b.out_a_B_buf_f.buf2._y : 0 [by b.b._out_a_B:=1]
|
||
|
1713473 b.b._out_a_BX_t[0] : 1 [by b.b.out_a_B_buf_f.buf2._y:=0]
|
||
|
1713746 b.b._out_a_BX_f[0] : 1 [by b.b.out_a_B_buf_t.buf2._y:=0]
|
||
|
[] Again!!! setting data
|
||
|
1713746 b.in.d[0] : 0
|
||
|
1713746 b.in.d[2] : 0
|
||
|
1713746 b.in.d[1] : 0
|
||
|
1713763 b.b._inB[2] : 1 [by b.in.d[2]:=0]
|
||
|
1713763 b.b._inB[0] : 1 [by b.in.d[0]:=0]
|
||
|
1714172 b.b._inB[1] : 1 [by b.in.d[1]:=0]
|
||
|
[] Again!!! setting req 1
|
||
|
1714172 b.in.r : 1
|
||
|
1714173 b.b.dly.and2[0]._y : 0 [by b.in.r:=1]
|
||
|
1714174 b.b.dly.dly[0].a : 1 [by b.b.dly.and2[0]._y:=0]
|
||
|
1715200 b.b.dly.dly[0]._y : 0 [by b.b.dly.dly[0].a:=1]
|
||
|
1715201 b.b.dly.dly[0].__y : 1 [by b.b.dly.dly[0]._y:=0]
|
||
|
1715220 b.b.dly.dly[0].___y : 0 [by b.b.dly.dly[0].__y:=1]
|
||
|
1715388 b.b.dly.dly[0].y : 1 [by b.b.dly.dly[0].___y:=0]
|
||
|
1715927 b.b.dly.mu2[0]._y : 0 [by b.b.dly.dly[0].y:=1]
|
||
|
1716088 b.b.dly._a[1] : 1 [by b.b.dly.mu2[0]._y:=0]
|
||
|
1716261 b.b.dly.and2[1]._y : 0 [by b.b.dly._a[1]:=1]
|
||
|
1718808 b.b.dly.dly[1].a : 1 [by b.b.dly.and2[1]._y:=0]
|
||
|
1733869 b.b.dly.dly[1]._y : 0 [by b.b.dly.dly[1].a:=1]
|
||
|
1733870 b.b.dly.dly[1].__y : 1 [by b.b.dly.dly[1]._y:=0]
|
||
|
1733871 b.b.dly.dly[1].___y : 0 [by b.b.dly.dly[1].__y:=1]
|
||
|
1734261 b.b.dly.dly[1].y : 1 [by b.b.dly.dly[1].___y:=0]
|
||
|
1734468 b.b.dly.dly[2]._y : 0 [by b.b.dly.dly[1].y:=1]
|
||
|
1735301 b.b.dly.dly[2].__y : 1 [by b.b.dly.dly[2]._y:=0]
|
||
|
1735329 b.b.dly.dly[2].___y : 0 [by b.b.dly.dly[2].__y:=1]
|
||
|
1735336 b.b.dly.dly[2].y : 1 [by b.b.dly.dly[2].___y:=0]
|
||
|
1735750 b.b.dly.mu2[1]._y : 0 [by b.b.dly.dly[2].y:=1]
|
||
|
1735754 b.b.dly._a[2] : 1 [by b.b.dly.mu2[1]._y:=0]
|
||
|
1737533 b.b.dly.and2[2]._y : 0 [by b.b.dly._a[2]:=1]
|
||
|
1760407 b.b.dly.dly[3].a : 1 [by b.b.dly.and2[2]._y:=0]
|
||
|
1760573 b.b.dly.dly[3]._y : 0 [by b.b.dly.dly[3].a:=1]
|
||
|
1800443 b.b.dly.dly[3].__y : 1 [by b.b.dly.dly[3]._y:=0]
|
||
|
1809088 b.b.dly.dly[3].___y : 0 [by b.b.dly.dly[3].__y:=1]
|
||
|
1810021 b.b.dly.dly[3].y : 1 [by b.b.dly.dly[3].___y:=0]
|
||
|
1810877 b.b.dly.dly[4]._y : 0 [by b.b.dly.dly[3].y:=1]
|
||
|
1811016 b.b.dly.dly[4].__y : 1 [by b.b.dly.dly[4]._y:=0]
|
||
|
1837225 b.b.dly.dly[4].___y : 0 [by b.b.dly.dly[4].__y:=1]
|
||
|
1837420 b.b.dly.dly[4].y : 1 [by b.b.dly.dly[4].___y:=0]
|
||
|
1837422 b.b.dly.dly[5]._y : 0 [by b.b.dly.dly[4].y:=1]
|
||
|
1890871 b.b.dly.dly[5].__y : 1 [by b.b.dly.dly[5]._y:=0]
|
||
|
1890877 b.b.dly.dly[5].___y : 0 [by b.b.dly.dly[5].__y:=1]
|
||
|
1891131 b.b.dly.dly[5].y : 1 [by b.b.dly.dly[5].___y:=0]
|
||
|
1891139 b.b.dly.dly[6]._y : 0 [by b.b.dly.dly[5].y:=1]
|
||
|
1891140 b.b.dly.dly[6].__y : 1 [by b.b.dly.dly[6]._y:=0]
|
||
|
1891146 b.b.dly.dly[6].___y : 0 [by b.b.dly.dly[6].__y:=1]
|
||
|
1942182 b.b.dly.dly[6].y : 1 [by b.b.dly.dly[6].___y:=0]
|
||
|
1945272 b.b.dly.mu2[2]._y : 0 [by b.b.dly.dly[6].y:=1]
|
||
|
1945498 b.b.dly._a[3] : 1 [by b.b.dly.mu2[2]._y:=0]
|
||
|
1946317 b.b.dly.and2[3]._y : 0 [by b.b.dly._a[3]:=1]
|
||
|
1946318 b.b.dly.dly[7].a : 1 [by b.b.dly.and2[3]._y:=0]
|
||
|
1946324 b.b.dly.dly[7]._y : 0 [by b.b.dly.dly[7].a:=1]
|
||
|
1946326 b.b.dly.dly[7].__y : 1 [by b.b.dly.dly[7]._y:=0]
|
||
|
1949888 b.b.dly.dly[7].___y : 0 [by b.b.dly.dly[7].__y:=1]
|
||
|
1949903 b.b.dly.dly[7].y : 1 [by b.b.dly.dly[7].___y:=0]
|
||
|
1970704 b.b.dly.dly[8]._y : 0 [by b.b.dly.dly[7].y:=1]
|
||
|
1970811 b.b.dly.dly[8].__y : 1 [by b.b.dly.dly[8]._y:=0]
|
||
|
1970904 b.b.dly.dly[8].___y : 0 [by b.b.dly.dly[8].__y:=1]
|
||
|
1972556 b.b.dly.dly[8].y : 1 [by b.b.dly.dly[8].___y:=0]
|
||
|
1976495 b.b.dly.dly[9]._y : 0 [by b.b.dly.dly[8].y:=1]
|
||
|
1977253 b.b.dly.dly[9].__y : 1 [by b.b.dly.dly[9]._y:=0]
|
||
|
1979876 b.b.dly.dly[9].___y : 0 [by b.b.dly.dly[9].__y:=1]
|
||
|
1980592 b.b.dly.dly[9].y : 1 [by b.b.dly.dly[9].___y:=0]
|
||
|
1980593 b.b.dly.dly[10]._y : 0 [by b.b.dly.dly[9].y:=1]
|
||
|
1982333 b.b.dly.dly[10].__y : 1 [by b.b.dly.dly[10]._y:=0]
|
||
|
1982334 b.b.dly.dly[10].___y : 0 [by b.b.dly.dly[10].__y:=1]
|
||
|
1994486 b.b.dly.dly[10].y : 1 [by b.b.dly.dly[10].___y:=0]
|
||
|
2022685 b.b.dly.dly[11]._y : 0 [by b.b.dly.dly[10].y:=1]
|
||
|
2022686 b.b.dly.dly[11].__y : 1 [by b.b.dly.dly[11]._y:=0]
|
||
|
2022692 b.b.dly.dly[11].___y : 0 [by b.b.dly.dly[11].__y:=1]
|
||
|
2022693 b.b.dly.dly[11].y : 1 [by b.b.dly.dly[11].___y:=0]
|
||
|
2062182 b.b.dly.dly[12]._y : 0 [by b.b.dly.dly[11].y:=1]
|
||
|
2083781 b.b.dly.dly[12].__y : 1 [by b.b.dly.dly[12]._y:=0]
|
||
|
2083803 b.b.dly.dly[12].___y : 0 [by b.b.dly.dly[12].__y:=1]
|
||
|
2106311 b.b.dly.dly[12].y : 1 [by b.b.dly.dly[12].___y:=0]
|
||
|
2106318 b.b.dly.dly[13]._y : 0 [by b.b.dly.dly[12].y:=1]
|
||
|
2106383 b.b.dly.dly[13].__y : 1 [by b.b.dly.dly[13]._y:=0]
|
||
|
2106396 b.b.dly.dly[13].___y : 0 [by b.b.dly.dly[13].__y:=1]
|
||
|
2107520 b.b.dly.dly[13].y : 1 [by b.b.dly.dly[13].___y:=0]
|
||
|
2107624 b.b.dly.dly[14]._y : 0 [by b.b.dly.dly[13].y:=1]
|
||
|
2107665 b.b.dly.dly[14].__y : 1 [by b.b.dly.dly[14]._y:=0]
|
||
|
2107666 b.b.dly.dly[14].___y : 0 [by b.b.dly.dly[14].__y:=1]
|
||
|
2107667 b.b.dly.mu2[3].b : 1 [by b.b.dly.dly[14].___y:=0]
|
||
|
2172045 b.b.dly.mu2[3]._y : 0 [by b.b.dly.mu2[3].b:=1]
|
||
|
2185217 b.b._req : 1 [by b.b.dly.mu2[3]._y:=0]
|
||
|
2185218 b.b.req_buf._y : 0 [by b.b._req:=1]
|
||
|
2205043 b.b._reqX : 1 [by b.b.req_buf._y:=0]
|
||
|
2208179 b.b.req_bufarray.buf2._y : 0 [by b.b._reqX:=1]
|
||
|
2209005 b.b._reqXX[0] : 1 [by b.b.req_bufarray.buf2._y:=0]
|
||
|
2209063 b.b.f_buf_func[2]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
2210838 b.b.f_buf_func[0]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
2210852 b.b.f_buf_func[0].y : 1 [by b.b.f_buf_func[0]._y:=0]
|
||
|
2211448 b.b.f_buf_func[3]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
2211804 b.b.f_buf_func[3].y : 1 [by b.b.f_buf_func[3]._y:=0]
|
||
|
2225553 b.b.f_buf_func[1]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
2225778 b.b.f_buf_func[4]._y : 0 [by b.b._reqXX[0]:=1]
|
||
|
2225883 b.b.f_buf_func[4].y : 1 [by b.b.f_buf_func[4]._y:=0]
|
||
|
2246262 b.b.f_buf_func[2].y : 1 [by b.b.f_buf_func[2]._y:=0]
|
||
|
2261391 b.b.f_buf_func[1].y : 1 [by b.b.f_buf_func[1]._y:=0]
|
||
|
[] Receiving val out
|
||
|
2261391 b.out.v : 1
|
||
|
2261500 b.b.inack_ctl._y : 0 [by b.out.v:=1]
|
||
|
2261501 b.in.a : 1 [by b.b.inack_ctl._y:=0]
|
||
|
2261510 b.b._en : 0 [by b.in.a:=1]
|
||
|
2261511 b.b.en_buf_t.buf2._y : 1 [by b.b._en:=0]
|
||
|
2297905 b.b._en_X_t[0] : 0 [by b.b.en_buf_t.buf2._y:=1]
|
||
|
2299463 b.b.en_buf_f.buf2._y : 1 [by b.b._en:=0]
|
||
|
2299464 b.b._en_X_f[0] : 0 [by b.b.en_buf_f.buf2._y:=1]
|
||
|
[] Changing some input data
|
||
|
2299464 b.in.d[0] : 1
|
||
|
2299464 b.in.d[2] : 1
|
||
|
2299464 b.in.d[1] : 1
|
||
|
2300214 b.b._inB[1] : 0 [by b.in.d[1]:=1]
|
||
|
2302553 b.b._inB[0] : 0 [by b.in.d[0]:=1]
|
||
|
2348190 b.b._inB[2] : 0 [by b.in.d[2]:=1]
|
||
|
[] Removing req
|
||
|
[] Changing more data
|
||
|
2348190 b.in.r : 0
|
||
|
2354945 b.b.dly.and2[0]._y : 1 [by b.in.r:=0]
|
||
|
2354996 b.b.dly.dly[0].a : 0 [by b.b.dly.and2[0]._y:=1]
|
||
|
2355006 b.b.dly.dly[0]._y : 1 [by b.b.dly.dly[0].a:=0]
|
||
|
2355326 b.b.dly.dly[0].__y : 0 [by b.b.dly.dly[0]._y:=1]
|
||
|
2362908 b.b.dly.dly[0].___y : 1 [by b.b.dly.dly[0].__y:=0]
|
||
|
2362909 b.b.dly.dly[0].y : 0 [by b.b.dly.dly[0].___y:=1]
|
||
|
2362910 b.b.dly.mu2[0]._y : 1 [by b.b.dly.dly[0].y:=0]
|
||
|
2364640 b.b.dly._a[1] : 0 [by b.b.dly.mu2[0]._y:=1]
|
||
|
2366327 b.b.dly.and2[1]._y : 1 [by b.b.dly._a[1]:=0]
|
||
|
2366342 b.b.dly.dly[1].a : 0 [by b.b.dly.and2[1]._y:=1]
|
||
|
2390616 b.b.dly.dly[1]._y : 1 [by b.b.dly.dly[1].a:=0]
|
||
|
2391070 b.b.dly.dly[1].__y : 0 [by b.b.dly.dly[1]._y:=1]
|
||
|
2391386 b.b.dly.dly[1].___y : 1 [by b.b.dly.dly[1].__y:=0]
|
||
|
2391387 b.b.dly.dly[1].y : 0 [by b.b.dly.dly[1].___y:=1]
|
||
|
2391770 b.b.dly.dly[2]._y : 1 [by b.b.dly.dly[1].y:=0]
|
||
|
2399233 b.b.dly.dly[2].__y : 0 [by b.b.dly.dly[2]._y:=1]
|
||
|
2399253 b.b.dly.dly[2].___y : 1 [by b.b.dly.dly[2].__y:=0]
|
||
|
2400576 b.b.dly.dly[2].y : 0 [by b.b.dly.dly[2].___y:=1]
|
||
|
2400663 b.b.dly.mu2[1]._y : 1 [by b.b.dly.dly[2].y:=0]
|
||
|
2407385 b.b.dly._a[2] : 0 [by b.b.dly.mu2[1]._y:=1]
|
||
|
2407397 b.b.dly.and2[2]._y : 1 [by b.b.dly._a[2]:=0]
|
||
|
2407542 b.b.dly.dly[3].a : 0 [by b.b.dly.and2[2]._y:=1]
|
||
|
2408443 b.b.dly.dly[3]._y : 1 [by b.b.dly.dly[3].a:=0]
|
||
|
2409792 b.b.dly.dly[3].__y : 0 [by b.b.dly.dly[3]._y:=1]
|
||
|
2410011 b.b.dly.dly[3].___y : 1 [by b.b.dly.dly[3].__y:=0]
|
||
|
2418342 b.b.dly.dly[3].y : 0 [by b.b.dly.dly[3].___y:=1]
|
||
|
2449923 b.b.dly.dly[4]._y : 1 [by b.b.dly.dly[3].y:=0]
|
||
|
2449941 b.b.dly.dly[4].__y : 0 [by b.b.dly.dly[4]._y:=1]
|
||
|
2452135 b.b.dly.dly[4].___y : 1 [by b.b.dly.dly[4].__y:=0]
|
||
|
2490107 b.b.dly.dly[4].y : 0 [by b.b.dly.dly[4].___y:=1]
|
||
|
2490227 b.b.dly.dly[5]._y : 1 [by b.b.dly.dly[4].y:=0]
|
||
|
2496542 b.b.dly.dly[5].__y : 0 [by b.b.dly.dly[5]._y:=1]
|
||
|
2498606 b.b.dly.dly[5].___y : 1 [by b.b.dly.dly[5].__y:=0]
|
||
|
2499198 b.b.dly.dly[5].y : 0 [by b.b.dly.dly[5].___y:=1]
|
||
|
2499205 b.b.dly.dly[6]._y : 1 [by b.b.dly.dly[5].y:=0]
|
||
|
2499206 b.b.dly.dly[6].__y : 0 [by b.b.dly.dly[6]._y:=1]
|
||
|
2499330 b.b.dly.dly[6].___y : 1 [by b.b.dly.dly[6].__y:=0]
|
||
|
2505260 b.b.dly.dly[6].y : 0 [by b.b.dly.dly[6].___y:=1]
|
||
|
2506312 b.b.dly.mu2[2]._y : 1 [by b.b.dly.dly[6].y:=0]
|
||
|
2506672 b.b.dly._a[3] : 0 [by b.b.dly.mu2[2]._y:=1]
|
||
|
2516866 b.b.dly.and2[3]._y : 1 [by b.b.dly._a[3]:=0]
|
||
|
2517963 b.b.dly.dly[7].a : 0 [by b.b.dly.and2[3]._y:=1]
|
||
|
2537855 b.b.dly.dly[7]._y : 1 [by b.b.dly.dly[7].a:=0]
|
||
|
2537859 b.b.dly.dly[7].__y : 0 [by b.b.dly.dly[7]._y:=1]
|
||
|
2549523 b.b.dly.dly[7].___y : 1 [by b.b.dly.dly[7].__y:=0]
|
||
|
2587442 b.b.dly.dly[7].y : 0 [by b.b.dly.dly[7].___y:=1]
|
||
|
2605103 b.b.dly.dly[8]._y : 1 [by b.b.dly.dly[7].y:=0]
|
||
|
2608484 b.b.dly.dly[8].__y : 0 [by b.b.dly.dly[8]._y:=1]
|
||
|
2608740 b.b.dly.dly[8].___y : 1 [by b.b.dly.dly[8].__y:=0]
|
||
|
2623670 b.b.dly.dly[8].y : 0 [by b.b.dly.dly[8].___y:=1]
|
||
|
2623707 b.b.dly.dly[9]._y : 1 [by b.b.dly.dly[8].y:=0]
|
||
|
2623719 b.b.dly.dly[9].__y : 0 [by b.b.dly.dly[9]._y:=1]
|
||
|
2623728 b.b.dly.dly[9].___y : 1 [by b.b.dly.dly[9].__y:=0]
|
||
|
2624155 b.b.dly.dly[9].y : 0 [by b.b.dly.dly[9].___y:=1]
|
||
|
2624397 b.b.dly.dly[10]._y : 1 [by b.b.dly.dly[9].y:=0]
|
||
|
2625232 b.b.dly.dly[10].__y : 0 [by b.b.dly.dly[10]._y:=1]
|
||
|
2671968 b.b.dly.dly[10].___y : 1 [by b.b.dly.dly[10].__y:=0]
|
||
|
2673528 b.b.dly.dly[10].y : 0 [by b.b.dly.dly[10].___y:=1]
|
||
|
2710621 b.b.dly.dly[11]._y : 1 [by b.b.dly.dly[10].y:=0]
|
||
|
2710881 b.b.dly.dly[11].__y : 0 [by b.b.dly.dly[11]._y:=1]
|
||
|
2719869 b.b.dly.dly[11].___y : 1 [by b.b.dly.dly[11].__y:=0]
|
||
|
2719870 b.b.dly.dly[11].y : 0 [by b.b.dly.dly[11].___y:=1]
|
||
|
2755920 b.b.dly.dly[12]._y : 1 [by b.b.dly.dly[11].y:=0]
|
||
|
2756304 b.b.dly.dly[12].__y : 0 [by b.b.dly.dly[12]._y:=1]
|
||
|
2756323 b.b.dly.dly[12].___y : 1 [by b.b.dly.dly[12].__y:=0]
|
||
|
2756332 b.b.dly.dly[12].y : 0 [by b.b.dly.dly[12].___y:=1]
|
||
|
2778286 b.b.dly.dly[13]._y : 1 [by b.b.dly.dly[12].y:=0]
|
||
|
2778474 b.b.dly.dly[13].__y : 0 [by b.b.dly.dly[13]._y:=1]
|
||
|
2824250 b.b.dly.dly[13].___y : 1 [by b.b.dly.dly[13].__y:=0]
|
||
|
2827850 b.b.dly.dly[13].y : 0 [by b.b.dly.dly[13].___y:=1]
|
||
|
2827998 b.b.dly.dly[14]._y : 1 [by b.b.dly.dly[13].y:=0]
|
||
|
2846875 b.b.dly.dly[14].__y : 0 [by b.b.dly.dly[14]._y:=1]
|
||
|
2846890 b.b.dly.dly[14].___y : 1 [by b.b.dly.dly[14].__y:=0]
|
||
|
2857499 b.b.dly.mu2[3].b : 0 [by b.b.dly.dly[14].___y:=1]
|
||
|
2858386 b.b.dly.mu2[3]._y : 1 [by b.b.dly.mu2[3].b:=0]
|
||
|
2866368 b.b._req : 0 [by b.b.dly.mu2[3]._y:=1]
|
||
|
2866369 b.b.req_buf._y : 1 [by b.b._req:=0]
|
||
|
2873095 b.b._reqX : 0 [by b.b.req_buf._y:=1]
|
||
|
2873460 b.b.req_bufarray.buf2._y : 1 [by b.b._reqX:=0]
|
||
|
2882418 b.b._reqXX[0] : 0 [by b.b.req_bufarray.buf2._y:=1]
|
||
|
[] Receiving ack out
|
||
|
2882418 b.out.a : 1
|
||
|
2883802 b.b._out_a_B : 0 [by b.out.a:=1]
|
||
|
2883823 b.b.out_a_B_buf_t.buf2._y : 1 [by b.b._out_a_B:=0]
|
||
|
2883826 b.b._out_a_BX_f[0] : 0 [by b.b.out_a_B_buf_t.buf2._y:=1]
|
||
|
2883828 b.b.f_buf_func[3]._y : 1 [by b.b._out_a_BX_f[0]:=0]
|
||
|
2883829 b.b.f_buf_func[4]._y : 1 [by b.b._out_a_BX_f[0]:=0]
|
||
|
2883829 b.b.f_buf_func[3].y : 0 [by b.b.f_buf_func[3]._y:=1]
|
||
|
2883843 b.b.out_a_B_buf_f.buf2._y : 1 [by b.b._out_a_B:=0]
|
||
|
2884408 b.b.f_buf_func[2]._y : 1 [by b.b._out_a_BX_f[0]:=0]
|
||
|
2885268 b.b.f_buf_func[2].y : 0 [by b.b.f_buf_func[2]._y:=1]
|
||
|
2885703 b.b.f_buf_func[0]._y : 1 [by b.b._out_a_BX_f[0]:=0]
|
||
|
2885704 b.b.f_buf_func[0].y : 0 [by b.b.f_buf_func[0]._y:=1]
|
||
|
2887281 b.b.f_buf_func[4].y : 0 [by b.b.f_buf_func[4]._y:=1]
|
||
|
2890976 b.b._out_a_BX_t[0] : 0 [by b.b.out_a_B_buf_f.buf2._y:=1]
|
||
|
2893335 b.b.f_buf_func[1]._y : 1 [by b.b._out_a_BX_f[0]:=0]
|
||
|
2893410 b.b.f_buf_func[1].y : 0 [by b.b.f_buf_func[1]._y:=1]
|
||
|
2893410 b.out.v : 0
|
||
|
2921361 b.b.inack_ctl._y : 1 [by b.out.v:=0]
|
||
|
2921435 b.in.a : 0 [by b.b.inack_ctl._y:=1]
|
||
|
2923705 b.b._en : 1 [by b.in.a:=0]
|
||
|
2923803 b.b.en_buf_f.buf2._y : 0 [by b.b._en:=1]
|
||
|
2929476 b.b.en_buf_t.buf2._y : 0 [by b.b._en:=1]
|
||
|
2933329 b.b._en_X_t[0] : 1 [by b.b.en_buf_t.buf2._y:=0]
|
||
|
2955531 b.b._en_X_f[0] : 1 [by b.b.en_buf_f.buf2._y:=0]
|
||
|
[] Set ack out 0
|
||
|
2955531 b.out.a : 0
|
||
|
2961672 b.b._out_a_B : 1 [by b.out.a:=0]
|
||
|
2961676 b.b.out_a_B_buf_f.buf2._y : 0 [by b.b._out_a_B:=1]
|
||
|
2961681 b.b._out_a_BX_t[0] : 1 [by b.b.out_a_B_buf_f.buf2._y:=0]
|
||
|
2964032 b.b.out_a_B_buf_t.buf2._y : 0 [by b.b._out_a_B:=1]
|
||
|
2964323 b.b._out_a_BX_f[0] : 1 [by b.b.out_a_B_buf_t.buf2._y:=0]
|