e.in.d.d[2].t e.in.d.d[1].f e.decoder.addr_buf._in_v e.in.d.d[1].t e.decoder.addr_buf.vc.ct.in[0] e.in.d.d[0].f e.decoder.addr_buf.vc.OR2_tf[0]._y e.in.d.d[0].t e.in.d.d[2].f 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 e.in.v e.decoder.addr_buf.vc.ct.in[1] e.decoder.addr_buf.vc.ct.C3Els[0]._y 
	    724683 e.in.d.d[0].f : 0
	    724683 e.in.d.d[2].t : 0
	    724683 e.in.d.d[2].f : 0
	    724683 e.in.d.d[1].t : 0
	    724683 e.in.d.d[1].f : 0
	    724683 e.in.d.d[0].t : 0
	    724684 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1  [by e.in.d.d[1].f:=0]
	    724721 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1  [by e.in.d.d[2].f:=0]
	    724776 e.decoder.addr_buf.vc.ct.in[1] : 0  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
	    727448 e.decoder.addr_buf.vc.ct.in[2] : 0  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
	    737435 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1  [by e.in.d.d[0].t:=0]
	    737437 e.decoder.addr_buf.vc.ct.in[0] : 0  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
	    737438 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1  [by e.decoder.addr_buf.vc.ct.in[0]:=0]
	    738939 e.decoder.addr_buf._in_v : 0  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
	    738941 e.decoder.addr_buf.in_v_buf._y : 1  [by e.decoder.addr_buf._in_v:=0]
	    738959 e.in.v : 0  [by e.decoder.addr_buf.in_v_buf._y:=1]
[] Set reset 0

	    738959 Reset : 0
	    739078 e._reset_B : 1  [by Reset:=0]
	    739086 e.decoder.pu_ANDs[1]._y : 0  [by e._reset_B:=1]
	    739132 e.decoder.addr_buf.reset_buf._y : 0  [by e._reset_B:=1]
	    739137 e.decoder.addr_buf._reset_BX : 1  [by e.decoder.addr_buf.reset_buf._y:=0]
	    740204 e.decoder.addr_buf.reset_bufarray.buf1._y : 0  [by e.decoder.addr_buf._reset_BX:=1]
	    740205 e.decoder.addr_buf._reset_BXX[0] : 1  [by e.decoder.addr_buf.reset_bufarray.buf1._y:=0]
	    744798 e.decoder.pu_ANDs[0]._y : 0  [by e._reset_B:=1]
	    744936 e.decoder.pu[0].a : 1  [by e.decoder.pu_ANDs[0]._y:=0]
	    789624 e.decoder.pu[1].a : 1  [by e.decoder.pu_ANDs[1]._y:=0]
