actlib_dataflow_neuro/test/unit_tests/encoder2D_8x7/run/prsim.out

835 lines
68 KiB
Plaintext

e.y[3].a e.y[0].a e.e.Xarb.arbs[1]._y2_arb e.x[4].r e.e.x_enc_out.d[0].f e.e.x_enc_out.d[2].f e.e.x_ack_arb[0].buf1._y e.e.y_encoder.ors_t[0].tmp[5] e.e._x_temp[7].a e.y[6].r e.e.y_encoder.ors_t[1].or2s[1]._y e.e.y_enc_out.d[1].f e.e.Xarb.tmp[9].a e.e.x_enc_out.d[2].t e.y[4].a e.out.v e.e.Yarb.tmp[7].a e.e.Xarb.tmp[8].a e.x[2].a e.e.Yarb.tmp[7].r e.e._y_temp[1].a e.e.y_encoder.ors_t[2].tmp[4] e.e.buf_s_func._en_X_f[0] e.e._x_temp[2].a e.e.Yarb.tmp[11].r e.e._y_temp[5].a e.e.x_ack_arb[6].buf1._y e.e.buf_s_func._out_a_BX_f[0] e.y[1].a e.e.y_ack_arb[3].buf1._y e.e.Xarb.tmp[10].a e.x[6].r e.x[5].r e.e.buf_s_func.in_v_buf_t.buf2._y e.y[1].r e.e._arb_out_y.r e.x[2].r e.out.a e.e.y_enc_out.d[2].t e.e.Xarb.arbs[6]._y1_arb e.e.x_enc_out.d[0].t e.e.Xarb.arbs[5]._y2_arb e.y[5].r e.x[6].a e.e._x_v e.e._en e.e._x_temp[4].a e.x[7].r e.e.buf_s_func.en_buf_t.buf2._y e.e.Yarb.tmp[12].a e.e._y_temp[4].a e.e.Yarb.tmp[8].r e.e.Xarb.tmp[8].r e.e.y_enc_out.d[0].t e.e._in_x_v e.e.Xarb.arbs[2].arbiter._y2 e.e.y_encoder.ors_f[0].tmp[4] e.e.Xarb.arbs[0]._y2_arb e.y[0].r e.e._y_temp[0].a e.e.Xarb.arbs[5].arbiter._y1 e.e.Xarb.tmp[12].a e.y[6].a e.e.Yarb.arbs[0]._y1_arb e.e.y_enc_out.d[0].f e.e.x_encoder.ors_f[1].tmp[5] e.e.x_req_ortree.tmp[9] e.e.Xarb.tmp[11].a e.e.buf_s_func.out_a_B_buf_f.buf2._y e.x[5].a e.e.y_encoder.ors_f[0].tmp[5] e.e._x_temp[5].a e.e.y_encoder.ors_f[2].tmp[5] e.e.Yarb.arbs[5]._y2_arb e.e.x_enc_out.d[1].f e.e.y_encoder.ors_t[2].tmp[5] e.x[4].a e.e.Yarb.arbs[1]._y1_arb e.e._in_xy_v.y e.e.x_req_ortree.tmp[13] e.e.x_enc_out.d[1].t e.x[3].a e.e.buf_s_func.en_buf_f.buf2._y e.y[2].a e.e.Xarb.arbs[1]._y1_arb e.e.vtree_y.ct.in[0] e.e.buf_s_func._in_vXX_f[0] e.e.Yarb.arbs[4].or_cell._y e.y[2].r e.e.buf_s_func._in_vXX_t[0] e.e.x_encoder.ors_t[1].tmp[4] e.e.Xarb.tmp[13].r e.x[7].a e.x[1].a e.e.Xarb.arbs[0].arbiter._y1 e.e.Yarb.tmp[8].a e.x[1].r e.y[5].a e.x[0].a e.x[3].r e.e.vtree_x.ct.in[0] e.e.Xarb.tmp[13].a e.e.x_encoder.ors_f[2].tmp[4] e.y[3].r e.e.vtree_x.ct.in[2] e.e.buf_s_func._out_a_BX_t[0] e.e.Xarb.arbs[0]._y1_arb e.e._y_temp[2].a e.e.Xarb.arbs[2].ack_cell2._y e.e.x_req_ortree.tmp[8] e.e.vtree_y.ct.in[2] e.e.Yarb.arbs[1].arbiter._y1 e.e.buf_s_func._en_X_t[0] e.x[0].r e.e.y_enc_out.d[2].f e.y[4].r e.e.Xarb.arbs[3]._y1_arb e.e.y_encoder.ors_f[0].or2s[2]._y e.e.buf_s_func._in_vX e.e.Yarb.arbs[1]._y2_arb e.e.Yarb.tmp[9].r e.e.y_encoder.ors_f[1].tmp[5] e.e._y_temp[3].a e.e.Xarb.arbs[6]._y2_arb e.e.Xarb.tmp[12].r e.e.Xarb.arbs[3].arbiter._y2 e.e.x_encoder.ors_f[0].tmp[5] e.e.y_enc_out.d[1].t e.e._y_temp[6].a e.e.y_encoder.ors_f[1].or2s[1]._y e.e.x_req_ortree.or2s[2]._y e.e._x_temp[3].a e.e.Yarb.tmp[11].a e.e.x_req_ortree.tmp[11] e.e.Xarb.arbs[5]._y1_arb e.e.Xarb.arbs[0].arbiter._y2 e.e.Yarb.arbs[2]._y2_arb e.e._in_y_v e.e.Yarb.tmp[9].a e.e.Yarb.tmp[12].r e.e.y_encoder.ors_t[1].tmp[5] e.e.buf_s_func._out_a_B e.e.Xarb.tmp[10].r e.e.Yarb.arbs[0]._y2_arb e.e.y_encoder.ors_t[0].tmp[4] e.e.x_req_ortree.tmp[12] e.e.Xarb.tmp[11].r e.e._arb_out_x.r e.e.Xarb.arbs[5].ack_cell1._y e.e.x_req_ortree.tmp[10] e.e.Yarb.arbs[5]._y1_arb e.e.Yarb.arbs[3]._y2_arb e.e.Yarb.arbs[2].or_cell._y e.e.y_ack_arb[1].buf1._y e.e.Xarb.arbs[6].arbiter._y2 e.e.Yarb.arbs[0].ack_cell2._y e.e.vtree_x.OR2_tf[1]._y e.e.Xarb.arbs[4]._y1_arb e.e._x_temp[6].a e.e._x_temp[1].a e.e.y_encoder.ors_t[1].tmp[4] e.e.Xarb.tmp[9].r e.e.x_encoder.ors_t[2].or2s[0]._y e.e.y_ack_arb[5].buf1._y e.e.Xarb.arbs[2]._y1_arb e.e.Xarb.arbs[5].or_cell._y e.e.x_ack_arb[5].buf1._y e.e.Xarb.arbs[2].arbiter._y1 e.e.x_encoder.ors_f[0].or2s[2]._y e.e.Xarb.arbs[6].or_cell._y e.e.x_encoder.ors_t[1].tmp[5] e.e.Yarb.arbs[2].ack_cell1._y e.e.buf_s_func.in_v_prebuf._y e.e.x_encoder.ors_f[1].or2s[1]._y e.e.Xarb.arbs[2]._y2_arb e.e.Xarb.arbs[6].ack_cell1._y e.e.Xarb.arbs[4]._y2_arb e.e.Yarb.arbs[3].arbiter._y2 e.e._x_temp[0].a e.e.Xarb.arbs[4].arbiter._y2 e.e.x_encoder.ors_t[2].tmp[5] e.e.Yarb.arbs[4].ack_cell2._y e.e.x_req_ortree.or2s[4]._y e.e.Yarb.arbs[5].or_cell._y e.e.vtree_y.ct.in[1] e.e.y_encoder.ors_f[1].tmp[4] e.e.y_encoder.ors_t[1].or2s[0]._y e.e.x_encoder.ors_t[2].or2s[1]._y e.e.Xarb.arbs[3].ack_cell1._y e.e.x_req_ortree.or2s[5]._y e.e.Xarb.arbs[3]._y2_arb e.e.x_encoder.ors_f[2].tmp[5] e.e.Xarb.arbs[4].ack_cell2._y e.e.x_encoder.ors_t[0].tmp[4] e.e.Yarb.arbs[4]._y2_arb e.e.Xarb.arbs[1].arbiter._y1 e.e.Xarb.arbs[5].arbiter._y2 e.e.y_encoder.ors_f[2].tmp[4] e.e.Yarb.arbs[3]._y1_arb e.e.Yarb.arbs[2].arbiter._y1 e.e.x_encoder.ors_t[2].tmp[4] e.e.y_encoder.ors_f[0].or2s[1]._y e.e.x_ack_arb[7].buf1._y e.e.x_ack_arb[1].buf1._y e.e.Xarb.arbs[4].or_cell._y e.e.Yarb.arbs[4].arbiter._y1 e.e.Yarb.arbs[5].arbiter._y2 e.e.Xarb.arbs[4].ack_cell1._y e.e.Yarb.arbs[0].or_cell._y e.e.x_encoder.ors_t[0].or2s[1]._y e.e.x_ack_arb[2].buf1._y e.e.Yarb.arbs[4]._y1_arb e.e.Yarb.arbs[2]._y1_arb e.e.y_encoder.ors_t[0].or2s[2]._y e.e.vtree_x.ct.C3Els[0]._y e.e.x_encoder.ors_f[1].or2s[0]._y e.e.vtree_y.OR2_tf[0]._y e.e.Xarb.arbs[6].ack_cell2._y e.e.x_encoder.ors_f[0].or2s[1]._y e.e.x_ack_arb[4].buf1._y e.e.Xarb.arbs[3].arbiter._y1 e.e.Yarb.arbs[0].ack_cell1._y e.e.y_encoder.ors_t[2].or2s[2]._y e.e.Xarb.arbs[1].arbiter._y2 e.e.y_encoder.ors_f[1].or2s[0]._y e.e.Xarb.arbs[6].arbiter._y1 e.e.x_encoder.ors_t[1].or2s[2]._y e.e.Xarb.arbs[1].ack_cell2._y e.e.Xarb.arbs[1].ack_cell1._y e.e.x_req_ortree.or2s[1]._y e.e.x_encoder.ors_t[0].or2s[2]._y e.e.x_encoder.ors_f[1].tmp[4] e.e.buf_s_func.in_v_buf_f.buf2._y e.e.Xarb.arbs[3].or_cell._y e.e.Xarb.arbs[2].ack_cell1._y e.e.Xarb.arbs[3].ack_cell2._y e.e.y_encoder.ors_t[2].or2s[0]._y e.e.Yarb.arbs[0].arbiter._y1 e.e.Yarb.arbs[1].arbiter._y2 e.e.x_encoder.ors_t[1].or2s[1]._y e.e._x_v_B e.e.Yarb.arbs[2].arbiter._y2 e.e.x_ack_arb[3].buf1._y e.e.x_encoder.ors_t[0].tmp[5] e.e.vtree_x.ct.in[1] e.e.x_req_ortree.or2s[6]._y e.e.y_encoder.ors_t[1].or2s[2]._y e.e.y_encoder.ors_t[2].or2s[1]._y e.e.x_encoder.ors_t[0].or2s[0]._y e.e.vtree_y.OR2_tf[2]._y e.e.Xarb.arbs[1].or_cell._y e.e.x_encoder.ors_f[1].or2s[2]._y e.e.y_ack_arb[0].buf1._y e.e.y_ack_arb[6].buf1._y e.e.x_encoder.ors_f[0].tmp[4] e.e.Yarb.arbs[3].or_cell._y e.e.vtree_x.OR2_tf[2]._y e.e.y_encoder.ors_f[0].or2s[0]._y e.e.Yarb.arbs[3].ack_cell1._y e.e.Yarb.arbs[2].ack_cell2._y e.e.vtree_x.OR2_tf[0]._y e.e.Xarb.arbs[4].arbiter._y1 e.e.Yarb.arbs[1].ack_cell1._y e.e.Yarb.arbs[5].ack_cell1._y e.e.Xarb.arbs[5].ack_cell2._y e.e.Yarb.arbs[5].ack_cell2._y e.e.Xarb.arbs[2].or_cell._y e.e.x_encoder.ors_t[1].or2s[0]._y e.e.Yarb.arbs[5].arbiter._y1 e.e.Yarb.arbs[1].ack_cell2._y e.e.Xarb.arbs[0].or_cell._y e.e.y_encoder.ors_f[2].or2s[0]._y e.e.x_req_ortree.or2s[3]._y e.e.x_encoder.ors_f[2].or2s[0]._y e.e._in_xy_v._y e.e.Xarb.arbs[0].ack_cell1._y e.e.y_encoder.ors_t[0].or2s[0]._y e.e.Yarb.arbs[4].ack_cell1._y e.e.Yarb.arbs[3].arbiter._y1 e.e.x_encoder.ors_f[2].or2s[1]._y e.e.vtree_y.ct.C3Els[0]._y e.e.x_encoder.ors_f[2].or2s[2]._y e.e.Yarb.arbs[4].arbiter._y2 e.e.Xarb.arbs[0].ack_cell2._y e.e.y_encoder.ors_f[2].or2s[1]._y e.e.buf_s_func.out_a_B_buf_t.buf2._y e.e.y_ack_arb[4].buf1._y e.e.y_encoder.ors_f[2].or2s[2]._y e.e.Yarb.arbs[1].or_cell._y e.e.x_encoder.ors_t[2].or2s[2]._y e.e.Yarb.arbs[0].arbiter._y2 e.e.y_ack_arb[2].buf1._y e.e.vtree_y.OR2_tf[1]._y e.e.x_req_ortree.or2s[0]._y e.e.y_encoder.ors_t[0].or2s[1]._y e.e.Yarb.arbs[3].ack_cell2._y e.e.y_encoder.ors_f[1].or2s[2]._y e.e.x_encoder.ors_f[0].or2s[0]._y
[] Set Out Ack/Valid Low
74440 e.out.a : 0
74440 e.out.v : 0
74443 e.e.buf_s_func._out_a_B : 1 [by e.out.a:=0]
74994 e.e.buf_s_func.out_a_B_buf_t.buf2._y : 0 [by e.e.buf_s_func._out_a_B:=1]
75514 e.e.buf_s_func.out_a_B_buf_f.buf2._y : 0 [by e.e.buf_s_func._out_a_B:=1]
75948 e.e.buf_s_func._out_a_BX_f[0] : 1 [by e.e.buf_s_func.out_a_B_buf_t.buf2._y:=0]
76595 e.e.buf_s_func._out_a_BX_t[0] : 1 [by e.e.buf_s_func.out_a_B_buf_f.buf2._y:=0]
96881 e.e._en : 1 [by e.out.v:=0]
97863 e.e.buf_s_func.en_buf_t.buf2._y : 0 [by e.e._en:=1]
97881 e.e.buf_s_func._en_X_t[0] : 1 [by e.e.buf_s_func.en_buf_t.buf2._y:=0]
151351 e.e.buf_s_func.en_buf_f.buf2._y : 0 [by e.e._en:=1]
155364 e.e.buf_s_func._en_X_f[0] : 1 [by e.e.buf_s_func.en_buf_f.buf2._y:=0]
[] Setting Neuron Req Low
155364 e.y[0].r : 0
155364 e.x[7].r : 0
155364 e.y[2].r : 0
155364 e.y[6].r : 0
155364 e.x[6].r : 0
155364 e.y[5].r : 0
155364 e.x[5].r : 0
155364 e.x[4].r : 0
155364 e.y[1].r : 0
155364 e.y[4].r : 0
155364 e.x[3].r : 0
155364 e.x[2].r : 0
155364 e.y[3].r : 0
155364 e.x[1].r : 0
155364 e.x[0].r : 0
155365 e.e.Xarb.arbs[1].arbiter._y1 : 1 [by e.x[2].r:=0]
155375 e.e.Yarb.arbs[0].arbiter._y2 : 1 [by e.y[1].r:=0]
155379 e.e.x_req_ortree.or2s[1]._y : 1 [by e.x[2].r:=0]
155401 e.e.Yarb.arbs[1].arbiter._y2 : 1 [by e.y[3].r:=0]
155405 e.e.Xarb.arbs[1]._y1_arb : 0 [by e.e.Xarb.arbs[1].arbiter._y1:=1]
155433 e.e.Xarb.arbs[2].arbiter._y1 : 1 [by e.x[4].r:=0]
155434 e.e.Xarb.arbs[2]._y1_arb : 0 [by e.e.Xarb.arbs[2].arbiter._y1:=1]
155466 e.e.x_req_ortree.tmp[9] : 0 [by e.e.x_req_ortree.or2s[1]._y:=1]
155476 e.e.x_req_ortree.or2s[0]._y : 1 [by e.x[0].r:=0]
155503 e.e.Xarb.arbs[2].arbiter._y2 : 1 [by e.x[5].r:=0]
155567 e.e.Xarb.arbs[3].arbiter._y1 : 1 [by e.x[6].r:=0]
155568 e.e.Xarb.arbs[1].arbiter._y2 : 1 [by e.x[3].r:=0]
155632 e.e.Yarb.arbs[0]._y2_arb : 0 [by e.e.Yarb.arbs[0].arbiter._y2:=1]
155695 e.e.Yarb.arbs[1]._y2_arb : 0 [by e.e.Yarb.arbs[1].arbiter._y2:=1]
155866 e.e.x_req_ortree.or2s[3]._y : 1 [by e.x[6].r:=0]
156044 e.e.x_req_ortree.tmp[11] : 0 [by e.e.x_req_ortree.or2s[3]._y:=1]
156103 e.e.Xarb.arbs[0].arbiter._y2 : 1 [by e.x[1].r:=0]
156158 e.e.Xarb.arbs[1]._y2_arb : 0 [by e.e.Xarb.arbs[1].arbiter._y2:=1]
156322 e.e.Xarb.arbs[1].or_cell._y : 1 [by e.e.Xarb.arbs[1]._y2_arb:=0]
156776 e.e.Xarb.arbs[3]._y1_arb : 0 [by e.e.Xarb.arbs[3].arbiter._y1:=1]
156906 e.e.Xarb.arbs[0]._y2_arb : 0 [by e.e.Xarb.arbs[0].arbiter._y2:=1]
157218 e.e.Yarb.arbs[2].arbiter._y2 : 1 [by e.y[5].r:=0]
157240 e.e.Yarb.arbs[2]._y2_arb : 0 [by e.e.Yarb.arbs[2].arbiter._y2:=1]
157282 e.e.x_req_ortree.tmp[8] : 0 [by e.e.x_req_ortree.or2s[0]._y:=1]
157510 e.e.Xarb.arbs[2]._y2_arb : 0 [by e.e.Xarb.arbs[2].arbiter._y2:=1]
158129 e.e.x_req_ortree.or2s[4]._y : 1 [by e.e.x_req_ortree.tmp[8]:=0]
158262 e.e.x_req_ortree.tmp[12] : 0 [by e.e.x_req_ortree.or2s[4]._y:=1]
158517 e.e.Xarb.tmp[9].r : 0 [by e.e.Xarb.arbs[1].or_cell._y:=1]
159367 e.e.Yarb.arbs[0].arbiter._y1 : 1 [by e.y[0].r:=0]
159726 e.e.Yarb.arbs[0]._y1_arb : 0 [by e.e.Yarb.arbs[0].arbiter._y1:=1]
160124 e.e.Yarb.arbs[4].arbiter._y2 : 1 [by e.y[6].r:=0]
160345 e.e.Yarb.arbs[4]._y2_arb : 0 [by e.e.Yarb.arbs[4].arbiter._y2:=1]
173842 e.e.Yarb.arbs[0].or_cell._y : 1 [by e.e.Yarb.arbs[0]._y1_arb:=0]
173849 e.e.Yarb.tmp[7].r : 0 [by e.e.Yarb.arbs[0].or_cell._y:=1]
173879 e.e.Yarb.arbs[3].arbiter._y1 : 1 [by e.e.Yarb.tmp[7].r:=0]
174179 e.e.Xarb.arbs[4].arbiter._y2 : 1 [by e.e.Xarb.tmp[9].r:=0]
176948 e.e.Yarb.arbs[1].arbiter._y1 : 1 [by e.y[2].r:=0]
177039 e.e.Yarb.arbs[1]._y1_arb : 0 [by e.e.Yarb.arbs[1].arbiter._y1:=1]
179228 e.e.Yarb.arbs[1].or_cell._y : 1 [by e.e.Yarb.arbs[1]._y1_arb:=0]
179235 e.e.Yarb.tmp[8].r : 0 [by e.e.Yarb.arbs[1].or_cell._y:=1]
180592 e.e.Yarb.arbs[3]._y1_arb : 0 [by e.e.Yarb.arbs[3].arbiter._y1:=1]
182022 e.e.Yarb.arbs[3].arbiter._y2 : 1 [by e.e.Yarb.tmp[8].r:=0]
182128 e.e.Yarb.arbs[3]._y2_arb : 0 [by e.e.Yarb.arbs[3].arbiter._y2:=1]
182206 e.e.Yarb.arbs[3].or_cell._y : 1 [by e.e.Yarb.arbs[3]._y2_arb:=0]
182481 e.e.Yarb.tmp[11].r : 0 [by e.e.Yarb.arbs[3].or_cell._y:=1]
187638 e.e.Xarb.arbs[2].or_cell._y : 1 [by e.e.Xarb.arbs[2]._y2_arb:=0]
188093 e.e.Xarb.tmp[10].r : 0 [by e.e.Xarb.arbs[2].or_cell._y:=1]
188105 e.e.Xarb.arbs[5].arbiter._y1 : 1 [by e.e.Xarb.tmp[10].r:=0]
188509 e.e.Xarb.arbs[5]._y1_arb : 0 [by e.e.Xarb.arbs[5].arbiter._y1:=1]
191710 e.e.x_req_ortree.or2s[2]._y : 1 [by e.x[4].r:=0]
191722 e.e.x_req_ortree.tmp[10] : 0 [by e.e.x_req_ortree.or2s[2]._y:=1]
197638 e.e.x_req_ortree.or2s[5]._y : 1 [by e.e.x_req_ortree.tmp[10]:=0]
200265 e.e.Xarb.arbs[3].arbiter._y2 : 1 [by e.x[7].r:=0]
201477 e.e.Yarb.arbs[5].arbiter._y1 : 1 [by e.e.Yarb.tmp[11].r:=0]
201914 e.e.x_req_ortree.tmp[13] : 0 [by e.e.x_req_ortree.or2s[5]._y:=1]
201916 e.e.x_req_ortree.or2s[6]._y : 1 [by e.e.x_req_ortree.tmp[13]:=0]
202876 e.e.Xarb.arbs[0].arbiter._y1 : 1 [by e.x[0].r:=0]
203164 e.e.Xarb.arbs[3]._y2_arb : 0 [by e.e.Xarb.arbs[3].arbiter._y2:=1]
204125 e.e.Xarb.arbs[0]._y1_arb : 0 [by e.e.Xarb.arbs[0].arbiter._y1:=1]
204291 e.e.Xarb.arbs[0].or_cell._y : 1 [by e.e.Xarb.arbs[0]._y1_arb:=0]
204366 e.e.Xarb.tmp[8].r : 0 [by e.e.Xarb.arbs[0].or_cell._y:=1]
204711 e.e.Xarb.arbs[4].arbiter._y1 : 1 [by e.e.Xarb.tmp[8].r:=0]
204849 e.e.Xarb.arbs[4]._y1_arb : 0 [by e.e.Xarb.arbs[4].arbiter._y1:=1]
205772 e.e.Yarb.arbs[5]._y1_arb : 0 [by e.e.Yarb.arbs[5].arbiter._y1:=1]
206451 e.e._x_v : 0 [by e.e.x_req_ortree.or2s[6]._y:=1]
206453 e.e._x_v_B : 1 [by e.e._x_v:=0]
206663 e.e.Xarb.arbs[3].or_cell._y : 1 [by e.e.Xarb.arbs[3]._y2_arb:=0]
207150 e.e.Yarb.arbs[2].arbiter._y1 : 1 [by e.y[4].r:=0]
207151 e.e.Yarb.arbs[2]._y1_arb : 0 [by e.e.Yarb.arbs[2].arbiter._y1:=1]
207699 e.e.Yarb.arbs[2].or_cell._y : 1 [by e.e.Yarb.arbs[2]._y1_arb:=0]
207710 e.e.Yarb.tmp[9].r : 0 [by e.e.Yarb.arbs[2].or_cell._y:=1]
208080 e.e.Yarb.arbs[4].arbiter._y1 : 1 [by e.e.Yarb.tmp[9].r:=0]
208147 e.e.Yarb.arbs[4]._y1_arb : 0 [by e.e.Yarb.arbs[4].arbiter._y1:=1]
210788 e.e.Yarb.arbs[4].or_cell._y : 1 [by e.e.Yarb.arbs[4]._y1_arb:=0]
210804 e.e.Yarb.tmp[12].r : 0 [by e.e.Yarb.arbs[4].or_cell._y:=1]
211035 e.e.Yarb.arbs[5].ack_cell1._y : 1 [by e.e.Yarb.arbs[5]._y1_arb:=0]
211563 e.e.Yarb.tmp[11].a : 0 [by e.e.Yarb.arbs[5].ack_cell1._y:=1]
213998 e.e.Yarb.arbs[3].ack_cell2._y : 1 [by e.e.Yarb.tmp[11].a:=0]
215366 e.e.Yarb.arbs[5].arbiter._y2 : 1 [by e.e.Yarb.tmp[12].r:=0]
228407 e.e.Yarb.arbs[5]._y2_arb : 0 [by e.e.Yarb.arbs[5].arbiter._y2:=1]
228409 e.e.Yarb.arbs[5].or_cell._y : 1 [by e.e.Yarb.arbs[5]._y2_arb:=0]
228412 e.e._arb_out_y.r : 0 [by e.e.Yarb.arbs[5].or_cell._y:=1]
231640 e.e.Xarb.arbs[4]._y2_arb : 0 [by e.e.Xarb.arbs[4].arbiter._y2:=1]
231669 e.e.Xarb.arbs[4].or_cell._y : 1 [by e.e.Xarb.arbs[4]._y2_arb:=0]
231986 e.e.Xarb.tmp[12].r : 0 [by e.e.Xarb.arbs[4].or_cell._y:=1]
233587 e.e.Xarb.arbs[6].arbiter._y1 : 1 [by e.e.Xarb.tmp[12].r:=0]
233740 e.e.Xarb.arbs[6]._y1_arb : 0 [by e.e.Xarb.arbs[6].arbiter._y1:=1]
233784 e.e.Xarb.arbs[6].ack_cell1._y : 1 [by e.e.Xarb.arbs[6]._y1_arb:=0]
236545 e.e.Xarb.tmp[12].a : 0 [by e.e.Xarb.arbs[6].ack_cell1._y:=1]
236546 e.e.Xarb.arbs[4].ack_cell1._y : 1 [by e.e.Xarb.tmp[12].a:=0]
236763 e.e.Xarb.tmp[8].a : 0 [by e.e.Xarb.arbs[4].ack_cell1._y:=1]
236764 e.e.Xarb.arbs[0].ack_cell1._y : 1 [by e.e.Xarb.tmp[8].a:=0]
236785 e.e.Xarb.arbs[0].ack_cell2._y : 1 [by e.e.Xarb.tmp[8].a:=0]
237923 e.e.Yarb.tmp[8].a : 0 [by e.e.Yarb.arbs[3].ack_cell2._y:=1]
238082 e.e.Yarb.arbs[1].ack_cell2._y : 1 [by e.e.Yarb.tmp[8].a:=0]
238345 e.e._x_temp[0].a : 0 [by e.e.Xarb.arbs[0].ack_cell1._y:=1]
238443 e.e.Yarb.arbs[3].ack_cell1._y : 1 [by e.e.Yarb.tmp[11].a:=0]
238588 e.e.Yarb.tmp[7].a : 0 [by e.e.Yarb.arbs[3].ack_cell1._y:=1]
239369 e.e._y_temp[3].a : 0 [by e.e.Yarb.arbs[1].ack_cell2._y:=1]
239370 e.e.y_ack_arb[3].buf1._y : 1 [by e.e._y_temp[3].a:=0]
240577 e.e.x_ack_arb[0].buf1._y : 1 [by e.e._x_temp[0].a:=0]
240739 e.x[0].a : 0 [by e.e.x_ack_arb[0].buf1._y:=1]
241420 e.e.Yarb.arbs[0].ack_cell2._y : 1 [by e.e.Yarb.tmp[7].a:=0]
244942 e.e.Yarb.arbs[0].ack_cell1._y : 1 [by e.e.Yarb.tmp[7].a:=0]
244956 e.e._y_temp[0].a : 0 [by e.e.Yarb.arbs[0].ack_cell1._y:=1]
244963 e.e.y_ack_arb[0].buf1._y : 1 [by e.e._y_temp[0].a:=0]
245123 e.y[0].a : 0 [by e.e.y_ack_arb[0].buf1._y:=1]
246130 e.e._x_temp[1].a : 0 [by e.e.Xarb.arbs[0].ack_cell2._y:=1]
248789 e.e._y_temp[1].a : 0 [by e.e.Yarb.arbs[0].ack_cell2._y:=1]
248790 e.e.y_ack_arb[1].buf1._y : 1 [by e.e._y_temp[1].a:=0]
248791 e.y[1].a : 0 [by e.e.y_ack_arb[1].buf1._y:=1]
248792 e.e.y_encoder.ors_f[2].or2s[0]._y : 1 [by e.y[1].a:=0]
248979 e.e.y_encoder.ors_f[2].tmp[4] : 0 [by e.e.y_encoder.ors_f[2].or2s[0]._y:=1]
250228 e.e.Xarb.arbs[4].ack_cell2._y : 1 [by e.e.Xarb.tmp[12].a:=0]
250229 e.e.Xarb.tmp[9].a : 0 [by e.e.Xarb.arbs[4].ack_cell2._y:=1]
250580 e.e.Xarb.tmp[11].r : 0 [by e.e.Xarb.arbs[3].or_cell._y:=1]
250581 e.e.Xarb.arbs[5].arbiter._y2 : 1 [by e.e.Xarb.tmp[11].r:=0]
251034 e.e.y_encoder.ors_f[1].or2s[0]._y : 1 [by e.y[1].a:=0]
251039 e.e.y_encoder.ors_f[1].tmp[4] : 0 [by e.e.y_encoder.ors_f[1].or2s[0]._y:=1]
251434 e.e.Xarb.arbs[5]._y2_arb : 0 [by e.e.Xarb.arbs[5].arbiter._y2:=1]
252325 e.e.Xarb.arbs[5].or_cell._y : 1 [by e.e.Xarb.arbs[5]._y2_arb:=0]
252326 e.e.Xarb.tmp[13].r : 0 [by e.e.Xarb.arbs[5].or_cell._y:=1]
252343 e.e.Xarb.arbs[6].arbiter._y2 : 1 [by e.e.Xarb.tmp[13].r:=0]
254411 e.e.Xarb.arbs[1].ack_cell2._y : 1 [by e.e.Xarb.tmp[9].a:=0]
254916 e.e.Xarb.arbs[6]._y2_arb : 0 [by e.e.Xarb.arbs[6].arbiter._y2:=1]
254919 e.e.Xarb.arbs[6].or_cell._y : 1 [by e.e.Xarb.arbs[6]._y2_arb:=0]
255857 e.e.Xarb.arbs[6].ack_cell2._y : 1 [by e.e.Xarb.arbs[6]._y2_arb:=0]
255858 e.e.Xarb.tmp[13].a : 0 [by e.e.Xarb.arbs[6].ack_cell2._y:=1]
255900 e.e.Xarb.arbs[5].ack_cell2._y : 1 [by e.e.Xarb.tmp[13].a:=0]
257599 e.e.Yarb.arbs[1].ack_cell1._y : 1 [by e.e.Yarb.tmp[8].a:=0]
257694 e.e._y_temp[2].a : 0 [by e.e.Yarb.arbs[1].ack_cell1._y:=1]
258029 e.e.y_ack_arb[2].buf1._y : 1 [by e.e._y_temp[2].a:=0]
258037 e.y[2].a : 0 [by e.e.y_ack_arb[2].buf1._y:=1]
258071 e.e.y_encoder.ors_f[0].or2s[0]._y : 1 [by e.y[2].a:=0]
258675 e.e.Xarb.arbs[5].ack_cell1._y : 1 [by e.e.Xarb.tmp[13].a:=0]
259593 e.e.Xarb.tmp[10].a : 0 [by e.e.Xarb.arbs[5].ack_cell1._y:=1]
259597 e.e.Xarb.arbs[2].ack_cell2._y : 1 [by e.e.Xarb.tmp[10].a:=0]
261995 e.e._x_temp[5].a : 0 [by e.e.Xarb.arbs[2].ack_cell2._y:=1]
262772 e.e._x_temp[3].a : 0 [by e.e.Xarb.arbs[1].ack_cell2._y:=1]
265210 e.e.x_ack_arb[5].buf1._y : 1 [by e.e._x_temp[5].a:=0]
265258 e.x[5].a : 0 [by e.e.x_ack_arb[5].buf1._y:=1]
267687 e.e.x_ack_arb[1].buf1._y : 1 [by e.e._x_temp[1].a:=0]
267690 e.x[1].a : 0 [by e.e.x_ack_arb[1].buf1._y:=1]
267868 e.e.x_encoder.ors_f[2].or2s[0]._y : 1 [by e.x[1].a:=0]
269633 e.e.Xarb.tmp[11].a : 0 [by e.e.Xarb.arbs[5].ack_cell2._y:=1]
271958 e.e.y_encoder.ors_f[0].tmp[4] : 0 [by e.e.y_encoder.ors_f[0].or2s[0]._y:=1]
275584 e.e.Xarb.arbs[3].ack_cell2._y : 1 [by e.e.Xarb.tmp[11].a:=0]
276411 e.e._x_temp[7].a : 0 [by e.e.Xarb.arbs[3].ack_cell2._y:=1]
276584 e.e.x_ack_arb[7].buf1._y : 1 [by e.e._x_temp[7].a:=0]
276768 e.x[7].a : 0 [by e.e.x_ack_arb[7].buf1._y:=1]
276769 e.e.x_encoder.ors_t[0].or2s[1]._y : 1 [by e.x[7].a:=0]
276842 e.e.x_encoder.ors_t[0].tmp[5] : 0 [by e.e.x_encoder.ors_t[0].or2s[1]._y:=1]
278654 e.y[3].a : 0 [by e.e.y_ack_arb[3].buf1._y:=1]
278658 e.e.y_encoder.ors_f[2].or2s[1]._y : 1 [by e.y[3].a:=0]
278750 e.e.y_encoder.ors_t[0].or2s[0]._y : 1 [by e.y[3].a:=0]
278751 e.e.y_encoder.ors_t[0].tmp[4] : 0 [by e.e.y_encoder.ors_t[0].or2s[0]._y:=1]
278794 e.e.y_encoder.ors_f[2].tmp[5] : 0 [by e.e.y_encoder.ors_f[2].or2s[1]._y:=1]
279767 e.e.x_encoder.ors_f[2].tmp[4] : 0 [by e.e.x_encoder.ors_f[2].or2s[0]._y:=1]
285011 e.e.Xarb.arbs[1].ack_cell1._y : 1 [by e.e.Xarb.tmp[9].a:=0]
285252 e.e._x_temp[2].a : 0 [by e.e.Xarb.arbs[1].ack_cell1._y:=1]
288667 e.e.x_encoder.ors_f[1].or2s[0]._y : 1 [by e.x[1].a:=0]
288679 e.e.x_encoder.ors_f[1].tmp[4] : 0 [by e.e.x_encoder.ors_f[1].or2s[0]._y:=1]
289211 e.e.x_ack_arb[2].buf1._y : 1 [by e.e._x_temp[2].a:=0]
289365 e.e.Yarb.arbs[5].ack_cell2._y : 1 [by e.e.Yarb.arbs[5]._y2_arb:=0]
290394 e.e.Yarb.tmp[12].a : 0 [by e.e.Yarb.arbs[5].ack_cell2._y:=1]
290395 e.e.Yarb.arbs[4].ack_cell2._y : 1 [by e.e.Yarb.tmp[12].a:=0]
290450 e.e.Yarb.arbs[4].ack_cell1._y : 1 [by e.e.Yarb.tmp[12].a:=0]
290451 e.e.Yarb.tmp[9].a : 0 [by e.e.Yarb.arbs[4].ack_cell1._y:=1]
290488 e.e.Yarb.arbs[2].ack_cell2._y : 1 [by e.e.Yarb.tmp[9].a:=0]
290489 e.e._y_temp[5].a : 0 [by e.e.Yarb.arbs[2].ack_cell2._y:=1]
293111 e.x[2].a : 0 [by e.e.x_ack_arb[2].buf1._y:=1]
294053 e.e.y_ack_arb[5].buf1._y : 1 [by e.e._y_temp[5].a:=0]
294066 e.y[5].a : 0 [by e.e.y_ack_arb[5].buf1._y:=1]
294803 e.e.x_encoder.ors_f[0].or2s[0]._y : 1 [by e.x[2].a:=0]
295160 e.e.x_encoder.ors_f[0].tmp[4] : 0 [by e.e.x_encoder.ors_f[0].or2s[0]._y:=1]
297840 e.e.y_encoder.ors_f[2].or2s[2]._y : 1 [by e.e.y_encoder.ors_f[2].tmp[5]:=0]
297865 e.e.y_enc_out.d[2].f : 0 [by e.e.y_encoder.ors_f[2].or2s[2]._y:=1]
305971 e.e.Xarb.arbs[2].ack_cell1._y : 1 [by e.e.Xarb.tmp[10].a:=0]
305992 e.e._x_temp[4].a : 0 [by e.e.Xarb.arbs[2].ack_cell1._y:=1]
305993 e.e.x_ack_arb[4].buf1._y : 1 [by e.e._x_temp[4].a:=0]
309118 e.e.Xarb.arbs[3].ack_cell1._y : 1 [by e.e.Xarb.tmp[11].a:=0]
309119 e.e._x_temp[6].a : 0 [by e.e.Xarb.arbs[3].ack_cell1._y:=1]
309120 e.e.x_ack_arb[6].buf1._y : 1 [by e.e._x_temp[6].a:=0]
309281 e.x[6].a : 0 [by e.e.x_ack_arb[6].buf1._y:=1]
309286 e.e.x_encoder.ors_t[1].or2s[1]._y : 1 [by e.x[6].a:=0]
309867 e.e.x_encoder.ors_t[1].tmp[5] : 0 [by e.e.x_encoder.ors_t[1].or2s[1]._y:=1]
309891 e.e.x_ack_arb[3].buf1._y : 1 [by e.e._x_temp[3].a:=0]
310299 e.x[3].a : 0 [by e.e.x_ack_arb[3].buf1._y:=1]
310310 e.e.x_encoder.ors_f[2].or2s[1]._y : 1 [by e.x[3].a:=0]
310313 e.e.x_encoder.ors_t[0].or2s[0]._y : 1 [by e.x[3].a:=0]
310317 e.e.x_encoder.ors_t[0].tmp[4] : 0 [by e.e.x_encoder.ors_t[0].or2s[0]._y:=1]
310318 e.e.x_encoder.ors_t[2].or2s[1]._y : 1 [by e.x[6].a:=0]
310328 e.e.x_encoder.ors_f[2].tmp[5] : 0 [by e.e.x_encoder.ors_f[2].or2s[1]._y:=1]
310421 e.e.x_encoder.ors_t[0].or2s[2]._y : 1 [by e.e.x_encoder.ors_t[0].tmp[4]:=0]
311050 e.e.y_encoder.ors_t[0].or2s[1]._y : 1 [by e.y[5].a:=0]
311278 e.e.y_encoder.ors_t[0].tmp[5] : 0 [by e.e.y_encoder.ors_t[0].or2s[1]._y:=1]
311346 e.e.x_encoder.ors_t[1].or2s[0]._y : 1 [by e.x[3].a:=0]
311532 e.e.x_encoder.ors_f[2].or2s[2]._y : 1 [by e.e.x_encoder.ors_f[2].tmp[5]:=0]
311602 e.e.x_enc_out.d[2].f : 0 [by e.e.x_encoder.ors_f[2].or2s[2]._y:=1]
312121 e.e.y_encoder.ors_t[0].or2s[2]._y : 1 [by e.e.y_encoder.ors_t[0].tmp[5]:=0]
312805 e.e.x_encoder.ors_t[1].tmp[4] : 0 [by e.e.x_encoder.ors_t[1].or2s[0]._y:=1]
312816 e.e.x_encoder.ors_t[1].or2s[2]._y : 1 [by e.e.x_encoder.ors_t[1].tmp[4]:=0]
312819 e.e.x_enc_out.d[1].t : 0 [by e.e.x_encoder.ors_t[1].or2s[2]._y:=1]
313826 e.e.Yarb.arbs[2].ack_cell1._y : 1 [by e.e.Yarb.tmp[9].a:=0]
313880 e.e._y_temp[4].a : 0 [by e.e.Yarb.arbs[2].ack_cell1._y:=1]
313881 e.e._arb_out_x.r : 0 [by e.e.Xarb.arbs[6].or_cell._y:=1]
315028 e.e.y_ack_arb[4].buf1._y : 1 [by e.e._y_temp[4].a:=0]
315641 e.x[4].a : 0 [by e.e.x_ack_arb[4].buf1._y:=1]
315722 e.e.x_encoder.ors_f[1].or2s[1]._y : 1 [by e.x[4].a:=0]
315942 e.e.y_encoder.ors_t[1].or2s[0]._y : 1 [by e.y[3].a:=0]
316034 e.e.y_encoder.ors_t[1].tmp[4] : 0 [by e.e.y_encoder.ors_t[1].or2s[0]._y:=1]
316189 e.y[4].a : 0 [by e.e.y_ack_arb[4].buf1._y:=1]
317933 e.e.y_encoder.ors_f[1].or2s[1]._y : 1 [by e.y[4].a:=0]
318546 e.e.y_encoder.ors_f[1].tmp[5] : 0 [by e.e.y_encoder.ors_f[1].or2s[1]._y:=1]
318876 e.e.x_enc_out.d[0].t : 0 [by e.e.x_encoder.ors_t[0].or2s[2]._y:=1]
324293 e.e.x_encoder.ors_t[2].or2s[0]._y : 1 [by e.x[4].a:=0]
324338 e.e.x_encoder.ors_t[2].tmp[4] : 0 [by e.e.x_encoder.ors_t[2].or2s[0]._y:=1]
324500 e.e.y_encoder.ors_t[2].or2s[0]._y : 1 [by e.y[4].a:=0]
325497 e.e.y_encoder.ors_t[2].tmp[4] : 0 [by e.e.y_encoder.ors_t[2].or2s[0]._y:=1]
326718 e.e.x_encoder.ors_f[0].or2s[1]._y : 1 [by e.x[4].a:=0]
328367 e.e.x_encoder.ors_f[0].tmp[5] : 0 [by e.e.x_encoder.ors_f[0].or2s[1]._y:=1]
328892 e.e.x_encoder.ors_f[0].or2s[2]._y : 1 [by e.e.x_encoder.ors_f[0].tmp[5]:=0]
329792 e.e.x_enc_out.d[0].f : 0 [by e.e.x_encoder.ors_f[0].or2s[2]._y:=1]
329844 e.e.vtree_x.OR2_tf[0]._y : 1 [by e.e.x_enc_out.d[0].f:=0]
329851 e.e.vtree_x.ct.in[0] : 0 [by e.e.vtree_x.OR2_tf[0]._y:=1]
332568 e.e.y_encoder.ors_f[1].or2s[2]._y : 1 [by e.e.y_encoder.ors_f[1].tmp[5]:=0]
333705 e.e.x_encoder.ors_f[1].tmp[5] : 0 [by e.e.x_encoder.ors_f[1].or2s[1]._y:=1]
335401 e.e._y_temp[6].a : 0 [by e.e.Yarb.arbs[4].ack_cell2._y:=1]
335403 e.e.y_ack_arb[6].buf1._y : 1 [by e.e._y_temp[6].a:=0]
335757 e.y[6].a : 0 [by e.e.y_ack_arb[6].buf1._y:=1]
335758 e.e.y_encoder.ors_t[1].or2s[1]._y : 1 [by e.y[6].a:=0]
335761 e.e.y_encoder.ors_f[0].or2s[1]._y : 1 [by e.y[6].a:=0]
335890 e.e.y_encoder.ors_t[2].or2s[1]._y : 1 [by e.y[6].a:=0]
335891 e.e.y_encoder.ors_t[2].tmp[5] : 0 [by e.e.y_encoder.ors_t[2].or2s[1]._y:=1]
336304 e.e.y_encoder.ors_t[1].tmp[5] : 0 [by e.e.y_encoder.ors_t[1].or2s[1]._y:=1]
336383 e.e.y_encoder.ors_t[1].or2s[2]._y : 1 [by e.e.y_encoder.ors_t[1].tmp[5]:=0]
338816 e.e.y_enc_out.d[1].t : 0 [by e.e.y_encoder.ors_t[1].or2s[2]._y:=1]
340172 e.e.x_encoder.ors_f[1].or2s[2]._y : 1 [by e.e.x_encoder.ors_f[1].tmp[5]:=0]
340260 e.e.x_enc_out.d[1].f : 0 [by e.e.x_encoder.ors_f[1].or2s[2]._y:=1]
341762 e.e.x_encoder.ors_t[2].tmp[5] : 0 [by e.e.x_encoder.ors_t[2].or2s[1]._y:=1]
348042 e.e.vtree_x.OR2_tf[1]._y : 1 [by e.e.x_enc_out.d[1].f:=0]
348101 e.e.vtree_x.ct.in[1] : 0 [by e.e.vtree_x.OR2_tf[1]._y:=1]
348180 e.e.y_enc_out.d[1].f : 0 [by e.e.y_encoder.ors_f[1].or2s[2]._y:=1]
348210 e.e.vtree_y.OR2_tf[1]._y : 1 [by e.e.y_enc_out.d[1].f:=0]
348269 e.e.y_encoder.ors_t[2].or2s[2]._y : 1 [by e.e.y_encoder.ors_t[2].tmp[5]:=0]
349677 e.e.vtree_y.ct.in[1] : 0 [by e.e.vtree_y.OR2_tf[1]._y:=1]
362543 e.e.y_enc_out.d[0].t : 0 [by e.e.y_encoder.ors_t[0].or2s[2]._y:=1]
370089 e.e.x_encoder.ors_t[2].or2s[2]._y : 1 [by e.e.x_encoder.ors_t[2].tmp[5]:=0]
381324 e.e.y_encoder.ors_f[0].tmp[5] : 0 [by e.e.y_encoder.ors_f[0].or2s[1]._y:=1]
382009 e.e.y_encoder.ors_f[0].or2s[2]._y : 1 [by e.e.y_encoder.ors_f[0].tmp[5]:=0]
389473 e.e.x_enc_out.d[2].t : 0 [by e.e.x_encoder.ors_t[2].or2s[2]._y:=1]
389600 e.e.vtree_x.OR2_tf[2]._y : 1 [by e.e.x_enc_out.d[2].t:=0]
389769 e.e.vtree_x.ct.in[2] : 0 [by e.e.vtree_x.OR2_tf[2]._y:=1]
389812 e.e.vtree_x.ct.C3Els[0]._y : 1 [by e.e.vtree_x.ct.in[2]:=0]
389824 e.e._in_x_v : 0 [by e.e.vtree_x.ct.C3Els[0]._y:=1]
391103 e.e._in_xy_v._y : 1 [by e.e._in_x_v:=0]
391336 e.e._in_xy_v.y : 0 [by e.e._in_xy_v._y:=1]
391339 e.e.buf_s_func.in_v_prebuf._y : 1 [by e.e._in_xy_v.y:=0]
391377 e.e.buf_s_func._in_vX : 0 [by e.e.buf_s_func.in_v_prebuf._y:=1]
391378 e.e.buf_s_func.in_v_buf_f.buf2._y : 1 [by e.e.buf_s_func._in_vX:=0]
391470 e.e.buf_s_func._in_vXX_f[0] : 0 [by e.e.buf_s_func.in_v_buf_f.buf2._y:=1]
398724 e.e.y_enc_out.d[0].f : 0 [by e.e.y_encoder.ors_f[0].or2s[2]._y:=1]
401451 e.e.vtree_y.OR2_tf[0]._y : 1 [by e.e.y_enc_out.d[0].f:=0]
401453 e.e.vtree_y.ct.in[0] : 0 [by e.e.vtree_y.OR2_tf[0]._y:=1]
404129 e.e.buf_s_func.in_v_buf_t.buf2._y : 1 [by e.e.buf_s_func._in_vX:=0]
404130 e.e.buf_s_func._in_vXX_t[0] : 0 [by e.e.buf_s_func.in_v_buf_t.buf2._y:=1]
407773 e.e.y_enc_out.d[2].t : 0 [by e.e.y_encoder.ors_t[2].or2s[2]._y:=1]
409274 e.e.vtree_y.OR2_tf[2]._y : 1 [by e.e.y_enc_out.d[2].t:=0]
409276 e.e.vtree_y.ct.in[2] : 0 [by e.e.vtree_y.OR2_tf[2]._y:=1]
409294 e.e.vtree_y.ct.C3Els[0]._y : 1 [by e.e.vtree_y.ct.in[2]:=0]
409413 e.e._in_y_v : 0 [by e.e.vtree_y.ct.C3Els[0]._y:=1]
e.y[3].a e.y[0].a e.e.Xarb.arbs[1]._y2_arb e.x[4].r e.e.x_enc_out.d[0].f e.e.x_enc_out.d[2].f e.e._reset_BXX[0] e.e.y_encoder.ors_t[0].tmp[5] e.e._x_temp[7].a e.out.d.d[4].t GND e.y[6].r e.e.y_enc_out.d[1].f e.e.Xarb.tmp[9].a e.e.x_enc_out.d[2].t e.e._arb_out_x.a e.y[4].a e.out.v e.e.Yarb.tmp[7].a e.e.Xarb.tmp[8].a e.x[2].a e.e.Yarb.tmp[7].r e.e._y_temp[1].a e.e.y_encoder.ors_t[2].tmp[4] e.e._x_temp[2].a e.e.buf_s_func._reset_BXX[0] e.e.Yarb.tmp[11].r e.e._y_temp[5].a e.out.d.d[5].t e.y[1].a e.e.Xarb.tmp[10].a e.x[6].r e.x[5].r e.y[1].r e.e._arb_out_y.r e.x[2].r e.out.a e.e.y_enc_out.d[2].t e.e.Xarb.arbs[6]._y1_arb e.e.x_enc_out.d[0].t e.e.Xarb.arbs[5]._y2_arb e.y[5].r e.x[6].a e.e._x_v e.e._x_temp[4].a e.x[7].r e.e.buf_s_func.en_buf_t.buf2._y e.e.Yarb.tmp[12].a e.e._reset_BX e.e._y_temp[4].a e.e.Yarb.tmp[8].r e.e.Xarb.tmp[8].r e._reset_B e.e.y_enc_out.d[0].t e.e._in_x_v e.e.y_encoder.ors_f[0].tmp[4] e.out.d.d[1].t e.out.d.d[3].t e.e.Xarb.arbs[0]._y2_arb e.out.d.d[3].f e.y[0].r e.e._y_temp[0].a e.e.Xarb.tmp[12].a e.y[6].a e.e.Yarb.arbs[0]._y1_arb e.e.y_enc_out.d[0].f e.e.x_encoder.ors_f[1].tmp[5] e.e.x_req_ortree.tmp[9] e.e.Xarb.tmp[11].a e.e.buf_s_func.out_a_B_buf_f.buf2._y e.x[5].a e.e.y_encoder.ors_f[0].tmp[5] e.e._x_temp[5].a e.e.y_encoder.ors_f[2].tmp[5] e.e.Yarb.arbs[5]._y2_arb e.e.x_enc_out.d[1].f e.e.y_encoder.ors_t[2].tmp[5] e.x[4].a e.e.Yarb.arbs[1]._y1_arb e.e._in_xy_v.y e.e.x_req_ortree.tmp[13] e.e.x_enc_out.d[1].t e.x[3].a e.e.buf_s_func.en_buf_f.buf2._y e.y[2].a e.e.Xarb.arbs[1]._y1_arb e.e.vtree_y.ct.in[0] e.e.buf_s_func._in_vXX_f[0] e.y[2].r e.out.d.d[4].f e.e.buf_s_func._in_vXX_t[0] e.e.x_encoder.ors_t[1].tmp[4] e.e.Xarb.tmp[13].r e.x[7].a e.x[1].a e.e._arb_out_y.a e.e.Yarb.tmp[8].a e.x[1].r e.y[5].a e.x[0].a e.x[3].r e.e.vtree_x.ct.in[0] e.e.Xarb.tmp[13].a e.e.x_encoder.ors_f[2].tmp[4] e.y[3].r e.e.vtree_x.ct.in[2] e.out.d.d[0].t e.e.Xarb.arbs[0]._y1_arb e.e._y_temp[2].a e.e.x_req_ortree.tmp[8] e.e.vtree_y.ct.in[2] e.x[0].r e.e.y_enc_out.d[2].f e.y[4].r e.e.Xarb.arbs[3]._y1_arb e.out.d.d[1].f e.e.buf_s_func._in_vX e.e.Yarb.arbs[1]._y2_arb e.e.Yarb.tmp[9].r e.e.y_encoder.ors_f[1].tmp[5] e.e._y_temp[3].a e.e.Xarb.arbs[6]._y2_arb e.e.Xarb.tmp[12].r e.e.x_encoder.ors_f[0].tmp[5] e.e.y_enc_out.d[1].t e.e._y_temp[6].a e.e._x_temp[3].a e.e.Yarb.tmp[11].a e.e.x_req_ortree.tmp[11] e.e.Xarb.arbs[5]._y1_arb e.e.Yarb.arbs[2]._y2_arb e.e._in_y_v e.e._x_a e.e.buf_s_func._reset_BX e.e.Yarb.tmp[9].a e.e.Yarb.tmp[12].r e.e.y_encoder.ors_t[1].tmp[5] e.out.d.d[2].f e.e.Xarb.tmp[10].r e.e.Yarb.arbs[0]._y2_arb e.e.y_encoder.ors_t[0].tmp[4] e.e.x_req_ortree.tmp[12] e.e.Xarb.tmp[11].r e.out.d.d[5].f e.e._arb_out_x.r e.e.x_req_ortree.tmp[10] e.e.Yarb.arbs[5]._y1_arb e.e.Yarb.arbs[3]._y2_arb e.e.Xarb.arbs[4]._y1_arb e.e._x_temp[6].a e.e._x_temp[1].a e.e.y_encoder.ors_t[1].tmp[4] e.e.Xarb.tmp[9].r e.e.Xarb.arbs[2]._y1_arb e.e.x_encoder.ors_t[1].tmp[5] e.e.Xarb.arbs[2]._y2_arb e.e.Xarb.arbs[4]._y2_arb e.out.d.d[0].f e.e._x_temp[0].a e.e.x_encoder.ors_t[2].tmp[5] e.e.vtree_y.ct.in[1] e.e.y_encoder.ors_f[1].tmp[4] e.e.Xarb.arbs[3]._y2_arb e.e.x_encoder.ors_f[2].tmp[5] e.e.x_encoder.ors_t[0].tmp[4] e.e.Yarb.arbs[4]._y2_arb e.e.y_encoder.ors_f[2].tmp[4] e.e.Yarb.arbs[3]._y1_arb e.e.x_encoder.ors_t[2].tmp[4] e.out.d.d[2].t e.e.Yarb.arbs[4]._y1_arb e.e.Yarb.arbs[2]._y1_arb e.e.x_encoder.ors_f[1].tmp[4] e.e.x_encoder.ors_t[0].tmp[5] e.e.vtree_x.ct.in[1] e.e.x_encoder.ors_f[0].tmp[4] e.e.buf_s_func.out_a_B_buf_t.buf2._y
409413 Reset : 0
415133 e._reset_B : 1 [by Reset:=0]
415141 e.e.reset_buf._y : 0 [by e._reset_B:=1]
415187 e.e.buf_s_func.reset_buf._y : 0 [by e._reset_B:=1]
415192 e.e.buf_s_func._reset_BX : 1 [by e.e.buf_s_func.reset_buf._y:=0]
416259 e.e.buf_s_func.reset_bufarray.buf2._y : 0 [by e.e.buf_s_func._reset_BX:=1]
416260 e.e.buf_s_func._reset_BXX[0] : 1 [by e.e.buf_s_func.reset_bufarray.buf2._y:=0]
465679 e.e._reset_BX : 1 [by e.e.reset_buf._y:=0]
465817 e.e.reset_bufarray.buf4._y : 0 [by e.e._reset_BX:=1]
465818 e.e._reset_BXX[0] : 1 [by e.e.reset_bufarray.buf4._y:=0]
[] Single Neuron Spikes (2,5), raise y[5].r
465818 e.y[5].r : 1
465882 e.e.Yarb.arbs[2].arbiter._y2 : 0 [by e.y[5].r:=1]
466005 e.e.Yarb.arbs[2]._y2_arb : 1 [by e.e.Yarb.arbs[2].arbiter._y2:=0]
466007 e.e.Yarb.arbs[2].or_cell._y : 0 [by e.e.Yarb.arbs[2]._y2_arb:=1]
466044 e.e.Yarb.tmp[9].r : 1 [by e.e.Yarb.arbs[2].or_cell._y:=0]
466187 e.e.Yarb.arbs[4].arbiter._y1 : 0 [by e.e.Yarb.tmp[9].r:=1]
466238 e.e.Yarb.arbs[4]._y1_arb : 1 [by e.e.Yarb.arbs[4].arbiter._y1:=0]
466680 e.e.Yarb.arbs[4].or_cell._y : 0 [by e.e.Yarb.arbs[4]._y1_arb:=1]
466691 e.e.Yarb.tmp[12].r : 1 [by e.e.Yarb.arbs[4].or_cell._y:=0]
466692 e.e.Yarb.arbs[5].arbiter._y2 : 0 [by e.e.Yarb.tmp[12].r:=1]
466701 e.e.Yarb.arbs[5]._y2_arb : 1 [by e.e.Yarb.arbs[5].arbiter._y2:=0]
466726 e.e.Yarb.arbs[5].or_cell._y : 0 [by e.e.Yarb.arbs[5]._y2_arb:=1]
476979 e.e._arb_out_y.r : 1 [by e.e.Yarb.arbs[5].or_cell._y:=0]
480500 e.e.Y_ack_confirm._y : 0 [by e.e._arb_out_y.r:=1]
480645 e.e._arb_out_y.a : 1 [by e.e.Y_ack_confirm._y:=0]
496813 e.e.Yarb.arbs[5].ack_cell2._y : 0 [by e.e._arb_out_y.a:=1]
497043 e.e.Yarb.tmp[12].a : 1 [by e.e.Yarb.arbs[5].ack_cell2._y:=0]
497734 e.e.Yarb.arbs[4].ack_cell1._y : 0 [by e.e.Yarb.tmp[12].a:=1]
497748 e.e.Yarb.tmp[9].a : 1 [by e.e.Yarb.arbs[4].ack_cell1._y:=0]
499291 e.e.Yarb.arbs[2].ack_cell2._y : 0 [by e.e.Yarb.tmp[9].a:=1]
500902 e.e._y_temp[5].a : 1 [by e.e.Yarb.arbs[2].ack_cell2._y:=0]
518414 e.e.y_ack_arb[5].buf1._y : 0 [by e.e._y_temp[5].a:=1]
518425 e.y[5].a : 1 [by e.e.y_ack_arb[5].buf1._y:=0]
518426 e.e.y_encoder.ors_t[2].or2s[0]._y : 0 [by e.y[5].a:=1]
518426 e.e.y_encoder.ors_f[1].or2s[1]._y : 0 [by e.y[5].a:=1]
519065 e.e.y_encoder.ors_t[2].tmp[4] : 1 [by e.e.y_encoder.ors_t[2].or2s[0]._y:=0]
519197 e.e.y_encoder.ors_t[2].or2s[2]._y : 0 [by e.e.y_encoder.ors_t[2].tmp[4]:=1]
519198 e.e.y_enc_out.d[2].t : 1 [by e.e.y_encoder.ors_t[2].or2s[2]._y:=0]
519215 e.e.vtree_y.OR2_tf[2]._y : 0 [by e.e.y_enc_out.d[2].t:=1]
519367 e.e.vtree_y.ct.in[2] : 1 [by e.e.vtree_y.OR2_tf[2]._y:=0]
520219 e.e.y_encoder.ors_f[1].tmp[5] : 1 [by e.e.y_encoder.ors_f[1].or2s[1]._y:=0]
523202 e.e.y_encoder.ors_f[1].or2s[2]._y : 0 [by e.e.y_encoder.ors_f[1].tmp[5]:=1]
523205 e.e.y_enc_out.d[1].f : 1 [by e.e.y_encoder.ors_f[1].or2s[2]._y:=0]
523629 e.e.vtree_y.OR2_tf[1]._y : 0 [by e.e.y_enc_out.d[1].f:=1]
523635 e.e.vtree_y.ct.in[1] : 1 [by e.e.vtree_y.OR2_tf[1]._y:=0]
524926 e.e.y_encoder.ors_t[0].or2s[1]._y : 0 [by e.y[5].a:=1]
527514 e.e.y_encoder.ors_t[0].tmp[5] : 1 [by e.e.y_encoder.ors_t[0].or2s[1]._y:=0]
529975 e.e.y_encoder.ors_t[0].or2s[2]._y : 0 [by e.e.y_encoder.ors_t[0].tmp[5]:=1]
530805 e.e.y_enc_out.d[0].t : 1 [by e.e.y_encoder.ors_t[0].or2s[2]._y:=0]
553737 e.e.vtree_y.OR2_tf[0]._y : 0 [by e.e.y_enc_out.d[0].t:=1]
553739 e.e.vtree_y.ct.in[0] : 1 [by e.e.vtree_y.OR2_tf[0]._y:=0]
553933 e.e.vtree_y.ct.C3Els[0]._y : 0 [by e.e.vtree_y.ct.in[0]:=1]
554536 e.e._in_y_v : 1 [by e.e.vtree_y.ct.C3Els[0]._y:=0]
[] Raise x[2].r
554536 e.x[2].r : 1
554553 e.e.x_req_ortree.or2s[1]._y : 0 [by e.x[2].r:=1]
554570 e.e.x_req_ortree.tmp[9] : 1 [by e.e.x_req_ortree.or2s[1]._y:=0]
554674 e.e.Xarb.arbs[1].arbiter._y1 : 0 [by e.x[2].r:=1]
554675 e.e.Xarb.arbs[1]._y1_arb : 1 [by e.e.Xarb.arbs[1].arbiter._y1:=0]
554676 e.e.Xarb.arbs[1].or_cell._y : 0 [by e.e.Xarb.arbs[1]._y1_arb:=1]
554996 e.e.x_req_ortree.or2s[4]._y : 0 [by e.e.x_req_ortree.tmp[9]:=1]
554997 e.e.x_req_ortree.tmp[12] : 1 [by e.e.x_req_ortree.or2s[4]._y:=0]
555016 e.e.x_req_ortree.or2s[6]._y : 0 [by e.e.x_req_ortree.tmp[12]:=1]
555184 e.e._x_v : 1 [by e.e.x_req_ortree.or2s[6]._y:=0]
555702 e.e.Xarb.tmp[9].r : 1 [by e.e.Xarb.arbs[1].or_cell._y:=0]
555723 e.e._x_v_B : 0 [by e.e._x_v:=1]
555863 e.e.Xarb.arbs[4].arbiter._y2 : 0 [by e.e.Xarb.tmp[9].r:=1]
556036 e.e.Xarb.arbs[4]._y2_arb : 1 [by e.e.Xarb.arbs[4].arbiter._y2:=0]
558583 e.e.Xarb.arbs[4].or_cell._y : 0 [by e.e.Xarb.arbs[4]._y2_arb:=1]
573644 e.e.Xarb.tmp[12].r : 1 [by e.e.Xarb.arbs[4].or_cell._y:=0]
573645 e.e.Xarb.arbs[6].arbiter._y1 : 0 [by e.e.Xarb.tmp[12].r:=1]
573646 e.e.Xarb.arbs[6]._y1_arb : 1 [by e.e.Xarb.arbs[6].arbiter._y1:=0]
574036 e.e.Xarb.arbs[6].or_cell._y : 0 [by e.e.Xarb.arbs[6]._y1_arb:=1]
574243 e.e._arb_out_x.r : 1 [by e.e.Xarb.arbs[6].or_cell._y:=0]
575076 e.e.X_ack_confirm._y : 0 [by e.e._arb_out_x.r:=1]
575104 e.e._arb_out_x.a : 1 [by e.e.X_ack_confirm._y:=0]
575111 e.e.Xarb.arbs[6].ack_cell1._y : 0 [by e.e._arb_out_x.a:=1]
575525 e.e.Xarb.tmp[12].a : 1 [by e.e.Xarb.arbs[6].ack_cell1._y:=0]
575529 e.e.Xarb.arbs[4].ack_cell2._y : 0 [by e.e.Xarb.tmp[12].a:=1]
577308 e.e.Xarb.tmp[9].a : 1 [by e.e.Xarb.arbs[4].ack_cell2._y:=0]
600182 e.e.Xarb.arbs[1].ack_cell1._y : 0 [by e.e.Xarb.tmp[9].a:=1]
600348 e.e._x_temp[2].a : 1 [by e.e.Xarb.arbs[1].ack_cell1._y:=0]
640218 e.e.x_ack_arb[2].buf1._y : 0 [by e.e._x_temp[2].a:=1]
648863 e.x[2].a : 1 [by e.e.x_ack_arb[2].buf1._y:=0]
649002 e.e.x_encoder.ors_f[0].or2s[0]._y : 0 [by e.x[2].a:=1]
649719 e.e.x_encoder.ors_t[1].or2s[0]._y : 0 [by e.x[2].a:=1]
649796 e.e.x_encoder.ors_f[2].or2s[1]._y : 0 [by e.x[2].a:=1]
649798 e.e.x_encoder.ors_f[2].tmp[5] : 1 [by e.e.x_encoder.ors_f[2].or2s[1]._y:=0]
649914 e.e.x_encoder.ors_t[1].tmp[4] : 1 [by e.e.x_encoder.ors_t[1].or2s[0]._y:=0]
649920 e.e.x_encoder.ors_t[1].or2s[2]._y : 0 [by e.e.x_encoder.ors_t[1].tmp[4]:=1]
650174 e.e.x_enc_out.d[1].t : 1 [by e.e.x_encoder.ors_t[1].or2s[2]._y:=0]
650182 e.e.vtree_x.OR2_tf[1]._y : 0 [by e.e.x_enc_out.d[1].t:=1]
650183 e.e.vtree_x.ct.in[1] : 1 [by e.e.vtree_x.OR2_tf[1]._y:=0]
675211 e.e.x_encoder.ors_f[0].tmp[4] : 1 [by e.e.x_encoder.ors_f[0].or2s[0]._y:=0]
675217 e.e.x_encoder.ors_f[0].or2s[2]._y : 0 [by e.e.x_encoder.ors_f[0].tmp[4]:=1]
703247 e.e.x_encoder.ors_f[2].or2s[2]._y : 0 [by e.e.x_encoder.ors_f[2].tmp[5]:=1]
706337 e.e.x_enc_out.d[2].f : 1 [by e.e.x_encoder.ors_f[2].or2s[2]._y:=0]
706563 e.e.vtree_x.OR2_tf[2]._y : 0 [by e.e.x_enc_out.d[2].f:=1]
707382 e.e.vtree_x.ct.in[2] : 1 [by e.e.vtree_x.OR2_tf[2]._y:=0]
726253 e.e.x_enc_out.d[0].f : 1 [by e.e.x_encoder.ors_f[0].or2s[2]._y:=0]
726254 e.e.vtree_x.OR2_tf[0]._y : 0 [by e.e.x_enc_out.d[0].f:=1]
726260 e.e.vtree_x.ct.in[0] : 1 [by e.e.vtree_x.OR2_tf[0]._y:=0]
726262 e.e.vtree_x.ct.C3Els[0]._y : 0 [by e.e.vtree_x.ct.in[0]:=1]
729824 e.e._in_x_v : 1 [by e.e.vtree_x.ct.C3Els[0]._y:=0]
729839 e.e._in_xy_v._y : 0 [by e.e._in_x_v:=1]
750640 e.e._in_xy_v.y : 1 [by e.e._in_xy_v._y:=0]
750747 e.e.buf_s_func.in_v_prebuf._y : 0 [by e.e._in_xy_v.y:=1]
750840 e.e.buf_s_func._in_vX : 1 [by e.e.buf_s_func.in_v_prebuf._y:=0]
752492 e.e.buf_s_func.in_v_buf_f.buf2._y : 0 [by e.e.buf_s_func._in_vX:=1]
753250 e.e.buf_s_func._in_vXX_f[0] : 1 [by e.e.buf_s_func.in_v_buf_f.buf2._y:=0]
753251 e.e.buf_s_func.f_buf_func[4]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
753966 e.e.buf_s_func.f_buf_func[2]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
753967 e.out.d.d[2].f : 1 [by e.e.buf_s_func.f_buf_func[2]._y:=0]
754779 e.e.buf_s_func.in_v_buf_t.buf2._y : 0 [by e.e.buf_s_func._in_vX:=1]
754991 e.out.d.d[4].f : 1 [by e.e.buf_s_func.f_buf_func[4]._y:=0]
755873 e.e.buf_s_func.f_buf_func[0]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
766931 e.e.buf_s_func._in_vXX_t[0] : 1 [by e.e.buf_s_func.in_v_buf_t.buf2._y:=0]
766932 e.e.buf_s_func.t_buf_func[1]._y : 0 [by e.e.buf_s_func._in_vXX_t[0]:=1]
766932 e.e.buf_s_func.t_buf_func[5]._y : 0 [by e.e.buf_s_func._in_vXX_t[0]:=1]
766937 e.e.buf_s_func.t_buf_func[3]._y : 0 [by e.e.buf_s_func._in_vXX_t[0]:=1]
766959 e.out.d.d[3].t : 1 [by e.e.buf_s_func.t_buf_func[3]._y:=0]
784072 e.out.d.d[0].f : 1 [by e.e.buf_s_func.f_buf_func[0]._y:=0]
788531 e.out.d.d[5].t : 1 [by e.e.buf_s_func.t_buf_func[5]._y:=0]
806421 e.out.d.d[1].t : 1 [by e.e.buf_s_func.t_buf_func[1]._y:=0]
[] Check Arbiter Acks
[] Check Encoders
[] Check Buffer
[] Finish Neuron Handshake
806421 e.y[5].r : 0
806421 e.x[2].r : 0
806428 e.e.x_req_ortree.or2s[1]._y : 1 [by e.x[2].r:=0]
806441 e.e.x_req_ortree.tmp[9] : 0 [by e.e.x_req_ortree.or2s[1]._y:=1]
806486 e.e.Xarb.arbs[1].arbiter._y1 : 1 [by e.x[2].r:=0]
806590 e.e.Xarb.arbs[1]._y1_arb : 0 [by e.e.Xarb.arbs[1].arbiter._y1:=1]
806631 e.e.Xarb.arbs[1].or_cell._y : 1 [by e.e.Xarb.arbs[1]._y1_arb:=0]
806632 e.e.Xarb.tmp[9].r : 0 [by e.e.Xarb.arbs[1].or_cell._y:=1]
806633 e.e.Xarb.arbs[4].arbiter._y2 : 1 [by e.e.Xarb.tmp[9].r:=0]
807565 e.e.x_req_ortree.or2s[4]._y : 1 [by e.e.x_req_ortree.tmp[9]:=0]
820737 e.e.x_req_ortree.tmp[12] : 0 [by e.e.x_req_ortree.or2s[4]._y:=1]
820738 e.e.x_req_ortree.or2s[6]._y : 1 [by e.e.x_req_ortree.tmp[12]:=0]
828929 e.e.Yarb.arbs[2].arbiter._y2 : 1 [by e.y[5].r:=0]
832065 e.e.Yarb.arbs[2]._y2_arb : 0 [by e.e.Yarb.arbs[2].arbiter._y2:=1]
832891 e.e.Yarb.arbs[2].or_cell._y : 1 [by e.e.Yarb.arbs[2]._y2_arb:=0]
834724 e.e.Yarb.tmp[9].r : 0 [by e.e.Yarb.arbs[2].or_cell._y:=1]
840563 e.e._x_v : 0 [by e.e.x_req_ortree.or2s[6]._y:=1]
840621 e.e._x_v_B : 1 [by e.e._x_v:=0]
851272 e.e.Yarb.arbs[4].arbiter._y1 : 1 [by e.e.Yarb.tmp[9].r:=0]
853715 e.e.Yarb.arbs[4]._y1_arb : 0 [by e.e.Yarb.arbs[4].arbiter._y1:=1]
870488 e.e.Yarb.arbs[4].or_cell._y : 1 [by e.e.Yarb.arbs[4]._y1_arb:=0]
871011 e.e.Xarb.arbs[4]._y2_arb : 0 [by e.e.Xarb.arbs[4].arbiter._y2:=1]
871025 e.e.Xarb.arbs[4].or_cell._y : 1 [by e.e.Xarb.arbs[4]._y2_arb:=0]
871381 e.e.Xarb.tmp[12].r : 0 [by e.e.Xarb.arbs[4].or_cell._y:=1]
907219 e.e.Xarb.arbs[6].arbiter._y1 : 1 [by e.e.Xarb.tmp[12].r:=0]
907324 e.e.Xarb.arbs[6]._y1_arb : 0 [by e.e.Xarb.arbs[6].arbiter._y1:=1]
907433 e.e.Xarb.arbs[6].or_cell._y : 1 [by e.e.Xarb.arbs[6]._y1_arb:=0]
907434 e.e._arb_out_x.r : 0 [by e.e.Xarb.arbs[6].or_cell._y:=1]
907687 e.e.Yarb.tmp[12].r : 0 [by e.e.Yarb.arbs[4].or_cell._y:=1]
907696 e.e.Yarb.arbs[5].arbiter._y2 : 1 [by e.e.Yarb.tmp[12].r:=0]
945649 e.e.Yarb.arbs[5]._y2_arb : 0 [by e.e.Yarb.arbs[5].arbiter._y2:=1]
945650 e.e.Yarb.arbs[5].or_cell._y : 1 [by e.e.Yarb.arbs[5]._y2_arb:=0]
982044 e.e._arb_out_y.r : 0 [by e.e.Yarb.arbs[5].or_cell._y:=1]
982044 e.out.a : 1
982044 e.out.v : 1
982045 e.e.buf_s_func._out_a_B : 0 [by e.out.a:=1]
982795 e.e.buf_s_func.out_a_B_buf_f.buf2._y : 1 [by e.e.buf_s_func._out_a_B:=0]
985133 e.e._x_a_B : 0 [by e.out.v:=1]
985143 e.e.X_ack_confirm._y : 1 [by e.e._x_a_B:=0]
985184 e.e._x_a : 1 [by e.e._x_a_B:=0]
985463 e.e._arb_out_x.a : 0 [by e.e.X_ack_confirm._y:=1]
985464 e.e.Xarb.arbs[6].ack_cell1._y : 1 [by e.e._arb_out_x.a:=0]
985465 e.e.Xarb.tmp[12].a : 0 [by e.e.Xarb.arbs[6].ack_cell1._y:=1]
987195 e.e.Xarb.arbs[4].ack_cell2._y : 1 [by e.e.Xarb.tmp[12].a:=0]
988882 e.e.Xarb.tmp[9].a : 0 [by e.e.Xarb.arbs[4].ack_cell2._y:=1]
988897 e.e.Xarb.arbs[1].ack_cell1._y : 1 [by e.e.Xarb.tmp[9].a:=0]
989550 e.e.buf_s_func._out_a_BX_t[0] : 0 [by e.e.buf_s_func.out_a_B_buf_f.buf2._y:=1]
992766 e.e._en : 0 [by e.e._x_a:=1]
993082 e.e.buf_s_func.en_buf_t.buf2._y : 1 [by e.e._en:=0]
993083 e.e.buf_s_func._en_X_t[0] : 0 [by e.e.buf_s_func.en_buf_t.buf2._y:=1]
993103 e.e.buf_s_func.t_buf_func[5]._y : 1 [by e.e.buf_s_func._en_X_t[0]:=0]
993220 e.e.buf_s_func.en_buf_f.buf2._y : 1 [by e.e._en:=0]
993307 e.e.buf_s_func._en_X_f[0] : 0 [by e.e.buf_s_func.en_buf_f.buf2._y:=1]
993466 e.e.buf_s_func.t_buf_func[1]._y : 1 [by e.e.buf_s_func._en_X_t[0]:=0]
994426 e.out.d.d[5].t : 0 [by e.e.buf_s_func.t_buf_func[5]._y:=1]
1000188 e.out.d.d[1].t : 0 [by e.e.buf_s_func.t_buf_func[1]._y:=1]
1000546 e.e.buf_s_func.t_buf_func[3]._y : 1 [by e.e.buf_s_func._en_X_t[0]:=0]
1000558 e.out.d.d[3].t : 0 [by e.e.buf_s_func.t_buf_func[3]._y:=1]
1013171 e.e._x_temp[2].a : 0 [by e.e.Xarb.arbs[1].ack_cell1._y:=1]
1013316 e.e.x_ack_arb[2].buf1._y : 1 [by e.e._x_temp[2].a:=0]
1014217 e.x[2].a : 0 [by e.e.x_ack_arb[2].buf1._y:=1]
1014436 e.e.x_encoder.ors_t[1].or2s[0]._y : 1 [by e.x[2].a:=0]
1015566 e.e.x_encoder.ors_f[2].or2s[1]._y : 1 [by e.x[2].a:=0]
1015584 e.e.x_encoder.ors_f[2].tmp[5] : 0 [by e.e.x_encoder.ors_f[2].or2s[1]._y:=1]
1017778 e.e.x_encoder.ors_f[2].or2s[2]._y : 1 [by e.e.x_encoder.ors_f[2].tmp[5]:=0]
1022548 e.e.x_encoder.ors_f[0].or2s[0]._y : 1 [by e.x[2].a:=0]
1022668 e.e.x_encoder.ors_f[0].tmp[4] : 0 [by e.e.x_encoder.ors_f[0].or2s[0]._y:=1]
1028983 e.e.x_encoder.ors_f[0].or2s[2]._y : 1 [by e.e.x_encoder.ors_f[0].tmp[4]:=0]
1030771 e.e.buf_s_func.out_a_B_buf_t.buf2._y : 1 [by e.e.buf_s_func._out_a_B:=0]
1031047 e.e.x_enc_out.d[0].f : 0 [by e.e.x_encoder.ors_f[0].or2s[2]._y:=1]
1031054 e.e.vtree_x.OR2_tf[0]._y : 1 [by e.e.x_enc_out.d[0].f:=0]
1031055 e.e.vtree_x.ct.in[0] : 0 [by e.e.vtree_x.OR2_tf[0]._y:=1]
1031363 e.e.buf_s_func._out_a_BX_f[0] : 0 [by e.e.buf_s_func.out_a_B_buf_t.buf2._y:=1]
1031487 e.e.buf_s_func.f_buf_func[0]._y : 1 [by e.e.buf_s_func._out_a_BX_f[0]:=0]
1031847 e.out.d.d[0].f : 0 [by e.e.buf_s_func.f_buf_func[0]._y:=1]
1032415 e.e.buf_s_func.f_buf_func[4]._y : 1 [by e.e.buf_s_func._out_a_BX_f[0]:=0]
1037293 e.e.buf_s_func.f_buf_func[2]._y : 1 [by e.e.buf_s_func._out_a_BX_f[0]:=0]
1038390 e.out.d.d[2].f : 0 [by e.e.buf_s_func.f_buf_func[2]._y:=1]
1042609 e.out.d.d[4].f : 0 [by e.e.buf_s_func.f_buf_func[4]._y:=1]
1046017 e.e.x_encoder.ors_t[1].tmp[4] : 0 [by e.e.x_encoder.ors_t[1].or2s[0]._y:=1]
1055750 e.e.x_enc_out.d[2].f : 0 [by e.e.x_encoder.ors_f[2].or2s[2]._y:=1]
1055754 e.e.vtree_x.OR2_tf[2]._y : 1 [by e.e.x_enc_out.d[2].f:=0]
1065909 e.e.x_encoder.ors_t[1].or2s[2]._y : 1 [by e.e.x_encoder.ors_t[1].tmp[4]:=0]
1067418 e.e.vtree_x.ct.in[2] : 0 [by e.e.vtree_x.OR2_tf[2]._y:=1]
1103828 e.e.x_enc_out.d[1].t : 0 [by e.e.x_encoder.ors_t[1].or2s[2]._y:=1]
1121489 e.e.vtree_x.OR2_tf[1]._y : 1 [by e.e.x_enc_out.d[1].t:=0]
1124870 e.e.vtree_x.ct.in[1] : 0 [by e.e.vtree_x.OR2_tf[1]._y:=1]
1125126 e.e.vtree_x.ct.C3Els[0]._y : 1 [by e.e.vtree_x.ct.in[1]:=0]
1140056 e.e._in_x_v : 0 [by e.e.vtree_x.ct.C3Els[0]._y:=1]
1140068 e.e.Y_ack_confirm._y : 1 [by e.e._in_x_v:=0]
1140077 e.e._arb_out_y.a : 0 [by e.e.Y_ack_confirm._y:=1]
1140093 e.e._in_xy_v._y : 1 [by e.e._in_x_v:=0]
1140335 e.e._in_xy_v.y : 0 [by e.e._in_xy_v._y:=1]
1140504 e.e.Yarb.arbs[5].ack_cell2._y : 1 [by e.e._arb_out_y.a:=0]
1141170 e.e.buf_s_func.in_v_prebuf._y : 1 [by e.e._in_xy_v.y:=0]
1142730 e.e.buf_s_func._in_vX : 0 [by e.e.buf_s_func.in_v_prebuf._y:=1]
1142990 e.e.buf_s_func.in_v_buf_t.buf2._y : 1 [by e.e.buf_s_func._in_vX:=0]
1151978 e.e.buf_s_func._in_vXX_t[0] : 0 [by e.e.buf_s_func.in_v_buf_t.buf2._y:=1]
1179823 e.e.buf_s_func.in_v_buf_f.buf2._y : 1 [by e.e.buf_s_func._in_vX:=0]
1179824 e.e.buf_s_func._in_vXX_f[0] : 0 [by e.e.buf_s_func.in_v_buf_f.buf2._y:=1]
1187240 e.e.Yarb.tmp[12].a : 0 [by e.e.Yarb.arbs[5].ack_cell2._y:=1]
1223290 e.e.Yarb.arbs[4].ack_cell1._y : 1 [by e.e.Yarb.tmp[12].a:=0]
1223674 e.e.Yarb.tmp[9].a : 0 [by e.e.Yarb.arbs[4].ack_cell1._y:=1]
1223693 e.e.Yarb.arbs[2].ack_cell2._y : 1 [by e.e.Yarb.tmp[9].a:=0]
1223702 e.e._y_temp[5].a : 0 [by e.e.Yarb.arbs[2].ack_cell2._y:=1]
1245656 e.e.y_ack_arb[5].buf1._y : 1 [by e.e._y_temp[5].a:=0]
1245844 e.y[5].a : 0 [by e.e.y_ack_arb[5].buf1._y:=1]
1245992 e.e.y_encoder.ors_t[0].or2s[1]._y : 1 [by e.y[5].a:=0]
1249444 e.e.y_encoder.ors_f[1].or2s[1]._y : 1 [by e.y[5].a:=0]
1249459 e.e.y_encoder.ors_f[1].tmp[5] : 0 [by e.e.y_encoder.ors_f[1].or2s[1]._y:=1]
1260068 e.e.y_encoder.ors_f[1].or2s[2]._y : 1 [by e.e.y_encoder.ors_f[1].tmp[5]:=0]
1260955 e.e.y_enc_out.d[1].f : 0 [by e.e.y_encoder.ors_f[1].or2s[2]._y:=1]
1264869 e.e.y_encoder.ors_t[0].tmp[5] : 0 [by e.e.y_encoder.ors_t[0].or2s[1]._y:=1]
1264870 e.e.y_encoder.ors_t[0].or2s[2]._y : 1 [by e.e.y_encoder.ors_t[0].tmp[5]:=0]
1268937 e.e.vtree_y.OR2_tf[1]._y : 1 [by e.e.y_enc_out.d[1].f:=0]
1269302 e.e.vtree_y.ct.in[1] : 0 [by e.e.vtree_y.OR2_tf[1]._y:=1]
1271596 e.e.y_enc_out.d[0].t : 0 [by e.e.y_encoder.ors_t[0].or2s[2]._y:=1]
1280554 e.e.vtree_y.OR2_tf[0]._y : 1 [by e.e.y_enc_out.d[0].t:=0]
1281938 e.e.vtree_y.ct.in[0] : 0 [by e.e.vtree_y.OR2_tf[0]._y:=1]
1291620 e.e.y_encoder.ors_t[2].or2s[0]._y : 1 [by e.y[5].a:=0]
1291641 e.e.y_encoder.ors_t[2].tmp[4] : 0 [by e.e.y_encoder.ors_t[2].or2s[0]._y:=1]
1291682 e.e.y_encoder.ors_t[2].or2s[2]._y : 1 [by e.e.y_encoder.ors_t[2].tmp[4]:=0]
1291685 e.e.y_enc_out.d[2].t : 0 [by e.e.y_encoder.ors_t[2].or2s[2]._y:=1]
1293562 e.e.vtree_y.OR2_tf[2]._y : 1 [by e.e.y_enc_out.d[2].t:=0]
1303071 e.e.vtree_y.ct.in[2] : 0 [by e.e.vtree_y.OR2_tf[2]._y:=1]
1303653 e.e.vtree_y.ct.C3Els[0]._y : 1 [by e.e.vtree_y.ct.in[2]:=0]
1303655 e.e._in_y_v : 0 [by e.e.vtree_y.ct.C3Els[0]._y:=1]
1303658 e.e._x_a_B : 1 [by e.e._in_y_v:=0]
1303659 e.e._x_a : 0 [by e.e._x_a_B:=1]
1303659 e.out.a : 0
1303659 e.out.v : 0
1307111 e.e.buf_s_func._out_a_B : 1 [by e.out.a:=0]
1307112 e.e.buf_s_func.out_a_B_buf_f.buf2._y : 0 [by e.e.buf_s_func._out_a_B:=1]
1307187 e.e.buf_s_func._out_a_BX_t[0] : 1 [by e.e.buf_s_func.out_a_B_buf_f.buf2._y:=0]
1307971 e.e.buf_s_func.out_a_B_buf_t.buf2._y : 0 [by e.e.buf_s_func._out_a_B:=1]
1310792 e.e._en : 1 [by e.out.v:=0]
1310866 e.e.buf_s_func.en_buf_f.buf2._y : 0 [by e.e._en:=1]
1310964 e.e.buf_s_func._en_X_f[0] : 1 [by e.e.buf_s_func.en_buf_f.buf2._y:=0]
1313062 e.e.buf_s_func.en_buf_t.buf2._y : 0 [by e.e._en:=1]
1318833 e.e.buf_s_func._en_X_t[0] : 1 [by e.e.buf_s_func.en_buf_t.buf2._y:=0]
1335922 e.e.buf_s_func._out_a_BX_f[0] : 1 [by e.e.buf_s_func.out_a_B_buf_t.buf2._y:=0]
[] Neuron (2,5) Encoded
[] Single Neuron Spikes (0,0)
1335922 e.y[0].r : 1
1335922 e.x[0].r : 1
1339775 e.e.Xarb.arbs[0].arbiter._y1 : 0 [by e.x[0].r:=1]
1342063 e.e.x_req_ortree.or2s[0]._y : 0 [by e.x[0].r:=1]
1342067 e.e.x_req_ortree.tmp[8] : 1 [by e.e.x_req_ortree.or2s[0]._y:=0]
1342072 e.e.x_req_ortree.or2s[4]._y : 0 [by e.e.x_req_ortree.tmp[8]:=1]
1342135 e.e.Xarb.arbs[0]._y1_arb : 1 [by e.e.Xarb.arbs[0].arbiter._y1:=0]
1342229 e.e.Xarb.arbs[0].or_cell._y : 0 [by e.e.Xarb.arbs[0]._y1_arb:=1]
1342230 e.e.Xarb.tmp[8].r : 1 [by e.e.Xarb.arbs[0].or_cell._y:=0]
1342266 e.e.Xarb.arbs[4].arbiter._y1 : 0 [by e.e.Xarb.tmp[8].r:=1]
1342268 e.e.Xarb.arbs[4]._y1_arb : 1 [by e.e.Xarb.arbs[4].arbiter._y1:=0]
1342363 e.e.x_req_ortree.tmp[12] : 1 [by e.e.x_req_ortree.or2s[4]._y:=0]
1342399 e.e.x_req_ortree.or2s[6]._y : 0 [by e.e.x_req_ortree.tmp[12]:=1]
1342400 e.e._x_v : 1 [by e.e.x_req_ortree.or2s[6]._y:=0]
1342414 e.e._x_v_B : 0 [by e.e._x_v:=1]
1364086 e.e.Xarb.arbs[4].or_cell._y : 0 [by e.e.Xarb.arbs[4]._y1_arb:=1]
1364098 e.e.Xarb.tmp[12].r : 1 [by e.e.Xarb.arbs[4].or_cell._y:=0]
1367650 e.e.Yarb.arbs[0].arbiter._y1 : 0 [by e.y[0].r:=1]
1388129 e.e.Xarb.arbs[6].arbiter._y1 : 0 [by e.e.Xarb.tmp[12].r:=1]
1389207 e.e.Yarb.arbs[0]._y1_arb : 1 [by e.e.Yarb.arbs[0].arbiter._y1:=0]
1401105 e.e.Yarb.arbs[0].or_cell._y : 0 [by e.e.Yarb.arbs[0]._y1_arb:=1]
1401119 e.e.Xarb.arbs[6]._y1_arb : 1 [by e.e.Xarb.arbs[6].arbiter._y1:=0]
1401120 e.e.Xarb.arbs[6].or_cell._y : 0 [by e.e.Xarb.arbs[6]._y1_arb:=1]
1401332 e.e._arb_out_x.r : 1 [by e.e.Xarb.arbs[6].or_cell._y:=0]
1408744 e.e.X_ack_confirm._y : 0 [by e.e._arb_out_x.r:=1]
1411677 e.e._arb_out_x.a : 1 [by e.e.X_ack_confirm._y:=0]
1411816 e.e.Xarb.arbs[6].ack_cell1._y : 0 [by e.e._arb_out_x.a:=1]
1411820 e.e.Xarb.tmp[12].a : 1 [by e.e.Xarb.arbs[6].ack_cell1._y:=0]
1412175 e.e.Xarb.arbs[4].ack_cell1._y : 0 [by e.e.Xarb.tmp[12].a:=1]
1412253 e.e.Xarb.tmp[8].a : 1 [by e.e.Xarb.arbs[4].ack_cell1._y:=0]
1444055 e.e.Yarb.tmp[7].r : 1 [by e.e.Yarb.arbs[0].or_cell._y:=0]
1444081 e.e.Yarb.arbs[3].arbiter._y1 : 0 [by e.e.Yarb.tmp[7].r:=1]
1444345 e.e.Yarb.arbs[3]._y1_arb : 1 [by e.e.Yarb.arbs[3].arbiter._y1:=0]
1444406 e.e.Yarb.arbs[3].or_cell._y : 0 [by e.e.Yarb.arbs[3]._y1_arb:=1]
1444411 e.e.Yarb.tmp[11].r : 1 [by e.e.Yarb.arbs[3].or_cell._y:=0]
1444483 e.e.Yarb.arbs[5].arbiter._y1 : 0 [by e.e.Yarb.tmp[11].r:=1]
1444594 e.e.Yarb.arbs[5]._y1_arb : 1 [by e.e.Yarb.arbs[5].arbiter._y1:=0]
1444613 e.e.Yarb.arbs[5].or_cell._y : 0 [by e.e.Yarb.arbs[5]._y1_arb:=1]
1444712 e.e._arb_out_y.r : 1 [by e.e.Yarb.arbs[5].or_cell._y:=0]
1445079 e.e.Y_ack_confirm._y : 0 [by e.e._arb_out_y.r:=1]
1445128 e.e._arb_out_y.a : 1 [by e.e.Y_ack_confirm._y:=0]
1445163 e.e.Yarb.arbs[5].ack_cell1._y : 0 [by e.e._arb_out_y.a:=1]
1450458 e.e.Xarb.arbs[0].ack_cell1._y : 0 [by e.e.Xarb.tmp[8].a:=1]
1451340 e.e.Yarb.tmp[11].a : 1 [by e.e.Yarb.arbs[5].ack_cell1._y:=0]
1451368 e.e.Yarb.arbs[3].ack_cell1._y : 0 [by e.e.Yarb.tmp[11].a:=1]
1452355 e.e.Yarb.tmp[7].a : 1 [by e.e.Yarb.arbs[3].ack_cell1._y:=0]
1455282 e.e._x_temp[0].a : 1 [by e.e.Xarb.arbs[0].ack_cell1._y:=0]
1455342 e.e.x_ack_arb[0].buf1._y : 0 [by e.e._x_temp[0].a:=1]
1464912 e.x[0].a : 1 [by e.e.x_ack_arb[0].buf1._y:=0]
1467015 e.e.x_encoder.ors_f[2].or2s[0]._y : 0 [by e.x[0].a:=1]
1467016 e.e.x_encoder.ors_f[2].tmp[4] : 1 [by e.e.x_encoder.ors_f[2].or2s[0]._y:=0]
1472858 e.e.Yarb.arbs[0].ack_cell1._y : 0 [by e.e.Yarb.tmp[7].a:=1]
1472861 e.e._y_temp[0].a : 1 [by e.e.Yarb.arbs[0].ack_cell1._y:=0]
1475829 e.e.x_encoder.ors_f[0].or2s[0]._y : 0 [by e.x[0].a:=1]
1477298 e.e.x_encoder.ors_f[0].tmp[4] : 1 [by e.e.x_encoder.ors_f[0].or2s[0]._y:=0]
1477328 e.e.x_encoder.ors_f[0].or2s[2]._y : 0 [by e.e.x_encoder.ors_f[0].tmp[4]:=1]
1477334 e.e.x_enc_out.d[0].f : 1 [by e.e.x_encoder.ors_f[0].or2s[2]._y:=0]
1477335 e.e.vtree_x.OR2_tf[0]._y : 0 [by e.e.x_enc_out.d[0].f:=1]
1477462 e.e.vtree_x.ct.in[0] : 1 [by e.e.vtree_x.OR2_tf[0]._y:=0]
1482620 e.e.x_encoder.ors_f[1].or2s[0]._y : 0 [by e.x[0].a:=1]
1482623 e.e.x_encoder.ors_f[1].tmp[4] : 1 [by e.e.x_encoder.ors_f[1].or2s[0]._y:=0]
1482709 e.e.x_encoder.ors_f[1].or2s[2]._y : 0 [by e.e.x_encoder.ors_f[1].tmp[4]:=1]
1483641 e.e.x_enc_out.d[1].f : 1 [by e.e.x_encoder.ors_f[1].or2s[2]._y:=0]
1485134 e.e.vtree_x.OR2_tf[1]._y : 0 [by e.e.x_enc_out.d[1].f:=1]
1491525 e.e.y_ack_arb[0].buf1._y : 0 [by e.e._y_temp[0].a:=1]
1492757 e.e.x_encoder.ors_f[2].or2s[2]._y : 0 [by e.e.x_encoder.ors_f[2].tmp[4]:=1]
1493031 e.e.x_enc_out.d[2].f : 1 [by e.e.x_encoder.ors_f[2].or2s[2]._y:=0]
1493032 e.e.vtree_x.OR2_tf[2]._y : 0 [by e.e.x_enc_out.d[2].f:=1]
1493857 e.e.vtree_x.ct.in[1] : 1 [by e.e.vtree_x.OR2_tf[1]._y:=0]
1501183 e.e.vtree_x.ct.in[2] : 1 [by e.e.vtree_x.OR2_tf[2]._y:=0]
1505878 e.y[0].a : 1 [by e.e.y_ack_arb[0].buf1._y:=0]
1505880 e.e.y_encoder.ors_f[2].or2s[0]._y : 0 [by e.y[0].a:=1]
1506237 e.e.y_encoder.ors_f[1].or2s[0]._y : 0 [by e.y[0].a:=1]
1506239 e.e.y_encoder.ors_f[1].tmp[4] : 1 [by e.e.y_encoder.ors_f[1].or2s[0]._y:=0]
1507894 e.e.y_encoder.ors_f[0].or2s[0]._y : 0 [by e.y[0].a:=1]
1507897 e.e.y_encoder.ors_f[0].tmp[4] : 1 [by e.e.y_encoder.ors_f[0].or2s[0]._y:=0]
1520670 e.e.y_encoder.ors_f[1].or2s[2]._y : 0 [by e.e.y_encoder.ors_f[1].tmp[4]:=1]
1521014 e.e.y_enc_out.d[1].f : 1 [by e.e.y_encoder.ors_f[1].or2s[2]._y:=0]
1521028 e.e.vtree_x.ct.C3Els[0]._y : 0 [by e.e.vtree_x.ct.in[2]:=1]
1521057 e.e._in_x_v : 1 [by e.e.vtree_x.ct.C3Els[0]._y:=0]
1522797 e.e.vtree_y.OR2_tf[1]._y : 0 [by e.e.y_enc_out.d[1].f:=1]
1522868 e.e.vtree_y.ct.in[1] : 1 [by e.e.vtree_y.OR2_tf[1]._y:=0]
1530391 e.e.y_encoder.ors_f[2].tmp[4] : 1 [by e.e.y_encoder.ors_f[2].or2s[0]._y:=0]
1530753 e.e.y_encoder.ors_f[2].or2s[2]._y : 0 [by e.e.y_encoder.ors_f[2].tmp[4]:=1]
1530836 e.e.y_enc_out.d[2].f : 1 [by e.e.y_encoder.ors_f[2].or2s[2]._y:=0]
1545186 e.e.y_encoder.ors_f[0].or2s[2]._y : 0 [by e.e.y_encoder.ors_f[0].tmp[4]:=1]
1545293 e.e.y_enc_out.d[0].f : 1 [by e.e.y_encoder.ors_f[0].or2s[2]._y:=0]
1545296 e.e.vtree_y.OR2_tf[0]._y : 0 [by e.e.y_enc_out.d[0].f:=1]
1545297 e.e.vtree_y.ct.in[0] : 1 [by e.e.vtree_y.OR2_tf[0]._y:=0]
1578998 e.e.vtree_y.OR2_tf[2]._y : 0 [by e.e.y_enc_out.d[2].f:=1]
1578999 e.e.vtree_y.ct.in[2] : 1 [by e.e.vtree_y.OR2_tf[2]._y:=0]
1583344 e.e.vtree_y.ct.C3Els[0]._y : 0 [by e.e.vtree_y.ct.in[2]:=1]
1584202 e.e._in_y_v : 1 [by e.e.vtree_y.ct.C3Els[0]._y:=0]
1584214 e.e._in_xy_v._y : 0 [by e.e._in_y_v:=1]
1620643 e.e._in_xy_v.y : 1 [by e.e._in_xy_v._y:=0]
1671612 e.e.buf_s_func.in_v_prebuf._y : 0 [by e.e._in_xy_v.y:=1]
1704958 e.e.buf_s_func._in_vX : 1 [by e.e.buf_s_func.in_v_prebuf._y:=0]
1704986 e.e.buf_s_func.in_v_buf_t.buf2._y : 0 [by e.e.buf_s_func._in_vX:=1]
1704994 e.e.buf_s_func._in_vXX_t[0] : 1 [by e.e.buf_s_func.in_v_buf_t.buf2._y:=0]
1709939 e.e.buf_s_func.in_v_buf_f.buf2._y : 0 [by e.e.buf_s_func._in_vX:=1]
1731294 e.e.buf_s_func._in_vXX_f[0] : 1 [by e.e.buf_s_func.in_v_buf_f.buf2._y:=0]
1731302 e.e.buf_s_func.f_buf_func[3]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
1731335 e.e.buf_s_func.f_buf_func[4]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
1731352 e.out.d.d[4].f : 1 [by e.e.buf_s_func.f_buf_func[4]._y:=0]
1731373 e.e.buf_s_func.f_buf_func[2]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
1731559 e.e.buf_s_func.f_buf_func[1]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
1731933 e.e.buf_s_func.f_buf_func[5]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
1753545 e.out.d.d[5].f : 1 [by e.e.buf_s_func.f_buf_func[5]._y:=0]
1755651 e.out.d.d[2].f : 1 [by e.e.buf_s_func.f_buf_func[2]._y:=0]
1764857 e.out.d.d[3].f : 1 [by e.e.buf_s_func.f_buf_func[3]._y:=0]
1765625 e.e.buf_s_func.f_buf_func[0]._y : 0 [by e.e.buf_s_func._in_vXX_f[0]:=1]
1765626 e.out.d.d[0].f : 1 [by e.e.buf_s_func.f_buf_func[0]._y:=0]
1776778 e.out.d.d[1].f : 1 [by e.e.buf_s_func.f_buf_func[1]._y:=0]
[] Check Arbiter Acks
[] Check Encoders
[] Check Buffer
[] Finish Neuron Handshake
1776778 e.y[0].r : 0
1776778 e.x[0].r : 0
1776779 e.e.Yarb.arbs[0].arbiter._y1 : 1 [by e.y[0].r:=0]
1776905 e.e.Yarb.arbs[0]._y1_arb : 0 [by e.e.Yarb.arbs[0].arbiter._y1:=1]
1776907 e.e.Yarb.arbs[0].or_cell._y : 1 [by e.e.Yarb.arbs[0]._y1_arb:=0]
1777116 e.e.Xarb.arbs[0].arbiter._y1 : 1 [by e.x[0].r:=0]
1777204 e.e.x_req_ortree.or2s[0]._y : 1 [by e.x[0].r:=0]
1777276 e.e.Xarb.arbs[0]._y1_arb : 0 [by e.e.Xarb.arbs[0].arbiter._y1:=1]
1777717 e.e.Yarb.tmp[7].r : 0 [by e.e.Yarb.arbs[0].or_cell._y:=1]
1777718 e.e.Yarb.arbs[3].arbiter._y1 : 1 [by e.e.Yarb.tmp[7].r:=0]
1777723 e.e.Yarb.arbs[3]._y1_arb : 0 [by e.e.Yarb.arbs[3].arbiter._y1:=1]
1778293 e.e.Yarb.arbs[3].or_cell._y : 1 [by e.e.Yarb.arbs[3]._y1_arb:=0]
1805035 e.e.x_req_ortree.tmp[8] : 0 [by e.e.x_req_ortree.or2s[0]._y:=1]
1807167 e.e.x_req_ortree.or2s[4]._y : 1 [by e.e.x_req_ortree.tmp[8]:=0]
1807169 e.e.x_req_ortree.tmp[12] : 0 [by e.e.x_req_ortree.or2s[4]._y:=1]
1807207 e.e.x_req_ortree.or2s[6]._y : 1 [by e.e.x_req_ortree.tmp[12]:=0]
1819529 e.e._x_v : 0 [by e.e.x_req_ortree.or2s[6]._y:=1]
1819586 e.e._x_v_B : 1 [by e.e._x_v:=0]
1836909 e.e.Yarb.tmp[11].r : 0 [by e.e.Yarb.arbs[3].or_cell._y:=1]
1836910 e.e.Yarb.arbs[5].arbiter._y1 : 1 [by e.e.Yarb.tmp[11].r:=0]
1839709 e.e.Xarb.arbs[0].or_cell._y : 1 [by e.e.Xarb.arbs[0]._y1_arb:=0]
1839713 e.e.Xarb.tmp[8].r : 0 [by e.e.Xarb.arbs[0].or_cell._y:=1]
1840259 e.e.Xarb.arbs[4].arbiter._y1 : 1 [by e.e.Xarb.tmp[8].r:=0]
1840270 e.e.Xarb.arbs[4]._y1_arb : 0 [by e.e.Xarb.arbs[4].arbiter._y1:=1]
1840282 e.e.Xarb.arbs[4].or_cell._y : 1 [by e.e.Xarb.arbs[4]._y1_arb:=0]
1841965 e.e.Xarb.tmp[12].r : 0 [by e.e.Xarb.arbs[4].or_cell._y:=1]
1845630 e.e.Yarb.arbs[5]._y1_arb : 0 [by e.e.Yarb.arbs[5].arbiter._y1:=1]
1846498 e.e.Yarb.arbs[5].or_cell._y : 1 [by e.e.Yarb.arbs[5]._y1_arb:=0]
1862946 e.e._arb_out_y.r : 0 [by e.e.Yarb.arbs[5].or_cell._y:=1]
1870133 e.e.Xarb.arbs[6].arbiter._y1 : 1 [by e.e.Xarb.tmp[12].r:=0]
1870153 e.e.Xarb.arbs[6]._y1_arb : 0 [by e.e.Xarb.arbs[6].arbiter._y1:=1]
1872793 e.e.Xarb.arbs[6].or_cell._y : 1 [by e.e.Xarb.arbs[6]._y1_arb:=0]
1901501 e.e._arb_out_x.r : 0 [by e.e.Xarb.arbs[6].or_cell._y:=1]
1901501 e.out.a : 1
1901501 e.out.v : 1
1903930 e.e.buf_s_func._out_a_B : 0 [by e.out.a:=1]
1904377 e.e._x_a_B : 0 [by e.out.v:=1]
1904868 e.e._x_a : 1 [by e.e._x_a_B:=0]
1906064 e.e.buf_s_func.out_a_B_buf_t.buf2._y : 1 [by e.e.buf_s_func._out_a_B:=0]
1906086 e.e.buf_s_func._out_a_BX_f[0] : 0 [by e.e.buf_s_func.out_a_B_buf_t.buf2._y:=1]
1910829 e.e._en : 0 [by e.e._x_a:=1]
1910847 e.e.buf_s_func.en_buf_t.buf2._y : 1 [by e.e._en:=0]
1910848 e.e.buf_s_func._en_X_t[0] : 0 [by e.e.buf_s_func.en_buf_t.buf2._y:=1]
1910955 e.e.buf_s_func.en_buf_f.buf2._y : 1 [by e.e._en:=0]
1928893 e.e.buf_s_func.out_a_B_buf_f.buf2._y : 1 [by e.e.buf_s_func._out_a_B:=0]
1928947 e.e.buf_s_func._out_a_BX_t[0] : 0 [by e.e.buf_s_func.out_a_B_buf_f.buf2._y:=1]
1932587 e.e.X_ack_confirm._y : 1 [by e.e._x_a_B:=0]
1932613 e.e._arb_out_x.a : 0 [by e.e.X_ack_confirm._y:=1]
1933793 e.e.buf_s_func._en_X_f[0] : 0 [by e.e.buf_s_func.en_buf_f.buf2._y:=1]
1933794 e.e.buf_s_func.f_buf_func[3]._y : 1 [by e.e.buf_s_func._en_X_f[0]:=0]
1933794 e.e.buf_s_func.f_buf_func[5]._y : 1 [by e.e.buf_s_func._en_X_f[0]:=0]
1933795 e.out.d.d[3].f : 0 [by e.e.buf_s_func.f_buf_func[3]._y:=1]
1933845 e.e.buf_s_func.f_buf_func[1]._y : 1 [by e.e.buf_s_func._en_X_f[0]:=0]
1933851 e.out.d.d[1].f : 0 [by e.e.buf_s_func.f_buf_func[1]._y:=1]
1933901 e.e.buf_s_func.f_buf_func[2]._y : 1 [by e.e.buf_s_func._en_X_f[0]:=0]
1933905 e.out.d.d[2].f : 0 [by e.e.buf_s_func.f_buf_func[2]._y:=1]
1935246 e.e.Xarb.arbs[6].ack_cell1._y : 1 [by e.e._arb_out_x.a:=0]
1936065 e.e.buf_s_func.f_buf_func[0]._y : 1 [by e.e.buf_s_func._en_X_f[0]:=0]
1936067 e.out.d.d[0].f : 0 [by e.e.buf_s_func.f_buf_func[0]._y:=1]
1937107 e.out.d.d[5].f : 0 [by e.e.buf_s_func.f_buf_func[5]._y:=1]
1938093 e.e.buf_s_func.f_buf_func[4]._y : 1 [by e.e.buf_s_func._en_X_f[0]:=0]
1938097 e.out.d.d[4].f : 0 [by e.e.buf_s_func.f_buf_func[4]._y:=1]
1962265 e.e.Xarb.tmp[12].a : 0 [by e.e.Xarb.arbs[6].ack_cell1._y:=1]
1962266 e.e.Xarb.arbs[4].ack_cell1._y : 1 [by e.e.Xarb.tmp[12].a:=0]
1962291 e.e.Xarb.tmp[8].a : 0 [by e.e.Xarb.arbs[4].ack_cell1._y:=1]
1962466 e.e.Xarb.arbs[0].ack_cell1._y : 1 [by e.e.Xarb.tmp[8].a:=0]
1964841 e.e._x_temp[0].a : 0 [by e.e.Xarb.arbs[0].ack_cell1._y:=1]
1977953 e.e.x_ack_arb[0].buf1._y : 1 [by e.e._x_temp[0].a:=0]
2016247 e.x[0].a : 0 [by e.e.x_ack_arb[0].buf1._y:=1]
2016331 e.e.x_encoder.ors_f[0].or2s[0]._y : 1 [by e.x[0].a:=0]
2016332 e.e.x_encoder.ors_f[0].tmp[4] : 0 [by e.e.x_encoder.ors_f[0].or2s[0]._y:=1]
2016596 e.e.x_encoder.ors_f[2].or2s[0]._y : 1 [by e.x[0].a:=0]
2016741 e.e.x_encoder.ors_f[2].tmp[4] : 0 [by e.e.x_encoder.ors_f[2].or2s[0]._y:=1]
2016802 e.e.x_encoder.ors_f[2].or2s[2]._y : 1 [by e.e.x_encoder.ors_f[2].tmp[4]:=0]
2017788 e.e.x_encoder.ors_f[1].or2s[0]._y : 1 [by e.x[0].a:=0]
2017796 e.e.x_encoder.ors_f[1].tmp[4] : 0 [by e.e.x_encoder.ors_f[1].or2s[0]._y:=1]
2056771 e.e.x_encoder.ors_f[1].or2s[2]._y : 1 [by e.e.x_encoder.ors_f[1].tmp[4]:=0]
2063939 e.e.x_enc_out.d[2].f : 0 [by e.e.x_encoder.ors_f[2].or2s[2]._y:=1]
2063951 e.e.vtree_x.OR2_tf[2]._y : 1 [by e.e.x_enc_out.d[2].f:=0]
2070322 e.e.x_enc_out.d[1].f : 0 [by e.e.x_encoder.ors_f[1].or2s[2]._y:=1]
2070329 e.e.vtree_x.OR2_tf[1]._y : 1 [by e.e.x_enc_out.d[1].f:=0]
2070330 e.e.vtree_x.ct.in[1] : 0 [by e.e.vtree_x.OR2_tf[1]._y:=1]
2071125 e.e.x_encoder.ors_f[0].or2s[2]._y : 1 [by e.e.x_encoder.ors_f[0].tmp[4]:=0]
2071405 e.e.x_enc_out.d[0].f : 0 [by e.e.x_encoder.ors_f[0].or2s[2]._y:=1]
2076658 e.e.vtree_x.ct.in[2] : 0 [by e.e.vtree_x.OR2_tf[2]._y:=1]
2085492 e.e.vtree_x.OR2_tf[0]._y : 1 [by e.e.x_enc_out.d[0].f:=0]
2085499 e.e.vtree_x.ct.in[0] : 0 [by e.e.vtree_x.OR2_tf[0]._y:=1]
2089759 e.e.vtree_x.ct.C3Els[0]._y : 1 [by e.e.vtree_x.ct.in[0]:=0]
2093258 e.e._in_x_v : 0 [by e.e.vtree_x.ct.C3Els[0]._y:=1]
2093267 e.e._in_xy_v._y : 1 [by e.e._in_x_v:=0]
2093354 e.e._in_xy_v.y : 0 [by e.e._in_xy_v._y:=1]
2093816 e.e.Y_ack_confirm._y : 1 [by e.e._in_x_v:=0]
2093817 e.e._arb_out_y.a : 0 [by e.e.Y_ack_confirm._y:=1]
2093854 e.e.Yarb.arbs[5].ack_cell1._y : 1 [by e.e._arb_out_y.a:=0]
2094019 e.e.Yarb.tmp[11].a : 0 [by e.e.Yarb.arbs[5].ack_cell1._y:=1]
2101031 e.e.Yarb.arbs[3].ack_cell1._y : 1 [by e.e.Yarb.tmp[11].a:=0]
2111186 e.e.Yarb.tmp[7].a : 0 [by e.e.Yarb.arbs[3].ack_cell1._y:=1]
2111270 e.e.Yarb.arbs[0].ack_cell1._y : 1 [by e.e.Yarb.tmp[7].a:=0]
2111298 e.e._y_temp[0].a : 0 [by e.e.Yarb.arbs[0].ack_cell1._y:=1]
2111612 e.e.y_ack_arb[0].buf1._y : 1 [by e.e._y_temp[0].a:=0]
2111655 e.y[0].a : 0 [by e.e.y_ack_arb[0].buf1._y:=1]
2111656 e.e.y_encoder.ors_f[0].or2s[0]._y : 1 [by e.y[0].a:=0]
2111662 e.e.y_encoder.ors_f[0].tmp[4] : 0 [by e.e.y_encoder.ors_f[0].or2s[0]._y:=1]
2111663 e.e.y_encoder.ors_f[0].or2s[2]._y : 1 [by e.e.y_encoder.ors_f[0].tmp[4]:=0]
2111725 e.e.y_encoder.ors_f[2].or2s[0]._y : 1 [by e.y[0].a:=0]
2115605 e.e.y_encoder.ors_f[2].tmp[4] : 0 [by e.e.y_encoder.ors_f[2].or2s[0]._y:=1]
2115607 e.e.y_encoder.ors_f[2].or2s[2]._y : 1 [by e.e.y_encoder.ors_f[2].tmp[4]:=0]
2122904 e.e.y_enc_out.d[2].f : 0 [by e.e.y_encoder.ors_f[2].or2s[2]._y:=1]
2123031 e.e.vtree_y.OR2_tf[2]._y : 1 [by e.e.y_enc_out.d[2].f:=0]
2123101 e.e.vtree_y.ct.in[2] : 0 [by e.e.vtree_y.OR2_tf[2]._y:=1]
2138266 e.e.y_enc_out.d[0].f : 0 [by e.e.y_encoder.ors_f[0].or2s[2]._y:=1]
2138437 e.e.vtree_y.OR2_tf[0]._y : 1 [by e.e.y_enc_out.d[0].f:=0]
2138747 e.e.vtree_y.ct.in[0] : 0 [by e.e.vtree_y.OR2_tf[0]._y:=1]
2148739 e.e.buf_s_func.in_v_prebuf._y : 1 [by e.e._in_xy_v.y:=0]
2148740 e.e.buf_s_func._in_vX : 0 [by e.e.buf_s_func.in_v_prebuf._y:=1]
2149766 e.e.buf_s_func.in_v_buf_f.buf2._y : 1 [by e.e.buf_s_func._in_vX:=0]
2153064 e.e.buf_s_func._in_vXX_f[0] : 0 [by e.e.buf_s_func.in_v_buf_f.buf2._y:=1]
2157248 e.e.y_encoder.ors_f[1].or2s[0]._y : 1 [by e.y[0].a:=0]
2162798 e.e.y_encoder.ors_f[1].tmp[4] : 0 [by e.e.y_encoder.ors_f[1].or2s[0]._y:=1]
2163168 e.e.y_encoder.ors_f[1].or2s[2]._y : 1 [by e.e.y_encoder.ors_f[1].tmp[4]:=0]
2163285 e.e.buf_s_func.in_v_buf_t.buf2._y : 1 [by e.e.buf_s_func._in_vX:=0]
2163291 e.e.buf_s_func._in_vXX_t[0] : 0 [by e.e.buf_s_func.in_v_buf_t.buf2._y:=1]
2166604 e.e.y_enc_out.d[1].f : 0 [by e.e.y_encoder.ors_f[1].or2s[2]._y:=1]
2194322 e.e.vtree_y.OR2_tf[1]._y : 1 [by e.e.y_enc_out.d[1].f:=0]
2194338 e.e.vtree_y.ct.in[1] : 0 [by e.e.vtree_y.OR2_tf[1]._y:=1]
2194348 e.e.vtree_y.ct.C3Els[0]._y : 1 [by e.e.vtree_y.ct.in[1]:=0]
2194397 e.e._in_y_v : 0 [by e.e.vtree_y.ct.C3Els[0]._y:=1]
2194404 e.e._x_a_B : 1 [by e.e._in_y_v:=0]
2194406 e.e._x_a : 0 [by e.e._x_a_B:=1]
2194406 e.out.a : 0
2194406 e.out.v : 0
2196866 e.e._en : 1 [by e.out.v:=0]
2196924 e.e.buf_s_func.en_buf_f.buf2._y : 0 [by e.e._en:=1]
2198960 e.e.buf_s_func.en_buf_t.buf2._y : 0 [by e.e._en:=1]
2198967 e.e.buf_s_func._en_X_t[0] : 1 [by e.e.buf_s_func.en_buf_t.buf2._y:=0]
2216882 e.e.buf_s_func._out_a_B : 1 [by e.out.a:=0]
2216924 e.e.buf_s_func.out_a_B_buf_f.buf2._y : 0 [by e.e.buf_s_func._out_a_B:=1]
2221556 e.e.buf_s_func.out_a_B_buf_t.buf2._y : 0 [by e.e.buf_s_func._out_a_B:=1]
2221829 e.e.buf_s_func._out_a_BX_f[0] : 1 [by e.e.buf_s_func.out_a_B_buf_t.buf2._y:=0]
2223355 e.e.buf_s_func._en_X_f[0] : 1 [by e.e.buf_s_func.en_buf_f.buf2._y:=0]
2227394 e.e.buf_s_func._out_a_BX_t[0] : 1 [by e.e.buf_s_func.out_a_B_buf_f.buf2._y:=0]
[] Neuron (0,0) Encoded