bics/actlib_dataflow_neuro
20
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Added merge, syntax clean but violating dual rail

Browse Source
This commit is contained in:
Michele 2022-03-01 13:26:29 +01:00
parent 8b40e70058
commit 340a20e49e
5 changed files with 1430 additions and 1244 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

56
dataflow_neuro/primitives.act
View File

@ -420,12 +420,18 @@ namespace tmpl {
export template<pint N> export template<pint N>
defproc merge (avMx1of2<N> in1; avMx1of2<N> in2; avMx1of2<N> out ; bool? reset_B; power supply) { defproc merge (avMx1of2<N> in1; avMx1of2<N> in2; avMx1of2<N> out ; bool? reset_B; power supply) {
//out acknowledge sigbuffer and inverter
bool _out_a_B,_out_a_BX[2*N];
INV_X1 out_a_inverter(.a = out.a, .y = _out_a_B);
sigbuf<2*N> out_a_buffer(.in = _out_a_B,.out = _out_a_BX,.supply=supply);
//control //control
bool _in1_a_B,_in2_a_B,_en, _reset_BX,_reset_BXX[2*N]; bool _in1_a_B,_in2_a_B,_en,_en_X[2*N], _reset_BX,_reset_BXX[2*N];
bool _in1_arb,_in2_arb,_out_a_X[2*N+1]; bool _in1_arb,_in2_arb,_in1_arb_X[2*N],_in2_arb_X[2*N];
A_4C_RB_X4 in1ack_ctl(.c1=_in1_arb,.c2=_en,.c3=in1.v,.c4=out.v,.y=in1.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); A_4C_RB_X4 in1ack_ctl(.c1=_in1_arb,.c2=_en,.c3=in1.v,.c4=out.v,.y=in1.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
A_4C_RB_X4 in2ack_ctl(.c1=_in2_arb,.c2=_en,.c3=in2.v,.c4=out.v,.y=in2.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); A_4C_RB_X4 in2ack_ctl(.c1=_in2_arb,.c2=_en,.c3=in2.v,.c4=out.v,.y=in2.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
A_4P1N1N_X1 en_ctl(.p1 = in1.a,.p2=in2.a,.p3=_out_a_X[N],.p4 = out.v, .n1 = in1.a,.y = _en,.vdd=supply.vdd,.vss=supply.vss); A_4P1N1N_X1 en_ctl(.p1 = in1.a,.p2=in2.a,.p3=out.a,.p4 = out.v, .n1 = in1.a,.n2 = in2.a,.y = _en,.vdd=supply.vdd,.vss=supply.vss);
sigbuf<2*N> en_buffer(.in = _en,.out = _en_X,.supply=supply);
INV_X1 in1ack_ctl_inv(.a=in1.a,.y=_in1_a_B,.vdd=supply.vdd,.vss=supply.vss); INV_X1 in1ack_ctl_inv(.a=in1.a,.y=_in1_a_B,.vdd=supply.vdd,.vss=supply.vss);
INV_X1 in2ack_ctl_inv(.a=in2.a,.y=_in2_a_B,.vdd=supply.vdd,.vss=supply.vss); INV_X1 in2ack_ctl_inv(.a=in2.a,.y=_in2_a_B,.vdd=supply.vdd,.vss=supply.vss);
@ -436,52 +442,48 @@ namespace tmpl {
//validity //validity
a1of1 _in1_temp,_in2_temp,_out_temp; a1of1 _in1_temp,_in2_temp,_out_temp;
bool _in1_arb2function,_in2_arb2function; bool _in1_arb2_X[2*N],_in2_arb2_X[2*N];
bool _in1_arb2function_X[2*N],_in2_arb2function_X[2*N]; bool _in1_arb_temp,_in2_arb_temp;
vtree<N> vc1(.in=in1.d,.out=in1.v,.supply=supply); vtree<N> vc1(.in=in1.d,.out=in1.v,.supply=supply);
vtree<N> vc2(.in=in2.d,.out=in2.v,.supply=supply); vtree<N> vc2(.in=in2.d,.out=in2.v,.supply=supply);
arbiter_handshake validity_arb(.in1 = _in1_temp,.in2 = _in2_temp,.out =_out_temp); arbiter_handshake validity_arb(.in1 = _in1_temp,.in2 = _in2_temp,.out =_out_temp);
_in1_temp.r = in1.v; _in1_temp.r = in1.v;
_in2_temp.r = in2.v; _in2_temp.r = in2.v;
_in1_temp.a = _in1_arb; _in1_temp.a = _in1_arb_temp;
_in1_temp.a = _in2_arb; _in1_temp.a = _in2_arb_temp;
_out_temp.r = _out_temp.a; _out_temp.r = _out_temp.a;
AND2_X1 AND_arb1(.a = _in2_a_B,.b = _in1_arb, .y = _in1_arb2function); AND2_X1 AND_arb1(.a = _in2_a_B,.b = _in1_arb_temp, .y = _in1_arb);
AND2_X1 AND_arb2(.a = _in1_a_B,.b = _in2_arb, .y = _in2_arb2function); AND2_X1 AND_arb2(.a = _in1_a_B,.b = _in2_arb_temp, .y = _in2_arb);
sigbuf<2*N> arb2function1(.in = _in1_arb2function,.out = _in1_arb2function_X); sigbuf<2*N> arb2function1(.in = _in1_arb,.out = _in1_arb2_X,.supply=supply);
sigbuf<2*N> arb2function2(.in = _in2_arb2function,.out = _in2_arb2function_X); sigbuf<2*N> arb2function2(.in = _in2_arb,.out = _in2_arb2_X,.supply=supply);
//function //function
A_2C2N2N_R_X1 merge_func_t[N]; A_2C2N2N_R_X1 merge_func_t[N];
A_2C2N2N_R_X1 merge_func_f[N]; A_2C2N2N_R_X1 merge_func_f[N];
sigbuf<N*2+1> buf_out_a(.in = out.a,.out = _out_a_X);
buf_out_a.supply=supply;
buf_out_a.supply=supply;
(i:N: (i:N:
merge_func_t[i].c1 = _en; merge_func_t[i].c1 = _en_X[i];
merge_func_t[i].c2 = _out_a_X[i]; merge_func_t[i].c2 = _out_a_BX[i];
merge_func_t[i].n1 = _in1_arb2function_X[i]; merge_func_t[i].n1 = _in1_arb_X[i];
merge_func_t[i].n2 = in1.d.d[i].t; merge_func_t[i].n2 = in1.d.d[i].t;
merge_func_t[i].n3 = _in2_arb2function_X[i]; merge_func_t[i].n3 = _in2_arb_X[i];
merge_func_t[i].n4 = in2.d.d[i].t; merge_func_t[i].n4 = in2.d.d[i].t;
merge_func_t[i].y = out.d.d[i].t; merge_func_t[i].y = out.d.d[i].t;
merge_func_t[i].vdd=supply.vdd; merge_func_t[i].vdd=supply.vdd;
merge_func_t[i].vss=supply.vss; merge_func_t[i].vss=supply.vss;
merge_func_t[i].pr_B = _reset_BXX[i+N-1]; merge_func_t[i].pr_B = _reset_BXX[i];
merge_func_t[i].sr_B = _reset_BXX[i+N-1]; merge_func_t[i].sr_B = _reset_BXX[i];
merge_func_f[i].c1 = _en; merge_func_f[i].c1 = _en_X[i+N];
merge_func_f[i].c2 = _out_a_X[i+N-1]; merge_func_f[i].c2 = _out_a_BX[i+N];
merge_func_f[i].n1 = _in1_arb2function_X[i+N-1]; merge_func_f[i].n1 = _in1_arb_X[i+N];
merge_func_f[i].n2 = in1.d.d[i].f; merge_func_f[i].n2 = in1.d.d[i].f;
merge_func_f[i].n3 = _in2_arb2function_X[i+N-1]; merge_func_f[i].n3 = _in2_arb_X[i+N];
merge_func_f[i].n4 = in2.d.d[i].f; merge_func_f[i].n4 = in2.d.d[i].f;
merge_func_f[i].y = out.d.d[i].f; merge_func_f[i].y = out.d.d[i].f;
merge_func_f[i].vdd=supply.vdd; merge_func_f[i].vdd=supply.vdd;
merge_func_f[i].vss=supply.vss; merge_func_f[i].vss=supply.vss;
merge_func_f[i].pr_B = _reset_BXX[i]; merge_func_f[i].pr_B = _reset_BXX[i+N];
merge_func_f[i].sr_B = _reset_BXX[i]; merge_func_f[i].sr_B = _reset_BXX[i+N];
) )
} }

212
test/unit_tests/merge_t_7/run/prsim.out
View File

@ -1,42 +1,176 @@
my_merge.my_merge._out_temp.a my_merge.my_merge.buf_out_a.buf6._y my_merge.my_merge._out_a_X[0] my_merge.my_merge.vc1.myctree.tmp[8] my_merge.my_merge.merge_func_f[5].n2 my_merge.my_merge.vc1.myctree.tmp[9] my_merge.my_merge.merge_func_t[4].n2 my_merge.my_merge.validity_arb._y1_arb my_merge.my_merge.vc2.myctree.tmp[7] my_merge.my_merge._en my_merge.my_merge.vc1.myctree.tmp[7] my_merge.my_merge.vc1.OR2_tf[5].y my_merge.my_merge.vc1.OR2_tf[4].y my_merge.my_merge._in1_arb my_merge.my_merge.vc1.OR2_tf[3].y my_merge.my_merge.merge_func_f[4].n2 my_merge.my_merge.AND_arb2._y my_merge.my_merge.merge_func_t[4].n4 my_merge.my_merge.merge_func_f[2].n4 my_merge.my_merge.vc2.myctree.tmp[8] my_merge.my_merge._in1_arb2function_X[0] my_merge.my_merge.vc2.OR2_tf[0].y my_merge.my_merge._in2_arb2function_X[0] my_merge.my_merge.merge_func_f[0].n2 my_merge.my_merge.merge_func_t[0].n4 my_merge.my_merge.vc2.OR2_tf[6]._y my_merge.my_merge.merge_func_f[2].n2 my_merge.in1.v my_merge.my_merge.merge_func_t[1].n4 my_merge.out.v my_merge.my_merge.merge_func_t[1].n2 my_merge.my_merge.merge_func_t[2].n4 my_merge.my_merge.merge_func_t[5].n2 my_merge.my_merge.vc2.OR2_tf[1].y my_merge.my_merge.merge_func_t[3].n4 my_merge.my_merge.merge_func_f[5].n4 my_merge.my_merge.vc2.OR2_tf[6].y my_merge.my_merge.merge_func_f[1].n4 my_merge.my_merge.merge_func_f[3].n4 my_merge.my_merge._in2_arb2function my_merge.my_merge.vc2.OR2_tf[5].y my_merge.my_merge.merge_func_f[4].n4 my_merge.my_merge.merge_func_t[6].n2 my_merge.my_merge._in2_temp.a my_merge.my_merge.merge_func_f[6].n4 my_merge.my_merge.merge_func_f[1].n2 my_merge.my_merge.merge_func_t[6].n4 my_merge.my_merge.vc2.OR2_tf[3].y my_merge.my_merge.merge_func_f[0].n4 my_merge.in2.v my_merge.my_merge.merge_func_t[0].n2 my_merge.my_merge.merge_func_t[3].n2 my_merge.my_merge.merge_func_f[3].n2 my_merge.my_merge.vc1.myctree.C2Els[1]._y my_merge.my_merge.vc1.OR2_tf[2].y my_merge.my_merge.merge_func_f[6].n2 my_merge.my_merge.vc1.OR2_tf[0].y my_merge.my_merge._in1_arb2function my_merge.my_merge.vc1.OR2_tf[4]._y my_merge.my_merge.vc2.OR2_tf[2].y my_merge.my_merge.en_ctl.n2 my_merge.my_merge.validity_arb.arbiter._y1 my_merge.my_merge.merge_func_t[2].n2 my_merge.my_merge.vc1.myctree.C3Els[0]._y my_merge.my_merge.validity_arb._y2_arb my_merge.my_merge.vc1.OR2_tf[3]._y my_merge.my_merge.vc1.OR2_tf[6].y my_merge.my_merge.vc2.OR2_tf[3]._y my_merge.out.a my_merge.my_merge.vc1.myctree.C3Els[1]._y my_merge.my_merge.vc2.myctree.C3Els[0]._y my_merge.my_merge.merge_func_t[5].n4 my_merge.my_merge.vc1.OR2_tf[6]._y my_merge.my_merge.arb2function1.buf4._y my_merge.my_merge.vc2.myctree.tmp[9] my_merge.my_merge.vc1.OR2_tf[1]._y my_merge.my_merge.vc1.OR2_tf[1].y my_merge.my_merge.validity_arb.arbiter._y2 my_merge.my_merge.vc1.OR2_tf[2]._y my_merge.my_merge.AND_arb1._y my_merge.my_merge.vc1.OR2_tf[5]._y my_merge.my_merge.vc2.OR2_tf[4].y my_merge.my_merge.vc1.OR2_tf[0]._y my_merge.my_merge.validity_arb.ack_cell2._y my_merge.my_merge.vc2.OR2_tf[5]._y my_merge.my_merge.vc2.OR2_tf[0]._y my_merge.my_merge.validity_arb.ack_cell1._y my_merge.my_merge.vc2.OR2_tf[4]._y my_merge.my_merge.arb2function2.buf4._y my_merge.my_merge.vc2.myctree.C2Els[1]._y my_merge.my_merge.vc2.OR2_tf[1]._y my_merge.my_merge.vc1.myctree.C2Els[0]._y my_merge.my_merge.vc2.OR2_tf[2]._y my_merge.my_merge.validity_arb.or_cell._y my_merge.my_merge.vc2.myctree.C3Els[1]._y my_merge.my_merge.vc2.myctree.C2Els[0]._y my_merge.merge_cell.vc2.myctree.tmp[7] my_merge.merge_cell.validity_arb.arbiter._y1 my_merge.merge_cell._en my_merge.merge_cell.merge_func_f[6].n4 my_merge.merge_cell.merge_func_f[5].n2 my_merge.merge_cell.merge_func_t[4].n2 my_merge.merge_cell._en_X[0] my_merge.merge_cell.vc1.myctree.tmp[7] my_merge.merge_cell.merge_func_t[0].n4 my_merge.merge_cell._in1_arb_X[6] my_merge.merge_cell._in2_arb my_merge.merge_cell.vc1.OR2_tf[6]._y my_merge.merge_cell.merge_func_f[3].n2 my_merge.merge_cell._in2_arb2_X[0] my_merge.merge_cell._in1_arb2_X[0] my_merge.merge_cell._out_a_BX[0] my_merge.merge_cell.merge_func_f[3].n4 my_merge.in1.v my_merge.merge_cell.vc1.myctree.C2Els[0]._y my_merge.merge_cell.merge_func_f[0].n4 my_merge.merge_cell._out_temp.a my_merge.in2.v my_merge.merge_cell.vc2.OR2_tf[6]._y my_merge.merge_cell._in1_arb_X[11] my_merge.merge_cell.merge_func_t[0].n2 my_merge.merge_cell.merge_func_f[5].n4 my_merge.merge_cell.merge_func_t[5].n2 my_merge.merge_cell.merge_func_f[1].n2 my_merge.out.v my_merge.merge_cell.merge_func_t[4].n4 my_merge.merge_cell.merge_func_f[4].n2 my_merge.merge_cell.vc1.OR2_tf[6].y my_merge.merge_cell.vc1.myctree.C3Els[0]._y my_merge.merge_cell.vc2.OR2_tf[4].y my_merge.merge_cell._in2_temp.a my_merge.merge_cell.merge_func_f[2].n2 my_merge.merge_cell.vc1.myctree.tmp[9] my_merge.merge_cell.vc2.OR2_tf[1].y my_merge.merge_cell._in1_arb_X[12] my_merge.merge_cell.vc1.OR2_tf[3]._y my_merge.merge_cell.merge_func_t[3].n4 my_merge.merge_cell.merge_func_t[6].n4 my_merge.merge_cell.vc2.OR2_tf[3].y my_merge.merge_cell._in1_arb_X[10] my_merge.merge_cell._in1_arb_temp my_merge.merge_cell.merge_func_t[5].n4 my_merge.merge_cell._in1_arb_X[1] my_merge.merge_cell.vc1.OR2_tf[5].y my_merge.merge_cell.validity_arb._y1_arb my_merge.merge_cell.en_buffer.buf4._y my_merge.merge_cell.merge_func_f[2].n4 my_merge.merge_cell.merge_func_f[4].n4 my_merge.merge_cell.vc2.OR2_tf[2].y my_merge.merge_cell.vc1.OR2_tf[1]._y my_merge.merge_cell.vc1.OR2_tf[4]._y my_merge.out.a my_merge.merge_cell._in1_arb_X[5] my_merge.merge_cell._in2_arb_X[11] my_merge.merge_cell._in1_arb my_merge.merge_cell.merge_func_f[1].n4 my_merge.merge_cell._in2_arb_X[13] my_merge.merge_cell.merge_func_t[3].n2 my_merge.merge_cell.vc1.OR2_tf[2].y my_merge.merge_cell.merge_func_t[2].n2 my_merge.merge_cell.vc2.OR2_tf[3]._y my_merge.merge_cell.merge_func_f[6].n2 my_merge.merge_cell.vc2.myctree.C2Els[0]._y my_merge.merge_cell.merge_func_t[1].n2 my_merge.merge_cell.vc2.OR2_tf[5].y my_merge.merge_cell.vc2.myctree.C2Els[1]._y my_merge.merge_cell._in1_arb_X[0] my_merge.merge_cell.vc2.OR2_tf[5]._y my_merge.merge_cell.validity_arb._y2_arb my_merge.merge_cell._in2_arb_X[0] my_merge.merge_cell._in2_arb_X[1] my_merge.merge_cell.merge_func_t[2].n4 my_merge.merge_cell._in1_arb_X[4] my_merge.merge_cell.vc1.OR2_tf[4].y my_merge.merge_cell.merge_func_t[6].n2 my_merge.merge_cell.vc2.OR2_tf[4]._y my_merge.merge_cell.merge_func_t[1].n4 my_merge.merge_cell.vc2.myctree.tmp[9] my_merge.merge_cell.vc1.OR2_tf[0].y my_merge.merge_cell.vc2.OR2_tf[2]._y my_merge.merge_cell.vc2.OR2_tf[0].y my_merge.merge_cell.validity_arb.ack_cell2._y my_merge.merge_cell.vc2.myctree.tmp[8] my_merge.merge_cell._in2_arb_X[4] my_merge.merge_cell.merge_func_f[0].n2 my_merge.merge_cell._in2_arb_X[8] my_merge.merge_cell._in1_arb_X[3] my_merge.merge_cell._out_a_B my_merge.merge_cell._in2_arb_X[3] my_merge.merge_cell.AND_arb1._y my_merge.merge_cell.vc1.myctree.tmp[8] my_merge.merge_cell._in1_arb_X[9] my_merge.merge_cell.vc1.OR2_tf[1].y my_merge.merge_cell.vc2.OR2_tf[1]._y my_merge.merge_cell.arb2function2.buf4._y my_merge.merge_cell.vc1.OR2_tf[3].y my_merge.merge_cell._in2_arb_X[9] my_merge.merge_cell._in1_arb_X[2] my_merge.merge_cell._in1_arb_X[13] my_merge.merge_cell._in2_arb_X[6] my_merge.merge_cell.AND_arb2._y my_merge.merge_cell.vc2.OR2_tf[6].y my_merge.merge_cell._in2_arb_X[10] my_merge.merge_cell.out_a_buffer.buf4._y my_merge.merge_cell._in2_arb_X[7] my_merge.merge_cell.validity_arb.or_cell._y my_merge.merge_cell.vc2.myctree.C3Els[0]._y my_merge.merge_cell.vc1.OR2_tf[5]._y my_merge.merge_cell.vc1.OR2_tf[2]._y my_merge.merge_cell._in2_arb_X[2] my_merge.merge_cell.vc2.OR2_tf[0]._y my_merge.merge_cell.validity_arb.ack_cell1._y my_merge.merge_cell._in1_arb_X[7] my_merge.merge_cell._in2_arb_X[12] my_merge.merge_cell.vc2.myctree.C3Els[1]._y my_merge.merge_cell._in2_arb_X[5] my_merge.merge_cell.validity_arb.arbiter._y2 my_merge.merge_cell.vc1.OR2_tf[0]._y my_merge.merge_cell.vc1.myctree.C2Els[1]._y my_merge.merge_cell._in1_arb_X[8] my_merge.merge_cell.arb2function1.buf4._y my_merge.merge_cell.vc1.myctree.C3Els[1]._y
Node `my_fork.in.d.d[0].f' not found 83042 my_merge.merge_cell.merge_func_f[0].n2 : 0
Node `my_fork.out1.a' not found 83042 my_merge.out.v : 0
Node `my_fork.out1.v' not found 83042 my_merge.out.a : 0
Node `my_fork.out2.a' not found 83042 my_merge.in2.v : 0
Node `my_fork.out2.v' not found 83042 my_merge.merge_cell.merge_func_f[1].n2 : 0
System initialized 83042 my_merge.merge_cell.merge_func_f[3].n2 : 0
83042 Reset : 0 83042 my_merge.merge_cell.merge_func_f[0].n4 : 0
119973 my_merge._reset_B : 1 [by Reset:=0] 83042 my_merge.merge_cell.merge_func_t[6].n2 : 0
120028 my_merge.my_merge.reset_buf._y : 0 [by my_merge._reset_B:=1] 83042 my_merge.in1.v : 0
171681 my_merge.my_merge._reset_BX : 1 [by my_merge.my_merge.reset_buf._y:=0] 83042 my_merge.merge_cell.merge_func_f[6].n4 : 0
185530 my_merge.my_merge.in1ack_ctl._y : X [by my_merge.my_merge._reset_BX:=1] 83042 my_merge.merge_cell.merge_func_t[6].n4 : 0
196493 my_merge.my_merge.in2ack_ctl._y : X [by my_merge.my_merge._reset_BX:=1] 83042 my_merge.merge_cell.merge_func_t[2].n2 : 0
196915 my_merge.in2.a : X [by my_merge.my_merge.in2ack_ctl._y:=X] 83042 my_merge.merge_cell.merge_func_f[6].n2 : 0
199873 my_merge.in1.a : X [by my_merge.my_merge.in1ack_ctl._y:=X] 83042 my_merge.merge_cell.merge_func_t[5].n4 : 0
199874 my_merge.my_merge._in1_a_B : X [by my_merge.in1.a:=X] 83042 my_merge.merge_cell.merge_func_t[5].n2 : 0
201461 my_merge.my_merge.reset_bufarray.buf4._y : 0 [by my_merge.my_merge._reset_BX:=1] 83042 my_merge.merge_cell.merge_func_f[5].n4 : 0
201462 my_merge.my_merge._reset_BXX[0] : 1 [by my_merge.my_merge.reset_bufarray.buf4._y:=0] 83042 my_merge.merge_cell.merge_func_f[4].n4 : 0
201465 my_merge.my_merge.merge_func_f[3].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[4].n4 : 0
201480 my_merge.my_merge.merge_func_t[4].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[3].n4 : 0
201744 my_merge.my_merge.merge_func_f[5].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[0].n2 : 0
202013 my_merge.my_merge.merge_func_f[1].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_f[3].n4 : 0
202230 my_merge.my_merge.merge_func_f[4].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_f[2].n2 : 0
202416 my_merge.my_merge.merge_func_t[0].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_f[5].n2 : 0
202444 my_merge.my_merge.merge_func_t[3].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[4].n2 : 0
202533 my_merge.my_merge.merge_func_f[0].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[2].n4 : 0
202543 my_merge.my_merge.merge_func_t[1].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[1].n2 : 0
205465 my_merge.my_merge.merge_func_t[6].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_f[4].n2 : 0
205475 my_merge.my_merge.merge_func_t[5].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_f[2].n4 : 0
221667 my_merge.my_merge.merge_func_f[6].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[1].n4 : 0
223903 my_merge.my_merge.merge_func_f[2].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[3].n2 : 0
245629 my_merge.my_merge._in2_a_B : X [by my_merge.in2.a:=X] 83042 my_merge.merge_cell.merge_func_f[1].n4 : 0
255932 my_merge.my_merge.merge_func_t[2].y : X [by my_merge.my_merge._reset_BXX[0]:=1] 83042 my_merge.merge_cell.merge_func_t[0].n4 : 0
System reset completed 83043 my_merge.merge_cell.vc1.OR2_tf[2]._y : 1 [by my_merge.merge_cell.merge_func_f[2].n2:=0]
my_merge.my_merge.merge_func_f[0].y my_merge.my_merge._out_temp.a my_merge.my_merge.buf_out_a.buf6._y my_merge.my_merge._out_a_X[0] my_merge.my_merge._in2_a_B my_merge.my_merge.vc1.myctree.tmp[8] my_merge.my_merge.merge_func_f[5].n2 my_merge.my_merge.vc1.myctree.tmp[9] my_merge.my_merge.merge_func_t[4].n2 my_merge.my_merge.validity_arb._y1_arb my_merge.my_merge.vc2.myctree.tmp[7] my_merge.my_merge._en my_merge.my_merge.vc1.myctree.tmp[7] my_merge.in1.a my_merge.my_merge.vc1.OR2_tf[5].y my_merge.my_merge.merge_func_t[3].y my_merge.my_merge.vc1.OR2_tf[4].y my_merge.my_merge._in1_arb my_merge.my_merge.vc1.OR2_tf[3].y my_merge.my_merge.merge_func_t[5].y my_merge.my_merge.merge_func_f[4].n2 my_merge.my_merge.AND_arb2._y my_merge.my_merge.merge_func_t[4].n4 my_merge.my_merge.merge_func_f[2].n4 my_merge.my_merge.vc2.myctree.tmp[8] my_merge.my_merge._in1_arb2function_X[0] my_merge.my_merge.vc2.OR2_tf[0].y my_merge.my_merge._in2_arb2function_X[0] my_merge.my_merge.merge_func_f[0].n2 my_merge.my_merge.merge_func_t[0].n4 my_merge.my_merge.vc2.OR2_tf[6]._y my_merge.my_merge.merge_func_f[5].y my_merge.my_merge.merge_func_f[2].n2 my_merge.in1.v my_merge.my_merge.merge_func_t[1].n4 my_merge.out.v my_merge.my_merge.merge_func_t[1].n2 my_merge.my_merge.merge_func_t[2].n4 my_merge.my_merge.merge_func_t[5].n2 my_merge.my_merge.vc2.OR2_tf[1].y my_merge.my_merge.merge_func_f[1].y my_merge.my_merge.merge_func_t[3].n4 my_merge.my_merge.merge_func_f[4].y my_merge.my_merge._in1_a_B my_merge.my_merge.merge_func_t[0].y my_merge.my_merge.merge_func_t[1].y my_merge.my_merge.merge_func_f[5].n4 my_merge.my_merge.vc2.OR2_tf[6].y my_merge.my_merge.merge_func_f[1].n4 my_merge.my_merge.merge_func_f[3].n4 my_merge.my_merge._in2_arb2function my_merge.my_merge.merge_func_t[4].y my_merge.my_merge.vc2.OR2_tf[5].y my_merge.my_merge.merge_func_f[6].y my_merge.my_merge.merge_func_f[4].n4 my_merge.my_merge.merge_func_t[6].n2 my_merge.my_merge._in2_temp.a my_merge.my_merge.merge_func_f[6].n4 my_merge.my_merge.merge_func_f[3].y my_merge.my_merge.merge_func_f[1].n2 my_merge.my_merge.merge_func_t[6].n4 my_merge.my_merge.vc2.OR2_tf[3].y my_merge.my_merge.merge_func_f[0].n4 my_merge.in2.v my_merge.my_merge.merge_func_t[0].n2 my_merge.my_merge.merge_func_t[3].n2 my_merge.my_merge.merge_func_f[3].n2 my_merge.my_merge.vc1.myctree.C2Els[1]._y my_merge.my_merge.vc1.OR2_tf[2].y my_merge.my_merge.merge_func_f[6].n2 my_merge.my_merge.vc1.OR2_tf[0].y my_merge.my_merge._in1_arb2function my_merge.my_merge.vc1.OR2_tf[4]._y my_merge.my_merge.vc2.OR2_tf[2].y my_merge.my_merge.merge_func_t[6].y my_merge.my_merge.en_ctl.n2 my_merge.my_merge.merge_func_f[2].y my_merge.my_merge.validity_arb.arbiter._y1 my_merge.in2.a my_merge.my_merge.merge_func_t[2].n2 my_merge.my_merge.in2ack_ctl._y my_merge.my_merge.vc1.myctree.C3Els[0]._y my_merge.my_merge.validity_arb._y2_arb my_merge.my_merge.vc1.OR2_tf[3]._y my_merge.my_merge.vc1.OR2_tf[6].y my_merge.my_merge.in1ack_ctl._y my_merge.my_merge.vc2.OR2_tf[3]._y my_merge.out.a my_merge.my_merge.vc1.myctree.C3Els[1]._y my_merge.my_merge.vc2.myctree.C3Els[0]._y my_merge.my_merge.merge_func_t[5].n4 my_merge.my_merge.vc1.OR2_tf[6]._y my_merge.my_merge.arb2function1.buf4._y my_merge.my_merge.vc2.myctree.tmp[9] my_merge.my_merge.vc1.OR2_tf[1]._y my_merge.my_merge.merge_func_t[2].y my_merge.my_merge.vc1.OR2_tf[1].y my_merge.my_merge.validity_arb.arbiter._y2 my_merge.my_merge.vc1.OR2_tf[2]._y my_merge.my_merge.AND_arb1._y my_merge.my_merge.vc1.OR2_tf[5]._y my_merge.my_merge.vc2.OR2_tf[4].y my_merge.my_merge.vc1.OR2_tf[0]._y my_merge.my_merge.validity_arb.ack_cell2._y my_merge.my_merge.vc2.OR2_tf[5]._y my_merge.my_merge.vc2.OR2_tf[0]._y my_merge.my_merge.validity_arb.ack_cell1._y my_merge.my_merge.vc2.OR2_tf[4]._y my_merge.my_merge.arb2function2.buf4._y my_merge.my_merge.vc2.myctree.C2Els[1]._y my_merge.my_merge.vc2.OR2_tf[1]._y my_merge.my_merge.vc1.myctree.C2Els[0]._y my_merge.my_merge.vc2.OR2_tf[2]._y my_merge.my_merge.validity_arb.or_cell._y my_merge.my_merge.vc2.myctree.C3Els[1]._y my_merge.my_merge.vc2.myctree.C2Els[0]._y 83043 my_merge.merge_cell.vc2.OR2_tf[3]._y : 1 [by my_merge.merge_cell.merge_func_f[3].n4:=0]
Node `my_fork.out1.d.d[0].f' not found 83045 my_merge.merge_cell.vc2.OR2_tf[2]._y : 1 [by my_merge.merge_cell.merge_func_f[2].n4:=0]
Node `my_fork.out2.d.d[0].f' not found 83097 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
Output neutral checked 83324 my_merge.merge_cell.vc1.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n2:=0]
Node `my_fork.in.d.d[0].f' not found 83342 my_merge.merge_cell.vc1.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=1]
83464 my_merge.merge_cell.vc2.OR2_tf[4]._y : 1 [by my_merge.merge_cell.merge_func_t[4].n4:=0]
83593 my_merge.merge_cell.vc2.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_f[1].n4:=0]
83810 my_merge.merge_cell.vc1.OR2_tf[4]._y : 1 [by my_merge.merge_cell.merge_func_f[4].n2:=0]
83997 my_merge.merge_cell.vc1.OR2_tf[2].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[2]._y:=1]
84079 my_merge.merge_cell.out_a_buffer.buf4._y : 0 [by my_merge.merge_cell._out_a_B:=1]
84113 my_merge.merge_cell.vc2.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_t[0].n4:=0]
84124 my_merge.merge_cell.vc2.OR2_tf[3].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[3]._y:=1]
87477 my_merge.merge_cell.vc2.OR2_tf[4].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[4]._y:=1]
87596 my_merge.merge_cell.vc2.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=1]
88873 my_merge.merge_cell.vc2.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=1]
89375 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0].y:=0]
89578 my_merge.merge_cell.vc2.myctree.tmp[7] : 0 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=1]
96891 my_merge.merge_cell.vc2.OR2_tf[6]._y : 1 [by my_merge.merge_cell.merge_func_t[6].n4:=0]
97385 my_merge.merge_cell.vc2.OR2_tf[5]._y : 1 [by my_merge.merge_cell.merge_func_f[5].n4:=0]
97524 my_merge.merge_cell.vc2.OR2_tf[5].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[5]._y:=1]
98745 my_merge.merge_cell.vc2.OR2_tf[6].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[6]._y:=1]
103247 my_merge.merge_cell.vc1.OR2_tf[5]._y : 1 [by my_merge.merge_cell.merge_func_f[5].n2:=0]
103316 my_merge.merge_cell.vc1.OR2_tf[5].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[5]._y:=1]
105483 my_merge.merge_cell.vc1.OR2_tf[3]._y : 1 [by my_merge.merge_cell.merge_func_t[3].n2:=0]
105494 my_merge.merge_cell.vc1.OR2_tf[3].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[3]._y:=1]
105663 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf4._y:=0]
107854 my_merge.merge_cell.vc1.OR2_tf[6]._y : 1 [by my_merge.merge_cell.merge_func_f[6].n2:=0]
108058 my_merge.merge_cell.vc1.OR2_tf[6].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[6]._y:=1]
112822 my_merge.merge_cell.validity_arb.arbiter._y1 : 1 [by my_merge.in1.v:=0]
112837 my_merge.merge_cell.validity_arb._y1_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y1:=1]
119973 my_merge.merge_cell._en : 1 [by my_merge.out.a:=0]
119974 my_merge.merge_cell.en_buffer.buf4._y : 0 [by my_merge.merge_cell._en:=1]
120011 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf4._y:=0]
128711 my_merge.merge_cell.vc1.OR2_tf[4].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[4]._y:=1]
129450 my_merge.merge_cell.vc1.myctree.C3Els[0]._y : 1 [by my_merge.merge_cell.vc1.OR2_tf[4].y:=0]
129562 my_merge.merge_cell.vc1.myctree.tmp[9] : 0 [by my_merge.merge_cell.vc1.myctree.C3Els[0]._y:=1]
131756 my_merge.merge_cell.vc1.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_t[0].n2:=0]
134695 my_merge.merge_cell.validity_arb.arbiter._y2 : 1 [by my_merge.in2.v:=0]
134735 my_merge.merge_cell.validity_arb._y2_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
134992 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y2_arb:=0]
135079 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
135080 my_merge.merge_cell.validity_arb.ack_cell1._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
135091 my_merge.merge_cell.vc2.myctree.C3Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[6].y:=0]
135373 my_merge.merge_cell.validity_arb.ack_cell2._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
136582 my_merge.merge_cell._in2_temp.a : 0 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=1]
136886 my_merge.merge_cell._in1_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=1]
137064 my_merge.merge_cell.AND_arb1._y : 1 [by my_merge.merge_cell._in1_arb_temp:=0]
137098 my_merge.merge_cell.vc2.myctree.tmp[9] : 0 [by my_merge.merge_cell.vc2.myctree.C3Els[0]._y:=1]
137476 my_merge.merge_cell.AND_arb2._y : 1 [by my_merge.merge_cell._in1_arb_temp:=0]
137515 my_merge.merge_cell.vc2.OR2_tf[2].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[2]._y:=1]
137640 my_merge.merge_cell._in2_arb : 0 [by my_merge.merge_cell.AND_arb2._y:=1]
137662 my_merge.merge_cell.arb2function2.buf4._y : 1 [by my_merge.merge_cell._in2_arb:=0]
137867 my_merge.merge_cell._in1_arb : 0 [by my_merge.merge_cell.AND_arb1._y:=1]
138509 my_merge.merge_cell._in2_arb2_X[0] : 0 [by my_merge.merge_cell.arb2function2.buf4._y:=1]
139710 my_merge.merge_cell.vc2.myctree.C2Els[1]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[2].y:=0]
139843 my_merge.merge_cell.vc2.myctree.tmp[8] : 0 [by my_merge.merge_cell.vc2.myctree.C2Els[1]._y:=1]
155505 my_merge.merge_cell.vc2.myctree.C3Els[1]._y : 1 [by my_merge.merge_cell.vc2.myctree.tmp[8]:=0]
157280 my_merge.merge_cell.vc1.myctree.C2Els[1]._y : 1 [by my_merge.merge_cell.vc1.OR2_tf[3].y:=0]
157639 my_merge.merge_cell.vc1.myctree.tmp[8] : 0 [by my_merge.merge_cell.vc1.myctree.C2Els[1]._y:=1]
167995 my_merge.merge_cell.arb2function1.buf4._y : 1 [by my_merge.merge_cell._in1_arb:=0]
179268 my_merge.merge_cell.vc1.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=1]
179489 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0].y:=0]
179496 my_merge.merge_cell.vc1.myctree.tmp[7] : 0 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=1]
179526 my_merge.merge_cell.vc1.myctree.C3Els[1]._y : 1 [by my_merge.merge_cell.vc1.myctree.tmp[7]:=0]
182111 my_merge.merge_cell._in1_arb2_X[0] : 0 [by my_merge.merge_cell.arb2function1.buf4._y:=1]
[0] System initialized
182111 Reset : 0
188824 my_merge._reset_B : 1 [by Reset:=0]
246285 my_merge.merge_cell.reset_buf._y : 0 [by my_merge._reset_B:=1]
246376 my_merge.merge_cell._reset_BX : 1 [by my_merge.merge_cell.reset_buf._y:=0]
248565 my_merge.merge_cell.reset_bufarray.buf4._y : 0 [by my_merge.merge_cell._reset_BX:=1]
248572 my_merge.merge_cell._reset_BXX[0] : 1 [by my_merge.merge_cell.reset_bufarray.buf4._y:=0]
[1] System reset completed
my_merge.merge_cell._in1_arb_X[6] my_merge.merge_cell._in1_arb_X[11] my_merge.merge_cell._in1_arb_X[12] my_merge.merge_cell._in1_arb_X[10] my_merge.merge_cell._in1_arb_X[1] my_merge.merge_cell._in1_arb_X[5] my_merge.merge_cell._in2_arb_X[11] my_merge.merge_cell._in2_arb_X[13] my_merge.merge_cell._in1_arb_X[0] my_merge.merge_cell._in2_arb_X[0] my_merge.merge_cell._in2_arb_X[1] my_merge.merge_cell._in1_arb_X[4] my_merge.merge_cell._in2_arb_X[4] my_merge.merge_cell._in2_arb_X[8] my_merge.merge_cell._in1_arb_X[3] my_merge.merge_cell._in2_arb_X[3] my_merge.merge_cell._in1_arb_X[9] my_merge.merge_cell._in2_arb_X[9] my_merge.merge_cell._in1_arb_X[2] my_merge.merge_cell._in1_arb_X[13] my_merge.merge_cell._in2_arb_X[6] my_merge.merge_cell._in2_arb_X[10] my_merge.merge_cell._in2_arb_X[7] my_merge.merge_cell._in2_arb_X[2] my_merge.merge_cell._in1_arb_X[7] my_merge.merge_cell._in2_arb_X[12] my_merge.merge_cell._in2_arb_X[5] my_merge.merge_cell._in1_arb_X[8]
WRONG ASSERT: "my_merge.out.d.d[0].f" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[0].t" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[1].f" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[1].t" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[2].f" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[2].t" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[3].f" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[3].t" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[4].f" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[4].t" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[5].f" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[5].t" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[6].f" has value 1 and not 0.
WRONG ASSERT: "my_merge.out.d.d[6].t" has value 1 and not 0.
[2] Output neutral checked
248572 my_merge.merge_cell.merge_func_t[0].n2 : 1
248572 my_merge.merge_cell.merge_func_f[6].n2 : 1
248572 my_merge.merge_cell.merge_func_t[2].n2 : 1
248572 my_merge.merge_cell.merge_func_f[5].n2 : 1
248572 my_merge.merge_cell.merge_func_f[1].n2 : 1
248572 my_merge.merge_cell.merge_func_f[4].n2 : 1
248572 my_merge.merge_cell.merge_func_f[3].n2 : 1
248574 my_merge.merge_cell.vc1.OR2_tf[3]._y : 0 [by my_merge.merge_cell.merge_func_f[3].n2:=1]
248584 my_merge.merge_cell.merge_func_f[5].y : X [by my_merge.merge_cell.merge_func_f[5].n2:=1]
248584 my_merge.merge_cell.merge_func_f[1].y : X [by my_merge.merge_cell.merge_func_f[1].n2:=1]
248650 my_merge.merge_cell.merge_func_f[6].y : X [by my_merge.merge_cell.merge_func_f[6].n2:=1]
248678 my_merge.merge_cell.merge_func_t[0].y : X [by my_merge.merge_cell.merge_func_t[0].n2:=1]
248847 my_merge.merge_cell.vc1.OR2_tf[6]._y : 0 [by my_merge.merge_cell.merge_func_f[6].n2:=1]
248976 my_merge.merge_cell.vc1.OR2_tf[5]._y : 0 [by my_merge.merge_cell.merge_func_f[5].n2:=1]
249027 my_merge.merge_cell.merge_func_t[2].y : X [by my_merge.merge_cell.merge_func_t[2].n2:=1]
250096 my_merge.merge_cell.vc1.OR2_tf[6].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[6]._y:=0]
251359 my_merge.merge_cell.vc1.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_t[0].n2:=1]
251471 my_merge.merge_cell.vc1.OR2_tf[4]._y : 0 [by my_merge.merge_cell.merge_func_f[4].n2:=1]
251525 my_merge.merge_cell.vc1.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=0]
251546 my_merge.merge_cell.vc1.OR2_tf[4].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[4]._y:=0]
252475 my_merge.merge_cell.vc1.OR2_tf[5].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[5]._y:=0]
252820 my_merge.merge_cell.vc1.myctree.C3Els[0]._y : 0 [by my_merge.merge_cell.vc1.OR2_tf[5].y:=1]
252848 my_merge.merge_cell.merge_func_f[4].y : X [by my_merge.merge_cell.merge_func_f[4].n2:=1]
252867 my_merge.merge_cell.merge_func_f[3].y : X [by my_merge.merge_cell.merge_func_f[3].n2:=1]
252958 my_merge.merge_cell.vc1.myctree.tmp[9] : 1 [by my_merge.merge_cell.vc1.myctree.C3Els[0]._y:=0]
253109 my_merge.merge_cell.vc1.OR2_tf[3].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[3]._y:=0]
254488 my_merge.merge_cell.vc1.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_f[1].n2:=1]
259751 my_merge.merge_cell.vc1.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=0]
259753 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1].y:=1]
267568 my_merge.merge_cell.vc1.OR2_tf[2]._y : 0 [by my_merge.merge_cell.merge_func_t[2].n2:=1]
267569 my_merge.merge_cell.vc1.OR2_tf[2].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[2]._y:=0]
268117 my_merge.merge_cell.vc1.myctree.C2Els[1]._y : 0 [by my_merge.merge_cell.vc1.OR2_tf[2].y:=1]
268128 my_merge.merge_cell.vc1.myctree.tmp[8] : 1 [by my_merge.merge_cell.vc1.myctree.C2Els[1]._y:=0]
303670 my_merge.merge_cell.vc1.myctree.tmp[7] : 1 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=0]
304040 my_merge.merge_cell.vc1.myctree.C3Els[1]._y : 0 [by my_merge.merge_cell.vc1.myctree.tmp[7]:=1]
304107 my_merge.in1.v : 1 [by my_merge.merge_cell.vc1.myctree.C3Els[1]._y:=0]
306748 my_merge.merge_cell.validity_arb.arbiter._y1 : 0 [by my_merge.in1.v:=1]
306764 my_merge.merge_cell.validity_arb._y1_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y1:=0]
311326 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y1_arb:=1]
311854 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
314289 my_merge.merge_cell.validity_arb.ack_cell1._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
341169 my_merge.merge_cell._in1_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=0]
354210 my_merge.merge_cell.AND_arb1._y : 0 [by my_merge.merge_cell._in1_arb_temp:=1]
354212 my_merge.merge_cell._in1_arb : 1 [by my_merge.merge_cell.AND_arb1._y:=0]
365094 my_merge.merge_cell.AND_arb2._y : 0 [by my_merge.merge_cell._in1_arb_temp:=1]
365097 my_merge.merge_cell._in2_arb : 1 [by my_merge.merge_cell.AND_arb2._y:=0]
365126 my_merge.merge_cell.arb2function2.buf4._y : 0 [by my_merge.merge_cell._in2_arb:=1]
365443 my_merge.merge_cell._in2_arb2_X[0] : 1 [by my_merge.merge_cell.arb2function2.buf4._y:=0]
415170 my_merge.merge_cell.arb2function1.buf4._y : 0 [by my_merge.merge_cell._in1_arb:=1]
416771 my_merge.merge_cell._in1_arb2_X[0] : 1 [by my_merge.merge_cell.arb2function1.buf4._y:=0]
Node `my_fork.in.v' not found Node `my_fork.in.v' not found
Node `my_fork.in.a' not found Node `my_fork.in.a' not found
Node `my_fork.out1.d.d[0].f' not found Node `my_fork.out1.d.d[0].f' not found