[] Sending in a 7 packet
	    789624 e.in.d.d[0].t : 1
	    789624 e.in.d.d[2].t : 1
	    789624 e.in.d.d[1].t : 1
	    789625 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0  [by e.in.d.d[0].t:=1]
	    789626 e.decoder.addr_buf.t_buf_func[2]._y : 0  [by e.in.d.d[2].t:=1]
	    789661 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0  [by e.in.d.d[1].t:=1]
	    789672 e.decoder.addr_buf.vc.ct.in[1] : 1  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
	    789676 e.decoder.addr_buf.vc.ct.in[0] : 1  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
	    789688 e.decoder.addr_buf.t_buf_func[0]._y : 0  [by e.in.d.d[0].t:=1]
	    789689 e.decoder.d_dr_x.in_tX[0].in : 1  [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
	    789698 e.decoder.d_dr_x.in_tX[0].buf1._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	    789714 e.decoder.vtree_x.OR2_tf[0]._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	    789747 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0  [by e.in.d.d[2].t:=1]
	    789767 e.decoder.addr_buf.t_buf_func[1]._y : 0  [by e.in.d.d[1].t:=1]
	    789892 e.decoder.addr_buf.vc.ct.in[2] : 1  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
	    790068 e.decoder.d_dr_y.in_tX[1].in : 1  [by e.decoder.addr_buf.t_buf_func[2]._y:=0]
	    790082 e.decoder.vtree_y.OR2_tf[1]._y : 0  [by e.decoder.d_dr_y.in_tX[1].in:=1]
	    790122 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0  [by e.decoder.addr_buf.vc.ct.in[2]:=1]
	    790759 e.decoder.d_dr_y.in_tX[1].buf1._y : 0  [by e.decoder.d_dr_y.in_tX[1].in:=1]
	    791625 e.decoder.vtree_y.ct.in[1] : 1  [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
	    791733 e.decoder.addr_buf._in_v : 1  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
	    791744 e.decoder.addr_buf.in_v_buf._y : 0  [by e.decoder.addr_buf._in_v:=1]
	    791745 e.in.v : 1  [by e.decoder.addr_buf.in_v_buf._y:=0]
	    793235 e.decoder.vtree_x.ct.in[0] : 1  [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
	    793236 e.decoder.vtree_x.ct.b._y : 0  [by e.decoder.vtree_x.ct.in[0]:=1]
	    799737 e.decoder.C2el.c1 : 1  [by e.decoder.vtree_x.ct.b._y:=0]
	    799951 e.decoder.d_dr_x.atree[1].in[0] : 1  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
	    800590 e.decoder.d_dr_x.atree[1].b._y : 0  [by e.decoder.d_dr_x.atree[1].in[0]:=1]
	    802383 e.decoder.pu_ORs[1].b : 1  [by e.decoder.d_dr_x.atree[1].b._y:=0]
	    805935 e.decoder.d_dr_y.in_tX[0].in : 1  [by e.decoder.addr_buf.t_buf_func[1]._y:=0]
	    805936 e.decoder.vtree_y.OR2_tf[0]._y : 0  [by e.decoder.d_dr_y.in_tX[0].in:=1]
	    805953 e.decoder.vtree_y.ct.in[0] : 1  [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
	    806067 e.decoder.d_dr_y.in_tX[0].buf1._y : 0  [by e.decoder.d_dr_y.in_tX[0].in:=1]
	    806105 e.decoder.vtree_y.ct.C2Els[0]._y : 0  [by e.decoder.vtree_y.ct.in[0]:=1]
	    806108 e.decoder.C2el.c2 : 1  [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
	    806532 e.decoder.C2el._y : 0  [by e.decoder.C2el.c2:=1]
	    806538 e.decoder.C2el.y : 1  [by e.decoder.C2el._y:=0]
	    808271 e.decoder.d_dr_y.atree[2].in[1] : 1  [by e.decoder.d_dr_y.in_tX[1].buf1._y:=0]
	    809050 e.decoder.d_dr_y.atree[1].in[0] : 1  [by e.decoder.d_dr_y.in_tX[0].buf1._y:=0]
	    809126 e.decoder.addr_buf.inack_ctl._y : 0  [by e.decoder.C2el.y:=1]
	    809956 e.in.a : 1  [by e.decoder.addr_buf.inack_ctl._y:=0]
	    811511 e.decoder.d_dr_y.atree[3].and2s[0]._y : 0  [by e.decoder.d_dr_y.atree[1].in[0]:=1]
	    811513 e.decoder.d_dr_y.out[3] : 1  [by e.decoder.d_dr_y.atree[3].and2s[0]._y:=0]
	    811707 e.decoder._and_grid.ands[7]._y : 0  [by e.decoder.d_dr_y.out[3]:=1]
	    812310 e.out[7].r : 1  [by e.decoder._and_grid.ands[7]._y:=0]
	    812448 e.synapses[7].y : 0  [by e.out[7].r:=1]
	    832888 e.decoder.addr_buf._en : 0  [by e.in.a:=1]
	    832905 e.decoder.addr_buf.en_buf_f.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	    832905 e.decoder.addr_buf.en_buf_t.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	    832906 e.decoder.addr_buf._en_X_t[0] : 0  [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
	    833331 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
	    833331 e.in.d.d[0].t : 0
	    833331 e.out[7].a : 1
	    833331 e.in.d.d[2].t : 0
	    833331 e.in.d.d[1].t : 0
	    833332 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1  [by e.in.d.d[0].t:=0]
	    833332 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1  [by e.in.d.d[2].t:=0]
	    833350 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1  [by e.in.d.d[1].t:=0]
	    833500 e.decoder.addr_buf.vc.ct.in[0] : 0  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
	    833511 e.decoder.addr_buf.vc.ct.in[1] : 0  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
	    833871 e.decoder.addr_buf.vc.ct.in[2] : 0  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
	    834044 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1  [by e.decoder.addr_buf.vc.ct.in[2]:=0]
	    834357 e.decoder._out_reqsB[1] : 0  [by e.out[7].a:=1]
	    834358 e.decoder.req_keeps[1]._y : 1  [by e.decoder._out_reqsB[1]:=0]
	    834358 e.decoder.ack_delays[1].dly[0].bufchain[0]._y : 1  [by e.decoder._out_reqsB[1]:=0]
	    834748 e.decoder.ack_delays[1].dly[0].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[0]._y:=1]
	    834955 e.decoder.ack_delays[1].dly[0].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[0].y:=0]
	    835788 e.decoder.ack_delays[1].dly[0].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[1]._y:=1]
	    835816 e.decoder.ack_delays[1].dly[0].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[1].y:=0]
	    835823 e.decoder.ack_delays[1].dly[0].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[2]._y:=1]
	    836237 e.decoder.ack_delays[1].dly[0].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[2].y:=0]
	    836241 e.decoder.ack_delays[1].dly[0].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[3]._y:=1]
	    836591 e.decoder.addr_buf._in_v : 0  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
	    838020 e.decoder.ack_delays[1].dly[0].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[3].y:=0]
	    838186 e.decoder.ack_delays[1].dly[0].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[4]._y:=1]
	    849418 e.decoder._ortree.in[1] : 1  [by e.decoder._out_reqsB[1]:=0]
	    858063 e.decoder._ortree.or2s[0]._y : 0  [by e.decoder._ortree.in[1]:=1]
	    858996 e.decoder._ortree.out : 1  [by e.decoder._ortree.or2s[0]._y:=0]
	    859465 e.decoder.addr_buf.in_v_buf._y : 1  [by e.decoder.addr_buf._in_v:=0]
	    859604 e.in.v : 0  [by e.decoder.addr_buf.in_v_buf._y:=1]
	    859852 e.decoder.addr_buf._out_a_B : 0  [by e.decoder._ortree.out:=1]
	    860047 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	    860049 e.decoder.addr_buf._out_a_BX_t[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
	    860055 e.decoder.addr_buf.t_buf_func[1]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	    860063 e.decoder.d_dr_y.in_tX[0].in : 0  [by e.decoder.addr_buf.t_buf_func[1]._y:=1]
	    860064 e.decoder.d_dr_y.in_tX[0].buf1._y : 1  [by e.decoder.d_dr_y.in_tX[0].in:=0]
	    860069 e.decoder.vtree_y.OR2_tf[0]._y : 1  [by e.decoder.d_dr_y.in_tX[0].in:=0]
	    860303 e.decoder.addr_buf.t_buf_func[2]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	    860529 e.decoder.d_dr_y.in_tX[1].in : 0  [by e.decoder.addr_buf.t_buf_func[2]._y:=1]
	    860530 e.decoder.vtree_y.OR2_tf[1]._y : 1  [by e.decoder.d_dr_y.in_tX[1].in:=0]
	    860536 e.decoder.vtree_y.ct.in[1] : 0  [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
	    861348 e.decoder.d_dr_y.in_tX[1].buf1._y : 1  [by e.decoder.d_dr_y.in_tX[1].in:=0]
	    861350 e.decoder.d_dr_y.atree[2].in[1] : 0  [by e.decoder.d_dr_y.in_tX[1].buf1._y:=1]
	    863159 e.decoder.vtree_y.ct.in[0] : 0  [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
	    863174 e.decoder.vtree_y.ct.C2Els[0]._y : 1  [by e.decoder.vtree_y.ct.in[0]:=0]
	    864912 e.decoder.d_dr_y.atree[3].and2s[0]._y : 1  [by e.decoder.d_dr_y.atree[2].in[1]:=0]
	    865019 e.decoder.d_dr_y.out[3] : 0  [by e.decoder.d_dr_y.atree[3].and2s[0]._y:=1]
	    865112 e.decoder._and_grid.ands[7]._y : 1  [by e.decoder.d_dr_y.out[3]:=0]
	    866764 e.out[7].r : 0  [by e.decoder._and_grid.ands[7]._y:=1]
	    870703 e.synapses[7].y : 1  [by e.out[7].r:=0]
	    871461 e.out[7].a : 0  [by e.synapses[7].y:=1]
	    878056 e.decoder.ack_delays[1].dly[0].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[4].y:=0]
	    880679 e.decoder.ack_delays[1].dly[0].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[5]._y:=1]
	    881395 e.decoder.ack_delays[1].dly[0].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[5].y:=0]
	    881396 e.decoder.ack_delays[1].dly[0].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[6]._y:=1]
	    883136 e.decoder.ack_delays[1].dly[0].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[6].y:=0]
	    883137 e.decoder.ack_delays[1].dly[0].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[7]._y:=1]
	    883975 e.decoder.C2el.c2 : 0  [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
	    886061 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	    895289 e.decoder.ack_delays[1].dly[0].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[7].y:=0]
	    895290 e.decoder.ack_delays[1].dly[0].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[8]._y:=1]
	    895296 e.decoder.ack_delays[1].dly[0].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[8].y:=0]
	    895297 e.decoder.ack_delays[1].dly[0].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[9]._y:=1]
	    911100 e.decoder.d_dr_y.atree[1].in[0] : 0  [by e.decoder.d_dr_y.in_tX[0].buf1._y:=1]
	    913498 e.decoder.addr_buf.t_buf_func[0]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	    914260 e.decoder.addr_buf._out_a_BX_f[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
	    934786 e.decoder.ack_delays[1].dly[0].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[9].y:=0]
	    934808 e.decoder.ack_delays[1].dly[0].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[10]._y:=1]
	    935097 e.decoder.d_dr_x.in_tX[0].in : 0  [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
	    935104 e.decoder.d_dr_x.in_tX[0].buf1._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	    935117 e.decoder.d_dr_x.atree[1].in[0] : 0  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
	    935162 e.decoder.vtree_x.OR2_tf[0]._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	    935266 e.decoder.vtree_x.ct.in[0] : 0  [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
	    935307 e.decoder.vtree_x.ct.b._y : 1  [by e.decoder.vtree_x.ct.in[0]:=0]
	    935308 e.decoder.C2el.c1 : 0  [by e.decoder.vtree_x.ct.b._y:=1]
	    935309 e.decoder.C2el._y : 1  [by e.decoder.C2el.c1:=0]
	    936241 e.decoder.d_dr_x.atree[1].b._y : 1  [by e.decoder.d_dr_x.atree[1].in[0]:=0]
	    949413 e.decoder.pu_ORs[1].b : 0  [by e.decoder.d_dr_x.atree[1].b._y:=1]
	    957316 e.decoder.ack_delays[1].dly[0].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[10].y:=0]
	    957317 e.decoder.ack_delays[1].dly[0].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[11]._y:=1]
	    977142 e.decoder.ack_delays[1].dly[0].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[11].y:=0]
	    980278 e.decoder.ack_delays[1].dly[0].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[12]._y:=1]
	    981104 e.decoder.ack_delays[1].dly[0].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[12].y:=0]
	    982937 e.decoder.ack_delays[1].dly[0].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[13]._y:=1]
	    999485 e.decoder.ack_delays[1].dly[0].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[13].y:=0]
	    999543 e.decoder.ack_delays[1].dly[0].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[14]._y:=1]
	    999687 e.decoder.C2el.y : 0  [by e.decoder.C2el._y:=1]
	   1001986 e.decoder.ack_delays[1].dly[0].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[14].y:=0]
	   1016460 e.decoder.addr_buf.inack_ctl._y : 1  [by e.decoder.C2el.y:=0]
	   1016474 e.in.a : 0  [by e.decoder.addr_buf.inack_ctl._y:=1]
	   1016830 e.decoder.addr_buf._en : 1  [by e.in.a:=0]
	   1016935 e.decoder.addr_buf.en_buf_t.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	   1017044 e.decoder.addr_buf._en_X_t[0] : 1  [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
	   1039185 e.decoder.ack_delays[1].dly[0].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[15]._y:=1]
	   1039186 e.decoder.ack_delays[1].dly[1].bufchain[0]._y : 1  [by e.decoder.ack_delays[1].dly[0].y:=0]
	   1039195 e.decoder.ack_delays[1].dly[1].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[0]._y:=1]
	   1052668 e.decoder.addr_buf.en_buf_f.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	   1052669 e.decoder.addr_buf._en_X_f[0] : 1  [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
	   1077148 e.decoder.ack_delays[1].dly[1].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[0].y:=0]
	   1113542 e.decoder.ack_delays[1].dly[1].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[1]._y:=1]
	   1113543 e.decoder.ack_delays[1].dly[1].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[1].y:=0]
	   1116632 e.decoder.ack_delays[1].dly[1].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[2]._y:=1]
	   1165358 e.decoder.ack_delays[1].dly[1].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[2].y:=0]
	   1166108 e.decoder.ack_delays[1].dly[1].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[3]._y:=1]
	   1172863 e.decoder.ack_delays[1].dly[1].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[3].y:=0]
	   1172914 e.decoder.ack_delays[1].dly[1].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[4]._y:=1]
	   1172924 e.decoder.ack_delays[1].dly[1].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[4].y:=0]
	   1173244 e.decoder.ack_delays[1].dly[1].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[5]._y:=1]
	   1180826 e.decoder.ack_delays[1].dly[1].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[5].y:=0]
	   1180827 e.decoder.ack_delays[1].dly[1].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[6]._y:=1]
	   1180828 e.decoder.ack_delays[1].dly[1].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[6].y:=0]
	   1182558 e.decoder.ack_delays[1].dly[1].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[7]._y:=1]
	   1184245 e.decoder.ack_delays[1].dly[1].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[7].y:=0]
	   1184260 e.decoder.ack_delays[1].dly[1].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[8]._y:=1]
	   1208534 e.decoder.ack_delays[1].dly[1].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[8].y:=0]
	   1208988 e.decoder.ack_delays[1].dly[1].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[9]._y:=1]
	   1209304 e.decoder.ack_delays[1].dly[1].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[9].y:=0]
	   1209305 e.decoder.ack_delays[1].dly[1].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[10]._y:=1]
	   1209688 e.decoder.ack_delays[1].dly[1].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[10].y:=0]
	   1217151 e.decoder.ack_delays[1].dly[1].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[11]._y:=1]
	   1217171 e.decoder.ack_delays[1].dly[1].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[11].y:=0]
	   1218494 e.decoder.ack_delays[1].dly[1].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[12]._y:=1]
	   1218581 e.decoder.ack_delays[1].dly[1].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[12].y:=0]
	   1225303 e.decoder.ack_delays[1].dly[1].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[13]._y:=1]
	   1225315 e.decoder.ack_delays[1].dly[1].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[13].y:=0]
	   1225460 e.decoder.ack_delays[1].dly[1].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[14]._y:=1]
	   1226361 e.decoder.ack_delays[1].dly[1].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[14].y:=0]
	   1227710 e.decoder.ack_delays[1].dly[1].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[15]._y:=1]
	   1227929 e.decoder.ack_delays[1].dly[2].bufchain[0]._y : 1  [by e.decoder.ack_delays[1].dly[1].y:=0]
	   1236260 e.decoder.ack_delays[1].dly[2].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[0]._y:=1]
	   1267841 e.decoder.ack_delays[1].dly[2].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[0].y:=0]
	   1267859 e.decoder.ack_delays[1].dly[2].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[1]._y:=1]
	   1270053 e.decoder.ack_delays[1].dly[2].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[1].y:=0]
	   1308025 e.decoder.ack_delays[1].dly[2].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[2]._y:=1]
	   1308145 e.decoder.ack_delays[1].dly[2].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[2].y:=0]
	   1314460 e.decoder.ack_delays[1].dly[2].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[3]._y:=1]
	   1316524 e.decoder.ack_delays[1].dly[2].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[3].y:=0]
	   1317116 e.decoder.ack_delays[1].dly[2].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[4]._y:=1]
	   1317123 e.decoder.ack_delays[1].dly[2].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[4].y:=0]
	   1317124 e.decoder.ack_delays[1].dly[2].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[5]._y:=1]
	   1317248 e.decoder.ack_delays[1].dly[2].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[5].y:=0]
	   1323178 e.decoder.ack_delays[1].dly[2].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[6]._y:=1]
	   1324230 e.decoder.ack_delays[1].dly[2].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[6].y:=0]
	   1324590 e.decoder.ack_delays[1].dly[2].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[7]._y:=1]
	   1334784 e.decoder.ack_delays[1].dly[2].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[7].y:=0]
	   1335881 e.decoder.ack_delays[1].dly[2].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[8]._y:=1]
	   1355773 e.decoder.ack_delays[1].dly[2].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[8].y:=0]
	   1355777 e.decoder.ack_delays[1].dly[2].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[9]._y:=1]
	   1367441 e.decoder.ack_delays[1].dly[2].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[9].y:=0]
	   1405360 e.decoder.ack_delays[1].dly[2].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[10]._y:=1]
	   1423021 e.decoder.ack_delays[1].dly[2].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[10].y:=0]
	   1426402 e.decoder.ack_delays[1].dly[2].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[11]._y:=1]
	   1426658 e.decoder.ack_delays[1].dly[2].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[11].y:=0]
	   1441588 e.decoder.ack_delays[1].dly[2].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[12]._y:=1]
	   1441625 e.decoder.ack_delays[1].dly[2].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[12].y:=0]
	   1441637 e.decoder.ack_delays[1].dly[2].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[13]._y:=1]
	   1441646 e.decoder.ack_delays[1].dly[2].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[13].y:=0]
	   1442073 e.decoder.ack_delays[1].dly[2].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[14]._y:=1]
	   1442315 e.decoder.ack_delays[1].dly[2].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[14].y:=0]
	   1443150 e.decoder.req_bufs[1].in : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[15]._y:=1]
	   1489886 e.decoder.req_bufs[1].buf1._y : 1  [by e.decoder.req_bufs[1].in:=0]
	   1491446 e.decoder._out_acksB[1] : 0  [by e.decoder.req_bufs[1].buf1._y:=1]
	   1528539 e.decoder.pu_ORs[1]._y : 1  [by e.decoder._out_acksB[1]:=0]
	   1528799 e.decoder.pu_ORs[1].y : 0  [by e.decoder.pu_ORs[1]._y:=1]
	   1537787 e.decoder.pu_ANDs[1]._y : 1  [by e.decoder.pu_ORs[1].y:=0]
	   1537788 e.decoder.pu[1].a : 0  [by e.decoder.pu_ANDs[1]._y:=1]
	   1573838 e.decoder._out_reqsB[1] : 1  [by e.decoder.pu[1].a:=0]
	   1573847 e.decoder.ack_delays[1].dly[0].bufchain[0]._y : 0  [by e.decoder._out_reqsB[1]:=1]
	   1573857 e.decoder.req_keeps[1]._y : 0  [by e.decoder._out_reqsB[1]:=1]
	   1574222 e.decoder._ortree.in[1] : 0  [by e.decoder._out_reqsB[1]:=1]
	   1574410 e.decoder._ortree.or2s[0]._y : 1  [by e.decoder._ortree.in[1]:=0]
	   1595801 e.decoder.ack_delays[1].dly[0].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[0]._y:=0]
	   1599401 e.decoder.ack_delays[1].dly[0].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[0].y:=1]
	   1599549 e.decoder.ack_delays[1].dly[0].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[1]._y:=0]
	   1618426 e.decoder.ack_delays[1].dly[0].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[1].y:=1]
	   1618441 e.decoder.ack_delays[1].dly[0].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[2]._y:=0]
	   1620186 e.decoder._ortree.out : 0  [by e.decoder._ortree.or2s[0]._y:=1]
	   1621073 e.decoder.addr_buf._out_a_B : 1  [by e.decoder._ortree.out:=0]
	   1621074 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	   1627800 e.decoder.addr_buf._out_a_BX_t[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
	   1629050 e.decoder.ack_delays[1].dly[0].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[2].y:=1]
	   1629055 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	   1629415 e.decoder.ack_delays[1].dly[0].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[3]._y:=0]
	   1630799 e.decoder.ack_delays[1].dly[0].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[3].y:=1]
	   1630820 e.decoder.ack_delays[1].dly[0].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[4]._y:=0]
	   1630861 e.decoder.ack_delays[1].dly[0].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[4].y:=1]
	   1630864 e.decoder.ack_delays[1].dly[0].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[5]._y:=0]
	   1632741 e.decoder.ack_delays[1].dly[0].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[5].y:=1]
	   1638013 e.decoder.addr_buf._out_a_BX_f[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
	   1642250 e.decoder.ack_delays[1].dly[0].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[6]._y:=0]
	   1642832 e.decoder.ack_delays[1].dly[0].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[6].y:=1]
	   1642834 e.decoder.ack_delays[1].dly[0].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[7]._y:=0]
	   1642837 e.decoder.ack_delays[1].dly[0].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[7].y:=1]
	   1642838 e.decoder.ack_delays[1].dly[0].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[8]._y:=0]
	   1646290 e.decoder.ack_delays[1].dly[0].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[8].y:=1]
	   1653423 e.decoder.ack_delays[1].dly[0].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[9]._y:=0]
	   1654283 e.decoder.ack_delays[1].dly[0].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[9].y:=1]
	   1654284 e.decoder.ack_delays[1].dly[0].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[10]._y:=0]
	   1654359 e.decoder.ack_delays[1].dly[0].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[10].y:=1]
	   1682310 e.decoder.ack_delays[1].dly[0].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[11]._y:=0]
	   1682384 e.decoder.ack_delays[1].dly[0].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[11].y:=1]
	   1684654 e.decoder.ack_delays[1].dly[0].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[12]._y:=0]
	   1684752 e.decoder.ack_delays[1].dly[0].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[12].y:=1]
	   1690523 e.decoder.ack_delays[1].dly[0].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[13]._y:=0]
	   1722251 e.decoder.ack_delays[1].dly[0].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[13].y:=1]
	   1726104 e.decoder.ack_delays[1].dly[0].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[14]._y:=0]
	   1732245 e.decoder.ack_delays[1].dly[0].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[14].y:=1]
	   1734605 e.decoder.ack_delays[1].dly[0].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[15]._y:=0]
	   1734609 e.decoder.ack_delays[1].dly[1].bufchain[0]._y : 0  [by e.decoder.ack_delays[1].dly[0].y:=1]
	   1734614 e.decoder.ack_delays[1].dly[1].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[0]._y:=0]
	   1734905 e.decoder.ack_delays[1].dly[1].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[0].y:=1]
	   1734999 e.decoder.ack_delays[1].dly[1].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[1]._y:=0]
	   1735000 e.decoder.ack_delays[1].dly[1].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[1].y:=1]
	   1735036 e.decoder.ack_delays[1].dly[1].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[2]._y:=0]
	   1735038 e.decoder.ack_delays[1].dly[1].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[2].y:=1]
	   1756856 e.decoder.ack_delays[1].dly[1].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[3]._y:=0]
	   1756892 e.decoder.ack_delays[1].dly[1].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[3].y:=1]
	   1756893 e.decoder.ack_delays[1].dly[1].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[4]._y:=0]
	   1756907 e.decoder.ack_delays[1].dly[1].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[4].y:=1]
	   1756919 e.decoder.ack_delays[1].dly[1].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[5]._y:=0]
	   1780950 e.decoder.ack_delays[1].dly[1].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[5].y:=1]
	   1802507 e.decoder.ack_delays[1].dly[1].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[6]._y:=0]
	   1815497 e.decoder.ack_delays[1].dly[1].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[6].y:=1]
	   1827395 e.decoder.ack_delays[1].dly[1].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[7]._y:=0]
	   1870345 e.decoder.ack_delays[1].dly[1].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[7].y:=1]
	   1870346 e.decoder.ack_delays[1].dly[1].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[8]._y:=0]
	   1870558 e.decoder.ack_delays[1].dly[1].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[8].y:=1]
	   1877970 e.decoder.ack_delays[1].dly[1].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[9]._y:=0]
	   1880903 e.decoder.ack_delays[1].dly[1].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[9].y:=1]
	   1881042 e.decoder.ack_delays[1].dly[1].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[10]._y:=0]
	   1881046 e.decoder.ack_delays[1].dly[1].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[10].y:=1]
	   1881401 e.decoder.ack_delays[1].dly[1].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[11]._y:=0]
	   1881479 e.decoder.ack_delays[1].dly[1].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[11].y:=1]
	   1919684 e.decoder.ack_delays[1].dly[1].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[12]._y:=0]
	   1919710 e.decoder.ack_delays[1].dly[1].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[12].y:=1]
	   1919974 e.decoder.ack_delays[1].dly[1].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[13]._y:=0]
	   1920035 e.decoder.ack_delays[1].dly[1].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[13].y:=1]
	   1920040 e.decoder.ack_delays[1].dly[1].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[14]._y:=0]
	   1920112 e.decoder.ack_delays[1].dly[1].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[14].y:=1]
	   1920223 e.decoder.ack_delays[1].dly[1].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[15]._y:=0]
	   1920242 e.decoder.ack_delays[1].dly[2].bufchain[0]._y : 0  [by e.decoder.ack_delays[1].dly[1].y:=1]
	   1920341 e.decoder.ack_delays[1].dly[2].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[0]._y:=0]
	   1920708 e.decoder.ack_delays[1].dly[2].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[0].y:=1]
	   1920757 e.decoder.ack_delays[1].dly[2].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[1]._y:=0]
	   1920792 e.decoder.ack_delays[1].dly[2].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[1].y:=1]
	   1926969 e.decoder.ack_delays[1].dly[2].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[2]._y:=0]
	   1931793 e.decoder.ack_delays[1].dly[2].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[2].y:=1]
	   1931821 e.decoder.ack_delays[1].dly[2].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[3]._y:=0]
	   1932808 e.decoder.ack_delays[1].dly[2].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[3].y:=1]
	   1953311 e.decoder.ack_delays[1].dly[2].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[4]._y:=0]
	   1953371 e.decoder.ack_delays[1].dly[2].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[4].y:=1]
	   1962941 e.decoder.ack_delays[1].dly[2].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[5]._y:=0]
	   1965044 e.decoder.ack_delays[1].dly[2].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[5].y:=1]
	   1982752 e.decoder.ack_delays[1].dly[2].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[6]._y:=0]
	   1993669 e.decoder.ack_delays[1].dly[2].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[6].y:=1]
	   1993670 e.decoder.ack_delays[1].dly[2].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[7]._y:=0]
	   2019411 e.decoder.ack_delays[1].dly[2].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[7].y:=1]
	   2019414 e.decoder.ack_delays[1].dly[2].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[8]._y:=0]
	   2038078 e.decoder.ack_delays[1].dly[2].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[8].y:=1]
	   2039547 e.decoder.ack_delays[1].dly[2].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[9]._y:=0]
	   2039577 e.decoder.ack_delays[1].dly[2].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[9].y:=1]
	   2039583 e.decoder.ack_delays[1].dly[2].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[10]._y:=0]
	   2039584 e.decoder.ack_delays[1].dly[2].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[10].y:=1]
	   2039711 e.decoder.ack_delays[1].dly[2].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[11]._y:=0]
	   2039714 e.decoder.ack_delays[1].dly[2].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[11].y:=1]
	   2039800 e.decoder.ack_delays[1].dly[2].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[12]._y:=0]
	   2040732 e.decoder.ack_delays[1].dly[2].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[12].y:=1]
	   2042225 e.decoder.ack_delays[1].dly[2].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[13]._y:=0]
	   2050948 e.decoder.ack_delays[1].dly[2].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[13].y:=1]
	   2065301 e.decoder.ack_delays[1].dly[2].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[14]._y:=0]
	   2065575 e.decoder.ack_delays[1].dly[2].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[14].y:=1]
	   2065576 e.decoder.req_bufs[1].in : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[15]._y:=0]
	   2073727 e.decoder.req_bufs[1].buf1._y : 0  [by e.decoder.req_bufs[1].in:=1]
	   2093572 e.decoder._out_acksB[1] : 1  [by e.decoder.req_bufs[1].buf1._y:=0]
	   2093574 e.decoder.pu_ORs[1]._y : 0  [by e.decoder._out_acksB[1]:=1]
	   2093933 e.decoder.pu_ORs[1].y : 1  [by e.decoder.pu_ORs[1]._y:=0]
	   2095949 e.decoder.pu_ANDs[1]._y : 0  [by e.decoder.pu_ORs[1].y:=1]
	   2120460 e.decoder.pu[1].a : 1  [by e.decoder.pu_ANDs[1]._y:=0]
