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] [] Set reset 0 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] [] Sending in a 7 packet 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] [] Removing input [] Synapse [7] gives ack 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] [] Sending in a 5 packet 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] [] Removing input [] Synapse [5] gives ack 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] [] Sending in a 1 packet 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] [] Synapse [5] gives ack 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] [] Removing input 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]