2373
test/unit_tests/merge_t_7/run/test.prs
View File

File diff suppressed because it is too large Load Diff

10
test/unit_tests/merge_t_7/test.act
View File

@ -32,17 +32,17 @@ import globals;
open tmpl::dataflow_neuro; open tmpl::dataflow_neuro;
defproc merge_7 (avMx1of2<7> in1; avMx1of2<7> in2; avMx1of2<7> out; avMx1of2<1> cond){ defproc merge_7 (avMx1of2<7> in1; avMx1of2<7> in2; avMx1of2<7> out){
merge<7> my_merge(.in1=in1, .in2=in2,.out = out); merge<7> merge_cell(.in1=in1, .in2=in2,.out = out);
//Low active Reset //Low active Reset
bool _reset_B; bool _reset_B;
prs { prs {
Reset => _reset_B- Reset => _reset_B-
} }
my_merge.supply.vss = GND; merge_cell.supply.vss = GND;
my_merge.supply.vdd = Vdd; merge_cell.supply.vdd = Vdd;
my_merge.reset_B = _reset_B; merge_cell.reset_B = _reset_B;
} }

23
test/unit_tests/merge_t_7/test.prsim
View File

@ -1,24 +1,25 @@
watchall watchall
set-qdi-channel-neutral "my_fork.in" 15 set-qdi-channel-neutral "my_merge.in1" 7
set my_fork.out1.a 0 set-qdi-channel-neutral "my_merge.in2" 7
set my_fork.out1.v 0 set my_merge.in1.v 0
set my_fork.out2.a 0 set my_merge.in2.v 0
set my_fork.out2.v 0 set my_merge.out.a 0
set my_merge.out.v 0
cycle cycle
system "echo 'System initialized'" system "echo '[0] System initialized'"
set Reset 0 set Reset 0
cycle cycle
system "echo 'System reset completed'" system "echo '[1] System reset completed'"
status X status X
mode run mode run
assert-qdi-channel-neutral "my_fork.out1" 15 assert-qdi-channel-neutral "my_merge.out" 7
assert-qdi-channel-neutral "my_fork.out2" 15
cycle cycle
system "echo 'Output neutral checked'" system "echo '[2] Output neutral checked'"
set-qdi-channel-valid "my_fork.in" 15 5 set-qdi-channel-valid "my_merge.in1" 7 5
cycle cycle
assert my_fork.in.v 1 assert my_fork.in.v 1
assert my_fork.in.a 0 assert my_fork.in.a 0