[] Sending in a 5 packet
	   2120460 e.in.d.d[0].t : 1
	   2120460 e.in.d.d[2].t : 1
	   2120460 e.in.d.d[1].f : 1
	   2120462 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0  [by e.in.d.d[0].t:=1]
	   2120463 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0  [by e.in.d.d[2].t:=1]
	   2120491 e.decoder.addr_buf.vc.ct.in[0] : 1  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
	   2120534 e.decoder.addr_buf.vc.ct.in[2] : 1  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
	   2120804 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0  [by e.in.d.d[1].f:=1]
	   2121166 e.decoder.addr_buf.vc.ct.in[1] : 1  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
	   2121249 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0  [by e.decoder.addr_buf.vc.ct.in[1]:=1]
	   2122243 e.decoder.addr_buf.f_buf_func[1]._y : 0  [by e.in.d.d[1].f:=1]
	   2122350 e.decoder.d_dr_y.in_fX[0].in : 1  [by e.decoder.addr_buf.f_buf_func[1]._y:=0]
	   2122351 e.decoder.vtree_y.OR2_tf[0]._y : 0  [by e.decoder.d_dr_y.in_fX[0].in:=1]
	   2122352 e.decoder.vtree_y.ct.in[0] : 1  [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
	   2122353 e.decoder.d_dr_y.in_fX[0].buf1._y : 0  [by e.decoder.d_dr_y.in_fX[0].in:=1]
	   2126698 e.decoder.d_dr_y.atree[0].in[0] : 1  [by e.decoder.d_dr_y.in_fX[0].buf1._y:=0]
	   2134891 e.decoder.addr_buf.t_buf_func[0]._y : 0  [by e.in.d.d[0].t:=1]
	   2135749 e.decoder.d_dr_x.in_tX[0].in : 1  [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
	   2135761 e.decoder.d_dr_x.in_tX[0].buf1._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	   2157749 e.decoder.addr_buf.t_buf_func[2]._y : 0  [by e.in.d.d[2].t:=1]
	   2169411 e.decoder.addr_buf._in_v : 1  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
	   2172178 e.decoder.vtree_x.OR2_tf[0]._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	   2172206 e.decoder.vtree_x.ct.in[0] : 1  [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
	   2172214 e.decoder.vtree_x.ct.b._y : 0  [by e.decoder.vtree_x.ct.in[0]:=1]
	   2174392 e.decoder.addr_buf.in_v_buf._y : 0  [by e.decoder.addr_buf._in_v:=1]
	   2186730 e.decoder.d_dr_x.atree[1].in[0] : 1  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
	   2186995 e.decoder.d_dr_x.atree[1].b._y : 0  [by e.decoder.d_dr_x.atree[1].in[0]:=1]
	   2187074 e.decoder.pu_ORs[1].b : 1  [by e.decoder.d_dr_x.atree[1].b._y:=0]
	   2191095 e.decoder.d_dr_y.in_tX[1].in : 1  [by e.decoder.addr_buf.t_buf_func[2]._y:=0]
	   2191103 e.decoder.d_dr_y.in_tX[1].buf1._y : 0  [by e.decoder.d_dr_y.in_tX[1].in:=1]
	   2191136 e.decoder.vtree_y.OR2_tf[1]._y : 0  [by e.decoder.d_dr_y.in_tX[1].in:=1]
	   2191742 e.decoder.d_dr_y.atree[2].in[1] : 1  [by e.decoder.d_dr_y.in_tX[1].buf1._y:=0]
	   2191759 e.decoder.d_dr_y.atree[2].and2s[0]._y : 0  [by e.decoder.d_dr_y.atree[2].in[1]:=1]
	   2193569 e.decoder.C2el.c1 : 1  [by e.decoder.vtree_x.ct.b._y:=0]
	   2208723 e.in.v : 1  [by e.decoder.addr_buf.in_v_buf._y:=0]
	   2216037 e.decoder.d_dr_y.out[2] : 1  [by e.decoder.d_dr_y.atree[2].and2s[0]._y:=0]
	   2224691 e.decoder.vtree_y.ct.in[1] : 1  [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
	   2246303 e.decoder.vtree_y.ct.C2Els[0]._y : 0  [by e.decoder.vtree_y.ct.in[1]:=1]
	   2246304 e.decoder.C2el.c2 : 1  [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
	   2246305 e.decoder.C2el._y : 0  [by e.decoder.C2el.c2:=1]
	   2246731 e.decoder.C2el.y : 1  [by e.decoder.C2el._y:=0]
	   2247069 e.decoder.addr_buf.inack_ctl._y : 0  [by e.decoder.C2el.y:=1]
	   2247195 e.in.a : 1  [by e.decoder.addr_buf.inack_ctl._y:=0]
	   2247197 e.decoder.addr_buf._en : 0  [by e.in.a:=1]
	   2247357 e.decoder.addr_buf.en_buf_t.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	   2248007 e.decoder.addr_buf.en_buf_f.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	   2261256 e.decoder._and_grid.ands[5]._y : 0  [by e.decoder.d_dr_y.out[2]:=1]
	   2261257 e.out[5].r : 1  [by e.decoder._and_grid.ands[5]._y:=0]
	   2261262 e.synapses[5].y : 0  [by e.out[5].r:=1]
	   2275188 e.decoder.addr_buf._en_X_t[0] : 0  [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
	   2310440 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
	   2310440 e.in.d.d[0].t : 0
	   2310440 e.out[5].a : 1
	   2310440 e.in.d.d[2].t : 0
	   2310440 e.in.d.d[1].f : 0
	   2310442 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1  [by e.in.d.d[1].f:=0]
	   2310480 e.decoder.addr_buf.vc.ct.in[1] : 0  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
	   2311010 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1  [by e.in.d.d[0].t:=0]
	   2312572 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1  [by e.in.d.d[2].t:=0]
	   2312629 e.decoder.addr_buf.vc.ct.in[2] : 0  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
	   2323332 e.decoder.addr_buf.vc.ct.in[0] : 0  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
	   2323333 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1  [by e.decoder.addr_buf.vc.ct.in[0]:=0]
	   2332053 e.decoder.addr_buf._in_v : 0  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
	   2332057 e.decoder.addr_buf.in_v_buf._y : 1  [by e.decoder.addr_buf._in_v:=0]
	   2332603 e.in.v : 0  [by e.decoder.addr_buf.in_v_buf._y:=1]
	   2369056 e.decoder._out_reqsB[1] : 0  [by e.out[5].a:=1]
	   2369067 e.decoder._ortree.in[1] : 1  [by e.decoder._out_reqsB[1]:=0]
	   2369068 e.decoder.req_keeps[1]._y : 1  [by e.decoder._out_reqsB[1]:=0]
	   2370739 e.decoder.ack_delays[1].dly[0].bufchain[0]._y : 1  [by e.decoder._out_reqsB[1]:=0]
	   2371607 e.decoder.ack_delays[1].dly[0].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[0]._y:=1]
	   2388055 e.decoder.ack_delays[1].dly[0].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[0].y:=0]
	   2388075 e.decoder.ack_delays[1].dly[0].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[1]._y:=1]
	   2390715 e.decoder.ack_delays[1].dly[0].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[1].y:=0]
	   2397235 e.decoder._ortree.or2s[0]._y : 0  [by e.decoder._ortree.in[1]:=1]
	   2399664 e.decoder._ortree.out : 1  [by e.decoder._ortree.or2s[0]._y:=0]
	   2402540 e.decoder.addr_buf._out_a_B : 0  [by e.decoder._ortree.out:=1]
	   2404674 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	   2405165 e.decoder.addr_buf._out_a_BX_f[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
	   2419423 e.decoder.ack_delays[1].dly[0].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[2]._y:=1]
	   2425384 e.decoder.ack_delays[1].dly[0].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[2].y:=0]
	   2425406 e.decoder.ack_delays[1].dly[0].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[3]._y:=1]
	   2425532 e.decoder.ack_delays[1].dly[0].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[3].y:=0]
	   2425550 e.decoder.ack_delays[1].dly[0].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[4]._y:=1]
	   2425551 e.decoder.ack_delays[1].dly[0].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[4].y:=0]
	   2427503 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	   2427557 e.decoder.addr_buf._out_a_BX_t[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
	   2427583 e.decoder.addr_buf.t_buf_func[0]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	   2429855 e.decoder.d_dr_x.in_tX[0].in : 0  [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
	   2429907 e.decoder.d_dr_x.in_tX[0].buf1._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	   2429908 e.decoder.d_dr_x.atree[1].in[0] : 0  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
	   2429963 e.decoder.vtree_x.OR2_tf[0]._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	   2429964 e.decoder.vtree_x.ct.in[0] : 0  [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
	   2429965 e.decoder.vtree_x.ct.b._y : 1  [by e.decoder.vtree_x.ct.in[0]:=0]
	   2430190 e.decoder.addr_buf.t_buf_func[2]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	   2430196 e.decoder.d_dr_y.in_tX[1].in : 0  [by e.decoder.addr_buf.t_buf_func[2]._y:=1]
	   2430200 e.decoder.d_dr_y.in_tX[1].buf1._y : 1  [by e.decoder.d_dr_y.in_tX[1].in:=0]
	   2430202 e.decoder.d_dr_y.atree[2].in[1] : 0  [by e.decoder.d_dr_y.in_tX[1].buf1._y:=1]
	   2430206 e.decoder.d_dr_y.atree[2].and2s[0]._y : 1  [by e.decoder.d_dr_y.atree[2].in[1]:=0]
	   2430207 e.decoder.d_dr_y.out[2] : 0  [by e.decoder.d_dr_y.atree[2].and2s[0]._y:=1]
	   2430232 e.decoder._and_grid.ands[5]._y : 1  [by e.decoder.d_dr_y.out[2]:=0]
	   2430407 e.out[5].r : 0  [by e.decoder._and_grid.ands[5]._y:=1]
	   2432782 e.synapses[5].y : 1  [by e.out[5].r:=0]
	   2433278 e.decoder.C2el.c1 : 0  [by e.decoder.vtree_x.ct.b._y:=1]
	   2433375 e.decoder.addr_buf.f_buf_func[1]._y : 1  [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
	   2434208 e.decoder.d_dr_x.atree[1].b._y : 1  [by e.decoder.d_dr_x.atree[1].in[0]:=0]
	   2434557 e.decoder.pu_ORs[1].b : 0  [by e.decoder.d_dr_x.atree[1].b._y:=1]
	   2445894 e.out[5].a : 0  [by e.synapses[5].y:=1]
	   2448389 e.decoder.ack_delays[1].dly[0].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[5]._y:=1]
	   2449930 e.decoder.ack_delays[1].dly[0].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[5].y:=0]
	   2450014 e.decoder.ack_delays[1].dly[0].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[6]._y:=1]
	   2450015 e.decoder.ack_delays[1].dly[0].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[6].y:=0]
	   2457215 e.decoder.vtree_y.OR2_tf[1]._y : 1  [by e.decoder.d_dr_y.in_tX[1].in:=0]
	   2457360 e.decoder.vtree_y.ct.in[1] : 0  [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
	   2471669 e.decoder.d_dr_y.in_fX[0].in : 0  [by e.decoder.addr_buf.f_buf_func[1]._y:=1]
	   2471730 e.decoder.d_dr_y.in_fX[0].buf1._y : 1  [by e.decoder.d_dr_y.in_fX[0].in:=0]
	   2471738 e.decoder.d_dr_y.atree[0].in[0] : 0  [by e.decoder.d_dr_y.in_fX[0].buf1._y:=1]
	   2504808 e.decoder.ack_delays[1].dly[0].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[7]._y:=1]
	   2518806 e.decoder.vtree_y.OR2_tf[0]._y : 1  [by e.decoder.d_dr_y.in_fX[0].in:=0]
	   2532357 e.decoder.vtree_y.ct.in[0] : 0  [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
	   2532369 e.decoder.vtree_y.ct.C2Els[0]._y : 1  [by e.decoder.vtree_y.ct.in[0]:=0]
	   2543783 e.decoder.ack_delays[1].dly[0].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[7].y:=0]
	   2543790 e.decoder.ack_delays[1].dly[0].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[8]._y:=1]
	   2543791 e.decoder.ack_delays[1].dly[0].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[8].y:=0]
	   2544071 e.decoder.ack_delays[1].dly[0].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[9]._y:=1]
	   2545076 e.decoder.C2el.c2 : 0  [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
	   2545083 e.decoder.C2el._y : 1  [by e.decoder.C2el.c2:=0]
	   2549343 e.decoder.C2el.y : 0  [by e.decoder.C2el._y:=1]
	   2552842 e.decoder.addr_buf.inack_ctl._y : 1  [by e.decoder.C2el.y:=0]
	   2552851 e.in.a : 0  [by e.decoder.addr_buf.inack_ctl._y:=1]
	   2553409 e.decoder.addr_buf._en : 1  [by e.in.a:=0]
	   2553496 e.decoder.addr_buf.en_buf_f.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	   2553497 e.decoder.addr_buf._en_X_f[0] : 1  [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
	   2558158 e.decoder.ack_delays[1].dly[0].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[9].y:=0]
	   2558195 e.decoder.ack_delays[1].dly[0].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[10]._y:=1]
	   2558360 e.decoder.ack_delays[1].dly[0].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[10].y:=0]
	   2565372 e.decoder.ack_delays[1].dly[0].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[11]._y:=1]
	   2575527 e.decoder.ack_delays[1].dly[0].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[11].y:=0]
	   2575611 e.decoder.ack_delays[1].dly[0].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[12]._y:=1]
	   2575639 e.decoder.ack_delays[1].dly[0].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[12].y:=0]
	   2575953 e.decoder.ack_delays[1].dly[0].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[13]._y:=1]
	   2575996 e.decoder.ack_delays[1].dly[0].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[13].y:=0]
	   2576066 e.decoder.ack_delays[1].dly[0].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[14]._y:=1]
	   2608794 e.decoder.addr_buf.en_buf_t.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	   2608795 e.decoder.addr_buf._en_X_t[0] : 1  [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
	   2621659 e.decoder.ack_delays[1].dly[0].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[14].y:=0]
	   2621665 e.decoder.ack_delays[1].dly[0].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[15]._y:=1]
	   2621666 e.decoder.ack_delays[1].dly[1].bufchain[0]._y : 1  [by e.decoder.ack_delays[1].dly[0].y:=0]
	   2648269 e.decoder.ack_delays[1].dly[1].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[0]._y:=1]
	   2652149 e.decoder.ack_delays[1].dly[1].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[0].y:=0]
	   2652151 e.decoder.ack_delays[1].dly[1].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[1]._y:=1]
	   2659448 e.decoder.ack_delays[1].dly[1].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[1].y:=0]
	   2659575 e.decoder.ack_delays[1].dly[1].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[2]._y:=1]
	   2659645 e.decoder.ack_delays[1].dly[1].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[2].y:=0]
	   2659816 e.decoder.ack_delays[1].dly[1].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[3]._y:=1]
	   2660126 e.decoder.ack_delays[1].dly[1].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[3].y:=0]
	   2660127 e.decoder.ack_delays[1].dly[1].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[4]._y:=1]
	   2661153 e.decoder.ack_delays[1].dly[1].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[4].y:=0]
	   2675698 e.decoder.ack_delays[1].dly[1].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[5]._y:=1]
	   2678996 e.decoder.ack_delays[1].dly[1].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[5].y:=0]
	   2684546 e.decoder.ack_delays[1].dly[1].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[6]._y:=1]
	   2684916 e.decoder.ack_delays[1].dly[1].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[6].y:=0]
	   2688352 e.decoder.ack_delays[1].dly[1].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[7]._y:=1]
	   2688358 e.decoder.ack_delays[1].dly[1].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[7].y:=0]
	   2716076 e.decoder.ack_delays[1].dly[1].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[8]._y:=1]
	   2716092 e.decoder.ack_delays[1].dly[1].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[8].y:=0]
	   2716102 e.decoder.ack_delays[1].dly[1].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[9]._y:=1]
	   2716151 e.decoder.ack_delays[1].dly[1].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[9].y:=0]
	   2716158 e.decoder.ack_delays[1].dly[1].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[10]._y:=1]
	   2716160 e.decoder.ack_delays[1].dly[1].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[10].y:=0]
	   2738636 e.decoder.ack_delays[1].dly[1].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[11]._y:=1]
	   2741096 e.decoder.ack_delays[1].dly[1].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[11].y:=0]
	   2741154 e.decoder.ack_delays[1].dly[1].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[12]._y:=1]
	   2743248 e.decoder.ack_delays[1].dly[1].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[12].y:=0]
	   2769679 e.decoder.ack_delays[1].dly[1].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[13]._y:=1]
	   2769686 e.decoder.ack_delays[1].dly[1].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[13].y:=0]
	   2774360 e.decoder.ack_delays[1].dly[1].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[14]._y:=1]
	   2774402 e.decoder.ack_delays[1].dly[1].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[14].y:=0]
	   2784872 e.decoder.ack_delays[1].dly[1].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[15]._y:=1]
	   2785145 e.decoder.ack_delays[1].dly[2].bufchain[0]._y : 1  [by e.decoder.ack_delays[1].dly[1].y:=0]
	   2790124 e.decoder.ack_delays[1].dly[2].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[0]._y:=1]
	   2793704 e.decoder.ack_delays[1].dly[2].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[0].y:=0]
	   2831762 e.decoder.ack_delays[1].dly[2].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[1]._y:=1]
	   2831890 e.decoder.ack_delays[1].dly[2].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[1].y:=0]
	   2884967 e.decoder.ack_delays[1].dly[2].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[2]._y:=1]
	   2894929 e.decoder.ack_delays[1].dly[2].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[2].y:=0]
	   2895008 e.decoder.ack_delays[1].dly[2].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[3]._y:=1]
	   2895009 e.decoder.ack_delays[1].dly[2].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[3].y:=0]
	   2895114 e.decoder.ack_delays[1].dly[2].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[4]._y:=1]
	   2901660 e.decoder.ack_delays[1].dly[2].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[4].y:=0]
	   2902314 e.decoder.ack_delays[1].dly[2].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[5]._y:=1]
	   2902324 e.decoder.ack_delays[1].dly[2].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[5].y:=0]
	   2902368 e.decoder.ack_delays[1].dly[2].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[6]._y:=1]
	   2902504 e.decoder.ack_delays[1].dly[2].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[6].y:=0]
	   2902827 e.decoder.ack_delays[1].dly[2].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[7]._y:=1]
	   2902865 e.decoder.ack_delays[1].dly[2].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[7].y:=0]
	   2902869 e.decoder.ack_delays[1].dly[2].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[8]._y:=1]
	   2903962 e.decoder.ack_delays[1].dly[2].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[8].y:=0]
	   2904089 e.decoder.ack_delays[1].dly[2].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[9]._y:=1]
	   2953805 e.decoder.ack_delays[1].dly[2].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[9].y:=0]
	   2973884 e.decoder.ack_delays[1].dly[2].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[10]._y:=1]
	   2973885 e.decoder.ack_delays[1].dly[2].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[10].y:=0]
	   2973906 e.decoder.ack_delays[1].dly[2].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[11]._y:=1]
	   2979767 e.decoder.ack_delays[1].dly[2].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[11].y:=0]
	   2994161 e.decoder.ack_delays[1].dly[2].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[12]._y:=1]
	   2994173 e.decoder.ack_delays[1].dly[2].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[12].y:=0]
	   2994575 e.decoder.ack_delays[1].dly[2].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[13]._y:=1]
	   2997221 e.decoder.ack_delays[1].dly[2].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[13].y:=0]
	   3003524 e.decoder.ack_delays[1].dly[2].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[14]._y:=1]
	   3003806 e.decoder.ack_delays[1].dly[2].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[14].y:=0]
	   3034545 e.decoder.req_bufs[1].in : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[15]._y:=1]
	   3098700 e.decoder.req_bufs[1].buf1._y : 1  [by e.decoder.req_bufs[1].in:=0]
	   3098702 e.decoder._out_acksB[1] : 0  [by e.decoder.req_bufs[1].buf1._y:=1]
	   3099417 e.decoder.pu_ORs[1]._y : 1  [by e.decoder._out_acksB[1]:=0]
	   3099500 e.decoder.pu_ORs[1].y : 0  [by e.decoder.pu_ORs[1]._y:=1]
	   3099548 e.decoder.pu_ANDs[1]._y : 1  [by e.decoder.pu_ORs[1].y:=0]
	   3114612 e.decoder.pu[1].a : 0  [by e.decoder.pu_ANDs[1]._y:=1]
	   3114616 e.decoder._out_reqsB[1] : 1  [by e.decoder.pu[1].a:=0]
	   3116065 e.decoder.ack_delays[1].dly[0].bufchain[0]._y : 0  [by e.decoder._out_reqsB[1]:=1]
	   3116421 e.decoder.ack_delays[1].dly[0].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[0]._y:=0]
	   3116422 e.decoder.ack_delays[1].dly[0].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[0].y:=1]
	   3116423 e.decoder.ack_delays[1].dly[0].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[1]._y:=0]
	   3116431 e.decoder.ack_delays[1].dly[0].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[1].y:=1]
	   3126282 e.decoder.req_keeps[1]._y : 0  [by e.decoder._out_reqsB[1]:=1]
	   3144060 e.decoder.ack_delays[1].dly[0].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[2]._y:=0]
	   3144085 e.decoder.ack_delays[1].dly[0].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[2].y:=1]
	   3151886 e.decoder.ack_delays[1].dly[0].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[3]._y:=0]
	   3151887 e.decoder.ack_delays[1].dly[0].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[3].y:=1]
	   3152148 e.decoder.ack_delays[1].dly[0].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[4]._y:=0]
	   3152152 e.decoder.ack_delays[1].dly[0].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[4].y:=1]
	   3152266 e.decoder.ack_delays[1].dly[0].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[5]._y:=0]
	   3154288 e.decoder.ack_delays[1].dly[0].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[5].y:=1]
	   3154289 e.decoder.ack_delays[1].dly[0].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[6]._y:=0]
	   3154290 e.decoder.ack_delays[1].dly[0].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[6].y:=1]
	   3154321 e.decoder.ack_delays[1].dly[0].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[7]._y:=0]
	   3154323 e.decoder.ack_delays[1].dly[0].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[7].y:=1]
	   3154426 e.decoder.ack_delays[1].dly[0].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[8]._y:=0]
	   3174709 e.decoder._ortree.in[1] : 0  [by e.decoder._out_reqsB[1]:=1]
	   3174710 e.decoder._ortree.or2s[0]._y : 1  [by e.decoder._ortree.in[1]:=0]
	   3175159 e.decoder._ortree.out : 0  [by e.decoder._ortree.or2s[0]._y:=1]
	   3181363 e.decoder.addr_buf._out_a_B : 1  [by e.decoder._ortree.out:=0]
	   3181364 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	   3182575 e.decoder.addr_buf._out_a_BX_t[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
	   3214770 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	   3214923 e.decoder.addr_buf._out_a_BX_f[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
	   3217386 e.decoder.ack_delays[1].dly[0].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[8].y:=1]
	   3218271 e.decoder.ack_delays[1].dly[0].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[9]._y:=0]
	   3218627 e.decoder.ack_delays[1].dly[0].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[9].y:=1]
	   3268171 e.decoder.ack_delays[1].dly[0].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[10]._y:=0]
	   3268288 e.decoder.ack_delays[1].dly[0].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[10].y:=1]
	   3268290 e.decoder.ack_delays[1].dly[0].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[11]._y:=0]
	   3268298 e.decoder.ack_delays[1].dly[0].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[11].y:=1]
	   3282082 e.decoder.ack_delays[1].dly[0].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[12]._y:=0]
	   3295584 e.decoder.ack_delays[1].dly[0].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[12].y:=1]
	   3304224 e.decoder.ack_delays[1].dly[0].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[13]._y:=0]
	   3304225 e.decoder.ack_delays[1].dly[0].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[13].y:=1]
	   3305192 e.decoder.ack_delays[1].dly[0].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[14]._y:=0]
	   3334332 e.decoder.ack_delays[1].dly[0].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[14].y:=1]
	   3334353 e.decoder.ack_delays[1].dly[0].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[15]._y:=0]
	   3360204 e.decoder.ack_delays[1].dly[1].bufchain[0]._y : 0  [by e.decoder.ack_delays[1].dly[0].y:=1]
	   3360205 e.decoder.ack_delays[1].dly[1].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[0]._y:=0]
	   3365058 e.decoder.ack_delays[1].dly[1].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[0].y:=1]
	   3365078 e.decoder.ack_delays[1].dly[1].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[1]._y:=0]
	   3365229 e.decoder.ack_delays[1].dly[1].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[1].y:=1]
	   3365237 e.decoder.ack_delays[1].dly[1].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[2]._y:=0]
	   3371464 e.decoder.ack_delays[1].dly[1].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[2].y:=1]
	   3382284 e.decoder.ack_delays[1].dly[1].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[3]._y:=0]
	   3382477 e.decoder.ack_delays[1].dly[1].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[3].y:=1]
	   3407022 e.decoder.ack_delays[1].dly[1].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[4]._y:=0]
	   3407023 e.decoder.ack_delays[1].dly[1].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[4].y:=1]
	   3407574 e.decoder.ack_delays[1].dly[1].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[5]._y:=0]
	   3414304 e.decoder.ack_delays[1].dly[1].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[5].y:=1]
	   3414305 e.decoder.ack_delays[1].dly[1].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[6]._y:=0]
	   3432164 e.decoder.ack_delays[1].dly[1].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[6].y:=1]
	   3442198 e.decoder.ack_delays[1].dly[1].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[7]._y:=0]
	   3443790 e.decoder.ack_delays[1].dly[1].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[7].y:=1]
	   3444217 e.decoder.ack_delays[1].dly[1].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[8]._y:=0]
	   3490124 e.decoder.ack_delays[1].dly[1].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[8].y:=1]
	   3490138 e.decoder.ack_delays[1].dly[1].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[9]._y:=0]
	   3490303 e.decoder.ack_delays[1].dly[1].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[9].y:=1]
	   3492223 e.decoder.ack_delays[1].dly[1].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[10]._y:=0]
	   3492238 e.decoder.ack_delays[1].dly[1].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[10].y:=1]
	   3492239 e.decoder.ack_delays[1].dly[1].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[11]._y:=0]
	   3492240 e.decoder.ack_delays[1].dly[1].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[11].y:=1]
	   3492987 e.decoder.ack_delays[1].dly[1].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[12]._y:=0]
	   3493012 e.decoder.ack_delays[1].dly[1].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[12].y:=1]
	   3514456 e.decoder.ack_delays[1].dly[1].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[13]._y:=0]
	   3515045 e.decoder.ack_delays[1].dly[1].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[13].y:=1]
	   3515086 e.decoder.ack_delays[1].dly[1].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[14]._y:=0]
	   3540451 e.decoder.ack_delays[1].dly[1].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[14].y:=1]
	   3540458 e.decoder.ack_delays[1].dly[1].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[15]._y:=0]
	   3540615 e.decoder.ack_delays[1].dly[2].bufchain[0]._y : 0  [by e.decoder.ack_delays[1].dly[1].y:=1]
	   3540616 e.decoder.ack_delays[1].dly[2].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[0]._y:=0]
	   3549012 e.decoder.ack_delays[1].dly[2].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[0].y:=1]
	   3549021 e.decoder.ack_delays[1].dly[2].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[1]._y:=0]
	   3549044 e.decoder.ack_delays[1].dly[2].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[1].y:=1]
	   3549604 e.decoder.ack_delays[1].dly[2].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[2]._y:=0]
	   3551697 e.decoder.ack_delays[1].dly[2].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[2].y:=1]
	   3554425 e.decoder.ack_delays[1].dly[2].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[3]._y:=0]
	   3588225 e.decoder.ack_delays[1].dly[2].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[3].y:=1]
	   3588972 e.decoder.ack_delays[1].dly[2].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[4]._y:=0]
	   3588998 e.decoder.ack_delays[1].dly[2].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[4].y:=1]
	   3588999 e.decoder.ack_delays[1].dly[2].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[5]._y:=0]
	   3589000 e.decoder.ack_delays[1].dly[2].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[5].y:=1]
	   3596080 e.decoder.ack_delays[1].dly[2].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[6]._y:=0]
	   3596081 e.decoder.ack_delays[1].dly[2].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[6].y:=1]
	   3596082 e.decoder.ack_delays[1].dly[2].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[7]._y:=0]
	   3596213 e.decoder.ack_delays[1].dly[2].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[7].y:=1]
	   3596536 e.decoder.ack_delays[1].dly[2].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[8]._y:=0]
	   3596556 e.decoder.ack_delays[1].dly[2].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[8].y:=1]
	   3596729 e.decoder.ack_delays[1].dly[2].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[9]._y:=0]
	   3596732 e.decoder.ack_delays[1].dly[2].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[9].y:=1]
	   3611969 e.decoder.ack_delays[1].dly[2].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[10]._y:=0]
	   3614146 e.decoder.ack_delays[1].dly[2].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[10].y:=1]
	   3618412 e.decoder.ack_delays[1].dly[2].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[11]._y:=0]
	   3646545 e.decoder.ack_delays[1].dly[2].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[11].y:=1]
	   3678376 e.decoder.ack_delays[1].dly[2].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[12]._y:=0]
	   3692260 e.decoder.ack_delays[1].dly[2].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[12].y:=1]
	   3703351 e.decoder.ack_delays[1].dly[2].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[13]._y:=0]
	   3703705 e.decoder.ack_delays[1].dly[2].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[13].y:=1]
	   3704602 e.decoder.ack_delays[1].dly[2].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[14]._y:=0]
	   3715894 e.decoder.ack_delays[1].dly[2].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[14].y:=1]
	   3715912 e.decoder.req_bufs[1].in : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[15]._y:=0]
	   3719193 e.decoder.req_bufs[1].buf1._y : 0  [by e.decoder.req_bufs[1].in:=1]
	   3719460 e.decoder._out_acksB[1] : 1  [by e.decoder.req_bufs[1].buf1._y:=0]
	   3719880 e.decoder.pu_ORs[1]._y : 0  [by e.decoder._out_acksB[1]:=1]
	   3736996 e.decoder.pu_ORs[1].y : 1  [by e.decoder.pu_ORs[1]._y:=0]
	   3738697 e.decoder.pu_ANDs[1]._y : 0  [by e.decoder.pu_ORs[1].y:=1]
	   3738801 e.decoder.pu[1].a : 1  [by e.decoder.pu_ANDs[1]._y:=0]
