2022-04-04 17:35:34 +02:00
|
|
|
e.in.d.d[2].t e.in.d.d[1].f e.in.d.d[0].f e.in.d.d[2].f e.decoder.addr_buf._in_v e.in.d.d[1].t e.decoder.addr_buf.vc.ct.in[0] e.decoder.addr_buf.vc.ct.in[1] e.in.d.d[0].t e.decoder.addr_buf.vc.ct.C3Els[0]._y e.decoder.addr_buf.vc.OR2_tf[0]._y e.in.v e.decoder.addr_buf.in_v_buf._y e.decoder.addr_buf.vc.ct.in[2] e.decoder.addr_buf.vc.OR2_tf[2]._y e.decoder.addr_buf.vc.OR2_tf[1]._y
|
|
|
|
162088 e.in.d.d[0].f : 0
|
|
|
|
162088 e.in.d.d[2].t : 0
|
|
|
|
162088 e.in.d.d[2].f : 0
|
|
|
|
162088 e.in.d.d[1].t : 0
|
|
|
|
162088 e.in.d.d[1].f : 0
|
|
|
|
162088 e.in.d.d[0].t : 0
|
|
|
|
162104 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1 [by e.in.d.d[1].f:=0]
|
|
|
|
162632 e.decoder.addr_buf.vc.ct.in[1] : 0 [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
|
|
|
|
164729 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1 [by e.in.d.d[2].f:=0]
|
|
|
|
166650 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1 [by e.in.d.d[0].t:=0]
|
|
|
|
167164 e.decoder.addr_buf.vc.ct.in[2] : 0 [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
|
|
|
|
193530 e.decoder.addr_buf.vc.ct.in[0] : 0 [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
|
|
|
|
217455 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1 [by e.decoder.addr_buf.vc.ct.in[0]:=0]
|
|
|
|
230496 e.decoder.addr_buf._in_v : 0 [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
|
|
|
|
230498 e.decoder.addr_buf.in_v_buf._y : 1 [by e.decoder.addr_buf._in_v:=0]
|
|
|
|
291456 e.in.v : 0 [by e.decoder.addr_buf.in_v_buf._y:=1]
|
2022-03-31 11:23:51 +02:00
|
|
|
[] Set reset 0
|
|
|
|
|
2022-04-04 17:35:34 +02:00
|
|
|
291456 Reset : 0
|
|
|
|
291459 e._reset_B : 1 [by Reset:=0]
|
|
|
|
291488 e.decoder.addr_buf.reset_buf._y : 0 [by e._reset_B:=1]
|
|
|
|
291805 e.decoder.addr_buf._reset_BX : 1 [by e.decoder.addr_buf.reset_buf._y:=0]
|
|
|
|
293406 e.decoder.addr_buf.reset_bufarray.buf1._y : 0 [by e.decoder.addr_buf._reset_BX:=1]
|
|
|
|
293559 e.decoder.addr_buf._reset_BXX[0] : 1 [by e.decoder.addr_buf.reset_bufarray.buf1._y:=0]
|
2022-03-31 11:23:51 +02:00
|
|
|
[] Sending in a 7 packet
|
2022-04-04 17:35:34 +02:00
|
|
|
293559 e.in.d.d[0].t : 1
|
|
|
|
293559 e.in.d.d[2].t : 1
|
|
|
|
293559 e.in.d.d[1].t : 1
|
|
|
|
293560 e.decoder.addr_buf.t_buf_func[2]._y : 0 [by e.in.d.d[2].t:=1]
|
|
|
|
293561 e.decoder.d_dr_y.in_tX[1].in : 1 [by e.decoder.addr_buf.t_buf_func[2]._y:=0]
|
|
|
|
293581 e.decoder.addr_buf.t_buf_func[1]._y : 0 [by e.in.d.d[1].t:=1]
|
|
|
|
293603 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0 [by e.in.d.d[0].t:=1]
|
|
|
|
293740 e.decoder.d_dr_y.in_tX[0].in : 1 [by e.decoder.addr_buf.t_buf_func[1]._y:=0]
|
|
|
|
293776 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0 [by e.in.d.d[1].t:=1]
|
|
|
|
293921 e.decoder.addr_buf.vc.ct.in[1] : 1 [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
|
|
|
|
295027 e.decoder.d_dr_y.in_tX[0].buf1._y : 0 [by e.decoder.d_dr_y.in_tX[0].in:=1]
|
|
|
|
295142 e.decoder.d_dr_y.in_tX[1].buf1._y : 0 [by e.decoder.d_dr_y.in_tX[1].in:=1]
|
|
|
|
295972 e.decoder.vtree_y.OR2_tf[0]._y : 0 [by e.decoder.d_dr_y.in_tX[0].in:=1]
|
|
|
|
295973 e.decoder.vtree_y.ct.in[0] : 1 [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
|
|
|
|
296320 e.decoder.addr_buf.t_buf_func[0]._y : 0 [by e.in.d.d[0].t:=1]
|
|
|
|
297859 e.decoder.d_dr_y.atree[1].in[0] : 1 [by e.decoder.d_dr_y.in_tX[0].buf1._y:=0]
|
|
|
|
301496 e.decoder.d_dr_y.atree[2].in[1] : 1 [by e.decoder.d_dr_y.in_tX[1].buf1._y:=0]
|
|
|
|
301658 e.decoder.d_dr_y.atree[3].and2s[0]._y : 0 [by e.decoder.d_dr_y.atree[2].in[1]:=1]
|
|
|
|
302906 e.decoder.vtree_y.OR2_tf[1]._y : 0 [by e.decoder.d_dr_y.in_tX[1].in:=1]
|
|
|
|
302920 e.decoder.vtree_y.ct.in[1] : 1 [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
|
|
|
|
302927 e.decoder.vtree_y.ct.C2Els[0]._y : 0 [by e.decoder.vtree_y.ct.in[1]:=1]
|
|
|
|
303087 e.decoder.vtree_y.out : 1 [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
|
|
|
|
307242 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0 [by e.in.d.d[2].t:=1]
|
|
|
|
309027 e.decoder.d_dr_y.out[3] : 1 [by e.decoder.d_dr_y.atree[3].and2s[0]._y:=0]
|
|
|
|
309028 e.decoder._and_grid.ybuf[3].buf1._y : 0 [by e.decoder.d_dr_y.out[3]:=1]
|
|
|
|
309029 e.decoder._and_grid.ands[6].b : 1 [by e.decoder._and_grid.ybuf[3].buf1._y:=0]
|
|
|
|
313279 e.decoder.addr_buf.vc.ct.in[0] : 1 [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
|
|
|
|
328799 e.decoder.addr_buf.vc.ct.in[2] : 1 [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
|
|
|
|
328800 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0 [by e.decoder.addr_buf.vc.ct.in[2]:=1]
|
|
|
|
331043 e.decoder.addr_buf._in_v : 1 [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
|
|
|
|
331230 e.decoder.addr_buf.in_v_buf._y : 0 [by e.decoder.addr_buf._in_v:=1]
|
|
|
|
331231 e.in.v : 1 [by e.decoder.addr_buf.in_v_buf._y:=0]
|
|
|
|
335604 e.decoder.d_dr_x.in_tX[0].in : 1 [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
|
|
|
|
339786 e.decoder.d_dr_x.in_tX[0].buf1._y : 0 [by e.decoder.d_dr_x.in_tX[0].in:=1]
|
|
|
|
339787 e.decoder.d_dr_x.atree[1].in[0] : 1 [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
|
|
|
|
340640 e.decoder.d_dr_x.atree[1].b._y : 0 [by e.decoder.d_dr_x.atree[1].in[0]:=1]
|
|
|
|
340645 e.decoder.d_dr_x.out[1] : 1 [by e.decoder.d_dr_x.atree[1].b._y:=0]
|
|
|
|
340646 e.decoder.d_dr_xX[1].buf2._y : 0 [by e.decoder.d_dr_x.out[1]:=1]
|
|
|
|
340663 e.decoder.pu_ANDs[1].a : 1 [by e.decoder.d_dr_xX[1].buf2._y:=0]
|
|
|
|
341536 e.decoder._and_grid.xbuf[1].buf1._y : 0 [by e.decoder.d_dr_x.out[1]:=1]
|
|
|
|
343236 e.decoder.pu_ANDs[1]._y : 0 [by e.decoder.pu_ANDs[1].a:=1]
|
|
|
|
343239 e.decoder.pu[1].a : 1 [by e.decoder.pu_ANDs[1]._y:=0]
|
|
|
|
349897 e.decoder._and_grid.ands[1].a : 1 [by e.decoder._and_grid.xbuf[1].buf1._y:=0]
|
|
|
|
350838 e.decoder._and_grid.ands[7]._y : 0 [by e.decoder._and_grid.ands[1].a:=1]
|
|
|
|
370386 e.decoder.vtree_x.OR2_tf[0]._y : 0 [by e.decoder.d_dr_x.in_tX[0].in:=1]
|
|
|
|
370387 e.decoder.vtree_x.ct.in[0] : 1 [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
|
|
|
|
370429 e.decoder.vtree_x.ct.b._y : 0 [by e.decoder.vtree_x.ct.in[0]:=1]
|
|
|
|
373246 e.decoder.vtree_x.out : 1 [by e.decoder.vtree_x.ct.b._y:=0]
|
|
|
|
386979 e.decoder.valid_Cel._y : 0 [by e.decoder.vtree_x.out:=1]
|
|
|
|
387074 e.decoder.valid_Cel.y : 1 [by e.decoder.valid_Cel._y:=0]
|
|
|
|
387409 e.decoder.addr_buf.inack_ctl._y : 0 [by e.decoder.valid_Cel.y:=1]
|
|
|
|
387417 e.in.a : 1 [by e.decoder.addr_buf.inack_ctl._y:=0]
|
|
|
|
387451 e.decoder.addr_buf._en : 0 [by e.in.a:=1]
|
|
|
|
388369 e.decoder.addr_buf.en_buf_t.buf1._y : 1 [by e.decoder.addr_buf._en:=0]
|
|
|
|
388373 e.decoder.addr_buf._en_X_t[0] : 0 [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
|
|
|
|
401338 e.decoder.addr_buf.en_buf_f.buf1._y : 1 [by e.decoder.addr_buf._en:=0]
|
|
|
|
409800 e.out[7].r : 1 [by e.decoder._and_grid.ands[7]._y:=0]
|
|
|
|
412198 e.synapses[7].y : 0 [by e.out[7].r:=1]
|
|
|
|
447716 e.decoder.addr_buf._en_X_f[0] : 0 [by e.decoder.addr_buf.en_buf_f.buf1._y:=1]
|
2022-03-31 11:23:51 +02:00
|
|
|
[] Removing input
|
|
|
|
[] Synapse [7] gives ack
|
2022-04-04 17:35:34 +02:00
|
|
|
447716 e.in.d.d[0].t : 0
|
|
|
|
447716 e.out[7].a : 1
|
|
|
|
447716 e.in.d.d[2].t : 0
|
|
|
|
447716 e.in.d.d[1].t : 0
|
|
|
|
447719 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1 [by e.in.d.d[1].t:=0]
|
|
|
|
447764 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1 [by e.in.d.d[2].t:=0]
|
|
|
|
447897 e.decoder.addr_buf.vc.ct.in[1] : 0 [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
|
|
|
|
450931 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1 [by e.in.d.d[0].t:=0]
|
|
|
|
462830 e.decoder.addr_buf.vc.ct.in[0] : 0 [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
|
|
|
|
468741 e.decoder.addr_buf.vc.ct.in[2] : 0 [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
|
|
|
|
474692 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1 [by e.decoder.addr_buf.vc.ct.in[2]:=0]
|
|
|
|
494835 e.decoder._out_acksB[1] : 0 [by e.out[7].a:=1]
|
|
|
|
495662 e.decoder._ortree.in[1] : 1 [by e.decoder._out_acksB[1]:=0]
|
|
|
|
495835 e.decoder._ortree.or2s[0]._y : 0 [by e.decoder._ortree.in[1]:=1]
|
|
|
|
496019 e.decoder._ortree.out : 1 [by e.decoder._ortree.or2s[0]._y:=0]
|
|
|
|
496020 e.decoder.buf_ack_Cel._y : 0 [by e.decoder._ortree.out:=1]
|
|
|
|
496093 e.decoder.buf_ack_Cel.y : 1 [by e.decoder.buf_ack_Cel._y:=0]
|
|
|
|
496097 e.decoder.addr_buf._out_a_B : 0 [by e.decoder.buf_ack_Cel.y:=1]
|
|
|
|
496193 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1 [by e.decoder.addr_buf._out_a_B:=0]
|
|
|
|
496329 e.decoder.addr_buf._out_a_BX_t[0] : 0 [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
|
|
|
|
496330 e.decoder.addr_buf.t_buf_func[0]._y : 1 [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
|
|
|
|
496570 e.decoder.addr_buf.t_buf_func[2]._y : 1 [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
|
|
|
|
496582 e.decoder.d_dr_y.in_tX[1].in : 0 [by e.decoder.addr_buf.t_buf_func[2]._y:=1]
|
|
|
|
497611 e.decoder.vtree_y.OR2_tf[1]._y : 1 [by e.decoder.d_dr_y.in_tX[1].in:=0]
|
|
|
|
497612 e.decoder.vtree_y.ct.in[1] : 0 [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
|
|
|
|
500289 e.decoder.d_dr_x.in_tX[0].in : 0 [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
|
|
|
|
500345 e.decoder.d_dr_x.in_tX[0].buf1._y : 1 [by e.decoder.d_dr_x.in_tX[0].in:=0]
|
|
|
|
500346 e.decoder.d_dr_x.atree[1].in[0] : 0 [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
|
|
|
|
500383 e.decoder.d_dr_x.atree[1].b._y : 1 [by e.decoder.d_dr_x.atree[1].in[0]:=0]
|
|
|
|
500482 e.decoder.d_dr_y.in_tX[1].buf1._y : 1 [by e.decoder.d_dr_y.in_tX[1].in:=0]
|
|
|
|
500483 e.decoder.d_dr_y.atree[2].in[1] : 0 [by e.decoder.d_dr_y.in_tX[1].buf1._y:=1]
|
|
|
|
504047 e.decoder.d_dr_y.atree[3].and2s[0]._y : 1 [by e.decoder.d_dr_y.atree[2].in[1]:=0]
|
|
|
|
505739 e.decoder.d_dr_y.out[3] : 0 [by e.decoder.d_dr_y.atree[3].and2s[0]._y:=1]
|
|
|
|
505752 e.decoder._and_grid.ybuf[3].buf1._y : 1 [by e.decoder.d_dr_y.out[3]:=0]
|
|
|
|
514177 e.decoder.addr_buf._in_v : 0 [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
|
|
|
|
514534 e.decoder.addr_buf.in_v_buf._y : 1 [by e.decoder.addr_buf._in_v:=0]
|
|
|
|
514559 e.in.v : 0 [by e.decoder.addr_buf.in_v_buf._y:=1]
|
|
|
|
515375 e.decoder.addr_buf.t_buf_func[1]._y : 1 [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
|
|
|
|
515396 e.decoder.d_dr_y.in_tX[0].in : 0 [by e.decoder.addr_buf.t_buf_func[1]._y:=1]
|
|
|
|
515397 e.decoder.d_dr_y.in_tX[0].buf1._y : 1 [by e.decoder.d_dr_y.in_tX[0].in:=0]
|
|
|
|
515398 e.decoder.d_dr_y.atree[1].in[0] : 0 [by e.decoder.d_dr_y.in_tX[0].buf1._y:=1]
|
|
|
|
522736 e.decoder._and_grid.ands[6].b : 0 [by e.decoder._and_grid.ybuf[3].buf1._y:=1]
|
|
|
|
522737 e.decoder._and_grid.ands[7]._y : 1 [by e.decoder._and_grid.ands[6].b:=0]
|
|
|
|
522898 e.out[7].r : 0 [by e.decoder._and_grid.ands[7]._y:=1]
|
|
|
|
523758 e.decoder.d_dr_x.out[1] : 0 [by e.decoder.d_dr_x.atree[1].b._y:=1]
|
|
|
|
523763 e.decoder._and_grid.xbuf[1].buf1._y : 1 [by e.decoder.d_dr_x.out[1]:=0]
|
|
|
|
523935 e.synapses[7].y : 1 [by e.out[7].r:=0]
|
|
|
|
523946 e.out[7].a : 0 [by e.synapses[7].y:=1]
|
|
|
|
524171 e.decoder._and_grid.ands[1].a : 0 [by e.decoder._and_grid.xbuf[1].buf1._y:=1]
|
|
|
|
524339 e.decoder.d_dr_xX[1].buf2._y : 1 [by e.decoder.d_dr_x.out[1]:=0]
|
|
|
|
525044 e.decoder.vtree_y.OR2_tf[0]._y : 1 [by e.decoder.d_dr_y.in_tX[0].in:=0]
|
|
|
|
525058 e.decoder.vtree_y.ct.in[0] : 0 [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
|
|
|
|
525076 e.decoder.vtree_y.ct.C2Els[0]._y : 1 [by e.decoder.vtree_y.ct.in[0]:=0]
|
|
|
|
525080 e.decoder.vtree_y.out : 0 [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
|
|
|
|
525386 e.decoder.pu_ANDs[1].a : 0 [by e.decoder.d_dr_xX[1].buf2._y:=1]
|
|
|
|
525490 e.decoder.pu_ANDs[1]._y : 1 [by e.decoder.pu_ANDs[1].a:=0]
|
|
|
|
533385 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1 [by e.decoder.addr_buf._out_a_B:=0]
|
|
|
|
534589 e.decoder.addr_buf._out_a_BX_f[0] : 0 [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
|
|
|
|
545295 e.decoder.vtree_x.OR2_tf[0]._y : 1 [by e.decoder.d_dr_x.in_tX[0].in:=0]
|
|
|
|
553750 e.decoder.vtree_x.ct.in[0] : 0 [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
|
|
|
|
553978 e.decoder.vtree_x.ct.b._y : 1 [by e.decoder.vtree_x.ct.in[0]:=0]
|
|
|
|
554821 e.decoder.vtree_x.out : 0 [by e.decoder.vtree_x.ct.b._y:=1]
|
|
|
|
556280 e.decoder.valid_Cel._y : 1 [by e.decoder.vtree_x.out:=0]
|
|
|
|
556350 e.decoder.valid_Cel.y : 0 [by e.decoder.valid_Cel._y:=1]
|
|
|
|
556934 e.decoder.pu[1].a : 0 [by e.decoder.pu_ANDs[1]._y:=1]
|
|
|
|
556945 e.decoder._out_acksB[1] : 1 [by e.decoder.pu[1].a:=0]
|
|
|
|
556948 e.decoder._ortree.in[1] : 0 [by e.decoder._out_acksB[1]:=1]
|
|
|
|
557002 e.decoder._ortree.or2s[0]._y : 1 [by e.decoder._ortree.in[1]:=0]
|
|
|
|
558150 e.decoder._ortree.out : 0 [by e.decoder._ortree.or2s[0]._y:=1]
|
|
|
|
559311 e.decoder.buf_ack_Cel._y : 1 [by e.decoder._ortree.out:=0]
|
|
|
|
567963 e.decoder.buf_ack_Cel.y : 0 [by e.decoder.buf_ack_Cel._y:=1]
|
|
|
|
568044 e.decoder.addr_buf._out_a_B : 1 [by e.decoder.buf_ack_Cel.y:=0]
|
|
|
|
579121 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0 [by e.decoder.addr_buf._out_a_B:=1]
|
|
|
|
579213 e.decoder.addr_buf._out_a_BX_f[0] : 1 [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
|
|
|
|
586027 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0 [by e.decoder.addr_buf._out_a_B:=1]
|
|
|
|
594338 e.decoder.addr_buf._out_a_BX_t[0] : 1 [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
|
|
|
|
606772 e.decoder.addr_buf.inack_ctl._y : 1 [by e.decoder.valid_Cel.y:=0]
|
|
|
|
608516 e.in.a : 0 [by e.decoder.addr_buf.inack_ctl._y:=1]
|
|
|
|
609129 e.decoder.addr_buf._en : 1 [by e.in.a:=0]
|
|
|
|
609174 e.decoder.addr_buf.en_buf_t.buf1._y : 0 [by e.decoder.addr_buf._en:=1]
|
|
|
|
610171 e.decoder.addr_buf._en_X_t[0] : 1 [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
|
|
|
|
623151 e.decoder.addr_buf.en_buf_f.buf1._y : 0 [by e.decoder.addr_buf._en:=1]
|
|
|
|
624800 e.decoder.addr_buf._en_X_f[0] : 1 [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
|
2022-03-31 11:23:51 +02:00
|
|
|
[] Sending in a 5 packet
|
2022-04-04 17:35:34 +02:00
|
|
|
624800 e.in.d.d[0].t : 1
|
|
|
|
624800 e.in.d.d[2].t : 1
|
|
|
|
624800 e.in.d.d[1].f : 1
|
|
|
|
624807 e.decoder.addr_buf.t_buf_func[2]._y : 0 [by e.in.d.d[2].t:=1]
|
|
|
|
624809 e.decoder.d_dr_y.in_tX[1].in : 1 [by e.decoder.addr_buf.t_buf_func[2]._y:=0]
|
|
|
|
624852 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0 [by e.in.d.d[2].t:=1]
|
|
|
|
624853 e.decoder.addr_buf.vc.ct.in[2] : 1 [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
|
|
|
|
624942 e.decoder.vtree_y.OR2_tf[1]._y : 0 [by e.decoder.d_dr_y.in_tX[1].in:=1]
|
|
|
|
624946 e.decoder.vtree_y.ct.in[1] : 1 [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
|
|
|
|
625163 e.decoder.d_dr_y.in_tX[1].buf1._y : 0 [by e.decoder.d_dr_y.in_tX[1].in:=1]
|
|
|
|
625325 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0 [by e.in.d.d[0].t:=1]
|
|
|
|
625700 e.decoder.addr_buf.t_buf_func[0]._y : 0 [by e.in.d.d[0].t:=1]
|
|
|
|
625701 e.decoder.d_dr_x.in_tX[0].in : 1 [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
|
|
|
|
625709 e.decoder.d_dr_y.atree[2].in[1] : 1 [by e.decoder.d_dr_y.in_tX[1].buf1._y:=0]
|
|
|
|
625780 e.decoder.vtree_x.OR2_tf[0]._y : 0 [by e.decoder.d_dr_x.in_tX[0].in:=1]
|
|
|
|
628213 e.decoder.vtree_x.ct.in[0] : 1 [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
|
|
|
|
628301 e.decoder.vtree_x.ct.b._y : 0 [by e.decoder.vtree_x.ct.in[0]:=1]
|
|
|
|
631267 e.decoder.addr_buf.f_buf_func[1]._y : 0 [by e.in.d.d[1].f:=1]
|
|
|
|
636083 e.decoder.vtree_x.out : 1 [by e.decoder.vtree_x.ct.b._y:=0]
|
|
|
|
638079 e.decoder.d_dr_x.in_tX[0].buf1._y : 0 [by e.decoder.d_dr_x.in_tX[0].in:=1]
|
|
|
|
638138 e.decoder.d_dr_x.atree[1].in[0] : 1 [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
|
|
|
|
638168 e.decoder.d_dr_x.atree[1].b._y : 0 [by e.decoder.d_dr_x.atree[1].in[0]:=1]
|
|
|
|
639635 e.decoder.d_dr_x.out[1] : 1 [by e.decoder.d_dr_x.atree[1].b._y:=0]
|
|
|
|
640412 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0 [by e.in.d.d[1].f:=1]
|
|
|
|
641097 e.decoder.addr_buf.vc.ct.in[1] : 1 [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
|
|
|
|
659019 e.decoder.d_dr_xX[1].buf2._y : 0 [by e.decoder.d_dr_x.out[1]:=1]
|
|
|
|
659594 e.decoder.d_dr_y.in_fX[0].in : 1 [by e.decoder.addr_buf.f_buf_func[1]._y:=0]
|
|
|
|
659721 e.decoder.d_dr_y.in_fX[0].buf1._y : 0 [by e.decoder.d_dr_y.in_fX[0].in:=1]
|
|
|
|
659763 e.decoder.vtree_y.OR2_tf[0]._y : 0 [by e.decoder.d_dr_y.in_fX[0].in:=1]
|
|
|
|
659764 e.decoder.d_dr_y.atree[0].in[0] : 1 [by e.decoder.d_dr_y.in_fX[0].buf1._y:=0]
|
|
|
|
659775 e.decoder.vtree_y.ct.in[0] : 1 [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
|
|
|
|
660008 e.decoder.vtree_y.ct.C2Els[0]._y : 0 [by e.decoder.vtree_y.ct.in[0]:=1]
|
|
|
|
660011 e.decoder.vtree_y.out : 1 [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
|
|
|
|
660049 e.decoder.valid_Cel._y : 0 [by e.decoder.vtree_y.out:=1]
|
|
|
|
660050 e.decoder.valid_Cel.y : 1 [by e.decoder.valid_Cel._y:=0]
|
|
|
|
661043 e.decoder.d_dr_y.atree[2].and2s[0]._y : 0 [by e.decoder.d_dr_y.atree[0].in[0]:=1]
|
|
|
|
670888 e.decoder.addr_buf.vc.ct.in[0] : 1 [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
|
|
|
|
670980 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0 [by e.decoder.addr_buf.vc.ct.in[0]:=1]
|
|
|
|
673707 e.decoder.addr_buf._in_v : 1 [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
|
|
|
|
673709 e.decoder.addr_buf.in_v_buf._y : 0 [by e.decoder.addr_buf._in_v:=1]
|
|
|
|
673710 e.in.v : 1 [by e.decoder.addr_buf.in_v_buf._y:=0]
|
|
|
|
673795 e.decoder.d_dr_y.out[2] : 1 [by e.decoder.d_dr_y.atree[2].and2s[0]._y:=0]
|
|
|
|
673797 e.decoder._and_grid.ybuf[2].buf1._y : 0 [by e.decoder.d_dr_y.out[2]:=1]
|
|
|
|
673815 e.decoder._and_grid.ands[4].b : 1 [by e.decoder._and_grid.ybuf[2].buf1._y:=0]
|
|
|
|
675211 e.decoder.addr_buf.inack_ctl._y : 0 [by e.in.v:=1]
|
|
|
|
675330 e.in.a : 1 [by e.decoder.addr_buf.inack_ctl._y:=0]
|
|
|
|
675734 e.decoder.pu_ANDs[1].a : 1 [by e.decoder.d_dr_xX[1].buf2._y:=0]
|
|
|
|
675742 e.decoder.pu_ANDs[1]._y : 0 [by e.decoder.pu_ANDs[1].a:=1]
|
|
|
|
675796 e.decoder.pu[1].a : 1 [by e.decoder.pu_ANDs[1]._y:=0]
|
|
|
|
681050 e.decoder.addr_buf._en : 0 [by e.in.a:=1]
|
|
|
|
681055 e.decoder.addr_buf.en_buf_t.buf1._y : 1 [by e.decoder.addr_buf._en:=0]
|
|
|
|
682122 e.decoder.addr_buf._en_X_t[0] : 0 [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
|
|
|
|
699139 e.decoder._and_grid.xbuf[1].buf1._y : 0 [by e.decoder.d_dr_x.out[1]:=1]
|
|
|
|
699140 e.decoder._and_grid.ands[1].a : 1 [by e.decoder._and_grid.xbuf[1].buf1._y:=0]
|
|
|
|
699278 e.decoder._and_grid.ands[5]._y : 0 [by e.decoder._and_grid.ands[1].a:=1]
|
|
|
|
699279 e.out[5].r : 1 [by e.decoder._and_grid.ands[5]._y:=0]
|
|
|
|
699343 e.synapses[5].y : 0 [by e.out[5].r:=1]
|
|
|
|
731588 e.decoder.addr_buf.en_buf_f.buf1._y : 1 [by e.decoder.addr_buf._en:=0]
|
|
|
|
731711 e.decoder.addr_buf._en_X_f[0] : 0 [by e.decoder.addr_buf.en_buf_f.buf1._y:=1]
|
2022-03-31 11:23:51 +02:00
|
|
|
[] Removing input
|
|
|
|
[] Synapse [5] gives ack
|
2022-04-04 17:35:34 +02:00
|
|
|
731711 e.in.d.d[0].t : 0
|
|
|
|
731711 e.out[5].a : 1
|
|
|
|
731711 e.in.d.d[2].t : 0
|
|
|
|
731711 e.in.d.d[1].f : 0
|
|
|
|
731713 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1 [by e.in.d.d[0].t:=0]
|
|
|
|
731748 e.decoder._out_acksB[1] : 0 [by e.out[5].a:=1]
|
|
|
|
731759 e.decoder._ortree.in[1] : 1 [by e.decoder._out_acksB[1]:=0]
|
|
|
|
731760 e.decoder._ortree.or2s[0]._y : 0 [by e.decoder._ortree.in[1]:=1]
|
|
|
|
731762 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1 [by e.in.d.d[1].f:=0]
|
|
|
|
731769 e.decoder._ortree.out : 1 [by e.decoder._ortree.or2s[0]._y:=0]
|
|
|
|
731787 e.decoder.addr_buf.vc.ct.in[1] : 0 [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
|
|
|
|
731854 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1 [by e.in.d.d[2].t:=0]
|
|
|
|
732155 e.decoder.addr_buf.vc.ct.in[0] : 0 [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
|
|
|
|
735375 e.decoder.addr_buf.vc.ct.in[2] : 0 [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
|
|
|
|
735520 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1 [by e.decoder.addr_buf.vc.ct.in[2]:=0]
|
|
|
|
742022 e.decoder.buf_ack_Cel._y : 0 [by e.decoder._ortree.out:=1]
|
|
|
|
742252 e.decoder.buf_ack_Cel.y : 1 [by e.decoder.buf_ack_Cel._y:=0]
|
|
|
|
742943 e.decoder.addr_buf._out_a_B : 0 [by e.decoder.buf_ack_Cel.y:=1]
|
|
|
|
742957 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1 [by e.decoder.addr_buf._out_a_B:=0]
|
|
|
|
744486 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1 [by e.decoder.addr_buf._out_a_B:=0]
|
|
|
|
744568 e.decoder.addr_buf._out_a_BX_f[0] : 0 [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
|
|
|
|
744579 e.decoder.addr_buf.f_buf_func[1]._y : 1 [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
|
|
|
|
744580 e.decoder.d_dr_y.in_fX[0].in : 0 [by e.decoder.addr_buf.f_buf_func[1]._y:=1]
|
|
|
|
744581 e.decoder.d_dr_y.in_fX[0].buf1._y : 1 [by e.decoder.d_dr_y.in_fX[0].in:=0]
|
|
|
|
745220 e.decoder.d_dr_y.atree[0].in[0] : 0 [by e.decoder.d_dr_y.in_fX[0].buf1._y:=1]
|
|
|
|
747013 e.decoder.d_dr_y.atree[2].and2s[0]._y : 1 [by e.decoder.d_dr_y.atree[0].in[0]:=0]
|
|
|
|
747145 e.decoder.d_dr_y.out[2] : 0 [by e.decoder.d_dr_y.atree[2].and2s[0]._y:=1]
|
|
|
|
747146 e.decoder._and_grid.ybuf[2].buf1._y : 1 [by e.decoder.d_dr_y.out[2]:=0]
|
|
|
|
747163 e.decoder._and_grid.ands[4].b : 0 [by e.decoder._and_grid.ybuf[2].buf1._y:=1]
|
|
|
|
747315 e.decoder._and_grid.ands[5]._y : 1 [by e.decoder._and_grid.ands[4].b:=0]
|
|
|
|
750298 e.out[5].r : 0 [by e.decoder._and_grid.ands[5]._y:=1]
|
|
|
|
750301 e.synapses[5].y : 1 [by e.out[5].r:=0]
|
|
|
|
750725 e.out[5].a : 0 [by e.synapses[5].y:=1]
|
|
|
|
751081 e.decoder.vtree_y.OR2_tf[0]._y : 1 [by e.decoder.d_dr_y.in_fX[0].in:=0]
|
|
|
|
751087 e.decoder.vtree_y.ct.in[0] : 0 [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
|
|
|
|
751688 e.decoder.addr_buf._in_v : 0 [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
|
|
|
|
754276 e.decoder.addr_buf.in_v_buf._y : 1 [by e.decoder.addr_buf._in_v:=0]
|
|
|
|
756737 e.in.v : 0 [by e.decoder.addr_buf.in_v_buf._y:=1]
|
|
|
|
761998 e.decoder.addr_buf._out_a_BX_t[0] : 0 [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
|
|
|
|
762828 e.decoder.addr_buf.t_buf_func[0]._y : 1 [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
|
|
|
|
762830 e.decoder.d_dr_x.in_tX[0].in : 0 [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
|
|
|
|
763024 e.decoder.d_dr_x.in_tX[0].buf1._y : 1 [by e.decoder.d_dr_x.in_tX[0].in:=0]
|
|
|
|
763162 e.decoder.d_dr_x.atree[1].in[0] : 0 [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
|
|
|
|
763179 e.decoder.d_dr_x.atree[1].b._y : 1 [by e.decoder.d_dr_x.atree[1].in[0]:=0]
|
|
|
|
763196 e.decoder.d_dr_x.out[1] : 0 [by e.decoder.d_dr_x.atree[1].b._y:=1]
|
|
|
|
763197 e.decoder.d_dr_xX[1].buf2._y : 1 [by e.decoder.d_dr_x.out[1]:=0]
|
|
|
|
763198 e.decoder.pu_ANDs[1].a : 0 [by e.decoder.d_dr_xX[1].buf2._y:=1]
|
|
|
|
763433 e.decoder.vtree_x.OR2_tf[0]._y : 1 [by e.decoder.d_dr_x.in_tX[0].in:=0]
|
|
|
|
763434 e.decoder.vtree_x.ct.in[0] : 0 [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
|
|
|
|
763453 e.decoder.vtree_x.ct.b._y : 1 [by e.decoder.vtree_x.ct.in[0]:=0]
|
|
|
|
763621 e.decoder.vtree_x.out : 0 [by e.decoder.vtree_x.ct.b._y:=1]
|
|
|
|
763622 e.decoder._and_grid.xbuf[1].buf1._y : 1 [by e.decoder.d_dr_x.out[1]:=0]
|
|
|
|
764161 e.decoder._and_grid.ands[1].a : 0 [by e.decoder._and_grid.xbuf[1].buf1._y:=1]
|
|
|
|
764224 e.decoder.pu_ANDs[1]._y : 1 [by e.decoder.pu_ANDs[1].a:=0]
|
|
|
|
764385 e.decoder.pu[1].a : 0 [by e.decoder.pu_ANDs[1]._y:=1]
|
|
|
|
764558 e.decoder._out_acksB[1] : 1 [by e.decoder.pu[1].a:=0]
|
|
|
|
767105 e.decoder._ortree.in[1] : 0 [by e.decoder._out_acksB[1]:=1]
|
|
|
|
782166 e.decoder._ortree.or2s[0]._y : 1 [by e.decoder._ortree.in[1]:=0]
|
|
|
|
782167 e.decoder._ortree.out : 0 [by e.decoder._ortree.or2s[0]._y:=1]
|
|
|
|
784930 e.decoder.addr_buf.t_buf_func[2]._y : 1 [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
|
|
|
|
784931 e.decoder.d_dr_y.in_tX[1].in : 0 [by e.decoder.addr_buf.t_buf_func[2]._y:=1]
|
|
|
|
785138 e.decoder.vtree_y.OR2_tf[1]._y : 1 [by e.decoder.d_dr_y.in_tX[1].in:=0]
|
|
|
|
785321 e.decoder.d_dr_y.in_tX[1].buf1._y : 1 [by e.decoder.d_dr_y.in_tX[1].in:=0]
|
|
|
|
785349 e.decoder.d_dr_y.atree[2].in[1] : 0 [by e.decoder.d_dr_y.in_tX[1].buf1._y:=1]
|
|
|
|
785971 e.decoder.vtree_y.ct.in[1] : 0 [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
|
|
|
|
785978 e.decoder.vtree_y.ct.C2Els[0]._y : 1 [by e.decoder.vtree_y.ct.in[1]:=0]
|
|
|
|
786392 e.decoder.vtree_y.out : 0 [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
|
|
|
|
786396 e.decoder.valid_Cel._y : 1 [by e.decoder.vtree_y.out:=0]
|
|
|
|
788175 e.decoder.valid_Cel.y : 0 [by e.decoder.valid_Cel._y:=1]
|
|
|
|
788341 e.decoder.addr_buf.inack_ctl._y : 1 [by e.decoder.valid_Cel.y:=0]
|
|
|
|
811049 e.decoder.buf_ack_Cel._y : 1 [by e.decoder.valid_Cel.y:=0]
|
|
|
|
819694 e.decoder.buf_ack_Cel.y : 0 [by e.decoder.buf_ack_Cel._y:=1]
|
|
|
|
820627 e.decoder.addr_buf._out_a_B : 1 [by e.decoder.buf_ack_Cel.y:=0]
|
|
|
|
820766 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0 [by e.decoder.addr_buf._out_a_B:=1]
|
|
|
|
821483 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0 [by e.decoder.addr_buf._out_a_B:=1]
|
|
|
|
821678 e.decoder.addr_buf._out_a_BX_f[0] : 1 [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
|
|
|
|
828211 e.in.a : 0 [by e.decoder.addr_buf.inack_ctl._y:=1]
|
|
|
|
828213 e.decoder.addr_buf._en : 1 [by e.in.a:=0]
|
|
|
|
828219 e.decoder.addr_buf.en_buf_t.buf1._y : 0 [by e.decoder.addr_buf._en:=1]
|
|
|
|
828473 e.decoder.addr_buf._en_X_t[0] : 1 [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
|
|
|
|
846975 e.decoder.addr_buf._out_a_BX_t[0] : 1 [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
|
|
|
|
881662 e.decoder.addr_buf.en_buf_f.buf1._y : 0 [by e.decoder.addr_buf._en:=1]
|
|
|
|
881670 e.decoder.addr_buf._en_X_f[0] : 1 [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
|
2022-03-31 11:23:51 +02:00
|
|
|
[] Sending in a 1 packet
|
2022-04-04 17:35:34 +02:00
|
|
|
881670 e.in.d.d[0].t : 1
|
|
|
|
881670 e.in.d.d[2].f : 1
|
|
|
|
881670 e.in.d.d[1].f : 1
|
|
|
|
881671 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0 [by e.in.d.d[0].t:=1]
|
|
|
|
881672 e.decoder.addr_buf.vc.ct.in[0] : 1 [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
|
|
|
|
881676 e.decoder.addr_buf.t_buf_func[0]._y : 0 [by e.in.d.d[0].t:=1]
|
|
|
|
881682 e.decoder.d_dr_x.in_tX[0].in : 1 [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
|
|
|
|
881684 e.decoder.d_dr_x.in_tX[0].buf1._y : 0 [by e.decoder.d_dr_x.in_tX[0].in:=1]
|
|
|
|
881699 e.decoder.d_dr_x.atree[1].in[0] : 1 [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
|
|
|
|
881896 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0 [by e.in.d.d[1].f:=1]
|
|
|
|
882003 e.decoder.addr_buf.vc.ct.in[1] : 1 [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
|
|
|
|
882489 e.decoder.addr_buf.f_buf_func[1]._y : 0 [by e.in.d.d[1].f:=1]
|
|
|
|
882582 e.decoder.d_dr_y.in_fX[0].in : 1 [by e.decoder.addr_buf.f_buf_func[1]._y:=0]
|
|
|
|
884234 e.decoder.d_dr_y.in_fX[0].buf1._y : 0 [by e.decoder.d_dr_y.in_fX[0].in:=1]
|
|
|
|
884760 e.decoder.addr_buf.f_buf_func[2]._y : 0 [by e.in.d.d[2].f:=1]
|
|
|
|
884992 e.decoder.d_dr_y.atree[0].in[0] : 1 [by e.decoder.d_dr_y.in_fX[0].buf1._y:=0]
|
|
|
|
885244 e.decoder.vtree_x.OR2_tf[0]._y : 0 [by e.decoder.d_dr_x.in_tX[0].in:=1]
|
|
|
|
885960 e.decoder.vtree_x.ct.in[0] : 1 [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
|
|
|
|
885961 e.decoder.vtree_x.ct.b._y : 0 [by e.decoder.vtree_x.ct.in[0]:=1]
|
|
|
|
886521 e.decoder.vtree_y.OR2_tf[0]._y : 0 [by e.decoder.d_dr_y.in_fX[0].in:=1]
|
|
|
|
886522 e.decoder.vtree_y.ct.in[0] : 1 [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
|
|
|
|
887383 e.decoder.d_dr_y.in_fX[1].in : 1 [by e.decoder.addr_buf.f_buf_func[2]._y:=0]
|
|
|
|
887701 e.decoder.vtree_x.out : 1 [by e.decoder.vtree_x.ct.b._y:=0]
|
|
|
|
899535 e.decoder.d_dr_y.in_fX[1].buf1._y : 0 [by e.decoder.d_dr_y.in_fX[1].in:=1]
|
|
|
|
899536 e.decoder.d_dr_y.atree[0].in[1] : 1 [by e.decoder.d_dr_y.in_fX[1].buf1._y:=0]
|
|
|
|
899542 e.decoder.d_dr_y.atree[0].and2s[0]._y : 0 [by e.decoder.d_dr_y.atree[0].in[1]:=1]
|
|
|
|
899543 e.decoder.d_dr_y.out[0] : 1 [by e.decoder.d_dr_y.atree[0].and2s[0]._y:=0]
|
|
|
|
902500 e.decoder.d_dr_x.atree[1].b._y : 0 [by e.decoder.d_dr_x.atree[1].in[0]:=1]
|
|
|
|
915582 e.decoder.vtree_y.OR2_tf[1]._y : 0 [by e.decoder.d_dr_y.in_fX[1].in:=1]
|
|
|
|
915604 e.decoder.vtree_y.ct.in[1] : 1 [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
|
|
|
|
924099 e.decoder.d_dr_x.out[1] : 1 [by e.decoder.d_dr_x.atree[1].b._y:=0]
|
|
|
|
924106 e.decoder._and_grid.xbuf[1].buf1._y : 0 [by e.decoder.d_dr_x.out[1]:=1]
|
|
|
|
924119 e.decoder._and_grid.ands[1].a : 1 [by e.decoder._and_grid.xbuf[1].buf1._y:=0]
|
|
|
|
924164 e.decoder.d_dr_xX[1].buf2._y : 0 [by e.decoder.d_dr_x.out[1]:=1]
|
|
|
|
925288 e.decoder.pu_ANDs[1].a : 1 [by e.decoder.d_dr_xX[1].buf2._y:=0]
|
|
|
|
925392 e.decoder.pu_ANDs[1]._y : 0 [by e.decoder.pu_ANDs[1].a:=1]
|
|
|
|
925433 e.decoder.pu[1].a : 1 [by e.decoder.pu_ANDs[1]._y:=0]
|
|
|
|
932706 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0 [by e.in.d.d[2].f:=1]
|
|
|
|
932707 e.decoder.addr_buf.vc.ct.in[2] : 1 [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
|
|
|
|
932708 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0 [by e.decoder.addr_buf.vc.ct.in[2]:=1]
|
|
|
|
938112 e.decoder.vtree_y.ct.C2Els[0]._y : 0 [by e.decoder.vtree_y.ct.in[1]:=1]
|
|
|
|
939032 e.decoder._and_grid.ybuf[0].buf1._y : 0 [by e.decoder.d_dr_y.out[0]:=1]
|
|
|
|
939033 e.decoder._and_grid.ands[0].b : 1 [by e.decoder._and_grid.ybuf[0].buf1._y:=0]
|
|
|
|
951284 e.decoder.vtree_y.out : 1 [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
|
|
|
|
954420 e.decoder.valid_Cel._y : 0 [by e.decoder.vtree_y.out:=1]
|
|
|
|
955246 e.decoder.valid_Cel.y : 1 [by e.decoder.valid_Cel._y:=0]
|
|
|
|
958858 e.decoder._and_grid.ands[1]._y : 0 [by e.decoder._and_grid.ands[0].b:=1]
|
|
|
|
960691 e.out[1].r : 1 [by e.decoder._and_grid.ands[1]._y:=0]
|
|
|
|
977239 e.synapses[1].y : 0 [by e.out[1].r:=1]
|
|
|
|
997086 e.decoder.addr_buf._in_v : 1 [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
|
|
|
|
997144 e.decoder.addr_buf.in_v_buf._y : 0 [by e.decoder.addr_buf._in_v:=1]
|
|
|
|
999587 e.in.v : 1 [by e.decoder.addr_buf.in_v_buf._y:=0]
|
|
|
|
1016360 e.decoder.addr_buf.inack_ctl._y : 0 [by e.in.v:=1]
|
|
|
|
1053559 e.in.a : 1 [by e.decoder.addr_buf.inack_ctl._y:=0]
|
|
|
|
1053573 e.decoder.addr_buf._en : 0 [by e.in.a:=1]
|
|
|
|
1053929 e.decoder.addr_buf.en_buf_f.buf1._y : 1 [by e.decoder.addr_buf._en:=0]
|
|
|
|
1054034 e.decoder.addr_buf._en_X_f[0] : 0 [by e.decoder.addr_buf.en_buf_f.buf1._y:=1]
|
|
|
|
1089411 e.decoder.addr_buf.en_buf_t.buf1._y : 1 [by e.decoder.addr_buf._en:=0]
|
|
|
|
1089520 e.decoder.addr_buf._en_X_t[0] : 0 [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
|
2022-03-31 11:23:51 +02:00
|
|
|
[] Synapse [5] gives ack
|
2022-04-04 17:35:34 +02:00
|
|
|
1089520 e.out[1].a : 1
|
|
|
|
1089521 e.decoder._out_acksB[1] : 0 [by e.out[1].a:=1]
|
|
|
|
1089530 e.decoder._ortree.in[1] : 1 [by e.decoder._out_acksB[1]:=0]
|
|
|
|
1127483 e.decoder._ortree.or2s[0]._y : 0 [by e.decoder._ortree.in[1]:=1]
|
|
|
|
1127484 e.decoder._ortree.out : 1 [by e.decoder._ortree.or2s[0]._y:=0]
|
|
|
|
1163878 e.decoder.buf_ack_Cel._y : 0 [by e.decoder._ortree.out:=1]
|
|
|
|
1163879 e.decoder.buf_ack_Cel.y : 1 [by e.decoder.buf_ack_Cel._y:=0]
|
|
|
|
1166968 e.decoder.addr_buf._out_a_B : 0 [by e.decoder.buf_ack_Cel.y:=1]
|
|
|
|
1167718 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1 [by e.decoder.addr_buf._out_a_B:=0]
|
|
|
|
1174473 e.decoder.addr_buf._out_a_BX_t[0] : 0 [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
|
|
|
|
1174524 e.decoder.addr_buf.t_buf_func[0]._y : 1 [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
|
|
|
|
1174534 e.decoder.d_dr_x.in_tX[0].in : 0 [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
|
|
|
|
1174854 e.decoder.d_dr_x.in_tX[0].buf1._y : 1 [by e.decoder.d_dr_x.in_tX[0].in:=0]
|
|
|
|
1174855 e.decoder.d_dr_x.atree[1].in[0] : 0 [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
|
|
|
|
1174856 e.decoder.d_dr_x.atree[1].b._y : 1 [by e.decoder.d_dr_x.atree[1].in[0]:=0]
|
|
|
|
1176586 e.decoder.d_dr_x.out[1] : 0 [by e.decoder.d_dr_x.atree[1].b._y:=1]
|
|
|
|
1176601 e.decoder.d_dr_xX[1].buf2._y : 1 [by e.decoder.d_dr_x.out[1]:=0]
|
|
|
|
1178273 e.decoder._and_grid.xbuf[1].buf1._y : 1 [by e.decoder.d_dr_x.out[1]:=0]
|
|
|
|
1178727 e.decoder._and_grid.ands[1].a : 0 [by e.decoder._and_grid.xbuf[1].buf1._y:=1]
|
|
|
|
1179043 e.decoder._and_grid.ands[1]._y : 1 [by e.decoder._and_grid.ands[1].a:=0]
|
|
|
|
1179044 e.out[1].r : 0 [by e.decoder._and_grid.ands[1]._y:=1]
|
|
|
|
1179427 e.synapses[1].y : 1 [by e.out[1].r:=0]
|
|
|
|
1182116 e.decoder.vtree_x.OR2_tf[0]._y : 1 [by e.decoder.d_dr_x.in_tX[0].in:=0]
|
|
|
|
1182136 e.decoder.vtree_x.ct.in[0] : 0 [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
|
|
|
|
1183459 e.decoder.vtree_x.ct.b._y : 1 [by e.decoder.vtree_x.ct.in[0]:=0]
|
|
|
|
1183546 e.decoder.vtree_x.out : 0 [by e.decoder.vtree_x.ct.b._y:=1]
|
|
|
|
1186890 e.out[1].a : 0 [by e.synapses[1].y:=1]
|
|
|
|
1200875 e.decoder.pu_ANDs[1].a : 0 [by e.decoder.d_dr_xX[1].buf2._y:=1]
|
|
|
|
1207597 e.decoder.pu_ANDs[1]._y : 1 [by e.decoder.pu_ANDs[1].a:=0]
|
|
|
|
1207609 e.decoder.pu[1].a : 0 [by e.decoder.pu_ANDs[1]._y:=1]
|
|
|
|
1207754 e.decoder._out_acksB[1] : 1 [by e.decoder.pu[1].a:=0]
|
|
|
|
1208655 e.decoder._ortree.in[1] : 0 [by e.decoder._out_acksB[1]:=1]
|
|
|
|
1210004 e.decoder._ortree.or2s[0]._y : 1 [by e.decoder._ortree.in[1]:=0]
|
|
|
|
1210223 e.decoder._ortree.out : 0 [by e.decoder._ortree.or2s[0]._y:=1]
|
|
|
|
1215694 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1 [by e.decoder.addr_buf._out_a_B:=0]
|
|
|
|
1224025 e.decoder.addr_buf._out_a_BX_f[0] : 0 [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
|
|
|
|
1224043 e.decoder.addr_buf.f_buf_func[2]._y : 1 [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
|
|
|
|
1226237 e.decoder.d_dr_y.in_fX[1].in : 0 [by e.decoder.addr_buf.f_buf_func[2]._y:=1]
|
|
|
|
1226357 e.decoder.vtree_y.OR2_tf[1]._y : 1 [by e.decoder.d_dr_y.in_fX[1].in:=0]
|
|
|
|
1232672 e.decoder.vtree_y.ct.in[1] : 0 [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
|
|
|
|
1255606 e.decoder.addr_buf.f_buf_func[1]._y : 1 [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
|
|
|
|
1257670 e.decoder.d_dr_y.in_fX[0].in : 0 [by e.decoder.addr_buf.f_buf_func[1]._y:=1]
|
|
|
|
1257677 e.decoder.vtree_y.OR2_tf[0]._y : 1 [by e.decoder.d_dr_y.in_fX[0].in:=0]
|
|
|
|
1257678 e.decoder.vtree_y.ct.in[0] : 0 [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
|
|
|
|
1257802 e.decoder.vtree_y.ct.C2Els[0]._y : 1 [by e.decoder.vtree_y.ct.in[0]:=0]
|
|
|
|
1258262 e.decoder.d_dr_y.in_fX[0].buf1._y : 1 [by e.decoder.d_dr_y.in_fX[0].in:=0]
|
|
|
|
1259314 e.decoder.d_dr_y.atree[0].in[0] : 0 [by e.decoder.d_dr_y.in_fX[0].buf1._y:=1]
|
|
|
|
1259674 e.decoder.d_dr_y.atree[0].and2s[0]._y : 1 [by e.decoder.d_dr_y.atree[0].in[0]:=0]
|
|
|
|
1263732 e.decoder.vtree_y.out : 0 [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
|
|
|
|
1264209 e.decoder.d_dr_y.in_fX[1].buf1._y : 1 [by e.decoder.d_dr_y.in_fX[1].in:=0]
|
|
|
|
1264829 e.decoder.valid_Cel._y : 1 [by e.decoder.vtree_y.out:=0]
|
|
|
|
1264833 e.decoder.valid_Cel.y : 0 [by e.decoder.valid_Cel._y:=1]
|
|
|
|
1269868 e.decoder.d_dr_y.out[0] : 0 [by e.decoder.d_dr_y.atree[0].and2s[0]._y:=1]
|
|
|
|
1276497 e.decoder.buf_ack_Cel._y : 1 [by e.decoder.valid_Cel.y:=0]
|
|
|
|
1284101 e.decoder.d_dr_y.atree[0].in[1] : 0 [by e.decoder.d_dr_y.in_fX[1].buf1._y:=1]
|
|
|
|
1294158 e.decoder.buf_ack_Cel.y : 0 [by e.decoder.buf_ack_Cel._y:=1]
|
|
|
|
1297539 e.decoder.addr_buf._out_a_B : 1 [by e.decoder.buf_ack_Cel.y:=0]
|
|
|
|
1297795 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0 [by e.decoder.addr_buf._out_a_B:=1]
|
|
|
|
1297832 e.decoder.addr_buf._out_a_BX_f[0] : 1 [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
|
|
|
|
1307787 e.decoder._and_grid.ybuf[0].buf1._y : 1 [by e.decoder.d_dr_y.out[0]:=0]
|
|
|
|
1307799 e.decoder._and_grid.ands[0].b : 0 [by e.decoder._and_grid.ybuf[0].buf1._y:=1]
|
|
|
|
1312469 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0 [by e.decoder.addr_buf._out_a_B:=1]
|
|
|
|
1312478 e.decoder.addr_buf._out_a_BX_t[0] : 1 [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
|
2022-03-31 11:23:51 +02:00
|
|
|
[] Removing input
|
2022-04-04 17:35:34 +02:00
|
|
|
1312478 e.in.d.d[0].t : 0
|
|
|
|
1312478 e.in.d.d[2].f : 0
|
|
|
|
1312478 e.in.d.d[1].f : 0
|
|
|
|
1312720 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1 [by e.in.d.d[2].f:=0]
|
|
|
|
1312905 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1 [by e.in.d.d[0].t:=0]
|
|
|
|
1313313 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1 [by e.in.d.d[1].f:=0]
|
|
|
|
1314465 e.decoder.addr_buf.vc.ct.in[0] : 0 [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
|
|
|
|
1350406 e.decoder.addr_buf.vc.ct.in[1] : 0 [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
|
|
|
|
1359456 e.decoder.addr_buf.vc.ct.in[2] : 0 [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
|
|
|
|
1359716 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1 [by e.decoder.addr_buf.vc.ct.in[2]:=0]
|
|
|
|
1368704 e.decoder.addr_buf._in_v : 0 [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
|
|
|
|
1368705 e.decoder.addr_buf.in_v_buf._y : 1 [by e.decoder.addr_buf._in_v:=0]
|
|
|
|
1404755 e.in.v : 0 [by e.decoder.addr_buf.in_v_buf._y:=1]
|
|
|
|
1405139 e.decoder.addr_buf.inack_ctl._y : 1 [by e.in.v:=0]
|
|
|
|
1405158 e.in.a : 0 [by e.decoder.addr_buf.inack_ctl._y:=1]
|
|
|
|
1405167 e.decoder.addr_buf._en : 1 [by e.in.a:=0]
|
|
|
|
1405355 e.decoder.addr_buf.en_buf_t.buf1._y : 0 [by e.decoder.addr_buf._en:=1]
|
|
|
|
1427121 e.decoder.addr_buf.en_buf_f.buf1._y : 0 [by e.decoder.addr_buf._en:=1]
|
|
|
|
1430721 e.decoder.addr_buf._en_X_f[0] : 1 [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
|
|
|
|
1451131 e.decoder.addr_buf._en_X_t[0] : 1 [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
|