[] Sending in a 1 packet
	   3738801 e.in.d.d[0].t : 1
	   3738801 e.in.d.d[2].f : 1
	   3738801 e.in.d.d[1].f : 1
	   3738802 e.decoder.addr_buf.vc.OR2_tf[1]._y : 0  [by e.in.d.d[1].f:=1]
	   3738823 e.decoder.addr_buf.t_buf_func[0]._y : 0  [by e.in.d.d[0].t:=1]
	   3739213 e.decoder.addr_buf.vc.ct.in[1] : 1  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=0]
	   3739346 e.decoder.addr_buf.vc.OR2_tf[0]._y : 0  [by e.in.d.d[0].t:=1]
	   3741386 e.decoder.addr_buf.f_buf_func[1]._y : 0  [by e.in.d.d[1].f:=1]
	   3742810 e.decoder.d_dr_y.in_fX[0].in : 1  [by e.decoder.addr_buf.f_buf_func[1]._y:=0]
	   3742905 e.decoder.d_dr_y.in_fX[0].buf1._y : 0  [by e.decoder.d_dr_y.in_fX[0].in:=1]
	   3742906 e.decoder.d_dr_y.atree[0].in[0] : 1  [by e.decoder.d_dr_y.in_fX[0].buf1._y:=0]
	   3745445 e.decoder.d_dr_x.in_tX[0].in : 1  [by e.decoder.addr_buf.t_buf_func[0]._y:=0]
	   3745446 e.decoder.vtree_x.OR2_tf[0]._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	   3747171 e.decoder.vtree_y.OR2_tf[0]._y : 0  [by e.decoder.d_dr_y.in_fX[0].in:=1]
	   3747213 e.decoder.vtree_y.ct.in[0] : 1  [by e.decoder.vtree_y.OR2_tf[0]._y:=0]
	   3751976 e.decoder.addr_buf.vc.ct.in[0] : 1  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=0]
	   3757147 e.decoder.addr_buf.vc.OR2_tf[2]._y : 0  [by e.in.d.d[2].f:=1]
	   3757375 e.decoder.addr_buf.vc.ct.in[2] : 1  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=0]
	   3758638 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 0  [by e.decoder.addr_buf.vc.ct.in[2]:=1]
	   3758768 e.decoder.addr_buf._in_v : 1  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=0]
	   3758769 e.decoder.addr_buf.in_v_buf._y : 0  [by e.decoder.addr_buf._in_v:=1]
	   3760502 e.in.v : 1  [by e.decoder.addr_buf.in_v_buf._y:=0]
	   3770475 e.decoder.vtree_x.ct.in[0] : 1  [by e.decoder.vtree_x.OR2_tf[0]._y:=0]
	   3770491 e.decoder.vtree_x.ct.b._y : 0  [by e.decoder.vtree_x.ct.in[0]:=1]
	   3770499 e.decoder.C2el.c1 : 1  [by e.decoder.vtree_x.ct.b._y:=0]
	   3774950 e.decoder.d_dr_x.in_tX[0].buf1._y : 0  [by e.decoder.d_dr_x.in_tX[0].in:=1]
	   3774955 e.decoder.d_dr_x.atree[1].in[0] : 1  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=0]
	   3774965 e.decoder.d_dr_x.atree[1].b._y : 0  [by e.decoder.d_dr_x.atree[1].in[0]:=1]
	   3775354 e.decoder.pu_ORs[1].b : 1  [by e.decoder.d_dr_x.atree[1].b._y:=0]
	   3790487 e.decoder.addr_buf.f_buf_func[2]._y : 0  [by e.in.d.d[2].f:=1]
	   3790579 e.decoder.d_dr_y.in_fX[1].in : 1  [by e.decoder.addr_buf.f_buf_func[2]._y:=0]
	   3790626 e.decoder.d_dr_y.in_fX[1].buf1._y : 0  [by e.decoder.d_dr_y.in_fX[1].in:=1]
	   3792440 e.decoder.vtree_y.OR2_tf[1]._y : 0  [by e.decoder.d_dr_y.in_fX[1].in:=1]
	   3801774 e.decoder.d_dr_y.atree[0].in[1] : 1  [by e.decoder.d_dr_y.in_fX[1].buf1._y:=0]
	   3806078 e.decoder.d_dr_y.atree[0].and2s[0]._y : 0  [by e.decoder.d_dr_y.atree[0].in[1]:=1]
	   3807411 e.decoder.d_dr_y.out[0] : 1  [by e.decoder.d_dr_y.atree[0].and2s[0]._y:=0]
	   3809647 e.decoder.vtree_y.ct.in[1] : 1  [by e.decoder.vtree_y.OR2_tf[1]._y:=0]
	   3809708 e.decoder.vtree_y.ct.C2Els[0]._y : 0  [by e.decoder.vtree_y.ct.in[1]:=1]
	   3809914 e.decoder.C2el.c2 : 1  [by e.decoder.vtree_y.ct.C2Els[0]._y:=0]
	   3809958 e.decoder.C2el._y : 0  [by e.decoder.C2el.c2:=1]
	   3809975 e.decoder.C2el.y : 1  [by e.decoder.C2el._y:=0]
	   3810365 e.decoder.addr_buf.inack_ctl._y : 0  [by e.decoder.C2el.y:=1]
	   3811562 e.in.a : 1  [by e.decoder.addr_buf.inack_ctl._y:=0]
	   3811563 e.decoder.addr_buf._en : 0  [by e.in.a:=1]
	   3811566 e.decoder.addr_buf.en_buf_f.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	   3811619 e.decoder.addr_buf._en_X_f[0] : 0  [by e.decoder.addr_buf.en_buf_f.buf1._y:=1]
	   3845691 e.decoder.addr_buf.en_buf_t.buf1._y : 1  [by e.decoder.addr_buf._en:=0]
	   3852358 e.decoder.addr_buf._en_X_t[0] : 0  [by e.decoder.addr_buf.en_buf_t.buf1._y:=1]
	   3863759 e.decoder._and_grid.ands[1]._y : 0  [by e.decoder.d_dr_y.out[0]:=1]
	   3863763 e.out[1].r : 1  [by e.decoder._and_grid.ands[1]._y:=0]
	   3865979 e.synapses[1].y : 0  [by e.out[1].r:=1]
[] Synapse [5] gives ack
	   3865979 e.out[1].a : 1
	   3865998 e.decoder._out_reqsB[1] : 0  [by e.out[1].a:=1]
	   3866001 e.decoder._ortree.in[1] : 1  [by e.decoder._out_reqsB[1]:=0]
	   3866004 e.decoder.ack_delays[1].dly[0].bufchain[0]._y : 1  [by e.decoder._out_reqsB[1]:=0]
	   3867680 e.decoder.req_keeps[1]._y : 1  [by e.decoder._out_reqsB[1]:=0]
	   3897437 e.decoder.ack_delays[1].dly[0].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[0]._y:=1]
	   3898420 e.decoder.ack_delays[1].dly[0].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[0].y:=0]
	   3898469 e.decoder.ack_delays[1].dly[0].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[1]._y:=1]
	   3906067 e.decoder._ortree.or2s[0]._y : 0  [by e.decoder._ortree.in[1]:=1]
	   3906085 e.decoder._ortree.out : 1  [by e.decoder._ortree.or2s[0]._y:=0]
	   3906091 e.decoder.addr_buf._out_a_B : 0  [by e.decoder._ortree.out:=1]
	   3906093 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	   3906096 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 1  [by e.decoder.addr_buf._out_a_B:=0]
	   3906431 e.decoder.addr_buf._out_a_BX_t[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=1]
	   3906466 e.decoder.addr_buf._out_a_BX_f[0] : 0  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=1]
	   3906467 e.decoder.addr_buf.f_buf_func[1]._y : 1  [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
	   3906552 e.decoder.addr_buf.f_buf_func[2]._y : 1  [by e.decoder.addr_buf._out_a_BX_f[0]:=0]
	   3906570 e.decoder.d_dr_y.in_fX[0].in : 0  [by e.decoder.addr_buf.f_buf_func[1]._y:=1]
	   3906583 e.decoder.vtree_y.OR2_tf[0]._y : 1  [by e.decoder.d_dr_y.in_fX[0].in:=0]
	   3906678 e.decoder.d_dr_y.in_fX[0].buf1._y : 1  [by e.decoder.d_dr_y.in_fX[0].in:=0]
	   3906679 e.decoder.d_dr_y.atree[0].in[0] : 0  [by e.decoder.d_dr_y.in_fX[0].buf1._y:=1]
	   3906680 e.decoder.d_dr_y.atree[0].and2s[0]._y : 1  [by e.decoder.d_dr_y.atree[0].in[0]:=0]
	   3906686 e.decoder.d_dr_y.out[0] : 0  [by e.decoder.d_dr_y.atree[0].and2s[0]._y:=1]
	   3907037 e.decoder.addr_buf.t_buf_func[0]._y : 1  [by e.decoder.addr_buf._out_a_BX_t[0]:=0]
	   3907055 e.decoder.d_dr_x.in_tX[0].in : 0  [by e.decoder.addr_buf.t_buf_func[0]._y:=1]
	   3907304 e.decoder.d_dr_y.in_fX[1].in : 0  [by e.decoder.addr_buf.f_buf_func[2]._y:=1]
	   3907982 e.decoder._and_grid.ands[1]._y : 1  [by e.decoder.d_dr_y.out[0]:=0]
	   3907983 e.out[1].r : 0  [by e.decoder._and_grid.ands[1]._y:=1]
	   3907984 e.synapses[1].y : 1  [by e.out[1].r:=0]
	   3908009 e.decoder.vtree_y.OR2_tf[1]._y : 1  [by e.decoder.d_dr_y.in_fX[1].in:=0]
	   3910089 e.decoder.vtree_x.OR2_tf[0]._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	   3910090 e.decoder.vtree_x.ct.in[0] : 0  [by e.decoder.vtree_x.OR2_tf[0]._y:=1]
	   3910146 e.decoder.ack_delays[1].dly[0].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[1].y:=0]
	   3910853 e.decoder.vtree_y.ct.in[1] : 0  [by e.decoder.vtree_y.OR2_tf[1]._y:=1]
	   3911566 e.decoder.vtree_x.ct.b._y : 1  [by e.decoder.vtree_x.ct.in[0]:=0]
	   3920903 e.decoder.vtree_y.ct.in[0] : 0  [by e.decoder.vtree_y.OR2_tf[0]._y:=1]
	   3920942 e.decoder.vtree_y.ct.C2Els[0]._y : 1  [by e.decoder.vtree_y.ct.in[0]:=0]
	   3920945 e.decoder.C2el.c2 : 0  [by e.decoder.vtree_y.ct.C2Els[0]._y:=1]
	   3921257 e.decoder.C2el.c1 : 0  [by e.decoder.vtree_x.ct.b._y:=1]
	   3921415 e.decoder.C2el._y : 1  [by e.decoder.C2el.c1:=0]
	   3925026 e.decoder.C2el.y : 0  [by e.decoder.C2el._y:=1]
	   3935359 e.decoder.d_dr_x.in_tX[0].buf1._y : 1  [by e.decoder.d_dr_x.in_tX[0].in:=0]
	   3935376 e.decoder.d_dr_x.atree[1].in[0] : 0  [by e.decoder.d_dr_x.in_tX[0].buf1._y:=1]
	   3937607 e.out[1].a : 0  [by e.synapses[1].y:=1]
	   3945064 e.decoder.d_dr_x.atree[1].b._y : 1  [by e.decoder.d_dr_x.atree[1].in[0]:=0]
	   3962073 e.decoder.d_dr_y.in_fX[1].buf1._y : 1  [by e.decoder.d_dr_y.in_fX[1].in:=0]
	   3963330 e.decoder.d_dr_y.atree[0].in[1] : 0  [by e.decoder.d_dr_y.in_fX[1].buf1._y:=1]
	   3966275 e.decoder.ack_delays[1].dly[0].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[2]._y:=1]
	   3983528 e.decoder.ack_delays[1].dly[0].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[2].y:=0]
	   3984818 e.decoder.ack_delays[1].dly[0].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[3]._y:=1]
	   3998661 e.decoder.ack_delays[1].dly[0].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[3].y:=0]
	   4004057 e.decoder.pu_ORs[1].b : 0  [by e.decoder.d_dr_x.atree[1].b._y:=1]
	   4044178 e.decoder.ack_delays[1].dly[0].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[4]._y:=1]
	   4044180 e.decoder.ack_delays[1].dly[0].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[4].y:=0]
	   4044186 e.decoder.ack_delays[1].dly[0].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[5]._y:=1]
	   4044345 e.decoder.ack_delays[1].dly[0].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[5].y:=0]
	   4051424 e.decoder.ack_delays[1].dly[0].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[6]._y:=1]
	   4051475 e.decoder.ack_delays[1].dly[0].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[6].y:=0]
	   4052132 e.decoder.ack_delays[1].dly[0].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[7]._y:=1]
	   4052418 e.decoder.ack_delays[1].dly[0].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[7].y:=0]
	   4052537 e.decoder.ack_delays[1].dly[0].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[8]._y:=1]
	   4066722 e.decoder.ack_delays[1].dly[0].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[8].y:=0]
	   4083333 e.decoder.ack_delays[1].dly[0].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[9]._y:=1]
	   4083603 e.decoder.ack_delays[1].dly[0].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[9].y:=0]
	   4083815 e.decoder.ack_delays[1].dly[0].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[10]._y:=1]
	   4093697 e.decoder.ack_delays[1].dly[0].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[10].y:=0]
	   4093698 e.decoder.ack_delays[1].dly[0].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[11]._y:=1]
	   4105369 e.decoder.ack_delays[1].dly[0].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[11].y:=0]
	   4105371 e.decoder.ack_delays[1].dly[0].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[12]._y:=1]
	   4105398 e.decoder.ack_delays[1].dly[0].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[12].y:=0]
	   4105465 e.decoder.ack_delays[1].dly[0].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[13]._y:=1]
	   4105474 e.decoder.ack_delays[1].dly[0].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[13].y:=0]
	   4121989 e.decoder.ack_delays[1].dly[0].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[14]._y:=1]
	   4122688 e.decoder.ack_delays[1].dly[0].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[14].y:=0]
	   4122689 e.decoder.ack_delays[1].dly[0].y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[15]._y:=1]
	   4124395 e.decoder.ack_delays[1].dly[1].bufchain[0]._y : 1  [by e.decoder.ack_delays[1].dly[0].y:=0]
	   4124821 e.decoder.ack_delays[1].dly[1].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[0]._y:=1]
	   4126342 e.decoder.ack_delays[1].dly[1].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[0].y:=0]
	   4126588 e.decoder.ack_delays[1].dly[1].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[1]._y:=1]
	   4163525 e.decoder.ack_delays[1].dly[1].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[1].y:=0]
	   4166043 e.decoder.ack_delays[1].dly[1].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[2]._y:=1]
	   4220096 e.decoder.ack_delays[1].dly[1].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[2].y:=0]
	   4269445 e.decoder.ack_delays[1].dly[1].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[3]._y:=1]
	   4269655 e.decoder.ack_delays[1].dly[1].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[3].y:=0]
	   4269681 e.decoder.ack_delays[1].dly[1].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[4]._y:=1]
	   4269732 e.decoder.ack_delays[1].dly[1].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[4].y:=0]
	   4269868 e.decoder.ack_delays[1].dly[1].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[5]._y:=1]
	   4271382 e.decoder.ack_delays[1].dly[1].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[5].y:=0]
	   4280600 e.decoder.ack_delays[1].dly[1].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[6]._y:=1]
	   4280608 e.decoder.ack_delays[1].dly[1].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[6].y:=0]
	   4280616 e.decoder.ack_delays[1].dly[1].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[7]._y:=1]
	   4285935 e.decoder.ack_delays[1].dly[1].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[7].y:=0]
	   4286902 e.decoder.ack_delays[1].dly[1].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[8]._y:=1]
	   4295626 e.decoder.ack_delays[1].dly[1].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[8].y:=0]
	   4320839 e.decoder.ack_delays[1].dly[1].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[9]._y:=1]
	   4320848 e.decoder.ack_delays[1].dly[1].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[9].y:=0]
	   4324917 e.decoder.ack_delays[1].dly[1].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[10]._y:=1]
	   4324919 e.decoder.ack_delays[1].dly[1].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[10].y:=0]
	   4325073 e.decoder.ack_delays[1].dly[1].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[11]._y:=1]
	   4325117 e.decoder.ack_delays[1].dly[1].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[11].y:=0]
	   4366753 e.decoder.ack_delays[1].dly[1].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[12]._y:=1]
	   4366781 e.decoder.ack_delays[1].dly[1].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[12].y:=0]
	   4366784 e.decoder.ack_delays[1].dly[1].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[13]._y:=1]
	   4368461 e.decoder.ack_delays[1].dly[1].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[13].y:=0]
	   4368476 e.decoder.ack_delays[1].dly[1].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[14]._y:=1]
	   4368477 e.decoder.ack_delays[1].dly[1].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[14].y:=0]
	   4372473 e.decoder.ack_delays[1].dly[1].y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[15]._y:=1]
	   4373461 e.decoder.ack_delays[1].dly[2].bufchain[0]._y : 1  [by e.decoder.ack_delays[1].dly[1].y:=0]
	   4373847 e.decoder.ack_delays[1].dly[2].bufchain[0].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[0]._y:=1]
	   4376523 e.decoder.ack_delays[1].dly[2].bufchain[1]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[0].y:=0]
	   4411456 e.decoder.ack_delays[1].dly[2].bufchain[1].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[1]._y:=1]
	   4412743 e.decoder.ack_delays[1].dly[2].bufchain[2]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[1].y:=0]
	   4433194 e.decoder.ack_delays[1].dly[2].bufchain[2].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[2]._y:=1]
	   4436173 e.decoder.ack_delays[1].dly[2].bufchain[3]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[2].y:=0]
	   4436391 e.decoder.ack_delays[1].dly[2].bufchain[3].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[3]._y:=1]
	   4481413 e.decoder.ack_delays[1].dly[2].bufchain[4]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[3].y:=0]
	   4505126 e.decoder.ack_delays[1].dly[2].bufchain[4].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[4]._y:=1]
	   4505197 e.decoder.ack_delays[1].dly[2].bufchain[5]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[4].y:=0]
	   4514518 e.decoder.ack_delays[1].dly[2].bufchain[5].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[5]._y:=1]
	   4515165 e.decoder.ack_delays[1].dly[2].bufchain[6]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[5].y:=0]
	   4516067 e.decoder.ack_delays[1].dly[2].bufchain[6].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[6]._y:=1]
	   4524152 e.decoder.ack_delays[1].dly[2].bufchain[7]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[6].y:=0]
	   4524455 e.decoder.ack_delays[1].dly[2].bufchain[7].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[7]._y:=1]
	   4581150 e.decoder.ack_delays[1].dly[2].bufchain[8]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[7].y:=0]
	   4581486 e.decoder.ack_delays[1].dly[2].bufchain[8].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[8]._y:=1]
	   4614294 e.decoder.ack_delays[1].dly[2].bufchain[9]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[8].y:=0]
	   4676953 e.decoder.ack_delays[1].dly[2].bufchain[9].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[9]._y:=1]
	   4676954 e.decoder.ack_delays[1].dly[2].bufchain[10]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[9].y:=0]
	   4676972 e.decoder.ack_delays[1].dly[2].bufchain[10].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[10]._y:=1]
	   4676973 e.decoder.ack_delays[1].dly[2].bufchain[11]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[10].y:=0]
	   4676980 e.decoder.ack_delays[1].dly[2].bufchain[11].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[11]._y:=1]
	   4689962 e.decoder.ack_delays[1].dly[2].bufchain[12]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[11].y:=0]
	   4689987 e.decoder.ack_delays[1].dly[2].bufchain[12].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[12]._y:=1]
	   4689988 e.decoder.ack_delays[1].dly[2].bufchain[13]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[12].y:=0]
	   4690154 e.decoder.ack_delays[1].dly[2].bufchain[13].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[13]._y:=1]
	   4690163 e.decoder.ack_delays[1].dly[2].bufchain[14]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[13].y:=0]
	   4690172 e.decoder.ack_delays[1].dly[2].bufchain[14].y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[14]._y:=1]
	   4693766 e.decoder.ack_delays[1].dly[2].bufchain[15]._y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[14].y:=0]
	   4693877 e.decoder.req_bufs[1].in : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[15]._y:=1]
	   4694746 e.decoder.req_bufs[1].buf1._y : 1  [by e.decoder.req_bufs[1].in:=0]
	   4694750 e.decoder._out_acksB[1] : 0  [by e.decoder.req_bufs[1].buf1._y:=1]
	   4694780 e.decoder.pu_ORs[1]._y : 1  [by e.decoder._out_acksB[1]:=0]
	   4694781 e.decoder.pu_ORs[1].y : 0  [by e.decoder.pu_ORs[1]._y:=1]
	   4703730 e.decoder.pu_ANDs[1]._y : 1  [by e.decoder.pu_ORs[1].y:=0]
	   4714483 e.decoder.pu[1].a : 0  [by e.decoder.pu_ANDs[1]._y:=1]
	   4744283 e.decoder._out_reqsB[1] : 1  [by e.decoder.pu[1].a:=0]
	   4744497 e.decoder.req_keeps[1]._y : 0  [by e.decoder._out_reqsB[1]:=1]
	   4745184 e.decoder.ack_delays[1].dly[0].bufchain[0]._y : 0  [by e.decoder._out_reqsB[1]:=1]
	   4749923 e.decoder._ortree.in[1] : 0  [by e.decoder._out_reqsB[1]:=1]
	   4750722 e.decoder._ortree.or2s[0]._y : 1  [by e.decoder._ortree.in[1]:=0]
	   4762020 e.decoder._ortree.out : 0  [by e.decoder._ortree.or2s[0]._y:=1]
	   4762025 e.decoder.addr_buf._out_a_B : 1  [by e.decoder._ortree.out:=0]
	   4762258 e.decoder.addr_buf.out_a_B_buf_f.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	   4762266 e.decoder.addr_buf._out_a_BX_t[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_f.buf1._y:=0]
	   4782421 e.decoder.addr_buf.out_a_B_buf_t.buf1._y : 0  [by e.decoder.addr_buf._out_a_B:=1]
	   4782462 e.decoder.addr_buf._out_a_BX_f[0] : 1  [by e.decoder.addr_buf.out_a_B_buf_t.buf1._y:=0]
	   4800171 e.decoder.ack_delays[1].dly[0].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[0]._y:=0]
	   4814765 e.decoder.ack_delays[1].dly[0].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[0].y:=1]
	   4820644 e.decoder.ack_delays[1].dly[0].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[1]._y:=0]
	   4821599 e.decoder.ack_delays[1].dly[0].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[1].y:=1]
	   4821700 e.decoder.ack_delays[1].dly[0].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[2]._y:=0]
	   4821702 e.decoder.ack_delays[1].dly[0].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[2].y:=1]
	   4822228 e.decoder.ack_delays[1].dly[0].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[3]._y:=0]
	   4822254 e.decoder.ack_delays[1].dly[0].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[3].y:=1]
	   4824554 e.decoder.ack_delays[1].dly[0].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[4]._y:=0]
	   4824555 e.decoder.ack_delays[1].dly[0].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[4].y:=1]
	   4824630 e.decoder.ack_delays[1].dly[0].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[5]._y:=0]
	   4824639 e.decoder.ack_delays[1].dly[0].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[5].y:=1]
	   4824895 e.decoder.ack_delays[1].dly[0].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[6]._y:=0]
	   4824896 e.decoder.ack_delays[1].dly[0].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[6].y:=1]
	   4833614 e.decoder.ack_delays[1].dly[0].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[7]._y:=0]
	   4833741 e.decoder.ack_delays[1].dly[0].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[7].y:=1]
	   4833781 e.decoder.ack_delays[1].dly[0].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[8]._y:=0]
	   4846462 e.decoder.ack_delays[1].dly[0].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[8].y:=1]
	   4846490 e.decoder.ack_delays[1].dly[0].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[9]._y:=0]
	   4849187 e.decoder.ack_delays[1].dly[0].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[9].y:=1]
	   4850750 e.decoder.ack_delays[1].dly[0].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[10]._y:=0]
	   4883061 e.decoder.ack_delays[1].dly[0].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[10].y:=1]
	   4920868 e.decoder.ack_delays[1].dly[0].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[11]._y:=0]
	   4923566 e.decoder.ack_delays[1].dly[0].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[11].y:=1]
	   4926813 e.decoder.ack_delays[1].dly[0].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[12]._y:=0]
	   4926917 e.decoder.ack_delays[1].dly[0].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[12].y:=1]
	   4927447 e.decoder.ack_delays[1].dly[0].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[13]._y:=0]
	   4927874 e.decoder.ack_delays[1].dly[0].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[13].y:=1]
	   4927875 e.decoder.ack_delays[1].dly[0].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[14]._y:=0]
	   4929352 e.decoder.ack_delays[1].dly[0].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[0].bufchain[14].y:=1]
	   4930172 e.decoder.ack_delays[1].dly[0].y : 1  [by e.decoder.ack_delays[1].dly[0].bufchain[15]._y:=0]
	   4975451 e.decoder.ack_delays[1].dly[1].bufchain[0]._y : 0  [by e.decoder.ack_delays[1].dly[0].y:=1]
	   4979572 e.decoder.ack_delays[1].dly[1].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[0]._y:=0]
	   4983376 e.decoder.ack_delays[1].dly[1].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[0].y:=1]
	   4983497 e.decoder.ack_delays[1].dly[1].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[1]._y:=0]
	   4990715 e.decoder.ack_delays[1].dly[1].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[1].y:=1]
	   4990716 e.decoder.ack_delays[1].dly[1].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[2]._y:=0]
	   4990940 e.decoder.ack_delays[1].dly[1].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[2].y:=1]
	   4991059 e.decoder.ack_delays[1].dly[1].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[3]._y:=0]
	   4991061 e.decoder.ack_delays[1].dly[1].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[3].y:=1]
	   4991073 e.decoder.ack_delays[1].dly[1].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[4]._y:=0]
	   4991131 e.decoder.ack_delays[1].dly[1].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[4].y:=1]
	   4991292 e.decoder.ack_delays[1].dly[1].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[5]._y:=0]
	   4991640 e.decoder.ack_delays[1].dly[1].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[5].y:=1]
	   4991708 e.decoder.ack_delays[1].dly[1].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[6]._y:=0]
	   5025791 e.decoder.ack_delays[1].dly[1].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[6].y:=1]
	   5025795 e.decoder.ack_delays[1].dly[1].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[7]._y:=0]
	   5025882 e.decoder.ack_delays[1].dly[1].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[7].y:=1]
	   5026226 e.decoder.ack_delays[1].dly[1].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[8]._y:=0]
	   5026237 e.decoder.ack_delays[1].dly[1].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[8].y:=1]
	   5026649 e.decoder.ack_delays[1].dly[1].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[9]._y:=0]
	   5026650 e.decoder.ack_delays[1].dly[1].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[9].y:=1]
	   5026651 e.decoder.ack_delays[1].dly[1].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[10]._y:=0]
	   5027244 e.decoder.ack_delays[1].dly[1].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[10].y:=1]
	   5028009 e.decoder.ack_delays[1].dly[1].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[11]._y:=0]
	   5037613 e.decoder.ack_delays[1].dly[1].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[11].y:=1]
	   5037614 e.decoder.ack_delays[1].dly[1].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[12]._y:=0]
	   5037783 e.decoder.ack_delays[1].dly[1].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[12].y:=1]
	   5101458 e.decoder.ack_delays[1].dly[1].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[13]._y:=0]
	   5101488 e.decoder.ack_delays[1].dly[1].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[13].y:=1]
	   5101491 e.decoder.ack_delays[1].dly[1].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[14]._y:=0]
	   5109333 e.decoder.ack_delays[1].dly[1].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[1].bufchain[14].y:=1]
	   5119222 e.decoder.ack_delays[1].dly[1].y : 1  [by e.decoder.ack_delays[1].dly[1].bufchain[15]._y:=0]
	   5119261 e.decoder.ack_delays[1].dly[2].bufchain[0]._y : 0  [by e.decoder.ack_delays[1].dly[1].y:=1]
	   5158795 e.decoder.ack_delays[1].dly[2].bufchain[0].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[0]._y:=0]
	   5158805 e.decoder.ack_delays[1].dly[2].bufchain[1]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[0].y:=1]
	   5159658 e.decoder.ack_delays[1].dly[2].bufchain[1].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[1]._y:=0]
	   5159660 e.decoder.ack_delays[1].dly[2].bufchain[2]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[1].y:=1]
	   5160698 e.decoder.ack_delays[1].dly[2].bufchain[2].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[2]._y:=0]
	   5163800 e.decoder.ack_delays[1].dly[2].bufchain[3]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[2].y:=1]
	   5163803 e.decoder.ack_delays[1].dly[2].bufchain[3].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[3]._y:=0]
	   5163810 e.decoder.ack_delays[1].dly[2].bufchain[4]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[3].y:=1]
	   5163981 e.decoder.ack_delays[1].dly[2].bufchain[4].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[4]._y:=0]
	   5164169 e.decoder.ack_delays[1].dly[2].bufchain[5]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[4].y:=1]
	   5166547 e.decoder.ack_delays[1].dly[2].bufchain[5].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[5]._y:=0]
	   5166875 e.decoder.ack_delays[1].dly[2].bufchain[6]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[5].y:=1]
	   5167714 e.decoder.ack_delays[1].dly[2].bufchain[6].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[6]._y:=0]
	   5188053 e.decoder.ack_delays[1].dly[2].bufchain[7]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[6].y:=1]
	   5188056 e.decoder.ack_delays[1].dly[2].bufchain[7].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[7]._y:=0]
	   5188086 e.decoder.ack_delays[1].dly[2].bufchain[8]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[7].y:=1]
	   5189710 e.decoder.ack_delays[1].dly[2].bufchain[8].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[8]._y:=0]
	   5200731 e.decoder.ack_delays[1].dly[2].bufchain[9]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[8].y:=1]
	   5200738 e.decoder.ack_delays[1].dly[2].bufchain[9].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[9]._y:=0]
	   5200739 e.decoder.ack_delays[1].dly[2].bufchain[10]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[9].y:=1]
	   5254085 e.decoder.ack_delays[1].dly[2].bufchain[10].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[10]._y:=0]
	   5254091 e.decoder.ack_delays[1].dly[2].bufchain[11]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[10].y:=1]
	   5263102 e.decoder.ack_delays[1].dly[2].bufchain[11].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[11]._y:=0]
	   5263368 e.decoder.ack_delays[1].dly[2].bufchain[12]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[11].y:=1]
	   5305680 e.decoder.ack_delays[1].dly[2].bufchain[12].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[12]._y:=0]
	   5305749 e.decoder.ack_delays[1].dly[2].bufchain[13]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[12].y:=1]
	   5307702 e.decoder.ack_delays[1].dly[2].bufchain[13].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[13]._y:=0]
	   5307717 e.decoder.ack_delays[1].dly[2].bufchain[14]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[13].y:=1]
	   5307718 e.decoder.ack_delays[1].dly[2].bufchain[14].y : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[14]._y:=0]
	   5308178 e.decoder.ack_delays[1].dly[2].bufchain[15]._y : 0  [by e.decoder.ack_delays[1].dly[2].bufchain[14].y:=1]
	   5309331 e.decoder.req_bufs[1].in : 1  [by e.decoder.ack_delays[1].dly[2].bufchain[15]._y:=0]
	   5322488 e.decoder.req_bufs[1].buf1._y : 0  [by e.decoder.req_bufs[1].in:=1]
	   5323711 e.decoder._out_acksB[1] : 1  [by e.decoder.req_bufs[1].buf1._y:=0]
	   5323836 e.decoder.pu_ORs[1]._y : 0  [by e.decoder._out_acksB[1]:=1]
	   5324017 e.decoder.pu_ORs[1].y : 1  [by e.decoder.pu_ORs[1]._y:=0]
	   5324523 e.decoder.pu_ANDs[1]._y : 0  [by e.decoder.pu_ORs[1].y:=1]
	   5359541 e.decoder.pu[1].a : 1  [by e.decoder.pu_ANDs[1]._y:=0]
[] Removing input
	   5359541 e.in.d.d[0].t : 0
	   5359541 e.in.d.d[2].f : 0
	   5359541 e.in.d.d[1].f : 0
	   5359542 e.decoder.addr_buf.vc.OR2_tf[1]._y : 1  [by e.in.d.d[1].f:=0]
	   5359707 e.decoder.addr_buf.vc.ct.in[1] : 0  [by e.decoder.addr_buf.vc.OR2_tf[1]._y:=1]
	   5359880 e.decoder.addr_buf.vc.OR2_tf[2]._y : 1  [by e.in.d.d[2].f:=0]
	   5359964 e.decoder.addr_buf.vc.ct.in[2] : 0  [by e.decoder.addr_buf.vc.OR2_tf[2]._y:=1]
	   5382323 e.decoder.addr_buf.vc.OR2_tf[0]._y : 1  [by e.in.d.d[0].t:=0]
	   5383712 e.decoder.addr_buf.vc.ct.in[0] : 0  [by e.decoder.addr_buf.vc.OR2_tf[0]._y:=1]
	   5383713 e.decoder.addr_buf.vc.ct.C3Els[0]._y : 1  [by e.decoder.addr_buf.vc.ct.in[0]:=0]
	   5383829 e.decoder.addr_buf._in_v : 0  [by e.decoder.addr_buf.vc.ct.C3Els[0]._y:=1]
	   5397319 e.decoder.addr_buf.in_v_buf._y : 1  [by e.decoder.addr_buf._in_v:=0]
	   5397320 e.in.v : 0  [by e.decoder.addr_buf.in_v_buf._y:=1]
	   5397480 e.decoder.addr_buf.inack_ctl._y : 1  [by e.in.v:=0]
	   5397487 e.in.a : 0  [by e.decoder.addr_buf.inack_ctl._y:=1]
	   5398069 e.decoder.addr_buf._en : 1  [by e.in.a:=0]
	   5398075 e.decoder.addr_buf.en_buf_f.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	   5398087 e.decoder.addr_buf._en_X_f[0] : 1  [by e.decoder.addr_buf.en_buf_f.buf1._y:=0]
	   5398590 e.decoder.addr_buf.en_buf_t.buf1._y : 0  [by e.decoder.addr_buf._en:=1]
	   5399212 e.decoder.addr_buf._en_X_t[0] : 1  [by e.decoder.addr_buf.en_buf_t.buf1._y:=0]
