Merge remote-tracking branch 'origin/dev' into dev
This commit is contained in:
commit
b15d8c11e9
|
@ -99,6 +99,18 @@ namespace tmpl {
|
||||||
sizing { _y {-6,2}; y {-12,4} }
|
sizing { _y {-6,2}; y {-12,4} }
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/*-- delay cells --*/
|
||||||
|
// TODO properly
|
||||||
|
|
||||||
|
export defcell DLY4_X1(bool! y; bool? a, vdd, vss)
|
||||||
|
{
|
||||||
|
bool _y;
|
||||||
|
prs {
|
||||||
|
a => _y-
|
||||||
|
_y => y-
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/*-- simple gates --*/
|
/*-- simple gates --*/
|
||||||
|
|
||||||
|
|
|
@ -151,6 +151,27 @@ namespace tmpl {
|
||||||
f_buf_func[i].sr_B = _reset_BXX[i];
|
f_buf_func[i].sr_B = _reset_BXX[i];
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
// A template creating a FIFO of M buffers with N bits each
|
||||||
|
export template<pint N;pint M>
|
||||||
|
defproc fifo(avMx1of2<N> in; avMx1of2<N> out; bool? reset_B; power supply)
|
||||||
|
{
|
||||||
|
buffer<N> fifo_element[M];
|
||||||
|
bool _reset_BXX[M];
|
||||||
|
fifo_element[0].in = in ;
|
||||||
|
fifo_element[0].supply = supply;
|
||||||
|
fifo_element[0].reset_B = _reset_BXX[0];
|
||||||
|
(i:1..M-1:
|
||||||
|
fifo_element[i].in = fifo_element[i-1].out;
|
||||||
|
fifo_element[i].supply = supply;
|
||||||
|
fifo_element[i].reset_B = _reset_BXX[i];
|
||||||
|
)
|
||||||
|
fifo_element[N-1].out = out;
|
||||||
|
|
||||||
|
// reset buffers
|
||||||
|
bool _reset_BX;
|
||||||
|
BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
|
||||||
|
sigbuf<M> reset_bufarray(.in=_reset_BX, .out=_reset_BXX);
|
||||||
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Buffer_S template.
|
* Buffer_S template.
|
||||||
|
@ -489,12 +510,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);
|
||||||
|
|
||||||
|
@ -504,53 +531,47 @@ namespace tmpl {
|
||||||
|
|
||||||
//validity
|
//validity
|
||||||
a1of1 _in1_temp,_in2_temp,_out_temp;
|
a1of1 _in1_temp,_in2_temp,_out_temp;
|
||||||
|
bool _in1_arb_temp,_in2_arb_temp;
|
||||||
bool _in1_arb2function,_in2_arb2function;
|
|
||||||
bool _in1_arb2function_X[2*N],_in2_arb2function_X[2*N];
|
|
||||||
|
|
||||||
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, .supply = supply);
|
||||||
_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;
|
_in2_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_arb_X,.supply=supply);
|
||||||
sigbuf<2*N> arb2function2(.in = _in2_arb2function,.out = _in2_arb2function_X);
|
sigbuf<2*N> arb2function2(.in = _in2_arb,.out = _in2_arb_X,.supply=supply);
|
||||||
|
|
||||||
//function
|
//function
|
||||||
A_2C2N2N_R_X1 merge_func_t[N];
|
A_2C2N2N_RB_X1 merge_func_t[N];
|
||||||
A_2C2N2N_R_X1 merge_func_f[N];
|
A_2C2N2N_RB_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];
|
||||||
)
|
)
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -571,6 +592,7 @@ namespace tmpl {
|
||||||
//reset buffers
|
//reset buffers
|
||||||
BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
|
BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
|
||||||
}
|
}
|
||||||
|
// A template creating a FIFO of N buffers tokens
|
||||||
export template<pint N>
|
export template<pint N>
|
||||||
defproc fifo_t(a1of1 in; a1of1 out; bool? reset_B; power supply)
|
defproc fifo_t(a1of1 in; a1of1 out; bool? reset_B; power supply)
|
||||||
{
|
{
|
||||||
|
@ -594,4 +616,59 @@ namespace tmpl {
|
||||||
BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
|
BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
|
||||||
sigbuf<N> reset_bufarray(.in=_reset_BX, .out=_reset_BXX);
|
sigbuf<N> reset_bufarray(.in=_reset_BX, .out=_reset_BXX);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Programmable delay line.
|
||||||
|
// N is the number of layers,
|
||||||
|
// the longest layer having 2**N DLY elements
|
||||||
|
export template<pint N>
|
||||||
|
defproc delayprog (bool! y; bool? a, s[N]; power supply)
|
||||||
|
{
|
||||||
|
|
||||||
|
{ N >= 0 : "What?" };
|
||||||
|
{ N < 9 : "Delay prog size is given in 2**N. Given N is too big." };
|
||||||
|
|
||||||
|
|
||||||
|
AND2_X1 and2[N];
|
||||||
|
MUX2_X1 mu2[N];
|
||||||
|
DLY4_X1 dly[(1<<N) -1];
|
||||||
|
|
||||||
|
bool _a[N+1]; // Holds the input to each row
|
||||||
|
|
||||||
|
_a[0] = a;
|
||||||
|
|
||||||
|
pint i_delay;
|
||||||
|
i_delay = 0; // Index of the last connected delay element
|
||||||
|
|
||||||
|
(i:0..N-1:
|
||||||
|
// For each row
|
||||||
|
and2[i].a = _a[i];
|
||||||
|
and2[i].b = s[i];
|
||||||
|
|
||||||
|
// Delays
|
||||||
|
dly[i_delay].a = and2[i].y;
|
||||||
|
i_delay = i_delay + 1;
|
||||||
|
(j:1..i-1:
|
||||||
|
dly[i_delay].a = dly[i_delay-1].y;
|
||||||
|
i_delay = i_delay +1;
|
||||||
|
)
|
||||||
|
|
||||||
|
// Mux
|
||||||
|
mu2[i].a = _a[i];
|
||||||
|
mu2[i].s = s[i];
|
||||||
|
dly[i_delay-1].y = mu2[i].b;
|
||||||
|
_a[i+1] = mu2[i].y;
|
||||||
|
)
|
||||||
|
|
||||||
|
y = mu2[N-1].y;
|
||||||
|
|
||||||
|
|
||||||
|
// Connect everything to vdd/gnd
|
||||||
|
(i:N:and2[i].vdd = supply.vdd;)
|
||||||
|
(i:N:mu2[i].vdd = supply.vdd;)
|
||||||
|
(i:((1<<N)-1):dly[i].vdd = supply.vdd;)
|
||||||
|
|
||||||
|
(i:N:and2[i].vss = supply.vss;)
|
||||||
|
(i:N:mu2[i].vss = supply.vss;)
|
||||||
|
(i:((1<<N)-1):dly[i].vss = supply.vss;)
|
||||||
|
}
|
||||||
}}
|
}}
|
||||||
|
|
|
@ -64,7 +64,7 @@ Use -exclude='regex' to specify signals to exclude (or -ex).""")
|
||||||
for arg in argv:
|
for arg in argv:
|
||||||
r = re.findall(r'-t1=(\d+)', arg)
|
r = re.findall(r'-t1=(\d+)', arg)
|
||||||
if len(r) >= 1:
|
if len(r) >= 1:
|
||||||
print(f"Filtering by start time t0 = {r[0]}")
|
print(f"Filtering by end time t1 = {r[0]}")
|
||||||
entries = [e for e in entries if int(e[0]) <= int(r[0])]
|
entries = [e for e in entries if int(e[0]) <= int(r[0])]
|
||||||
|
|
||||||
|
|
||||||
|
@ -222,7 +222,11 @@ Use -exclude='regex' to specify signals to exclude (or -ex).""")
|
||||||
print(a)
|
print(a)
|
||||||
time = int(a[0])
|
time = int(a[0])
|
||||||
if not time in unique_times:
|
if not time in unique_times:
|
||||||
time = unique_times[np.argwhere((unique_times-time) < 0)[-1]]
|
try:
|
||||||
|
time = unique_times[np.argwhere((unique_times-time) < 0)[-1]]
|
||||||
|
except:
|
||||||
|
print(f"Couldn't find an appropriate time for assert {a}")
|
||||||
|
continue
|
||||||
index = time_to_index(time)
|
index = time_to_index(time)
|
||||||
ax.axvline(index+0.5, c = "red", lw = 2)
|
ax.axvline(index+0.5, c = "red", lw = 2)
|
||||||
ax.text(index+0.5, -1, a[1], rotation = 90, ha = "center", va = "bottom", c = "red")
|
ax.text(index+0.5, -1, a[1], rotation = 90, ha = "center", va = "bottom", c = "red")
|
||||||
|
@ -232,7 +236,11 @@ Use -exclude='regex' to specify signals to exclude (or -ex).""")
|
||||||
for a in echoes:
|
for a in echoes:
|
||||||
time = int(a[0])
|
time = int(a[0])
|
||||||
if not time in unique_times:
|
if not time in unique_times:
|
||||||
time = unique_times[np.argwhere((unique_times-time) < 0)[-1]]
|
try:
|
||||||
|
time = unique_times[np.argwhere((unique_times-time) < 0)[-1]]
|
||||||
|
except:
|
||||||
|
print(f"Couldn't find an appropriate time for echo {a}")
|
||||||
|
continue
|
||||||
index = time_to_index(time)
|
index = time_to_index(time)
|
||||||
c = "xkcd:bright purple"
|
c = "xkcd:bright purple"
|
||||||
ax.axvline(index+0.5, c = c, lw = 2)
|
ax.axvline(index+0.5, c = c, lw = 2)
|
||||||
|
|
|
@ -0,0 +1,134 @@
|
||||||
|
t.s[2] t.dp.dly[2].a t.dp._a[1] t.dp.dly[5]._y t.s[3] t.a t.s[0] t.dp.and2[2]._y t.dp.and2[0]._y t.dp._a[3] t.dp.dly[11]._y t.dp._a[2] t.dp.and2[3]._y t.dp.mu2[0]._s t.dp.dly[9]._y t.s[1] t.dp.dly[11].y t.dp.dly[0]._y t.dp.dly[4].y t.dp.dly[6].y t.dp.dly[2]._y t.dp.dly[7]._y t.dp.dly[9].a t.dp.dly[1].y t.dp.dly[1].a t.dp.dly[4].a t.y t.dp.dly[2].y t.dp.dly[14]._y t.dp.dly[10].a t.dp.mu2[2]._s t.dp.dly[6]._y t.dp.dly[1]._y t.dp.dly[12]._y t.dp.dly[5].y t.dp.dly[8].a t.dp.dly[0].a t.dp.dly[7].a t.dp.mu2[0]._y t.dp.mu2[3]._y t.dp.mu2[1]._s t.dp.dly[11].a t.dp.dly[14].a t.dp.dly[13].a t.dp.dly[13]._y t.dp.dly[7].y t.dp.dly[8]._y t.dp.mu2[2]._y t.dp.dly[3].y t.dp.dly[14].y t.dp.dly[0].y t.dp.dly[3]._y t.dp.dly[13].y t.dp.and2[1]._y t.dp.mu2[3]._s t.dp.dly[10].y t.dp.dly[9].y t.dp.dly[4]._y t.dp.dly[12].y t.dp.dly[8].y t.dp.mu2[1]._y t.dp.dly[12].a t.dp.dly[10]._y
|
||||||
|
0
|
||||||
|
0 t.a : 0
|
||||||
|
0 t.s[3] : 1
|
||||||
|
0 t.s[1] : 1
|
||||||
|
0 t.s[0] : 1
|
||||||
|
0 t.s[2] : 1
|
||||||
|
1 t.dp.and2[0]._y : 1 [by t.a:=0]
|
||||||
|
2 t.dp.mu2[0]._s : 0 [by t.s[0]:=1]
|
||||||
|
1138 t.dp.dly[0].a : 0 [by t.dp.and2[0]._y:=1]
|
||||||
|
1252 t.dp.dly[0]._y : 1 [by t.dp.dly[0].a:=0]
|
||||||
|
4753 t.dp.mu2[2]._s : 0 [by t.s[2]:=1]
|
||||||
|
7092 t.dp.mu2[3]._s : 0 [by t.s[3]:=1]
|
||||||
|
10467 t.dp.mu2[1]._s : 0 [by t.s[1]:=1]
|
||||||
|
66618 t.dp.dly[0].y : 0 [by t.dp.dly[0]._y:=1]
|
||||||
|
68344 t.dp.mu2[0]._y : 1 [by t.dp.dly[0].y:=0]
|
||||||
|
68383 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
|
||||||
|
68398 t.dp.and2[1]._y : 1 [by t.dp._a[1]:=0]
|
||||||
|
68889 t.dp.dly[1].a : 0 [by t.dp.and2[1]._y:=1]
|
||||||
|
68902 t.dp.dly[1]._y : 1 [by t.dp.dly[1].a:=0]
|
||||||
|
68942 t.dp.dly[1].y : 0 [by t.dp.dly[1]._y:=1]
|
||||||
|
69357 t.dp.mu2[1]._y : 1 [by t.dp.dly[1].y:=0]
|
||||||
|
69377 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
|
||||||
|
75438 t.dp.and2[2]._y : 1 [by t.dp._a[2]:=0]
|
||||||
|
75485 t.dp.dly[2].a : 0 [by t.dp.and2[2]._y:=1]
|
||||||
|
75501 t.dp.dly[2]._y : 1 [by t.dp.dly[2].a:=0]
|
||||||
|
119599 t.dp.dly[2].y : 0 [by t.dp.dly[2]._y:=1]
|
||||||
|
133323 t.dp.dly[3]._y : 1 [by t.dp.dly[2].y:=0]
|
||||||
|
133327 t.dp.dly[3].y : 0 [by t.dp.dly[3]._y:=1]
|
||||||
|
142456 t.dp.mu2[2]._y : 1 [by t.dp.dly[3].y:=0]
|
||||||
|
142471 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
|
||||||
|
185719 t.dp.and2[3]._y : 1 [by t.dp._a[3]:=0]
|
||||||
|
222650 t.dp.dly[4].a : 0 [by t.dp.and2[3]._y:=1]
|
||||||
|
222705 t.dp.dly[4]._y : 1 [by t.dp.dly[4].a:=0]
|
||||||
|
274358 t.dp.dly[4].y : 0 [by t.dp.dly[4]._y:=1]
|
||||||
|
304138 t.dp.dly[5]._y : 1 [by t.dp.dly[4].y:=0]
|
||||||
|
317987 t.dp.dly[5].y : 0 [by t.dp.dly[5]._y:=1]
|
||||||
|
342799 t.dp.dly[6]._y : 1 [by t.dp.dly[5].y:=0]
|
||||||
|
357142 t.dp.dly[6].y : 0 [by t.dp.dly[6]._y:=1]
|
||||||
|
357564 t.dp.mu2[3]._y : 1 [by t.dp.dly[6].y:=0]
|
||||||
|
406278 t.y : 0 [by t.dp.mu2[3]._y:=1]
|
||||||
|
[] setting high
|
||||||
|
406278 t.a : 1
|
||||||
|
406279 t.dp.and2[0]._y : 0 [by t.a:=1]
|
||||||
|
406280 t.dp.dly[0].a : 1 [by t.dp.and2[0]._y:=0]
|
||||||
|
426485 t.dp.dly[0]._y : 0 [by t.dp.dly[0].a:=1]
|
||||||
|
426767 t.dp.dly[0].y : 1 [by t.dp.dly[0]._y:=0]
|
||||||
|
427535 t.dp.mu2[0]._y : 0 [by t.dp.dly[0].y:=1]
|
||||||
|
427538 t.dp._a[1] : 1 [by t.dp.mu2[0]._y:=0]
|
||||||
|
449979 t.dp.and2[1]._y : 0 [by t.dp._a[1]:=1]
|
||||||
|
450530 t.dp.dly[1].a : 1 [by t.dp.and2[1]._y:=0]
|
||||||
|
451601 t.dp.dly[1]._y : 0 [by t.dp.dly[1].a:=1]
|
||||||
|
452555 t.dp.dly[1].y : 1 [by t.dp.dly[1]._y:=0]
|
||||||
|
453636 t.dp.mu2[1]._y : 0 [by t.dp.dly[1].y:=1]
|
||||||
|
508106 t.dp._a[2] : 1 [by t.dp.mu2[1]._y:=0]
|
||||||
|
509088 t.dp.and2[2]._y : 0 [by t.dp._a[2]:=1]
|
||||||
|
509106 t.dp.dly[2].a : 1 [by t.dp.and2[2]._y:=0]
|
||||||
|
513119 t.dp.dly[2]._y : 0 [by t.dp.dly[2].a:=1]
|
||||||
|
517122 t.dp.dly[2].y : 1 [by t.dp.dly[2]._y:=0]
|
||||||
|
562023 t.dp.dly[3]._y : 0 [by t.dp.dly[2].y:=1]
|
||||||
|
583607 t.dp.dly[3].y : 1 [by t.dp.dly[3]._y:=0]
|
||||||
|
588367 t.dp.mu2[2]._y : 0 [by t.dp.dly[3].y:=1]
|
||||||
|
588869 t.dp._a[3] : 1 [by t.dp.mu2[2]._y:=0]
|
||||||
|
589072 t.dp.and2[3]._y : 0 [by t.dp._a[3]:=1]
|
||||||
|
590926 t.dp.dly[4].a : 1 [by t.dp.and2[3]._y:=0]
|
||||||
|
591065 t.dp.dly[4]._y : 0 [by t.dp.dly[4].a:=1]
|
||||||
|
627411 t.dp.dly[4].y : 1 [by t.dp.dly[4]._y:=0]
|
||||||
|
627480 t.dp.dly[5]._y : 0 [by t.dp.dly[4].y:=1]
|
||||||
|
627491 t.dp.dly[5].y : 1 [by t.dp.dly[5]._y:=0]
|
||||||
|
679277 t.dp.dly[6]._y : 0 [by t.dp.dly[5].y:=1]
|
||||||
|
679481 t.dp.dly[6].y : 1 [by t.dp.dly[6]._y:=0]
|
||||||
|
679496 t.dp.mu2[3]._y : 0 [by t.dp.dly[6].y:=1]
|
||||||
|
679497 t.y : 1 [by t.dp.mu2[3]._y:=0]
|
||||||
|
[] setting low
|
||||||
|
679497 t.a : 0
|
||||||
|
679534 t.dp.and2[0]._y : 1 [by t.a:=0]
|
||||||
|
680273 t.dp.dly[0].a : 0 [by t.dp.and2[0]._y:=1]
|
||||||
|
680385 t.dp.dly[0]._y : 1 [by t.dp.dly[0].a:=0]
|
||||||
|
727897 t.dp.dly[0].y : 0 [by t.dp.dly[0]._y:=1]
|
||||||
|
727937 t.dp.mu2[0]._y : 1 [by t.dp.dly[0].y:=0]
|
||||||
|
728194 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
|
||||||
|
728281 t.dp.and2[1]._y : 1 [by t.dp._a[1]:=0]
|
||||||
|
728575 t.dp.dly[1].a : 0 [by t.dp.and2[1]._y:=1]
|
||||||
|
728576 t.dp.dly[1]._y : 1 [by t.dp.dly[1].a:=0]
|
||||||
|
730382 t.dp.dly[1].y : 0 [by t.dp.dly[1]._y:=1]
|
||||||
|
732389 t.dp.mu2[1]._y : 1 [by t.dp.dly[1].y:=0]
|
||||||
|
733598 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
|
||||||
|
734188 t.dp.and2[2]._y : 1 [by t.dp._a[2]:=0]
|
||||||
|
734366 t.dp.dly[2].a : 0 [by t.dp.and2[2]._y:=1]
|
||||||
|
735169 t.dp.dly[2]._y : 1 [by t.dp.dly[2].a:=0]
|
||||||
|
735333 t.dp.dly[2].y : 0 [by t.dp.dly[2]._y:=1]
|
||||||
|
737528 t.dp.dly[3]._y : 1 [by t.dp.dly[2].y:=0]
|
||||||
|
737550 t.dp.dly[3].y : 0 [by t.dp.dly[3]._y:=1]
|
||||||
|
738397 t.dp.mu2[2]._y : 1 [by t.dp.dly[3].y:=0]
|
||||||
|
768525 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
|
||||||
|
768658 t.dp.and2[3]._y : 1 [by t.dp._a[3]:=0]
|
||||||
|
784320 t.dp.dly[4].a : 0 [by t.dp.and2[3]._y:=1]
|
||||||
|
784679 t.dp.dly[4]._y : 1 [by t.dp.dly[4].a:=0]
|
||||||
|
798795 t.dp.dly[4].y : 0 [by t.dp.dly[4]._y:=1]
|
||||||
|
799016 t.dp.dly[5]._y : 1 [by t.dp.dly[4].y:=0]
|
||||||
|
799023 t.dp.dly[5].y : 0 [by t.dp.dly[5]._y:=1]
|
||||||
|
799053 t.dp.dly[6]._y : 1 [by t.dp.dly[5].y:=0]
|
||||||
|
805766 t.dp.dly[6].y : 0 [by t.dp.dly[6]._y:=1]
|
||||||
|
863227 t.dp.mu2[3]._y : 1 [by t.dp.dly[6].y:=0]
|
||||||
|
863318 t.y : 0 [by t.dp.mu2[3]._y:=1]
|
||||||
|
[] setting configs low
|
||||||
|
863318 t.s[0] : 0
|
||||||
|
863318 t.s[3] : 0
|
||||||
|
863318 t.s[2] : 0
|
||||||
|
863318 t.s[1] : 0
|
||||||
|
863325 t.dp.mu2[3]._s : 1 [by t.s[3]:=0]
|
||||||
|
863424 t.dp.mu2[1]._s : 1 [by t.s[1]:=0]
|
||||||
|
865507 t.dp.mu2[0]._s : 1 [by t.s[0]:=0]
|
||||||
|
866105 t.dp.mu2[2]._s : 1 [by t.s[2]:=0]
|
||||||
|
[] setting high
|
||||||
|
866105 t.a : 1
|
||||||
|
866183 t.dp.mu2[0]._y : 0 [by t.a:=1]
|
||||||
|
866458 t.dp._a[1] : 1 [by t.dp.mu2[0]._y:=0]
|
||||||
|
885454 t.dp.mu2[1]._y : 0 [by t.dp._a[1]:=1]
|
||||||
|
885909 t.dp._a[2] : 1 [by t.dp.mu2[1]._y:=0]
|
||||||
|
885921 t.dp.mu2[2]._y : 0 [by t.dp._a[2]:=1]
|
||||||
|
886325 t.dp._a[3] : 1 [by t.dp.mu2[2]._y:=0]
|
||||||
|
886337 t.dp.mu2[3]._y : 0 [by t.dp._a[3]:=1]
|
||||||
|
892253 t.y : 1 [by t.dp.mu2[3]._y:=0]
|
||||||
|
[] setting low
|
||||||
|
892253 t.a : 0
|
||||||
|
896529 t.dp.mu2[0]._y : 1 [by t.a:=0]
|
||||||
|
899428 t.dp._a[1] : 0 [by t.dp.mu2[0]._y:=1]
|
||||||
|
903723 t.dp.mu2[1]._y : 1 [by t.dp._a[1]:=0]
|
||||||
|
903725 t.dp._a[2] : 0 [by t.dp.mu2[1]._y:=1]
|
||||||
|
908260 t.dp.mu2[2]._y : 1 [by t.dp._a[2]:=0]
|
||||||
|
909509 t.dp._a[3] : 0 [by t.dp.mu2[2]._y:=1]
|
||||||
|
913008 t.dp.mu2[3]._y : 1 [by t.dp._a[3]:=0]
|
||||||
|
913174 t.y : 0 [by t.dp.mu2[3]._y:=1]
|
Binary file not shown.
|
@ -0,0 +1,190 @@
|
||||||
|
= "GND" "GND"
|
||||||
|
= "Vdd" "Vdd"
|
||||||
|
= "Reset" "Reset"
|
||||||
|
= "t.y" "t.dp.y"
|
||||||
|
= "t.a" "t.dp.a"
|
||||||
|
= "t.dp.a" "t.dp.mu2[0].a"
|
||||||
|
= "t.dp.a" "t.dp.and2[0].a"
|
||||||
|
= "t.dp.a" "t.dp._a[0]"
|
||||||
|
"t.dp.and2[0].a"&"t.dp.and2[0].b"->"t.dp.and2[0]._y"-
|
||||||
|
~("t.dp.and2[0].a"&"t.dp.and2[0].b")->"t.dp.and2[0]._y"+
|
||||||
|
"t.dp.and2[0]._y"->"t.dp.and2[0].y"-
|
||||||
|
~("t.dp.and2[0]._y")->"t.dp.and2[0].y"+
|
||||||
|
"t.dp.and2[1].a"&"t.dp.and2[1].b"->"t.dp.and2[1]._y"-
|
||||||
|
~("t.dp.and2[1].a"&"t.dp.and2[1].b")->"t.dp.and2[1]._y"+
|
||||||
|
"t.dp.and2[1]._y"->"t.dp.and2[1].y"-
|
||||||
|
~("t.dp.and2[1]._y")->"t.dp.and2[1].y"+
|
||||||
|
"t.dp.and2[2].a"&"t.dp.and2[2].b"->"t.dp.and2[2]._y"-
|
||||||
|
~("t.dp.and2[2].a"&"t.dp.and2[2].b")->"t.dp.and2[2]._y"+
|
||||||
|
"t.dp.and2[2]._y"->"t.dp.and2[2].y"-
|
||||||
|
~("t.dp.and2[2]._y")->"t.dp.and2[2].y"+
|
||||||
|
"t.dp.and2[3].a"&"t.dp.and2[3].b"->"t.dp.and2[3]._y"-
|
||||||
|
~("t.dp.and2[3].a"&"t.dp.and2[3].b")->"t.dp.and2[3]._y"+
|
||||||
|
"t.dp.and2[3]._y"->"t.dp.and2[3].y"-
|
||||||
|
~("t.dp.and2[3]._y")->"t.dp.and2[3].y"+
|
||||||
|
= "t.dp.s[0]" "t.dp.mu2[0].s"
|
||||||
|
= "t.dp.s[0]" "t.dp.and2[0].b"
|
||||||
|
= "t.dp.s[1]" "t.dp.mu2[1].s"
|
||||||
|
= "t.dp.s[1]" "t.dp.and2[1].b"
|
||||||
|
= "t.dp.s[2]" "t.dp.mu2[2].s"
|
||||||
|
= "t.dp.s[2]" "t.dp.and2[2].b"
|
||||||
|
= "t.dp.s[3]" "t.dp.mu2[3].s"
|
||||||
|
= "t.dp.s[3]" "t.dp.and2[3].b"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[14].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[13].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[12].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[11].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[10].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[9].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[8].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[7].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[6].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[5].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[4].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[3].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[2].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[1].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.dly[0].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.mu2[3].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.mu2[2].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.mu2[1].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.mu2[0].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.and2[3].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.and2[2].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.and2[1].vdd"
|
||||||
|
= "t.dp.supply.vdd" "t.dp.and2[0].vdd"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[14].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[13].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[12].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[11].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[10].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[9].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[8].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[7].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[6].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[5].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[4].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[3].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[2].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[1].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.dly[0].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.mu2[3].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.mu2[2].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.mu2[1].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.mu2[0].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.and2[3].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.and2[2].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.and2[1].vss"
|
||||||
|
= "t.dp.supply.vss" "t.dp.and2[0].vss"
|
||||||
|
"t.dp.mu2[0].s"->"t.dp.mu2[0]._s"-
|
||||||
|
~("t.dp.mu2[0].s")->"t.dp.mu2[0]._s"+
|
||||||
|
~"t.dp.mu2[0].a"&~"t.dp.mu2[0].s"|~"t.dp.mu2[0].b"&~"t.dp.mu2[0]._s"->"t.dp.mu2[0]._y"+
|
||||||
|
"t.dp.mu2[0].a"&"t.dp.mu2[0]._s"|"t.dp.mu2[0].b"&"t.dp.mu2[0].s"->"t.dp.mu2[0]._y"-
|
||||||
|
"t.dp.mu2[0]._y"->"t.dp.mu2[0].y"-
|
||||||
|
~("t.dp.mu2[0]._y")->"t.dp.mu2[0].y"+
|
||||||
|
"t.dp.mu2[1].s"->"t.dp.mu2[1]._s"-
|
||||||
|
~("t.dp.mu2[1].s")->"t.dp.mu2[1]._s"+
|
||||||
|
~"t.dp.mu2[1].a"&~"t.dp.mu2[1].s"|~"t.dp.mu2[1].b"&~"t.dp.mu2[1]._s"->"t.dp.mu2[1]._y"+
|
||||||
|
"t.dp.mu2[1].a"&"t.dp.mu2[1]._s"|"t.dp.mu2[1].b"&"t.dp.mu2[1].s"->"t.dp.mu2[1]._y"-
|
||||||
|
"t.dp.mu2[1]._y"->"t.dp.mu2[1].y"-
|
||||||
|
~("t.dp.mu2[1]._y")->"t.dp.mu2[1].y"+
|
||||||
|
"t.dp.mu2[2].s"->"t.dp.mu2[2]._s"-
|
||||||
|
~("t.dp.mu2[2].s")->"t.dp.mu2[2]._s"+
|
||||||
|
~"t.dp.mu2[2].a"&~"t.dp.mu2[2].s"|~"t.dp.mu2[2].b"&~"t.dp.mu2[2]._s"->"t.dp.mu2[2]._y"+
|
||||||
|
"t.dp.mu2[2].a"&"t.dp.mu2[2]._s"|"t.dp.mu2[2].b"&"t.dp.mu2[2].s"->"t.dp.mu2[2]._y"-
|
||||||
|
"t.dp.mu2[2]._y"->"t.dp.mu2[2].y"-
|
||||||
|
~("t.dp.mu2[2]._y")->"t.dp.mu2[2].y"+
|
||||||
|
"t.dp.mu2[3].s"->"t.dp.mu2[3]._s"-
|
||||||
|
~("t.dp.mu2[3].s")->"t.dp.mu2[3]._s"+
|
||||||
|
~"t.dp.mu2[3].a"&~"t.dp.mu2[3].s"|~"t.dp.mu2[3].b"&~"t.dp.mu2[3]._s"->"t.dp.mu2[3]._y"+
|
||||||
|
"t.dp.mu2[3].a"&"t.dp.mu2[3]._s"|"t.dp.mu2[3].b"&"t.dp.mu2[3].s"->"t.dp.mu2[3]._y"-
|
||||||
|
"t.dp.mu2[3]._y"->"t.dp.mu2[3].y"-
|
||||||
|
~("t.dp.mu2[3]._y")->"t.dp.mu2[3].y"+
|
||||||
|
"t.dp.dly[0].a"->"t.dp.dly[0]._y"-
|
||||||
|
~("t.dp.dly[0].a")->"t.dp.dly[0]._y"+
|
||||||
|
"t.dp.dly[0]._y"->"t.dp.dly[0].y"-
|
||||||
|
~("t.dp.dly[0]._y")->"t.dp.dly[0].y"+
|
||||||
|
"t.dp.dly[1].a"->"t.dp.dly[1]._y"-
|
||||||
|
~("t.dp.dly[1].a")->"t.dp.dly[1]._y"+
|
||||||
|
"t.dp.dly[1]._y"->"t.dp.dly[1].y"-
|
||||||
|
~("t.dp.dly[1]._y")->"t.dp.dly[1].y"+
|
||||||
|
"t.dp.dly[2].a"->"t.dp.dly[2]._y"-
|
||||||
|
~("t.dp.dly[2].a")->"t.dp.dly[2]._y"+
|
||||||
|
"t.dp.dly[2]._y"->"t.dp.dly[2].y"-
|
||||||
|
~("t.dp.dly[2]._y")->"t.dp.dly[2].y"+
|
||||||
|
"t.dp.dly[3].a"->"t.dp.dly[3]._y"-
|
||||||
|
~("t.dp.dly[3].a")->"t.dp.dly[3]._y"+
|
||||||
|
"t.dp.dly[3]._y"->"t.dp.dly[3].y"-
|
||||||
|
~("t.dp.dly[3]._y")->"t.dp.dly[3].y"+
|
||||||
|
"t.dp.dly[4].a"->"t.dp.dly[4]._y"-
|
||||||
|
~("t.dp.dly[4].a")->"t.dp.dly[4]._y"+
|
||||||
|
"t.dp.dly[4]._y"->"t.dp.dly[4].y"-
|
||||||
|
~("t.dp.dly[4]._y")->"t.dp.dly[4].y"+
|
||||||
|
"t.dp.dly[5].a"->"t.dp.dly[5]._y"-
|
||||||
|
~("t.dp.dly[5].a")->"t.dp.dly[5]._y"+
|
||||||
|
"t.dp.dly[5]._y"->"t.dp.dly[5].y"-
|
||||||
|
~("t.dp.dly[5]._y")->"t.dp.dly[5].y"+
|
||||||
|
"t.dp.dly[6].a"->"t.dp.dly[6]._y"-
|
||||||
|
~("t.dp.dly[6].a")->"t.dp.dly[6]._y"+
|
||||||
|
"t.dp.dly[6]._y"->"t.dp.dly[6].y"-
|
||||||
|
~("t.dp.dly[6]._y")->"t.dp.dly[6].y"+
|
||||||
|
"t.dp.dly[7].a"->"t.dp.dly[7]._y"-
|
||||||
|
~("t.dp.dly[7].a")->"t.dp.dly[7]._y"+
|
||||||
|
"t.dp.dly[7]._y"->"t.dp.dly[7].y"-
|
||||||
|
~("t.dp.dly[7]._y")->"t.dp.dly[7].y"+
|
||||||
|
"t.dp.dly[8].a"->"t.dp.dly[8]._y"-
|
||||||
|
~("t.dp.dly[8].a")->"t.dp.dly[8]._y"+
|
||||||
|
"t.dp.dly[8]._y"->"t.dp.dly[8].y"-
|
||||||
|
~("t.dp.dly[8]._y")->"t.dp.dly[8].y"+
|
||||||
|
"t.dp.dly[9].a"->"t.dp.dly[9]._y"-
|
||||||
|
~("t.dp.dly[9].a")->"t.dp.dly[9]._y"+
|
||||||
|
"t.dp.dly[9]._y"->"t.dp.dly[9].y"-
|
||||||
|
~("t.dp.dly[9]._y")->"t.dp.dly[9].y"+
|
||||||
|
"t.dp.dly[10].a"->"t.dp.dly[10]._y"-
|
||||||
|
~("t.dp.dly[10].a")->"t.dp.dly[10]._y"+
|
||||||
|
"t.dp.dly[10]._y"->"t.dp.dly[10].y"-
|
||||||
|
~("t.dp.dly[10]._y")->"t.dp.dly[10].y"+
|
||||||
|
"t.dp.dly[11].a"->"t.dp.dly[11]._y"-
|
||||||
|
~("t.dp.dly[11].a")->"t.dp.dly[11]._y"+
|
||||||
|
"t.dp.dly[11]._y"->"t.dp.dly[11].y"-
|
||||||
|
~("t.dp.dly[11]._y")->"t.dp.dly[11].y"+
|
||||||
|
"t.dp.dly[12].a"->"t.dp.dly[12]._y"-
|
||||||
|
~("t.dp.dly[12].a")->"t.dp.dly[12]._y"+
|
||||||
|
"t.dp.dly[12]._y"->"t.dp.dly[12].y"-
|
||||||
|
~("t.dp.dly[12]._y")->"t.dp.dly[12].y"+
|
||||||
|
"t.dp.dly[13].a"->"t.dp.dly[13]._y"-
|
||||||
|
~("t.dp.dly[13].a")->"t.dp.dly[13]._y"+
|
||||||
|
"t.dp.dly[13]._y"->"t.dp.dly[13].y"-
|
||||||
|
~("t.dp.dly[13]._y")->"t.dp.dly[13].y"+
|
||||||
|
"t.dp.dly[14].a"->"t.dp.dly[14]._y"-
|
||||||
|
~("t.dp.dly[14].a")->"t.dp.dly[14]._y"+
|
||||||
|
"t.dp.dly[14]._y"->"t.dp.dly[14].y"-
|
||||||
|
~("t.dp.dly[14]._y")->"t.dp.dly[14].y"+
|
||||||
|
= "t.dp.dly[6].y" "t.dp.mu2[3].b"
|
||||||
|
= "t.dp.dly[6].a" "t.dp.dly[5].y"
|
||||||
|
= "t.dp.dly[5].a" "t.dp.dly[4].y"
|
||||||
|
= "t.dp.dly[4].a" "t.dp.and2[3].y"
|
||||||
|
= "t.dp.dly[3].y" "t.dp.mu2[2].b"
|
||||||
|
= "t.dp.dly[3].a" "t.dp.dly[2].y"
|
||||||
|
= "t.dp.dly[2].a" "t.dp.and2[2].y"
|
||||||
|
= "t.dp.dly[1].y" "t.dp.mu2[1].b"
|
||||||
|
= "t.dp.dly[1].a" "t.dp.and2[1].y"
|
||||||
|
= "t.dp.dly[0].y" "t.dp.mu2[0].b"
|
||||||
|
= "t.dp.dly[0].a" "t.dp.and2[0].y"
|
||||||
|
= "t.dp._a[1]" "t.dp.mu2[1].a"
|
||||||
|
= "t.dp._a[1]" "t.dp.and2[1].a"
|
||||||
|
= "t.dp._a[1]" "t.dp.mu2[0].y"
|
||||||
|
= "t.dp._a[2]" "t.dp.mu2[2].a"
|
||||||
|
= "t.dp._a[2]" "t.dp.and2[2].a"
|
||||||
|
= "t.dp._a[2]" "t.dp.mu2[1].y"
|
||||||
|
= "t.dp._a[3]" "t.dp.mu2[3].a"
|
||||||
|
= "t.dp._a[3]" "t.dp.and2[3].a"
|
||||||
|
= "t.dp._a[3]" "t.dp.mu2[2].y"
|
||||||
|
= "t.dp.y" "t.dp.mu2[3].y"
|
||||||
|
= "t.dp.y" "t.dp._a[4]"
|
||||||
|
= "Vdd" "t.dp.supply.vdd"
|
||||||
|
= "GND" "t.dp.supply.vss"
|
||||||
|
= "t.s[0]" "t.dp.s[0]"
|
||||||
|
= "t.s[1]" "t.dp.s[1]"
|
||||||
|
= "t.s[2]" "t.dp.s[2]"
|
||||||
|
= "t.s[3]" "t.dp.s[3]"
|
|
@ -0,0 +1,41 @@
|
||||||
|
/*************************************************************************
|
||||||
|
*
|
||||||
|
* This file is part of ACT dataflow neuro library.
|
||||||
|
* It's the testing facility for cell_lib_std.act
|
||||||
|
*
|
||||||
|
* Copyright (c) 2022 University of Groningen - Ole Richter
|
||||||
|
* Copyright (c) 2022 University of Groningen - Hugh Greatorex
|
||||||
|
* Copyright (c) 2022 University of Groningen - Michele Mastella
|
||||||
|
* Copyright (c) 2022 University of Groningen - Madison Cotteret
|
||||||
|
*
|
||||||
|
* This source describes Open Hardware and is licensed under the CERN-OHL-W v2 or later
|
||||||
|
*
|
||||||
|
* You may redistribute and modify this documentation and make products
|
||||||
|
* using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
|
||||||
|
* This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
|
||||||
|
* WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
|
||||||
|
* AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
|
||||||
|
* for applicable conditions.
|
||||||
|
*
|
||||||
|
* Source location: https://git.web.rug.nl/bics/actlib_dataflow_neuro
|
||||||
|
*
|
||||||
|
* As per CERN-OHL-W v2 section 4.1, should You produce hardware based on
|
||||||
|
* these sources, You must maintain the Source Location visible in its
|
||||||
|
* documentation.
|
||||||
|
*
|
||||||
|
**************************************************************************
|
||||||
|
*/
|
||||||
|
|
||||||
|
import "../../dataflow_neuro/primitives.act";
|
||||||
|
import globals;
|
||||||
|
|
||||||
|
open tmpl::dataflow_neuro;
|
||||||
|
|
||||||
|
defproc delayprog_4 (bool? s[4], a; bool! y){
|
||||||
|
delayprog<4> dp(.a=a, .y=y, .s = s);
|
||||||
|
dp.supply.vss = GND;
|
||||||
|
dp.supply.vdd = Vdd;
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
delayprog_4 t;
|
|
@ -0,0 +1,42 @@
|
||||||
|
watchall
|
||||||
|
|
||||||
|
system "echo '0'"
|
||||||
|
|
||||||
|
set t.a 0
|
||||||
|
set t.s[0] 1
|
||||||
|
set t.s[1] 1
|
||||||
|
set t.s[2] 1
|
||||||
|
set t.s[3] 1
|
||||||
|
|
||||||
|
cycle
|
||||||
|
mode run
|
||||||
|
|
||||||
|
assert t.y 0
|
||||||
|
|
||||||
|
system "echo '[] setting high'"
|
||||||
|
set t.a 1
|
||||||
|
cycle
|
||||||
|
assert t.y 1
|
||||||
|
|
||||||
|
system "echo '[] setting low'"
|
||||||
|
set t.a 0
|
||||||
|
cycle
|
||||||
|
assert t.y 0
|
||||||
|
|
||||||
|
system "echo '[] setting configs low'"
|
||||||
|
set t.s[0] 0
|
||||||
|
set t.s[1] 0
|
||||||
|
set t.s[2] 0
|
||||||
|
set t.s[3] 0
|
||||||
|
cycle
|
||||||
|
assert t.y 0
|
||||||
|
|
||||||
|
system "echo '[] setting high'"
|
||||||
|
set t.a 1
|
||||||
|
cycle
|
||||||
|
assert t.y 1
|
||||||
|
|
||||||
|
system "echo '[] setting low'"
|
||||||
|
set t.a 0
|
||||||
|
cycle
|
||||||
|
assert t.y 0
|
|
@ -0,0 +1,346 @@
|
||||||
|
my_merge.in1.d.d[1].f my_merge.in1.v my_merge.in1.d.d[0].f my_merge.in1.d.d[0].t my_merge.merge_cell._en my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1].y my_merge.fifo_chain[1].fifo_element[0]._in_v my_merge.merge_cell._out_a_BX[0] my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0].y my_merge.in2.d.d[0].t my_merge.in2.d.d[0].f my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1].y my_merge.merge_cell._en_X[0] my_merge.out.v my_merge.in2.d.d[1].t my_merge.in2.d.d[1].f my_merge.fifo_chain[0].fifo_element[0]._in_v my_merge.out.a my_merge.merge_cell._out_a_B my_merge.in2.v my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1]._y my_merge.in1.d.d[1].t my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0]._y my_merge.fifo_chain[1].fifo_element[0].in_v_buf._y my_merge.fifo_chain[0].fifo_element[0].vc.myctree.C2Els[0]._y my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[0].y my_merge.merge_cell.out_a_buffer.buf1._y my_merge.merge_cell.en_buffer.buf1._y my_merge.fifo_chain[1].fifo_element[0].vc.myctree.C2Els[0]._y my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1]._y my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[0]._y my_merge.fifo_chain[0].fifo_element[0].in_v_buf._y
|
||||||
|
241013 my_merge.in1.d.d[0].f : 0
|
||||||
|
241013 my_merge.out.v : 0
|
||||||
|
241013 my_merge.out.a : 0
|
||||||
|
241013 my_merge.in2.v : 0
|
||||||
|
241013 my_merge.in1.d.d[1].f : 0
|
||||||
|
241013 my_merge.in2.d.d[1].f : 0
|
||||||
|
241013 my_merge.in1.v : 0
|
||||||
|
241013 my_merge.in2.d.d[1].t : 0
|
||||||
|
241013 my_merge.in2.d.d[0].t : 0
|
||||||
|
241013 my_merge.in1.d.d[0].t : 0
|
||||||
|
241013 my_merge.in2.d.d[0].f : 0
|
||||||
|
241013 my_merge.in1.d.d[1].t : 0
|
||||||
|
241014 my_merge.merge_cell._en : 1 [by my_merge.out.a:=0]
|
||||||
|
241014 my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0]._y : 1 [by my_merge.in1.d.d[0].t:=0]
|
||||||
|
241015 my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0].y : 0 [by my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0]._y:=1]
|
||||||
|
241018 my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1]._y : 1 [by my_merge.in1.d.d[1].t:=0]
|
||||||
|
241035 my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1].y : 0 [by my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1]._y:=1]
|
||||||
|
241866 my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[0]._y : 1 [by my_merge.in2.d.d[0].f:=0]
|
||||||
|
241905 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||||
|
241908 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||||
|
243608 my_merge.fifo_chain[0].fifo_element[0].vc.myctree.C2Els[0]._y : 1 [by my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1].y:=0]
|
||||||
|
244549 my_merge.fifo_chain[0].fifo_element[0]._in_v : 0 [by my_merge.fifo_chain[0].fifo_element[0].vc.myctree.C2Els[0]._y:=1]
|
||||||
|
245195 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||||
|
245196 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||||
|
245238 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||||
|
250227 my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[0].y : 0 [by my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[0]._y:=1]
|
||||||
|
275795 my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1]._y : 1 [by my_merge.in2.d.d[1].t:=0]
|
||||||
|
278612 my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1].y : 0 [by my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1]._y:=1]
|
||||||
|
292345 my_merge.fifo_chain[1].fifo_element[0].vc.myctree.C2Els[0]._y : 1 [by my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1].y:=0]
|
||||||
|
292440 my_merge.fifo_chain[1].fifo_element[0]._in_v : 0 [by my_merge.fifo_chain[1].fifo_element[0].vc.myctree.C2Els[0]._y:=1]
|
||||||
|
292775 my_merge.fifo_chain[1].fifo_element[0].in_v_buf._y : 1 [by my_merge.fifo_chain[1].fifo_element[0]._in_v:=0]
|
||||||
|
303511 my_merge.fifo_chain[0].fifo_element[0].in_v_buf._y : 1 [by my_merge.fifo_chain[0].fifo_element[0]._in_v:=0]
|
||||||
|
-------------------------------------------------
|
||||||
|
[0] System initialized
|
||||||
|
303511 Reset : 0
|
||||||
|
303519 my_merge._reset_B : 1 [by Reset:=0]
|
||||||
|
303553 my_merge.merge_cell.reset_buf._y : 0 [by my_merge._reset_B:=1]
|
||||||
|
303557 my_merge.merge_cell._reset_BX : 1 [by my_merge.merge_cell.reset_buf._y:=0]
|
||||||
|
304437 my_merge.fifo_chain[1].reset_buf._y : 0 [by my_merge._reset_B:=1]
|
||||||
|
306835 my_merge.fifo_chain[1]._reset_BX : 1 [by my_merge.fifo_chain[1].reset_buf._y:=0]
|
||||||
|
310050 my_merge.fifo_chain[1].reset_bufarray.buf1._y : 0 [by my_merge.fifo_chain[1]._reset_BX:=1]
|
||||||
|
317406 my_merge.fifo_chain[0].reset_buf._y : 0 [by my_merge._reset_B:=1]
|
||||||
|
317454 my_merge.fifo_chain[0]._reset_BX : 1 [by my_merge.fifo_chain[0].reset_buf._y:=0]
|
||||||
|
317457 my_merge.fifo_chain[0].reset_bufarray.buf1._y : 0 [by my_merge.fifo_chain[0]._reset_BX:=1]
|
||||||
|
317635 my_merge.fifo_chain[0]._reset_BXX[0] : 1 [by my_merge.fifo_chain[0].reset_bufarray.buf1._y:=0]
|
||||||
|
329534 my_merge.fifo_chain[0].fifo_element[1].reset_buf._y : 0 [by my_merge.fifo_chain[0]._reset_BXX[0]:=1]
|
||||||
|
335485 my_merge.fifo_chain[0].fifo_element[1]._reset_BX : 1 [by my_merge.fifo_chain[0].fifo_element[1].reset_buf._y:=0]
|
||||||
|
338612 my_merge.fifo_chain[0].fifo_element[0].reset_buf._y : 0 [by my_merge.fifo_chain[0]._reset_BXX[0]:=1]
|
||||||
|
339439 my_merge.fifo_chain[0].fifo_element[0]._reset_BX : 1 [by my_merge.fifo_chain[0].fifo_element[0].reset_buf._y:=0]
|
||||||
|
339612 my_merge.fifo_chain[0].fifo_element[0].reset_bufarray.buf1._y : 0 [by my_merge.fifo_chain[0].fifo_element[0]._reset_BX:=1]
|
||||||
|
339796 my_merge.fifo_chain[0].fifo_element[0]._reset_BXX[0] : 1 [by my_merge.fifo_chain[0].fifo_element[0].reset_bufarray.buf1._y:=0]
|
||||||
|
349935 my_merge.merge_cell.reset_bufarray.buf1._y : 0 [by my_merge.merge_cell._reset_BX:=1]
|
||||||
|
349936 my_merge.merge_cell._reset_BXX[0] : 1 [by my_merge.merge_cell.reset_bufarray.buf1._y:=0]
|
||||||
|
357169 my_merge.fifo_chain[1]._reset_BXX[0] : 1 [by my_merge.fifo_chain[1].reset_bufarray.buf1._y:=0]
|
||||||
|
357173 my_merge.fifo_chain[1].fifo_element[1].reset_buf._y : 0 [by my_merge.fifo_chain[1]._reset_BXX[0]:=1]
|
||||||
|
357242 my_merge.fifo_chain[1].fifo_element[0].reset_buf._y : 0 [by my_merge.fifo_chain[1]._reset_BXX[0]:=1]
|
||||||
|
357338 my_merge.fifo_chain[1].fifo_element[0]._reset_BX : 1 [by my_merge.fifo_chain[1].fifo_element[0].reset_buf._y:=0]
|
||||||
|
357474 my_merge.fifo_chain[1].fifo_element[0].reset_bufarray.buf1._y : 0 [by my_merge.fifo_chain[1].fifo_element[0]._reset_BX:=1]
|
||||||
|
357475 my_merge.fifo_chain[1].fifo_element[0]._reset_BXX[0] : 1 [by my_merge.fifo_chain[1].fifo_element[0].reset_bufarray.buf1._y:=0]
|
||||||
|
374970 my_merge.fifo_chain[0].fifo_element[1].reset_bufarray.buf1._y : 0 [by my_merge.fifo_chain[0].fifo_element[1]._reset_BX:=1]
|
||||||
|
394016 my_merge.fifo_chain[0].fifo_element[1]._reset_BXX[0] : 1 [by my_merge.fifo_chain[0].fifo_element[1].reset_bufarray.buf1._y:=0]
|
||||||
|
394461 my_merge.fifo_chain[1].fifo_element[1]._reset_BX : 1 [by my_merge.fifo_chain[1].fifo_element[1].reset_buf._y:=0]
|
||||||
|
394702 my_merge.fifo_chain[1].fifo_element[1].reset_bufarray.buf1._y : 0 [by my_merge.fifo_chain[1].fifo_element[1]._reset_BX:=1]
|
||||||
|
398661 my_merge.fifo_chain[1].fifo_element[1]._reset_BXX[0] : 1 [by my_merge.fifo_chain[1].fifo_element[1].reset_bufarray.buf1._y:=0]
|
||||||
|
-------------------------------------------------
|
||||||
|
[1] System reset completed
|
||||||
|
|
||||||
|
-------------------------------------------------
|
||||||
|
[2] Output neutral checked
|
||||||
|
398661 my_merge.in1.d.d[0].f : 1
|
||||||
|
398661 my_merge.in2.d.d[1].t : 1
|
||||||
|
398661 my_merge.in2.d.d[0].f : 1
|
||||||
|
398661 my_merge.in1.d.d[1].t : 1
|
||||||
|
398662 my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1]._y : 0 [by my_merge.in2.d.d[1].t:=1]
|
||||||
|
398662 my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1]._y : 0 [by my_merge.in1.d.d[1].t:=1]
|
||||||
|
398663 my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1].y : 1 [by my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[1]._y:=0]
|
||||||
|
398673 my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0]._y : 0 [by my_merge.in1.d.d[0].f:=1]
|
||||||
|
398698 my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1]._y : 0 [by my_merge.in1.d.d[1].t:=1]
|
||||||
|
398717 my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[0]._y : 0 [by my_merge.in2.d.d[0].f:=1]
|
||||||
|
398730 my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[0].y : 1 [by my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[0]._y:=0]
|
||||||
|
399690 my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1]._y : 0 [by my_merge.in2.d.d[1].t:=1]
|
||||||
|
400390 my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1].y : 1 [by my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1]._y:=0]
|
||||||
|
400415 my_merge.fifo_chain[0].fifo_element[1].t_buf_func[1]._y : 0 [by my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1].y:=1]
|
||||||
|
400436 my_merge.merge_cell.merge_func_t[1].n2 : 1 [by my_merge.fifo_chain[0].fifo_element[1].t_buf_func[1]._y:=0]
|
||||||
|
400437 my_merge.merge_cell.vc1.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n2:=1]
|
||||||
|
400747 my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[1]._y : 0 [by my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1].y:=1]
|
||||||
|
400748 my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[1].y : 1 [by my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[1]._y:=0]
|
||||||
|
402237 my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0].y : 1 [by my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0]._y:=0]
|
||||||
|
402238 my_merge.fifo_chain[0].fifo_element[0].vc.myctree.C2Els[0]._y : 0 [by my_merge.fifo_chain[0].fifo_element[0].vc.OR2_tf[0].y:=1]
|
||||||
|
402399 my_merge.fifo_chain[0].fifo_element[0]._in_v : 1 [by my_merge.fifo_chain[0].fifo_element[0].vc.myctree.C2Els[0]._y:=0]
|
||||||
|
402561 my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0]._y : 0 [by my_merge.in1.d.d[0].f:=1]
|
||||||
|
402566 my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0].y : 1 [by my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0]._y:=0]
|
||||||
|
402974 my_merge.fifo_chain[0].fifo_element[1].f_buf_func[0]._y : 0 [by my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0].y:=1]
|
||||||
|
402985 my_merge.merge_cell.merge_func_f[0].n2 : 1 [by my_merge.fifo_chain[0].fifo_element[1].f_buf_func[0]._y:=0]
|
||||||
|
403147 my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[0]._y : 0 [by my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0].y:=1]
|
||||||
|
403161 my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[0].y : 1 [by my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[0]._y:=0]
|
||||||
|
403179 my_merge.fifo_chain[0].fifo_element[1].vc.myctree.C2Els[0]._y : 0 [by my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[0].y:=1]
|
||||||
|
403183 my_merge.fifo_chain[0].fifo_element[1]._in_v : 1 [by my_merge.fifo_chain[0].fifo_element[1].vc.myctree.C2Els[0]._y:=0]
|
||||||
|
403287 my_merge.fifo_chain[0].fifo_element[1].in_v_buf._y : 0 [by my_merge.fifo_chain[0].fifo_element[1]._in_v:=1]
|
||||||
|
403436 my_merge.fifo_chain[0].fifo_element[0].in_v_buf._y : 0 [by my_merge.fifo_chain[0].fifo_element[0]._in_v:=1]
|
||||||
|
404032 my_merge.merge_cell.vc1.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n2:=1]
|
||||||
|
404640 my_merge.in1.v : 1 [by my_merge.fifo_chain[0].fifo_element[0].in_v_buf._y:=0]
|
||||||
|
410085 my_merge.merge_cell.vc1.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=0]
|
||||||
|
412487 my_merge.merge_cell.vc1.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=0]
|
||||||
|
412715 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0].y:=1]
|
||||||
|
413558 my_merge._in1_temp.v : 1 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=0]
|
||||||
|
415017 my_merge.merge_cell.validity_arb.arbiter._y1 : 0 [by my_merge._in1_temp.v:=1]
|
||||||
|
415087 my_merge.merge_cell.validity_arb._y1_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y1:=0]
|
||||||
|
416674 my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1].y : 1 [by my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1]._y:=0]
|
||||||
|
416685 my_merge.fifo_chain[1].fifo_element[0].vc.myctree.C2Els[0]._y : 0 [by my_merge.fifo_chain[1].fifo_element[0].vc.OR2_tf[1].y:=1]
|
||||||
|
416688 my_merge.fifo_chain[1].fifo_element[0]._in_v : 1 [by my_merge.fifo_chain[1].fifo_element[0].vc.myctree.C2Els[0]._y:=0]
|
||||||
|
416742 my_merge.fifo_chain[1].fifo_element[0].in_v_buf._y : 0 [by my_merge.fifo_chain[1].fifo_element[0]._in_v:=1]
|
||||||
|
417890 my_merge.in2.v : 1 [by my_merge.fifo_chain[1].fifo_element[0].in_v_buf._y:=0]
|
||||||
|
422037 my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1].y : 1 [by my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1]._y:=0]
|
||||||
|
423198 my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[1]._y : 0 [by my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1].y:=1]
|
||||||
|
423279 my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[1].y : 1 [by my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[1]._y:=0]
|
||||||
|
430689 my_merge.fifo_chain[1].fifo_element[1].t_buf_func[1]._y : 0 [by my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1].y:=1]
|
||||||
|
434731 my_merge.fifo_chain[0].fifo_element[1].in.v : 1 [by my_merge.fifo_chain[0].fifo_element[1].in_v_buf._y:=0]
|
||||||
|
434823 my_merge.fifo_chain[0].fifo_element[0].inack_ctl._y : 0 [by my_merge.fifo_chain[0].fifo_element[1].in.v:=1]
|
||||||
|
441766 my_merge.merge_cell.merge_func_t[1].n4 : 1 [by my_merge.fifo_chain[1].fifo_element[1].t_buf_func[1]._y:=0]
|
||||||
|
443134 my_merge.in1.a : 1 [by my_merge.fifo_chain[0].fifo_element[0].inack_ctl._y:=0]
|
||||||
|
443510 my_merge.merge_cell.vc2.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n4:=1]
|
||||||
|
443667 my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0]._y : 0 [by my_merge.in2.d.d[0].f:=1]
|
||||||
|
443712 my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0].y : 1 [by my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0]._y:=0]
|
||||||
|
443747 my_merge.fifo_chain[0].fifo_element[0]._en : 0 [by my_merge.in1.a:=1]
|
||||||
|
444272 my_merge.fifo_chain[0].fifo_element[0].en_buf_f.buf1._y : 1 [by my_merge.fifo_chain[0].fifo_element[0]._en:=0]
|
||||||
|
444324 my_merge.fifo_chain[0].fifo_element[0]._en_X_f[0] : 0 [by my_merge.fifo_chain[0].fifo_element[0].en_buf_f.buf1._y:=1]
|
||||||
|
444647 my_merge.fifo_chain[0].fifo_element[0].en_buf_t.buf1._y : 1 [by my_merge.fifo_chain[0].fifo_element[0]._en:=0]
|
||||||
|
444654 my_merge.fifo_chain[0].fifo_element[0]._en_X_t[0] : 0 [by my_merge.fifo_chain[0].fifo_element[0].en_buf_t.buf1._y:=1]
|
||||||
|
444709 my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[0]._y : 0 [by my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0].y:=1]
|
||||||
|
445361 my_merge.fifo_chain[1].fifo_element[1].f_buf_func[0]._y : 0 [by my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0].y:=1]
|
||||||
|
451828 my_merge.merge_cell.merge_func_f[0].n4 : 1 [by my_merge.fifo_chain[1].fifo_element[1].f_buf_func[0]._y:=0]
|
||||||
|
451830 my_merge.merge_cell.vc2.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n4:=1]
|
||||||
|
452184 my_merge.merge_cell.vc2.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=0]
|
||||||
|
452714 my_merge.fifo_chain[0].fifo_element[1].inack_ctl._y : 0 [by my_merge.fifo_chain[0].fifo_element[1].in.v:=1]
|
||||||
|
452847 my_merge.fifo_chain[0].fifo_element[1].in.a : 1 [by my_merge.fifo_chain[0].fifo_element[1].inack_ctl._y:=0]
|
||||||
|
452848 my_merge.fifo_chain[0].fifo_element[1]._en : 0 [by my_merge.fifo_chain[0].fifo_element[1].in.a:=1]
|
||||||
|
452851 my_merge.fifo_chain[0].fifo_element[0]._out_a_B : 0 [by my_merge.fifo_chain[0].fifo_element[1].in.a:=1]
|
||||||
|
452852 my_merge.fifo_chain[0].fifo_element[0].out_a_B_buf_t.buf1._y : 1 [by my_merge.fifo_chain[0].fifo_element[0]._out_a_B:=0]
|
||||||
|
452931 my_merge.fifo_chain[0].fifo_element[0]._out_a_BX_f[0] : 0 [by my_merge.fifo_chain[0].fifo_element[0].out_a_B_buf_t.buf1._y:=1]
|
||||||
|
453394 my_merge.fifo_chain[0].fifo_element[1].en_buf_f.buf1._y : 1 [by my_merge.fifo_chain[0].fifo_element[1]._en:=0]
|
||||||
|
453482 my_merge.fifo_chain[0].fifo_element[1]._en_X_f[0] : 0 [by my_merge.fifo_chain[0].fifo_element[1].en_buf_f.buf1._y:=1]
|
||||||
|
455364 my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0]._y : 1 [by my_merge.fifo_chain[0].fifo_element[0]._out_a_BX_f[0]:=0]
|
||||||
|
457532 my_merge.merge_cell.vc2.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=0]
|
||||||
|
460321 my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[0].y : 1 [by my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[0]._y:=0]
|
||||||
|
460380 my_merge.fifo_chain[1].fifo_element[1].vc.myctree.C2Els[0]._y : 0 [by my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[0].y:=1]
|
||||||
|
460410 my_merge.fifo_chain[1].fifo_element[1]._in_v : 1 [by my_merge.fifo_chain[1].fifo_element[1].vc.myctree.C2Els[0]._y:=0]
|
||||||
|
461877 my_merge.fifo_chain[1].fifo_element[1].in_v_buf._y : 0 [by my_merge.fifo_chain[1].fifo_element[1]._in_v:=1]
|
||||||
|
463146 my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0].y : 0 [by my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0]._y:=1]
|
||||||
|
465229 my_merge.fifo_chain[0].fifo_element[0].out_a_B_buf_f.buf1._y : 1 [by my_merge.fifo_chain[0].fifo_element[0]._out_a_B:=0]
|
||||||
|
465509 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y1_arb:=1]
|
||||||
|
465914 my_merge.fifo_chain[0].fifo_element[0]._out_a_BX_t[0] : 0 [by my_merge.fifo_chain[0].fifo_element[0].out_a_B_buf_f.buf1._y:=1]
|
||||||
|
466041 my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1]._y : 1 [by my_merge.fifo_chain[0].fifo_element[0]._out_a_BX_t[0]:=0]
|
||||||
|
466210 my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1].y : 0 [by my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1]._y:=1]
|
||||||
|
466253 my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[1]._y : 1 [by my_merge.fifo_chain[0].fifo_element[0].t_buf_func[1].y:=0]
|
||||||
|
466265 my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[1].y : 0 [by my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[1]._y:=1]
|
||||||
|
482224 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||||
|
482530 my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[0]._y : 1 [by my_merge.fifo_chain[0].fifo_element[0].f_buf_func[0].y:=0]
|
||||||
|
482763 my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[0].y : 0 [by my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[0]._y:=1]
|
||||||
|
482766 my_merge.fifo_chain[0].fifo_element[1].vc.myctree.C2Els[0]._y : 1 [by my_merge.fifo_chain[0].fifo_element[1].vc.OR2_tf[0].y:=0]
|
||||||
|
482804 my_merge.fifo_chain[0].fifo_element[1]._in_v : 0 [by my_merge.fifo_chain[0].fifo_element[1].vc.myctree.C2Els[0]._y:=1]
|
||||||
|
482805 my_merge.fifo_chain[0].fifo_element[1].in_v_buf._y : 1 [by my_merge.fifo_chain[0].fifo_element[1]._in_v:=0]
|
||||||
|
483503 my_merge.merge_cell.validity_arb.ack_cell1._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||||
|
483595 my_merge.merge_cell._in1_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=0]
|
||||||
|
485859 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1].y:=1]
|
||||||
|
485861 my_merge._in2_temp.v : 1 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=0]
|
||||||
|
486322 my_merge.merge_cell.AND_arb1._y : 0 [by my_merge.merge_cell._in1_arb_temp:=1]
|
||||||
|
486323 my_merge.merge_cell._in1_arb : 1 [by my_merge.merge_cell.AND_arb1._y:=0]
|
||||||
|
487824 my_merge.merge_cell.arb2function1.buf1._y : 0 [by my_merge.merge_cell._in1_arb:=1]
|
||||||
|
487826 my_merge.merge_cell._in1_arb_X[0] : 1 [by my_merge.merge_cell.arb2function1.buf1._y:=0]
|
||||||
|
487844 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||||
|
487945 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||||
|
487953 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||||
|
493564 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||||
|
495557 my_merge.fifo_chain[0].fifo_element[1].in.v : 0 [by my_merge.fifo_chain[0].fifo_element[1].in_v_buf._y:=1]
|
||||||
|
498411 my_merge.fifo_chain[0].fifo_element[1].en_buf_t.buf1._y : 1 [by my_merge.fifo_chain[0].fifo_element[1]._en:=0]
|
||||||
|
498465 my_merge.fifo_chain[0].fifo_element[1]._en_X_t[0] : 0 [by my_merge.fifo_chain[0].fifo_element[1].en_buf_t.buf1._y:=1]
|
||||||
|
521381 my_merge.fifo_chain[1].fifo_element[1].in.v : 1 [by my_merge.fifo_chain[1].fifo_element[1].in_v_buf._y:=0]
|
||||||
|
521386 my_merge.fifo_chain[1].fifo_element[0].inack_ctl._y : 0 [by my_merge.fifo_chain[1].fifo_element[1].in.v:=1]
|
||||||
|
522453 my_merge.in2.a : 1 [by my_merge.fifo_chain[1].fifo_element[0].inack_ctl._y:=0]
|
||||||
|
522454 my_merge.fifo_chain[1].fifo_element[0]._en : 0 [by my_merge.in2.a:=1]
|
||||||
|
522455 my_merge.fifo_chain[1].fifo_element[0].en_buf_t.buf1._y : 1 [by my_merge.fifo_chain[1].fifo_element[0]._en:=0]
|
||||||
|
522519 my_merge.fifo_chain[1].fifo_element[0]._en_X_t[0] : 0 [by my_merge.fifo_chain[1].fifo_element[0].en_buf_t.buf1._y:=1]
|
||||||
|
522592 my_merge.fifo_chain[1].fifo_element[0].en_buf_f.buf1._y : 1 [by my_merge.fifo_chain[1].fifo_element[0]._en:=0]
|
||||||
|
522715 my_merge.fifo_chain[1].fifo_element[0]._en_X_f[0] : 0 [by my_merge.fifo_chain[1].fifo_element[0].en_buf_f.buf1._y:=1]
|
||||||
|
571919 my_merge.fifo_chain[1].fifo_element[1].inack_ctl._y : 0 [by my_merge.fifo_chain[1].fifo_element[1].in.v:=1]
|
||||||
|
571921 my_merge.fifo_chain[1].fifo_element[1].in.a : 1 [by my_merge.fifo_chain[1].fifo_element[1].inack_ctl._y:=0]
|
||||||
|
571958 my_merge.fifo_chain[1].fifo_element[1]._en : 0 [by my_merge.fifo_chain[1].fifo_element[1].in.a:=1]
|
||||||
|
572009 my_merge.fifo_chain[1].fifo_element[1].en_buf_f.buf1._y : 1 [by my_merge.fifo_chain[1].fifo_element[1]._en:=0]
|
||||||
|
572020 my_merge.fifo_chain[1].fifo_element[1]._en_X_f[0] : 0 [by my_merge.fifo_chain[1].fifo_element[1].en_buf_f.buf1._y:=1]
|
||||||
|
572064 my_merge.fifo_chain[1].fifo_element[0]._out_a_B : 0 [by my_merge.fifo_chain[1].fifo_element[1].in.a:=1]
|
||||||
|
572065 my_merge.fifo_chain[1].fifo_element[0].out_a_B_buf_t.buf1._y : 1 [by my_merge.fifo_chain[1].fifo_element[0]._out_a_B:=0]
|
||||||
|
572073 my_merge.fifo_chain[1].fifo_element[0].out_a_B_buf_f.buf1._y : 1 [by my_merge.fifo_chain[1].fifo_element[0]._out_a_B:=0]
|
||||||
|
572090 my_merge.fifo_chain[1].fifo_element[0]._out_a_BX_f[0] : 0 [by my_merge.fifo_chain[1].fifo_element[0].out_a_B_buf_t.buf1._y:=1]
|
||||||
|
572400 my_merge.fifo_chain[1].fifo_element[1].en_buf_t.buf1._y : 1 [by my_merge.fifo_chain[1].fifo_element[1]._en:=0]
|
||||||
|
572545 my_merge.fifo_chain[1].fifo_element[1]._en_X_t[0] : 0 [by my_merge.fifo_chain[1].fifo_element[1].en_buf_t.buf1._y:=1]
|
||||||
|
575611 my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0]._y : 1 [by my_merge.fifo_chain[1].fifo_element[0]._out_a_BX_f[0]:=0]
|
||||||
|
582326 my_merge.fifo_chain[1].fifo_element[0]._out_a_BX_t[0] : 0 [by my_merge.fifo_chain[1].fifo_element[0].out_a_B_buf_f.buf1._y:=1]
|
||||||
|
582556 my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1]._y : 1 [by my_merge.fifo_chain[1].fifo_element[0]._out_a_BX_t[0]:=0]
|
||||||
|
583247 my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1].y : 0 [by my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1]._y:=1]
|
||||||
|
583261 my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[1]._y : 1 [by my_merge.fifo_chain[1].fifo_element[0].t_buf_func[1].y:=0]
|
||||||
|
584804 my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[1].y : 0 [by my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[1]._y:=1]
|
||||||
|
591779 my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0].y : 0 [by my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0]._y:=1]
|
||||||
|
593390 my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[0]._y : 1 [by my_merge.fifo_chain[1].fifo_element[0].f_buf_func[0].y:=0]
|
||||||
|
610902 my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[0].y : 0 [by my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[0]._y:=1]
|
||||||
|
610913 my_merge.fifo_chain[1].fifo_element[1].vc.myctree.C2Els[0]._y : 1 [by my_merge.fifo_chain[1].fifo_element[1].vc.OR2_tf[0].y:=0]
|
||||||
|
610914 my_merge.fifo_chain[1].fifo_element[1]._in_v : 0 [by my_merge.fifo_chain[1].fifo_element[1].vc.myctree.C2Els[0]._y:=1]
|
||||||
|
610915 my_merge.fifo_chain[1].fifo_element[1].in_v_buf._y : 1 [by my_merge.fifo_chain[1].fifo_element[1]._in_v:=0]
|
||||||
|
617416 my_merge.fifo_chain[1].fifo_element[1].in.v : 0 [by my_merge.fifo_chain[1].fifo_element[1].in_v_buf._y:=1]
|
||||||
|
617416 my_merge.out.v : 1
|
||||||
|
618055 my_merge.merge_cell.in1ack_ctl._y : 0 [by my_merge.out.v:=1]
|
||||||
|
619848 my_merge._in1_temp.a : 1 [by my_merge.merge_cell.in1ack_ctl._y:=0]
|
||||||
|
619849 my_merge.merge_cell._en : 0 [by my_merge._in1_temp.a:=1]
|
||||||
|
619865 my_merge.fifo_chain[0].fifo_element[1]._out_a_B : 0 [by my_merge._in1_temp.a:=1]
|
||||||
|
619868 my_merge.fifo_chain[0].fifo_element[1].out_a_B_buf_f.buf1._y : 1 [by my_merge.fifo_chain[0].fifo_element[1]._out_a_B:=0]
|
||||||
|
619980 my_merge.merge_cell._in1_a_B : 0 [by my_merge._in1_temp.a:=1]
|
||||||
|
620001 my_merge.merge_cell.en_buffer.buf1._y : 1 [by my_merge.merge_cell._en:=0]
|
||||||
|
620007 my_merge.merge_cell._en_X[0] : 0 [by my_merge.merge_cell.en_buffer.buf1._y:=1]
|
||||||
|
620292 my_merge.fifo_chain[0].fifo_element[1]._out_a_BX_t[0] : 0 [by my_merge.fifo_chain[0].fifo_element[1].out_a_B_buf_f.buf1._y:=1]
|
||||||
|
622848 my_merge.fifo_chain[0].fifo_element[1].out_a_B_buf_t.buf1._y : 1 [by my_merge.fifo_chain[0].fifo_element[1]._out_a_B:=0]
|
||||||
|
622880 my_merge.fifo_chain[0].fifo_element[1].t_buf_func[1]._y : 1 [by my_merge.fifo_chain[0].fifo_element[1]._out_a_BX_t[0]:=0]
|
||||||
|
623710 my_merge.merge_cell.merge_func_t[1].n2 : 0 [by my_merge.fifo_chain[0].fifo_element[1].t_buf_func[1]._y:=1]
|
||||||
|
625309 my_merge.fifo_chain[0].fifo_element[1]._out_a_BX_f[0] : 0 [by my_merge.fifo_chain[0].fifo_element[1].out_a_B_buf_t.buf1._y:=1]
|
||||||
|
625311 my_merge.fifo_chain[0].fifo_element[1].f_buf_func[0]._y : 1 [by my_merge.fifo_chain[0].fifo_element[1]._out_a_BX_f[0]:=0]
|
||||||
|
625505 my_merge.merge_cell.merge_func_f[0].n2 : 0 [by my_merge.fifo_chain[0].fifo_element[1].f_buf_func[0]._y:=1]
|
||||||
|
626108 my_merge.merge_cell.vc1.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n2:=0]
|
||||||
|
626246 my_merge.merge_cell.vc1.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=1]
|
||||||
|
646642 my_merge.merge_cell.vc1.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n2:=0]
|
||||||
|
646659 my_merge.merge_cell.vc1.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=1]
|
||||||
|
646676 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1].y:=0]
|
||||||
|
647102 my_merge._in1_temp.v : 0 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=1]
|
||||||
|
647103 my_merge.merge_cell.validity_arb.arbiter._y1 : 1 [by my_merge._in1_temp.v:=0]
|
||||||
|
647103 my_merge.fifo_chain[0].fifo_element[1].inack_ctl._y : 1 [by my_merge._in1_temp.v:=0]
|
||||||
|
647104 my_merge.merge_cell.validity_arb._y1_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y1:=1]
|
||||||
|
647122 my_merge.fifo_chain[0].fifo_element[1].in.a : 0 [by my_merge.fifo_chain[0].fifo_element[1].inack_ctl._y:=1]
|
||||||
|
647272 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y1_arb:=0]
|
||||||
|
647283 my_merge.fifo_chain[0].fifo_element[0]._out_a_B : 1 [by my_merge.fifo_chain[0].fifo_element[1].in.a:=0]
|
||||||
|
647445 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||||
|
647446 my_merge.merge_cell.validity_arb.ack_cell1._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||||
|
647447 my_merge.merge_cell._in1_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=1]
|
||||||
|
647661 my_merge.fifo_chain[0].fifo_element[1]._en : 1 [by my_merge.fifo_chain[0].fifo_element[1].in.a:=0]
|
||||||
|
647837 my_merge.merge_cell.AND_arb1._y : 1 [by my_merge.merge_cell._in1_arb_temp:=0]
|
||||||
|
647865 my_merge.merge_cell._in1_arb : 0 [by my_merge.merge_cell.AND_arb1._y:=1]
|
||||||
|
647868 my_merge.fifo_chain[0].fifo_element[1].en_buf_f.buf1._y : 0 [by my_merge.fifo_chain[0].fifo_element[1]._en:=1]
|
||||||
|
647872 my_merge.merge_cell.arb2function1.buf1._y : 1 [by my_merge.merge_cell._in1_arb:=0]
|
||||||
|
647876 my_merge.merge_cell._in1_arb_X[0] : 0 [by my_merge.merge_cell.arb2function1.buf1._y:=1]
|
||||||
|
648129 my_merge.merge_cell.validity_arb.arbiter._y2 : 0 [by my_merge.merge_cell.validity_arb.arbiter._y1:=1]
|
||||||
|
648282 my_merge.fifo_chain[0].fifo_element[1]._en_X_f[0] : 1 [by my_merge.fifo_chain[0].fifo_element[1].en_buf_f.buf1._y:=0]
|
||||||
|
648494 my_merge.fifo_chain[0].fifo_element[1].en_buf_t.buf1._y : 0 [by my_merge.fifo_chain[0].fifo_element[1]._en:=1]
|
||||||
|
649830 my_merge.fifo_chain[0].fifo_element[0].out_a_B_buf_t.buf1._y : 0 [by my_merge.fifo_chain[0].fifo_element[0]._out_a_B:=1]
|
||||||
|
649908 my_merge.merge_cell.validity_arb._y2_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y2:=0]
|
||||||
|
649996 my_merge.fifo_chain[0].fifo_element[0]._out_a_BX_f[0] : 1 [by my_merge.fifo_chain[0].fifo_element[0].out_a_B_buf_t.buf1._y:=0]
|
||||||
|
662344 my_merge.fifo_chain[0].fifo_element[0].out_a_B_buf_f.buf1._y : 0 [by my_merge.fifo_chain[0].fifo_element[0]._out_a_B:=1]
|
||||||
|
670989 my_merge.fifo_chain[0].fifo_element[0]._out_a_BX_t[0] : 1 [by my_merge.fifo_chain[0].fifo_element[0].out_a_B_buf_f.buf1._y:=0]
|
||||||
|
671368 my_merge.fifo_chain[0].fifo_element[1]._en_X_t[0] : 1 [by my_merge.fifo_chain[0].fifo_element[1].en_buf_t.buf1._y:=0]
|
||||||
|
689778 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y2_arb:=1]
|
||||||
|
690711 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||||
|
691567 my_merge.merge_cell.validity_arb.ack_cell2._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||||
|
691706 my_merge.merge_cell._in2_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=0]
|
||||||
|
691706 my_merge.out.a : 1
|
||||||
|
717915 my_merge.merge_cell._out_a_B : 0 [by my_merge.out.a:=1]
|
||||||
|
718110 my_merge.merge_cell.out_a_buffer.buf1._y : 1 [by my_merge.merge_cell._out_a_B:=0]
|
||||||
|
718112 my_merge.merge_cell._out_a_BX[0] : 0 [by my_merge.merge_cell.out_a_buffer.buf1._y:=1]
|
||||||
|
718118 my_merge.merge_cell.merge_func_f[0]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
718372 my_merge.merge_cell.merge_func_f[0].y : 0 [by my_merge.merge_cell.merge_func_f[0]._y:=1]
|
||||||
|
771561 my_merge.merge_cell.merge_func_t[1]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
771569 my_merge.merge_cell.merge_func_t[1].y : 0 [by my_merge.merge_cell.merge_func_t[1]._y:=1]
|
||||||
|
771569 my_merge.out.v : 0
|
||||||
|
771569 my_merge.out.a : 0
|
||||||
|
771570 my_merge.merge_cell.in1ack_ctl._y : 1 [by my_merge.out.v:=0]
|
||||||
|
771575 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||||
|
774665 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||||
|
774891 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||||
|
822606 my_merge._in1_temp.a : 0 [by my_merge.merge_cell.in1ack_ctl._y:=1]
|
||||||
|
822607 my_merge.merge_cell._en : 1 [by my_merge._in1_temp.a:=0]
|
||||||
|
822609 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||||
|
822612 my_merge.fifo_chain[0].fifo_element[1]._out_a_B : 1 [by my_merge._in1_temp.a:=0]
|
||||||
|
822627 my_merge.fifo_chain[0].fifo_element[1].out_a_B_buf_t.buf1._y : 0 [by my_merge.fifo_chain[0].fifo_element[1]._out_a_B:=1]
|
||||||
|
822734 my_merge.fifo_chain[0].fifo_element[1]._out_a_BX_f[0] : 1 [by my_merge.fifo_chain[0].fifo_element[1].out_a_B_buf_t.buf1._y:=0]
|
||||||
|
823425 my_merge.merge_cell._in1_a_B : 1 [by my_merge._in1_temp.a:=0]
|
||||||
|
823518 my_merge.merge_cell.AND_arb2._y : 0 [by my_merge.merge_cell._in1_a_B:=1]
|
||||||
|
825170 my_merge.merge_cell._in2_arb : 1 [by my_merge.merge_cell.AND_arb2._y:=0]
|
||||||
|
826171 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||||
|
829109 my_merge.merge_cell.arb2function2.buf1._y : 0 [by my_merge.merge_cell._in2_arb:=1]
|
||||||
|
829867 my_merge.merge_cell._in2_arb_X[0] : 1 [by my_merge.merge_cell.arb2function2.buf1._y:=0]
|
||||||
|
830583 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||||
|
830584 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||||
|
832490 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||||
|
834230 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||||
|
843413 my_merge.fifo_chain[0].fifo_element[1].out_a_B_buf_f.buf1._y : 0 [by my_merge.fifo_chain[0].fifo_element[1]._out_a_B:=1]
|
||||||
|
843414 my_merge.fifo_chain[0].fifo_element[1]._out_a_BX_t[0] : 1 [by my_merge.fifo_chain[0].fifo_element[1].out_a_B_buf_f.buf1._y:=0]
|
||||||
|
843414 my_merge.out.v : 1
|
||||||
|
855566 my_merge.merge_cell.in2ack_ctl._y : 0 [by my_merge.out.v:=1]
|
||||||
|
883765 my_merge._in2_temp.a : 1 [by my_merge.merge_cell.in2ack_ctl._y:=0]
|
||||||
|
883766 my_merge.merge_cell._en : 0 [by my_merge._in2_temp.a:=1]
|
||||||
|
883766 my_merge.fifo_chain[1].fifo_element[1]._out_a_B : 0 [by my_merge._in2_temp.a:=1]
|
||||||
|
883771 my_merge.merge_cell._in2_a_B : 0 [by my_merge._in2_temp.a:=1]
|
||||||
|
883788 my_merge.fifo_chain[1].fifo_element[1].out_a_B_buf_f.buf1._y : 1 [by my_merge.fifo_chain[1].fifo_element[1]._out_a_B:=0]
|
||||||
|
905365 my_merge.fifo_chain[1].fifo_element[1].out_a_B_buf_t.buf1._y : 1 [by my_merge.fifo_chain[1].fifo_element[1]._out_a_B:=0]
|
||||||
|
905372 my_merge.fifo_chain[1].fifo_element[1]._out_a_BX_f[0] : 0 [by my_merge.fifo_chain[1].fifo_element[1].out_a_B_buf_t.buf1._y:=1]
|
||||||
|
905437 my_merge.fifo_chain[1].fifo_element[1].f_buf_func[0]._y : 1 [by my_merge.fifo_chain[1].fifo_element[1]._out_a_BX_f[0]:=0]
|
||||||
|
905450 my_merge.merge_cell.merge_func_f[0].n4 : 0 [by my_merge.fifo_chain[1].fifo_element[1].f_buf_func[0]._y:=1]
|
||||||
|
906296 my_merge.fifo_chain[1].fifo_element[1]._out_a_BX_t[0] : 0 [by my_merge.fifo_chain[1].fifo_element[1].out_a_B_buf_f.buf1._y:=1]
|
||||||
|
906400 my_merge.fifo_chain[1].fifo_element[1].t_buf_func[1]._y : 1 [by my_merge.fifo_chain[1].fifo_element[1]._out_a_BX_t[0]:=0]
|
||||||
|
906441 my_merge.merge_cell.merge_func_t[1].n4 : 0 [by my_merge.fifo_chain[1].fifo_element[1].t_buf_func[1]._y:=1]
|
||||||
|
906442 my_merge.merge_cell.vc2.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n4:=0]
|
||||||
|
906443 my_merge.merge_cell.vc2.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=1]
|
||||||
|
906574 my_merge.merge_cell.vc2.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n4:=0]
|
||||||
|
923255 my_merge.merge_cell.en_buffer.buf1._y : 1 [by my_merge.merge_cell._en:=0]
|
||||||
|
936427 my_merge.merge_cell._en_X[0] : 0 [by my_merge.merge_cell.en_buffer.buf1._y:=1]
|
||||||
|
970952 my_merge.merge_cell.vc2.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=1]
|
||||||
|
970953 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0].y:=0]
|
||||||
|
990778 my_merge._in2_temp.v : 0 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=1]
|
||||||
|
991604 my_merge.fifo_chain[1].fifo_element[1].inack_ctl._y : 1 [by my_merge._in2_temp.v:=0]
|
||||||
|
993437 my_merge.fifo_chain[1].fifo_element[1].in.a : 0 [by my_merge.fifo_chain[1].fifo_element[1].inack_ctl._y:=1]
|
||||||
|
993495 my_merge.fifo_chain[1].fifo_element[0]._out_a_B : 1 [by my_merge.fifo_chain[1].fifo_element[1].in.a:=0]
|
||||||
|
993914 my_merge.merge_cell.validity_arb.arbiter._y2 : 1 [by my_merge._in2_temp.v:=0]
|
||||||
|
995938 my_merge.fifo_chain[1].fifo_element[0].out_a_B_buf_t.buf1._y : 0 [by my_merge.fifo_chain[1].fifo_element[0]._out_a_B:=1]
|
||||||
|
995952 my_merge.fifo_chain[1].fifo_element[0]._out_a_BX_f[0] : 1 [by my_merge.fifo_chain[1].fifo_element[0].out_a_B_buf_t.buf1._y:=0]
|
||||||
|
1009985 my_merge.fifo_chain[1].fifo_element[1]._en : 1 [by my_merge.fifo_chain[1].fifo_element[1].in.a:=0]
|
||||||
|
1010268 my_merge.fifo_chain[1].fifo_element[0].out_a_B_buf_f.buf1._y : 0 [by my_merge.fifo_chain[1].fifo_element[0]._out_a_B:=1]
|
||||||
|
1010341 my_merge.fifo_chain[1].fifo_element[1].en_buf_f.buf1._y : 0 [by my_merge.fifo_chain[1].fifo_element[1]._en:=1]
|
||||||
|
1010373 my_merge.fifo_chain[1].fifo_element[0]._out_a_BX_t[0] : 1 [by my_merge.fifo_chain[1].fifo_element[0].out_a_B_buf_f.buf1._y:=0]
|
||||||
|
1010450 my_merge.fifo_chain[1].fifo_element[1]._en_X_f[0] : 1 [by my_merge.fifo_chain[1].fifo_element[1].en_buf_f.buf1._y:=0]
|
||||||
|
1031113 my_merge.merge_cell.validity_arb._y2_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||||
|
1031114 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y2_arb:=0]
|
||||||
|
1031123 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||||
|
1045823 my_merge.fifo_chain[1].fifo_element[1].en_buf_t.buf1._y : 0 [by my_merge.fifo_chain[1].fifo_element[1]._en:=1]
|
||||||
|
1045824 my_merge.fifo_chain[1].fifo_element[1]._en_X_t[0] : 1 [by my_merge.fifo_chain[1].fifo_element[1].en_buf_t.buf1._y:=0]
|
||||||
|
1069076 my_merge.merge_cell.validity_arb.ack_cell2._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||||
|
1105470 my_merge.merge_cell._in2_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=1]
|
||||||
|
1105471 my_merge.merge_cell.AND_arb2._y : 1 [by my_merge.merge_cell._in2_arb_temp:=0]
|
||||||
|
1108560 my_merge.merge_cell._in2_arb : 0 [by my_merge.merge_cell.AND_arb2._y:=1]
|
||||||
|
1157286 my_merge.merge_cell.arb2function2.buf1._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||||
|
1158036 my_merge.merge_cell._in2_arb_X[0] : 0 [by my_merge.merge_cell.arb2function2.buf1._y:=1]
|
||||||
|
1158036 my_merge.out.a : 1
|
||||||
|
1164791 my_merge.merge_cell._out_a_B : 0 [by my_merge.out.a:=1]
|
||||||
|
1164842 my_merge.merge_cell.out_a_buffer.buf1._y : 1 [by my_merge.merge_cell._out_a_B:=0]
|
||||||
|
1164852 my_merge.merge_cell._out_a_BX[0] : 0 [by my_merge.merge_cell.out_a_buffer.buf1._y:=1]
|
||||||
|
1165172 my_merge.merge_cell.merge_func_t[1]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
1165173 my_merge.merge_cell.merge_func_t[1].y : 0 [by my_merge.merge_cell.merge_func_t[1]._y:=1]
|
||||||
|
1172434 my_merge.merge_cell.merge_func_f[0]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
1172435 my_merge.merge_cell.merge_func_f[0].y : 0 [by my_merge.merge_cell.merge_func_f[0]._y:=1]
|
||||||
|
-------------------------------------------------
|
||||||
|
[3] In1 channel checked
|
File diff suppressed because it is too large
Load Diff
|
@ -0,0 +1,66 @@
|
||||||
|
/*************************************************************************
|
||||||
|
*
|
||||||
|
* This file is part of ACT dataflow neuro library.
|
||||||
|
* It's the testing facility for cell_lib_std.act
|
||||||
|
*
|
||||||
|
* Copyright (c) 2022 University of Groningen - Ole Richter
|
||||||
|
* Copyright (c) 2022 University of Groningen - Hugh Greatorex
|
||||||
|
* Copyright (c) 2022 University of Groningen - Michele Mastella
|
||||||
|
* Copyright (c) 2022 University of Groningen - Madison Cotteret
|
||||||
|
*
|
||||||
|
* This source describes Open Hardware and is licensed under the CERN-OHL-W v2 or later
|
||||||
|
*
|
||||||
|
* You may redistribute and modify this documentation and make products
|
||||||
|
* using it under the terms of the CERN-OHL-W v2 (https:/cern.ch/cern-ohl).
|
||||||
|
* This documentation is distributed WITHOUT ANY EXPRESS OR IMPLIED
|
||||||
|
* WARRANTY, INCLUDING OF MERCHANTABILITY, SATISFACTORY QUALITY
|
||||||
|
* AND FITNESS FOR A PARTICULAR PURPOSE. Please see the CERN-OHL-W v2
|
||||||
|
* for applicable conditions.
|
||||||
|
*
|
||||||
|
* Source location: https://git.web.rug.nl/bics/actlib_dataflow_neuro
|
||||||
|
*
|
||||||
|
* As per CERN-OHL-W v2 section 4.1, should You produce hardware based on
|
||||||
|
* these sources, You must maintain the Source Location visible in its
|
||||||
|
* documentation.
|
||||||
|
*
|
||||||
|
**************************************************************************
|
||||||
|
*/
|
||||||
|
|
||||||
|
import "../../dataflow_neuro/primitives.act";
|
||||||
|
import globals;
|
||||||
|
|
||||||
|
open tmpl::dataflow_neuro;
|
||||||
|
|
||||||
|
|
||||||
|
defproc merge_2 (avMx1of2<2> in1; avMx1of2<2> in2; avMx1of2<2> out){
|
||||||
|
|
||||||
|
bool _reset_B;
|
||||||
|
fifo<2,2> fifo_chain[2];
|
||||||
|
avMx1of2<2> _in1_temp,_in2_temp;
|
||||||
|
fifo_chain[0].in = in1;
|
||||||
|
fifo_chain[0].out = _in1_temp;
|
||||||
|
fifo_chain[0].supply.vss = GND;
|
||||||
|
fifo_chain[0].supply.vdd = Vdd;
|
||||||
|
fifo_chain[0].reset_B = _reset_B;
|
||||||
|
|
||||||
|
fifo_chain[1].in = in2;
|
||||||
|
fifo_chain[1].out = _in2_temp;
|
||||||
|
fifo_chain[1].supply.vss = GND;
|
||||||
|
fifo_chain[1].supply.vdd = Vdd;
|
||||||
|
fifo_chain[1].reset_B = _reset_B;
|
||||||
|
|
||||||
|
merge<2> merge_cell(.in1=_in1_temp, .in2=_in2_temp,.out = out);
|
||||||
|
|
||||||
|
//Low active Reset
|
||||||
|
|
||||||
|
prs {
|
||||||
|
Reset => _reset_B-
|
||||||
|
}
|
||||||
|
|
||||||
|
merge_cell.supply.vss = GND;
|
||||||
|
merge_cell.supply.vdd = Vdd;
|
||||||
|
merge_cell.reset_B = _reset_B;
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
merge_2 my_merge;
|
|
@ -0,0 +1,50 @@
|
||||||
|
|
||||||
|
watchall
|
||||||
|
set Reset 1
|
||||||
|
set-qdi-channel-neutral "my_merge.in1" 2
|
||||||
|
set-qdi-channel-neutral "my_merge.in2" 2
|
||||||
|
set my_merge.in1.v 0
|
||||||
|
set my_merge.in2.v 0
|
||||||
|
set my_merge.out.a 0
|
||||||
|
set my_merge.out.v 0
|
||||||
|
cycle
|
||||||
|
assert-qdi-channel-neutral "my_merge.out" 2
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[0] System initialized'"
|
||||||
|
|
||||||
|
set Reset 0
|
||||||
|
cycle
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[1] System reset completed'"
|
||||||
|
status X
|
||||||
|
mode run
|
||||||
|
assert-qdi-channel-neutral "my_merge.out" 2
|
||||||
|
cycle
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[2] Output neutral checked'"
|
||||||
|
|
||||||
|
set-qdi-channel-valid "my_merge.in1" 2 2
|
||||||
|
set-qdi-channel-valid "my_merge.in2" 2 2
|
||||||
|
cycle
|
||||||
|
assert my_merge.in1.v 1
|
||||||
|
assert my_merge.in2.v 1
|
||||||
|
assert-qdi-channel-valid "my_merge.out" 2 2
|
||||||
|
set my_merge.out.v 1
|
||||||
|
cycle
|
||||||
|
set my_merge.out.a 1
|
||||||
|
cycle
|
||||||
|
assert-qdi-channel-neutral "my_merge.out" 2
|
||||||
|
set my_merge.out.v 0
|
||||||
|
set my_merge.out.a 0
|
||||||
|
cycle
|
||||||
|
assert-qdi-channel-valid "my_merge.out" 2 2
|
||||||
|
set my_merge.out.v 1
|
||||||
|
cycle
|
||||||
|
set my_merge.out.a 1
|
||||||
|
cycle
|
||||||
|
assert-qdi-channel-neutral "my_merge.out" 2
|
||||||
|
set my_merge.out.v 0
|
||||||
|
set my_merge.out.a 0
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[3] In1 channel checked'"
|
||||||
|
|
|
@ -0,0 +1,286 @@
|
||||||
|
my_merge.merge_cell.vc2.OR2_tf[1]._y my_merge.merge_cell.validity_arb.arbiter._y1 my_merge.merge_cell.vc1.OR2_tf[0].y my_merge.merge_cell.merge_func_f[0].n4 my_merge.merge_cell._en my_merge.merge_cell._en_X[0] my_merge.in1.v my_merge.merge_cell.merge_func_f[1].n4 my_merge.merge_cell.arb2function1.buf1._y my_merge.merge_cell.merge_func_t[0].n4 my_merge.merge_cell.en_buffer.buf1._y my_merge.merge_cell._in2_arb my_merge.merge_cell.merge_func_t[1].n4 my_merge.merge_cell._in2_arb_X[0] my_merge.merge_cell._in1_arb_X[0] my_merge.merge_cell._out_temp.a my_merge.merge_cell.vc1.myctree.C2Els[0]._y my_merge.merge_cell._out_a_B my_merge.in2.v my_merge.merge_cell.merge_func_t[0].n2 my_merge.merge_cell.merge_func_f[1].n2 my_merge.out.v my_merge.merge_cell._in2_arb_temp my_merge.merge_cell.AND_arb2._y my_merge.merge_cell._in1_arb my_merge.merge_cell.vc2.OR2_tf[1].y my_merge.out.a my_merge.merge_cell.validity_arb._y1_arb my_merge.merge_cell._out_a_BX[0] my_merge.merge_cell.vc1.OR2_tf[1]._y my_merge.merge_cell.merge_func_f[0].n2 my_merge.merge_cell.vc1.OR2_tf[1].y my_merge.merge_cell.validity_arb.or_cell._y my_merge.merge_cell._in1_arb_temp my_merge.merge_cell.vc2.myctree.C2Els[0]._y my_merge.merge_cell.merge_func_t[1].n2 my_merge.merge_cell.validity_arb._y2_arb my_merge.merge_cell.vc2.OR2_tf[0]._y my_merge.merge_cell.validity_arb.ack_cell1._y my_merge.merge_cell.vc2.OR2_tf[0].y my_merge.merge_cell.validity_arb.arbiter._y2 my_merge.merge_cell.vc1.OR2_tf[0]._y my_merge.merge_cell.validity_arb.ack_cell2._y my_merge.merge_cell.arb2function2.buf1._y my_merge.merge_cell.AND_arb1._y my_merge.merge_cell.out_a_buffer.buf1._y
|
||||||
|
83058 my_merge.merge_cell.merge_func_f[0].n2 : 0
|
||||||
|
83058 my_merge.out.v : 0
|
||||||
|
83058 my_merge.out.a : 0
|
||||||
|
83058 my_merge.in2.v : 0
|
||||||
|
83058 my_merge.merge_cell.merge_func_f[1].n2 : 0
|
||||||
|
83058 my_merge.merge_cell.merge_func_f[1].n4 : 0
|
||||||
|
83058 my_merge.merge_cell.merge_func_t[0].n4 : 0
|
||||||
|
83058 my_merge.in1.v : 0
|
||||||
|
83058 my_merge.merge_cell.merge_func_t[1].n4 : 0
|
||||||
|
83058 my_merge.merge_cell.merge_func_t[0].n2 : 0
|
||||||
|
83058 my_merge.merge_cell.merge_func_f[0].n4 : 0
|
||||||
|
83058 my_merge.merge_cell.merge_func_t[1].n2 : 0
|
||||||
|
83062 my_merge.merge_cell.validity_arb.arbiter._y2 : 1 [by my_merge.in2.v:=0]
|
||||||
|
83073 my_merge.merge_cell.vc2.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n4:=0]
|
||||||
|
83113 my_merge.merge_cell.vc1.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n2:=0]
|
||||||
|
92187 my_merge.merge_cell.validity_arb.arbiter._y1 : 1 [by my_merge.in1.v:=0]
|
||||||
|
96782 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||||
|
96962 my_merge.merge_cell.vc1.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=1]
|
||||||
|
111125 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||||
|
111547 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||||
|
112853 my_merge.merge_cell.vc2.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=1]
|
||||||
|
116999 my_merge.merge_cell.validity_arb._y1_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y1:=1]
|
||||||
|
119989 my_merge.merge_cell.vc2.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n4:=0]
|
||||||
|
126306 my_merge.merge_cell.vc1.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_t[0].n2:=0]
|
||||||
|
126307 my_merge.merge_cell.vc1.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=1]
|
||||||
|
126308 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0].y:=0]
|
||||||
|
127156 my_merge.merge_cell._en : 1 [by my_merge.out.a:=0]
|
||||||
|
134715 my_merge.merge_cell.validity_arb._y2_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||||
|
134997 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y2_arb:=0]
|
||||||
|
135765 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||||
|
135768 my_merge.merge_cell.validity_arb.ack_cell2._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||||
|
136319 my_merge.merge_cell._in2_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=1]
|
||||||
|
137390 my_merge.merge_cell.AND_arb2._y : 1 [by my_merge.merge_cell._in2_arb_temp:=0]
|
||||||
|
138344 my_merge.merge_cell._in2_arb : 0 [by my_merge.merge_cell.AND_arb2._y:=1]
|
||||||
|
139425 my_merge.merge_cell.arb2function2.buf1._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||||
|
147361 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||||
|
148343 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||||
|
158206 my_merge.merge_cell.validity_arb.ack_cell1._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||||
|
158224 my_merge.merge_cell._in1_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=1]
|
||||||
|
162237 my_merge.merge_cell.AND_arb1._y : 1 [by my_merge.merge_cell._in1_arb_temp:=0]
|
||||||
|
166240 my_merge.merge_cell._in1_arb : 0 [by my_merge.merge_cell.AND_arb1._y:=1]
|
||||||
|
168703 my_merge.merge_cell.vc2.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=1]
|
||||||
|
190287 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0].y:=0]
|
||||||
|
193895 my_merge.merge_cell._in2_arb_X[0] : 0 [by my_merge.merge_cell.arb2function2.buf1._y:=1]
|
||||||
|
211141 my_merge.merge_cell.arb2function1.buf1._y : 1 [by my_merge.merge_cell._in1_arb:=0]
|
||||||
|
215901 my_merge.merge_cell._in1_arb_X[0] : 0 [by my_merge.merge_cell.arb2function1.buf1._y:=1]
|
||||||
|
-------------------------------------------------
|
||||||
|
[0] System initialized
|
||||||
|
215901 Reset : 0
|
||||||
|
216403 my_merge._reset_B : 1 [by Reset:=0]
|
||||||
|
216606 my_merge.merge_cell.reset_buf._y : 0 [by my_merge._reset_B:=1]
|
||||||
|
218460 my_merge.merge_cell._reset_BX : 1 [by my_merge.merge_cell.reset_buf._y:=0]
|
||||||
|
218599 my_merge.merge_cell.reset_bufarray.buf1._y : 0 [by my_merge.merge_cell._reset_BX:=1]
|
||||||
|
254945 my_merge.merge_cell._reset_BXX[0] : 1 [by my_merge.merge_cell.reset_bufarray.buf1._y:=0]
|
||||||
|
-------------------------------------------------
|
||||||
|
[1] System reset completed
|
||||||
|
|
||||||
|
-------------------------------------------------
|
||||||
|
[2] Output neutral checked
|
||||||
|
254945 my_merge.merge_cell.merge_func_f[0].n2 : 1
|
||||||
|
254945 my_merge.merge_cell.merge_func_t[1].n2 : 1
|
||||||
|
254956 my_merge.merge_cell.vc1.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n2:=1]
|
||||||
|
255014 my_merge.merge_cell.vc1.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n2:=1]
|
||||||
|
255218 my_merge.merge_cell.vc1.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=0]
|
||||||
|
306742 my_merge.merge_cell.vc1.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=0]
|
||||||
|
306757 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1].y:=1]
|
||||||
|
306758 my_merge.in1.v : 1 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=0]
|
||||||
|
306795 my_merge.merge_cell.validity_arb.arbiter._y1 : 0 [by my_merge.in1.v:=1]
|
||||||
|
307534 my_merge.merge_cell.validity_arb._y1_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y1:=0]
|
||||||
|
307646 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y1_arb:=1]
|
||||||
|
355158 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||||
|
355198 my_merge.merge_cell.validity_arb.ack_cell1._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||||
|
355455 my_merge.merge_cell._in1_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=0]
|
||||||
|
355542 my_merge.merge_cell.AND_arb1._y : 0 [by my_merge.merge_cell._in1_arb_temp:=1]
|
||||||
|
355836 my_merge.merge_cell._in1_arb : 1 [by my_merge.merge_cell.AND_arb1._y:=0]
|
||||||
|
355837 my_merge.merge_cell.arb2function1.buf1._y : 0 [by my_merge.merge_cell._in1_arb:=1]
|
||||||
|
357643 my_merge.merge_cell._in1_arb_X[0] : 1 [by my_merge.merge_cell.arb2function1.buf1._y:=0]
|
||||||
|
358852 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||||
|
359442 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||||
|
359650 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||||
|
359828 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||||
|
359828 my_merge.out.v : 1
|
||||||
|
360631 my_merge.merge_cell.in1ack_ctl._y : 0 [by my_merge.out.v:=1]
|
||||||
|
360795 my_merge.in1.a : 1 [by my_merge.merge_cell.in1ack_ctl._y:=0]
|
||||||
|
360817 my_merge.merge_cell._en : 0 [by my_merge.in1.a:=1]
|
||||||
|
361664 my_merge.merge_cell.en_buffer.buf1._y : 1 [by my_merge.merge_cell._en:=0]
|
||||||
|
362990 my_merge.merge_cell._in1_a_B : 0 [by my_merge.in1.a:=1]
|
||||||
|
391792 my_merge.merge_cell._en_X[0] : 0 [by my_merge.merge_cell.en_buffer.buf1._y:=1]
|
||||||
|
391792 my_merge.merge_cell.merge_func_f[0].n2 : 0
|
||||||
|
391792 my_merge.merge_cell.merge_func_t[1].n2 : 0
|
||||||
|
391925 my_merge.merge_cell.vc1.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n2:=0]
|
||||||
|
392284 my_merge.merge_cell.vc1.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=1]
|
||||||
|
407454 my_merge.merge_cell.vc1.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n2:=0]
|
||||||
|
421570 my_merge.merge_cell.vc1.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=1]
|
||||||
|
421791 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1].y:=0]
|
||||||
|
421798 my_merge.in1.v : 0 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=1]
|
||||||
|
421828 my_merge.merge_cell.validity_arb.arbiter._y1 : 1 [by my_merge.in1.v:=0]
|
||||||
|
428541 my_merge.merge_cell.validity_arb._y1_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y1:=1]
|
||||||
|
486002 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y1_arb:=0]
|
||||||
|
486093 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||||
|
488282 my_merge.merge_cell.validity_arb.ack_cell1._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||||
|
488289 my_merge.merge_cell._in1_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=1]
|
||||||
|
491076 my_merge.merge_cell.AND_arb1._y : 1 [by my_merge.merge_cell._in1_arb_temp:=0]
|
||||||
|
491182 my_merge.merge_cell._in1_arb : 0 [by my_merge.merge_cell.AND_arb1._y:=1]
|
||||||
|
491260 my_merge.merge_cell.arb2function1.buf1._y : 1 [by my_merge.merge_cell._in1_arb:=0]
|
||||||
|
491535 my_merge.merge_cell._in1_arb_X[0] : 0 [by my_merge.merge_cell.arb2function1.buf1._y:=1]
|
||||||
|
491535 my_merge.out.a : 1
|
||||||
|
510531 my_merge.merge_cell._out_a_B : 0 [by my_merge.out.a:=1]
|
||||||
|
510986 my_merge.merge_cell.out_a_buffer.buf1._y : 1 [by my_merge.merge_cell._out_a_B:=0]
|
||||||
|
510998 my_merge.merge_cell._out_a_BX[0] : 0 [by my_merge.merge_cell.out_a_buffer.buf1._y:=1]
|
||||||
|
511010 my_merge.merge_cell.merge_func_f[0]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
511402 my_merge.merge_cell.merge_func_t[1]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
515678 my_merge.merge_cell.merge_func_t[1].y : 0 [by my_merge.merge_cell.merge_func_t[1]._y:=1]
|
||||||
|
516926 my_merge.merge_cell.merge_func_f[0].y : 0 [by my_merge.merge_cell.merge_func_f[0]._y:=1]
|
||||||
|
516926 my_merge.out.v : 0
|
||||||
|
516926 my_merge.out.a : 0
|
||||||
|
519825 my_merge.merge_cell.in1ack_ctl._y : 1 [by my_merge.out.v:=0]
|
||||||
|
519827 my_merge.in1.a : 0 [by my_merge.merge_cell.in1ack_ctl._y:=1]
|
||||||
|
521076 my_merge.merge_cell._en : 1 [by my_merge.in1.a:=0]
|
||||||
|
521221 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||||
|
521387 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||||
|
521462 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||||
|
524362 my_merge.merge_cell._in1_a_B : 1 [by my_merge.in1.a:=0]
|
||||||
|
524575 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||||
|
524920 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||||
|
-------------------------------------------------
|
||||||
|
[3] In1 channel checked
|
||||||
|
524920 my_merge.merge_cell.merge_func_f[0].n4 : 1
|
||||||
|
524920 my_merge.merge_cell.merge_func_t[1].n4 : 1
|
||||||
|
525058 my_merge.merge_cell.vc2.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n4:=1]
|
||||||
|
525060 my_merge.merge_cell.vc2.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=0]
|
||||||
|
530183 my_merge.merge_cell.vc2.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n4:=1]
|
||||||
|
574100 my_merge.merge_cell.vc2.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=0]
|
||||||
|
574101 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1].y:=1]
|
||||||
|
574649 my_merge.in2.v : 1 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=0]
|
||||||
|
574660 my_merge.merge_cell.validity_arb.arbiter._y2 : 0 [by my_merge.in2.v:=1]
|
||||||
|
575030 my_merge.merge_cell.validity_arb._y2_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y2:=0]
|
||||||
|
575097 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y2_arb:=1]
|
||||||
|
577738 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||||
|
577754 my_merge.merge_cell.validity_arb.ack_cell2._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||||
|
582316 my_merge.merge_cell._in2_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=0]
|
||||||
|
582844 my_merge.merge_cell.AND_arb2._y : 0 [by my_merge.merge_cell._in2_arb_temp:=1]
|
||||||
|
585279 my_merge.merge_cell._in2_arb : 1 [by my_merge.merge_cell.AND_arb2._y:=0]
|
||||||
|
612159 my_merge.merge_cell.arb2function2.buf1._y : 0 [by my_merge.merge_cell._in2_arb:=1]
|
||||||
|
636084 my_merge.merge_cell._in2_arb_X[0] : 1 [by my_merge.merge_cell.arb2function2.buf1._y:=0]
|
||||||
|
636086 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||||
|
649125 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||||
|
649128 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||||
|
697044 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||||
|
697044 my_merge.out.v : 1
|
||||||
|
697073 my_merge.merge_cell.in2ack_ctl._y : 0 [by my_merge.out.v:=1]
|
||||||
|
697390 my_merge.in2.a : 1 [by my_merge.merge_cell.in2ack_ctl._y:=0]
|
||||||
|
697543 my_merge.merge_cell._in2_a_B : 0 [by my_merge.in2.a:=1]
|
||||||
|
698991 my_merge.merge_cell._en : 0 [by my_merge.in2.a:=1]
|
||||||
|
699035 my_merge.merge_cell.en_buffer.buf1._y : 1 [by my_merge.merge_cell._en:=0]
|
||||||
|
701796 my_merge.merge_cell._en_X[0] : 0 [by my_merge.merge_cell.en_buffer.buf1._y:=1]
|
||||||
|
701796 my_merge.merge_cell.merge_func_f[0].n4 : 0
|
||||||
|
701796 my_merge.merge_cell.merge_func_t[1].n4 : 0
|
||||||
|
701797 my_merge.merge_cell.vc2.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n4:=0]
|
||||||
|
702014 my_merge.merge_cell.vc2.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=1]
|
||||||
|
715479 my_merge.merge_cell.vc2.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n4:=0]
|
||||||
|
715501 my_merge.merge_cell.vc2.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=1]
|
||||||
|
715502 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0].y:=0]
|
||||||
|
717083 my_merge.in2.v : 0 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=1]
|
||||||
|
726428 my_merge.merge_cell.validity_arb.arbiter._y2 : 1 [by my_merge.in2.v:=0]
|
||||||
|
726587 my_merge.merge_cell.validity_arb._y2_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||||
|
746263 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y2_arb:=0]
|
||||||
|
747550 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||||
|
749782 my_merge.merge_cell.validity_arb.ack_cell2._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||||
|
749927 my_merge.merge_cell._in2_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=1]
|
||||||
|
752759 my_merge.merge_cell.AND_arb2._y : 1 [by my_merge.merge_cell._in2_arb_temp:=0]
|
||||||
|
759113 my_merge.merge_cell._in2_arb : 0 [by my_merge.merge_cell.AND_arb2._y:=1]
|
||||||
|
759114 my_merge.merge_cell.arb2function2.buf1._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||||
|
798398 my_merge.merge_cell._in2_arb_X[0] : 0 [by my_merge.merge_cell.arb2function2.buf1._y:=1]
|
||||||
|
798398 my_merge.out.a : 1
|
||||||
|
798560 my_merge.merge_cell._out_a_B : 0 [by my_merge.out.a:=1]
|
||||||
|
805929 my_merge.merge_cell.out_a_buffer.buf1._y : 1 [by my_merge.merge_cell._out_a_B:=0]
|
||||||
|
805943 my_merge.merge_cell._out_a_BX[0] : 0 [by my_merge.merge_cell.out_a_buffer.buf1._y:=1]
|
||||||
|
805950 my_merge.merge_cell.merge_func_t[1]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
806103 my_merge.merge_cell.merge_func_f[0]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
806104 my_merge.merge_cell.merge_func_f[0].y : 0 [by my_merge.merge_cell.merge_func_f[0]._y:=1]
|
||||||
|
827507 my_merge.merge_cell.merge_func_t[1].y : 0 [by my_merge.merge_cell.merge_func_t[1]._y:=1]
|
||||||
|
827507 my_merge.out.a : 0
|
||||||
|
827507 my_merge.out.v : 0
|
||||||
|
827508 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||||
|
827508 my_merge.merge_cell.in2ack_ctl._y : 1 [by my_merge.out.v:=0]
|
||||||
|
827695 my_merge.in2.a : 0 [by my_merge.merge_cell.in2ack_ctl._y:=1]
|
||||||
|
827696 my_merge.merge_cell._en : 1 [by my_merge.in2.a:=0]
|
||||||
|
829751 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||||
|
829752 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||||
|
831877 my_merge.merge_cell._in2_a_B : 1 [by my_merge.in2.a:=0]
|
||||||
|
862478 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||||
|
863331 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||||
|
-------------------------------------------------
|
||||||
|
[4] In2 valid checked
|
||||||
|
863331 my_merge.merge_cell.merge_func_f[0].n4 : 1
|
||||||
|
863331 my_merge.merge_cell.merge_func_t[1].n2 : 1
|
||||||
|
863331 my_merge.merge_cell.merge_func_f[0].n2 : 1
|
||||||
|
863331 my_merge.merge_cell.merge_func_t[1].n4 : 1
|
||||||
|
863332 my_merge.merge_cell.vc1.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n2:=1]
|
||||||
|
863336 my_merge.merge_cell.vc2.OR2_tf[0]._y : 0 [by my_merge.merge_cell.merge_func_f[0].n4:=1]
|
||||||
|
863348 my_merge.merge_cell.vc2.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n4:=1]
|
||||||
|
863351 my_merge.merge_cell.vc2.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=0]
|
||||||
|
864222 my_merge.merge_cell.vc1.OR2_tf[1]._y : 0 [by my_merge.merge_cell.merge_func_t[1].n2:=1]
|
||||||
|
865163 my_merge.merge_cell.vc1.OR2_tf[1].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[1]._y:=0]
|
||||||
|
865905 my_merge.merge_cell.vc1.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc1.OR2_tf[0]._y:=0]
|
||||||
|
871697 my_merge.merge_cell.vc2.OR2_tf[0].y : 1 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=0]
|
||||||
|
871698 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0].y:=1]
|
||||||
|
871740 my_merge.in2.v : 1 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=0]
|
||||||
|
874557 my_merge.merge_cell.validity_arb.arbiter._y2 : 0 [by my_merge.in2.v:=1]
|
||||||
|
888290 my_merge.merge_cell.validity_arb._y2_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y2:=0]
|
||||||
|
888385 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y2_arb:=1]
|
||||||
|
888720 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||||
|
888728 my_merge.merge_cell.validity_arb.ack_cell2._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||||
|
888762 my_merge.merge_cell._in2_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=0]
|
||||||
|
902649 my_merge.merge_cell.AND_arb2._y : 0 [by my_merge.merge_cell._in2_arb_temp:=1]
|
||||||
|
903567 my_merge.merge_cell._in2_arb : 1 [by my_merge.merge_cell.AND_arb2._y:=0]
|
||||||
|
903571 my_merge.merge_cell.arb2function2.buf1._y : 0 [by my_merge.merge_cell._in2_arb:=1]
|
||||||
|
924867 my_merge.merge_cell.vc1.myctree.C2Els[0]._y : 0 [by my_merge.merge_cell.vc1.OR2_tf[0].y:=1]
|
||||||
|
927265 my_merge.in1.v : 1 [by my_merge.merge_cell.vc1.myctree.C2Els[0]._y:=0]
|
||||||
|
949949 my_merge.merge_cell._in2_arb_X[0] : 1 [by my_merge.merge_cell.arb2function2.buf1._y:=0]
|
||||||
|
953164 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||||
|
953212 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||||
|
997068 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in2_arb_X[0]:=1]
|
||||||
|
997071 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||||
|
997071 my_merge.out.v : 1
|
||||||
|
997249 my_merge.merge_cell.in2ack_ctl._y : 0 [by my_merge.out.v:=1]
|
||||||
|
1018226 my_merge.in2.a : 1 [by my_merge.merge_cell.in2ack_ctl._y:=0]
|
||||||
|
1024177 my_merge.merge_cell._in2_a_B : 0 [by my_merge.in2.a:=1]
|
||||||
|
1030125 my_merge.merge_cell._en : 0 [by my_merge.in2.a:=1]
|
||||||
|
1069610 my_merge.merge_cell.en_buffer.buf1._y : 1 [by my_merge.merge_cell._en:=0]
|
||||||
|
1070437 my_merge.merge_cell._en_X[0] : 0 [by my_merge.merge_cell.en_buffer.buf1._y:=1]
|
||||||
|
1070437 my_merge.out.a : 1
|
||||||
|
1070610 my_merge.merge_cell._out_a_B : 0 [by my_merge.out.a:=1]
|
||||||
|
1070794 my_merge.merge_cell.out_a_buffer.buf1._y : 1 [by my_merge.merge_cell._out_a_B:=0]
|
||||||
|
1070795 my_merge.merge_cell._out_a_BX[0] : 0 [by my_merge.merge_cell.out_a_buffer.buf1._y:=1]
|
||||||
|
1070799 my_merge.merge_cell.merge_func_f[0]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
1070868 my_merge.merge_cell.merge_func_t[1]._y : 1 [by my_merge.merge_cell._out_a_BX[0]:=0]
|
||||||
|
1070964 my_merge.merge_cell.merge_func_t[1].y : 0 [by my_merge.merge_cell.merge_func_t[1]._y:=1]
|
||||||
|
1108087 my_merge.merge_cell.merge_func_f[0].y : 0 [by my_merge.merge_cell.merge_func_f[0]._y:=1]
|
||||||
|
1108087 my_merge.out.a : 0
|
||||||
|
1108087 my_merge.out.v : 0
|
||||||
|
1108223 my_merge.merge_cell._out_a_B : 1 [by my_merge.out.a:=0]
|
||||||
|
1108224 my_merge.merge_cell.out_a_buffer.buf1._y : 0 [by my_merge.merge_cell._out_a_B:=1]
|
||||||
|
1127270 my_merge.merge_cell._out_a_BX[0] : 1 [by my_merge.merge_cell.out_a_buffer.buf1._y:=0]
|
||||||
|
1127270 my_merge.merge_cell.merge_func_f[0].n4 : 0
|
||||||
|
1127270 my_merge.merge_cell.merge_func_t[1].n4 : 0
|
||||||
|
1127511 my_merge.merge_cell.vc2.OR2_tf[0]._y : 1 [by my_merge.merge_cell.merge_func_f[0].n4:=0]
|
||||||
|
1127523 my_merge.merge_cell.vc2.OR2_tf[0].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[0]._y:=1]
|
||||||
|
1131229 my_merge.merge_cell.vc2.OR2_tf[1]._y : 1 [by my_merge.merge_cell.merge_func_t[1].n4:=0]
|
||||||
|
1135129 my_merge.merge_cell.vc2.OR2_tf[1].y : 0 [by my_merge.merge_cell.vc2.OR2_tf[1]._y:=1]
|
||||||
|
1136158 my_merge.merge_cell.vc2.myctree.C2Els[0]._y : 1 [by my_merge.merge_cell.vc2.OR2_tf[1].y:=0]
|
||||||
|
1136159 my_merge.in2.v : 0 [by my_merge.merge_cell.vc2.myctree.C2Els[0]._y:=1]
|
||||||
|
1136215 my_merge.merge_cell.validity_arb.arbiter._y2 : 1 [by my_merge.in2.v:=0]
|
||||||
|
1136216 my_merge.merge_cell.validity_arb._y2_arb : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||||
|
1136253 my_merge.merge_cell.validity_arb.or_cell._y : 1 [by my_merge.merge_cell.validity_arb._y2_arb:=0]
|
||||||
|
1159628 my_merge.merge_cell._out_temp.a : 0 [by my_merge.merge_cell.validity_arb.or_cell._y:=1]
|
||||||
|
1159629 my_merge.merge_cell.validity_arb.ack_cell2._y : 1 [by my_merge.merge_cell._out_temp.a:=0]
|
||||||
|
1163193 my_merge.merge_cell._in2_arb_temp : 0 [by my_merge.merge_cell.validity_arb.ack_cell2._y:=1]
|
||||||
|
1164885 my_merge.merge_cell.AND_arb2._y : 1 [by my_merge.merge_cell._in2_arb_temp:=0]
|
||||||
|
1164898 my_merge.merge_cell._in2_arb : 0 [by my_merge.merge_cell.AND_arb2._y:=1]
|
||||||
|
1165255 my_merge.merge_cell.in2ack_ctl._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||||
|
1165280 my_merge.in2.a : 0 [by my_merge.merge_cell.in2ack_ctl._y:=1]
|
||||||
|
1165281 my_merge.merge_cell._in2_a_B : 1 [by my_merge.in2.a:=0]
|
||||||
|
1165301 my_merge.merge_cell._en : 1 [by my_merge.in2.a:=0]
|
||||||
|
1174949 my_merge.merge_cell.en_buffer.buf1._y : 0 [by my_merge.merge_cell._en:=1]
|
||||||
|
1174950 my_merge.merge_cell._en_X[0] : 1 [by my_merge.merge_cell.en_buffer.buf1._y:=0]
|
||||||
|
1181221 my_merge.merge_cell.validity_arb.arbiter._y1 : 0 [by my_merge.merge_cell.validity_arb.arbiter._y2:=1]
|
||||||
|
1181222 my_merge.merge_cell.validity_arb._y1_arb : 1 [by my_merge.merge_cell.validity_arb.arbiter._y1:=0]
|
||||||
|
1181383 my_merge.merge_cell.validity_arb.or_cell._y : 0 [by my_merge.merge_cell.validity_arb._y1_arb:=1]
|
||||||
|
1181882 my_merge.merge_cell.arb2function2.buf1._y : 1 [by my_merge.merge_cell._in2_arb:=0]
|
||||||
|
1181887 my_merge.merge_cell._in2_arb_X[0] : 0 [by my_merge.merge_cell.arb2function2.buf1._y:=1]
|
||||||
|
1182420 my_merge.merge_cell._out_temp.a : 1 [by my_merge.merge_cell.validity_arb.or_cell._y:=0]
|
||||||
|
1183001 my_merge.merge_cell.validity_arb.ack_cell1._y : 0 [by my_merge.merge_cell._out_temp.a:=1]
|
||||||
|
1183409 my_merge.merge_cell._in1_arb_temp : 1 [by my_merge.merge_cell.validity_arb.ack_cell1._y:=0]
|
||||||
|
1183420 my_merge.merge_cell.AND_arb1._y : 0 [by my_merge.merge_cell._in1_arb_temp:=1]
|
||||||
|
1184467 my_merge.merge_cell._in1_arb : 1 [by my_merge.merge_cell.AND_arb1._y:=0]
|
||||||
|
1184481 my_merge.merge_cell.arb2function1.buf1._y : 0 [by my_merge.merge_cell._in1_arb:=1]
|
||||||
|
1184499 my_merge.merge_cell._in1_arb_X[0] : 1 [by my_merge.merge_cell.arb2function1.buf1._y:=0]
|
||||||
|
1184503 my_merge.merge_cell.merge_func_f[0]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||||
|
1184603 my_merge.merge_cell.merge_func_t[1]._y : 0 [by my_merge.merge_cell._in1_arb_X[0]:=1]
|
||||||
|
1185807 my_merge.merge_cell.merge_func_t[1].y : 1 [by my_merge.merge_cell.merge_func_t[1]._y:=0]
|
||||||
|
1215947 my_merge.merge_cell.merge_func_f[0].y : 1 [by my_merge.merge_cell.merge_func_f[0]._y:=0]
|
||||||
|
-------------------------------------------------
|
||||||
|
Finished
|
|
@ -0,0 +1,556 @@
|
||||||
|
= "GND" "GND"
|
||||||
|
= "Vdd" "Vdd"
|
||||||
|
= "Reset" "Reset"
|
||||||
|
"Reset"->"my_merge._reset_B"-
|
||||||
|
~("Reset")->"my_merge._reset_B"+
|
||||||
|
= "my_merge._reset_B" "my_merge.merge_cell.reset_B"
|
||||||
|
= "my_merge.in1.d.d[0].d[0]" "my_merge.in1.d.d[0].f"
|
||||||
|
= "my_merge.in1.d.d[0].d[1]" "my_merge.in1.d.d[0].t"
|
||||||
|
= "my_merge.in1.d.d[1].d[0]" "my_merge.in1.d.d[1].f"
|
||||||
|
= "my_merge.in1.d.d[1].d[1]" "my_merge.in1.d.d[1].t"
|
||||||
|
= "my_merge.in1.d.d[1].d[0]" "my_merge.in1.d.d[1].f"
|
||||||
|
= "my_merge.in1.d.d[1].d[1]" "my_merge.in1.d.d[1].t"
|
||||||
|
= "my_merge.in1.d.d[0].d[0]" "my_merge.in1.d.d[0].f"
|
||||||
|
= "my_merge.in1.d.d[0].d[1]" "my_merge.in1.d.d[0].t"
|
||||||
|
= "my_merge.in1.d.d[1].d[0]" "my_merge.in1.d.d[1].f"
|
||||||
|
= "my_merge.in1.d.d[1].d[1]" "my_merge.in1.d.d[1].t"
|
||||||
|
= "my_merge.in1.d.d[0].d[0]" "my_merge.in1.d.d[0].f"
|
||||||
|
= "my_merge.in1.d.d[0].d[1]" "my_merge.in1.d.d[0].t"
|
||||||
|
= "my_merge.in1.v" "my_merge.merge_cell.in1.v"
|
||||||
|
= "my_merge.in1.a" "my_merge.merge_cell.in1.a"
|
||||||
|
= "my_merge.in1.d.d[0].f" "my_merge.merge_cell.in1.d.d[0].f"
|
||||||
|
= "my_merge.in1.d.d[0].t" "my_merge.merge_cell.in1.d.d[0].t"
|
||||||
|
= "my_merge.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].d[0]"
|
||||||
|
= "my_merge.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].d[1]"
|
||||||
|
= "my_merge.in1.d.d[1].f" "my_merge.merge_cell.in1.d.d[1].f"
|
||||||
|
= "my_merge.in1.d.d[1].t" "my_merge.merge_cell.in1.d.d[1].t"
|
||||||
|
= "my_merge.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].d[0]"
|
||||||
|
= "my_merge.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].d[1]"
|
||||||
|
= "my_merge.in1.d.d[1].d[0]" "my_merge.in1.d.d[1].f"
|
||||||
|
= "my_merge.in1.d.d[1].d[1]" "my_merge.in1.d.d[1].t"
|
||||||
|
= "my_merge.in1.d.d[0].d[0]" "my_merge.in1.d.d[0].f"
|
||||||
|
= "my_merge.in1.d.d[0].d[1]" "my_merge.in1.d.d[0].t"
|
||||||
|
~"my_merge.merge_cell.merge_func_f[0].c1"&~"my_merge.merge_cell.merge_func_f[0].c2"|~"my_merge.merge_cell.merge_func_f[0].pr_B"->"my_merge.merge_cell.merge_func_f[0]._y"+
|
||||||
|
"my_merge.merge_cell.merge_func_f[0].c1"&"my_merge.merge_cell.merge_func_f[0].c2"&("my_merge.merge_cell.merge_func_f[0].n1"&"my_merge.merge_cell.merge_func_f[0].n2"|"my_merge.merge_cell.merge_func_f[0].n3"&"my_merge.merge_cell.merge_func_f[0].n4")&"my_merge.merge_cell.merge_func_f[0].sr_B"->"my_merge.merge_cell.merge_func_f[0]._y"-
|
||||||
|
"my_merge.merge_cell.merge_func_f[0]._y"->"my_merge.merge_cell.merge_func_f[0].y"-
|
||||||
|
~("my_merge.merge_cell.merge_func_f[0]._y")->"my_merge.merge_cell.merge_func_f[0].y"+
|
||||||
|
~"my_merge.merge_cell.merge_func_f[1].c1"&~"my_merge.merge_cell.merge_func_f[1].c2"|~"my_merge.merge_cell.merge_func_f[1].pr_B"->"my_merge.merge_cell.merge_func_f[1]._y"+
|
||||||
|
"my_merge.merge_cell.merge_func_f[1].c1"&"my_merge.merge_cell.merge_func_f[1].c2"&("my_merge.merge_cell.merge_func_f[1].n1"&"my_merge.merge_cell.merge_func_f[1].n2"|"my_merge.merge_cell.merge_func_f[1].n3"&"my_merge.merge_cell.merge_func_f[1].n4")&"my_merge.merge_cell.merge_func_f[1].sr_B"->"my_merge.merge_cell.merge_func_f[1]._y"-
|
||||||
|
"my_merge.merge_cell.merge_func_f[1]._y"->"my_merge.merge_cell.merge_func_f[1].y"-
|
||||||
|
~("my_merge.merge_cell.merge_func_f[1]._y")->"my_merge.merge_cell.merge_func_f[1].y"+
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].f" "my_merge.merge_cell.vc1.in.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].t" "my_merge.merge_cell.vc1.in.d[0].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.vc1.in.d[0].d[0]"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.vc1.in.d[0].d[1]"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].f" "my_merge.merge_cell.vc1.in.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].t" "my_merge.merge_cell.vc1.in.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.vc1.in.d[1].d[0]"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.vc1.in.d[1].d[1]"
|
||||||
|
= "my_merge.merge_cell.in1.a" "my_merge.merge_cell.in1ack_ctl_inv.a"
|
||||||
|
= "my_merge.merge_cell.in1.a" "my_merge.merge_cell.en_ctl.n1"
|
||||||
|
= "my_merge.merge_cell.in1.a" "my_merge.merge_cell.en_ctl.p1"
|
||||||
|
= "my_merge.merge_cell.in1.a" "my_merge.merge_cell.in1ack_ctl.y"
|
||||||
|
= "my_merge.merge_cell.in1.v" "my_merge.merge_cell._in1_temp.r"
|
||||||
|
= "my_merge.merge_cell.in1.v" "my_merge.merge_cell._in1_temp.d.d[0]"
|
||||||
|
= "my_merge.merge_cell.in1.v" "my_merge.merge_cell.vc1.out"
|
||||||
|
= "my_merge.merge_cell.in1.v" "my_merge.merge_cell.in1ack_ctl.c3"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.merge_func_f[1].n2"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[0]" "my_merge.merge_cell.in1.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.merge_func_t[1].n2"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[1].d[1]" "my_merge.merge_cell.in1.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.merge_func_f[0].n2"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[0]" "my_merge.merge_cell.in1.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.merge_func_t[0].n2"
|
||||||
|
= "my_merge.merge_cell.in1.d.d[0].d[1]" "my_merge.merge_cell.in1.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.arb2function1.out[0]"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[1]" "my_merge.merge_cell.arb2function1.out[1]"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[2]" "my_merge.merge_cell.arb2function1.out[2]"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[3]" "my_merge.merge_cell.arb2function1.out[3]"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.merge_func_f[1].n1"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.merge_func_t[1].n1"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.merge_func_f[0].n1"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell.merge_func_t[0].n1"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell._in1_arb_X[3]"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell._in1_arb_X[2]"
|
||||||
|
= "my_merge.merge_cell._in1_arb_X[0]" "my_merge.merge_cell._in1_arb_X[1]"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.arb2function2.out[0]"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[1]" "my_merge.merge_cell.arb2function2.out[1]"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[2]" "my_merge.merge_cell.arb2function2.out[2]"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[3]" "my_merge.merge_cell.arb2function2.out[3]"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.merge_func_f[1].n3"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.merge_func_t[1].n3"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.merge_func_f[0].n3"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell.merge_func_t[0].n3"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell._in2_arb_X[3]"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell._in2_arb_X[2]"
|
||||||
|
= "my_merge.merge_cell._in2_arb_X[0]" "my_merge.merge_cell._in2_arb_X[1]"
|
||||||
|
"my_merge.merge_cell.reset_bufarray.buf1.a"->"my_merge.merge_cell.reset_bufarray.buf1._y"-
|
||||||
|
~("my_merge.merge_cell.reset_bufarray.buf1.a")->"my_merge.merge_cell.reset_bufarray.buf1._y"+
|
||||||
|
"my_merge.merge_cell.reset_bufarray.buf1._y"->"my_merge.merge_cell.reset_bufarray.buf1.y"-
|
||||||
|
~("my_merge.merge_cell.reset_bufarray.buf1._y")->"my_merge.merge_cell.reset_bufarray.buf1.y"+
|
||||||
|
= "my_merge.merge_cell.reset_bufarray.supply.vdd" "my_merge.merge_cell.reset_bufarray.buf1.vdd"
|
||||||
|
= "my_merge.merge_cell.reset_bufarray.supply.vss" "my_merge.merge_cell.reset_bufarray.buf1.vss"
|
||||||
|
= "my_merge.merge_cell.reset_bufarray.out[0]" "my_merge.merge_cell.reset_bufarray.out[3]"
|
||||||
|
= "my_merge.merge_cell.reset_bufarray.out[0]" "my_merge.merge_cell.reset_bufarray.out[2]"
|
||||||
|
= "my_merge.merge_cell.reset_bufarray.out[0]" "my_merge.merge_cell.reset_bufarray.out[1]"
|
||||||
|
= "my_merge.merge_cell.reset_bufarray.out[0]" "my_merge.merge_cell.reset_bufarray.buf1.y"
|
||||||
|
= "my_merge.merge_cell.reset_bufarray.in" "my_merge.merge_cell.reset_bufarray.buf1.a"
|
||||||
|
= "my_merge.merge_cell._out_temp.d.d[0]" "my_merge.merge_cell._out_temp.r"
|
||||||
|
= "my_merge.merge_cell._out_temp.r" "my_merge.merge_cell.validity_arb.out.r"
|
||||||
|
= "my_merge.merge_cell._out_temp.a" "my_merge.merge_cell.validity_arb.out.a"
|
||||||
|
= "my_merge.merge_cell._out_temp.d.d[0]" "my_merge.merge_cell.validity_arb.out.d.d[0]"
|
||||||
|
= "my_merge.merge_cell._out_temp.d.d[0]" "my_merge.merge_cell._out_temp.a"
|
||||||
|
= "my_merge.merge_cell._out_temp.d.d[0]" "my_merge.merge_cell._out_temp.r"
|
||||||
|
"my_merge.merge_cell.arb2function2.buf1.a"->"my_merge.merge_cell.arb2function2.buf1._y"-
|
||||||
|
~("my_merge.merge_cell.arb2function2.buf1.a")->"my_merge.merge_cell.arb2function2.buf1._y"+
|
||||||
|
"my_merge.merge_cell.arb2function2.buf1._y"->"my_merge.merge_cell.arb2function2.buf1.y"-
|
||||||
|
~("my_merge.merge_cell.arb2function2.buf1._y")->"my_merge.merge_cell.arb2function2.buf1.y"+
|
||||||
|
= "my_merge.merge_cell.arb2function2.supply.vdd" "my_merge.merge_cell.arb2function2.buf1.vdd"
|
||||||
|
= "my_merge.merge_cell.arb2function2.supply.vss" "my_merge.merge_cell.arb2function2.buf1.vss"
|
||||||
|
= "my_merge.merge_cell.arb2function2.out[0]" "my_merge.merge_cell.arb2function2.out[3]"
|
||||||
|
= "my_merge.merge_cell.arb2function2.out[0]" "my_merge.merge_cell.arb2function2.out[2]"
|
||||||
|
= "my_merge.merge_cell.arb2function2.out[0]" "my_merge.merge_cell.arb2function2.out[1]"
|
||||||
|
= "my_merge.merge_cell.arb2function2.out[0]" "my_merge.merge_cell.arb2function2.buf1.y"
|
||||||
|
= "my_merge.merge_cell.arb2function2.in" "my_merge.merge_cell.arb2function2.buf1.a"
|
||||||
|
"my_merge.merge_cell.AND_arb2.a"&"my_merge.merge_cell.AND_arb2.b"->"my_merge.merge_cell.AND_arb2._y"-
|
||||||
|
~("my_merge.merge_cell.AND_arb2.a"&"my_merge.merge_cell.AND_arb2.b")->"my_merge.merge_cell.AND_arb2._y"+
|
||||||
|
"my_merge.merge_cell.AND_arb2._y"->"my_merge.merge_cell.AND_arb2.y"-
|
||||||
|
~("my_merge.merge_cell.AND_arb2._y")->"my_merge.merge_cell.AND_arb2.y"+
|
||||||
|
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.en_buffer.out[0]"
|
||||||
|
= "my_merge.merge_cell._en_X[1]" "my_merge.merge_cell.en_buffer.out[1]"
|
||||||
|
= "my_merge.merge_cell._en_X[2]" "my_merge.merge_cell.en_buffer.out[2]"
|
||||||
|
= "my_merge.merge_cell._en_X[3]" "my_merge.merge_cell.en_buffer.out[3]"
|
||||||
|
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.merge_func_f[1].c1"
|
||||||
|
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.merge_func_t[1].c1"
|
||||||
|
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.merge_func_f[0].c1"
|
||||||
|
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell.merge_func_t[0].c1"
|
||||||
|
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell._en_X[3]"
|
||||||
|
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell._en_X[2]"
|
||||||
|
= "my_merge.merge_cell._en_X[0]" "my_merge.merge_cell._en_X[1]"
|
||||||
|
"my_merge.merge_cell.arb2function1.buf1.a"->"my_merge.merge_cell.arb2function1.buf1._y"-
|
||||||
|
~("my_merge.merge_cell.arb2function1.buf1.a")->"my_merge.merge_cell.arb2function1.buf1._y"+
|
||||||
|
"my_merge.merge_cell.arb2function1.buf1._y"->"my_merge.merge_cell.arb2function1.buf1.y"-
|
||||||
|
~("my_merge.merge_cell.arb2function1.buf1._y")->"my_merge.merge_cell.arb2function1.buf1.y"+
|
||||||
|
= "my_merge.merge_cell.arb2function1.supply.vdd" "my_merge.merge_cell.arb2function1.buf1.vdd"
|
||||||
|
= "my_merge.merge_cell.arb2function1.supply.vss" "my_merge.merge_cell.arb2function1.buf1.vss"
|
||||||
|
= "my_merge.merge_cell.arb2function1.out[0]" "my_merge.merge_cell.arb2function1.out[3]"
|
||||||
|
= "my_merge.merge_cell.arb2function1.out[0]" "my_merge.merge_cell.arb2function1.out[2]"
|
||||||
|
= "my_merge.merge_cell.arb2function1.out[0]" "my_merge.merge_cell.arb2function1.out[1]"
|
||||||
|
= "my_merge.merge_cell.arb2function1.out[0]" "my_merge.merge_cell.arb2function1.buf1.y"
|
||||||
|
= "my_merge.merge_cell.arb2function1.in" "my_merge.merge_cell.arb2function1.buf1.a"
|
||||||
|
"my_merge.merge_cell.AND_arb1.a"&"my_merge.merge_cell.AND_arb1.b"->"my_merge.merge_cell.AND_arb1._y"-
|
||||||
|
~("my_merge.merge_cell.AND_arb1.a"&"my_merge.merge_cell.AND_arb1.b")->"my_merge.merge_cell.AND_arb1._y"+
|
||||||
|
"my_merge.merge_cell.AND_arb1._y"->"my_merge.merge_cell.AND_arb1.y"-
|
||||||
|
~("my_merge.merge_cell.AND_arb1._y")->"my_merge.merge_cell.AND_arb1.y"+
|
||||||
|
= "my_merge.merge_cell._en" "my_merge.merge_cell.en_buffer.in"
|
||||||
|
= "my_merge.merge_cell._en" "my_merge.merge_cell.en_ctl.y"
|
||||||
|
= "my_merge.merge_cell._en" "my_merge.merge_cell.in2ack_ctl.c2"
|
||||||
|
= "my_merge.merge_cell._en" "my_merge.merge_cell.in1ack_ctl.c2"
|
||||||
|
"my_merge.merge_cell.en_buffer.buf1.a"->"my_merge.merge_cell.en_buffer.buf1._y"-
|
||||||
|
~("my_merge.merge_cell.en_buffer.buf1.a")->"my_merge.merge_cell.en_buffer.buf1._y"+
|
||||||
|
"my_merge.merge_cell.en_buffer.buf1._y"->"my_merge.merge_cell.en_buffer.buf1.y"-
|
||||||
|
~("my_merge.merge_cell.en_buffer.buf1._y")->"my_merge.merge_cell.en_buffer.buf1.y"+
|
||||||
|
= "my_merge.merge_cell.en_buffer.supply.vdd" "my_merge.merge_cell.en_buffer.buf1.vdd"
|
||||||
|
= "my_merge.merge_cell.en_buffer.supply.vss" "my_merge.merge_cell.en_buffer.buf1.vss"
|
||||||
|
= "my_merge.merge_cell.en_buffer.out[0]" "my_merge.merge_cell.en_buffer.out[3]"
|
||||||
|
= "my_merge.merge_cell.en_buffer.out[0]" "my_merge.merge_cell.en_buffer.out[2]"
|
||||||
|
= "my_merge.merge_cell.en_buffer.out[0]" "my_merge.merge_cell.en_buffer.out[1]"
|
||||||
|
= "my_merge.merge_cell.en_buffer.out[0]" "my_merge.merge_cell.en_buffer.buf1.y"
|
||||||
|
= "my_merge.merge_cell.en_buffer.in" "my_merge.merge_cell.en_buffer.buf1.a"
|
||||||
|
"my_merge.merge_cell.reset_buf.a"->"my_merge.merge_cell.reset_buf._y"-
|
||||||
|
~("my_merge.merge_cell.reset_buf.a")->"my_merge.merge_cell.reset_buf._y"+
|
||||||
|
"my_merge.merge_cell.reset_buf._y"->"my_merge.merge_cell.reset_buf.y"-
|
||||||
|
~("my_merge.merge_cell.reset_buf._y")->"my_merge.merge_cell.reset_buf.y"+
|
||||||
|
= "my_merge.merge_cell._in1_temp.d.d[0]" "my_merge.merge_cell._in1_temp.r"
|
||||||
|
= "my_merge.merge_cell._in1_temp.r" "my_merge.merge_cell.validity_arb.in1.r"
|
||||||
|
= "my_merge.merge_cell._in1_temp.a" "my_merge.merge_cell.validity_arb.in1.a"
|
||||||
|
= "my_merge.merge_cell._in1_temp.d.d[0]" "my_merge.merge_cell.validity_arb.in1.d.d[0]"
|
||||||
|
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.reset_bufarray.in"
|
||||||
|
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.reset_buf.y"
|
||||||
|
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.in2ack_ctl.sr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.in2ack_ctl.pr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.in1ack_ctl.sr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BX" "my_merge.merge_cell.in1ack_ctl.pr_B"
|
||||||
|
= "my_merge.merge_cell._in2_a_B" "my_merge.merge_cell.AND_arb1.a"
|
||||||
|
= "my_merge.merge_cell._in2_a_B" "my_merge.merge_cell.in2ack_ctl_inv.y"
|
||||||
|
= "my_merge.merge_cell.reset_B" "my_merge.merge_cell.reset_buf.a"
|
||||||
|
~"my_merge.merge_cell.vc1.myctree.C2Els[0].c1"&~"my_merge.merge_cell.vc1.myctree.C2Els[0].c2"->"my_merge.merge_cell.vc1.myctree.C2Els[0]._y"+
|
||||||
|
"my_merge.merge_cell.vc1.myctree.C2Els[0].c1"&"my_merge.merge_cell.vc1.myctree.C2Els[0].c2"->"my_merge.merge_cell.vc1.myctree.C2Els[0]._y"-
|
||||||
|
"my_merge.merge_cell.vc1.myctree.C2Els[0]._y"->"my_merge.merge_cell.vc1.myctree.C2Els[0].y"-
|
||||||
|
~("my_merge.merge_cell.vc1.myctree.C2Els[0]._y")->"my_merge.merge_cell.vc1.myctree.C2Els[0].y"+
|
||||||
|
= "my_merge.merge_cell.vc1.myctree.supply.vdd" "my_merge.merge_cell.vc1.myctree.C2Els[0].vdd"
|
||||||
|
= "my_merge.merge_cell.vc1.myctree.supply.vss" "my_merge.merge_cell.vc1.myctree.C2Els[0].vss"
|
||||||
|
= "my_merge.merge_cell.vc1.myctree.in[0]" "my_merge.merge_cell.vc1.myctree.C2Els[0].c1"
|
||||||
|
= "my_merge.merge_cell.vc1.myctree.in[0]" "my_merge.merge_cell.vc1.myctree.tmp[0]"
|
||||||
|
= "my_merge.merge_cell.vc1.myctree.in[1]" "my_merge.merge_cell.vc1.myctree.C2Els[0].c2"
|
||||||
|
= "my_merge.merge_cell.vc1.myctree.in[1]" "my_merge.merge_cell.vc1.myctree.tmp[1]"
|
||||||
|
= "my_merge.merge_cell.vc1.myctree.out" "my_merge.merge_cell.vc1.myctree.C2Els[0].y"
|
||||||
|
= "my_merge.merge_cell.vc1.myctree.out" "my_merge.merge_cell.vc1.myctree.tmp[2]"
|
||||||
|
"my_merge.merge_cell.vc1.OR2_tf[0].a"|"my_merge.merge_cell.vc1.OR2_tf[0].b"->"my_merge.merge_cell.vc1.OR2_tf[0]._y"-
|
||||||
|
~("my_merge.merge_cell.vc1.OR2_tf[0].a"|"my_merge.merge_cell.vc1.OR2_tf[0].b")->"my_merge.merge_cell.vc1.OR2_tf[0]._y"+
|
||||||
|
"my_merge.merge_cell.vc1.OR2_tf[0]._y"->"my_merge.merge_cell.vc1.OR2_tf[0].y"-
|
||||||
|
~("my_merge.merge_cell.vc1.OR2_tf[0]._y")->"my_merge.merge_cell.vc1.OR2_tf[0].y"+
|
||||||
|
"my_merge.merge_cell.vc1.OR2_tf[1].a"|"my_merge.merge_cell.vc1.OR2_tf[1].b"->"my_merge.merge_cell.vc1.OR2_tf[1]._y"-
|
||||||
|
~("my_merge.merge_cell.vc1.OR2_tf[1].a"|"my_merge.merge_cell.vc1.OR2_tf[1].b")->"my_merge.merge_cell.vc1.OR2_tf[1]._y"+
|
||||||
|
"my_merge.merge_cell.vc1.OR2_tf[1]._y"->"my_merge.merge_cell.vc1.OR2_tf[1].y"-
|
||||||
|
~("my_merge.merge_cell.vc1.OR2_tf[1]._y")->"my_merge.merge_cell.vc1.OR2_tf[1].y"+
|
||||||
|
= "my_merge.merge_cell.vc1.OR2_tf[1].y" "my_merge.merge_cell.vc1.myctree.in[1]"
|
||||||
|
= "my_merge.merge_cell.vc1.OR2_tf[0].y" "my_merge.merge_cell.vc1.myctree.in[0]"
|
||||||
|
= "my_merge.merge_cell.vc1.supply.vss" "my_merge.merge_cell.vc1.myctree.supply.vss"
|
||||||
|
= "my_merge.merge_cell.vc1.supply.vdd" "my_merge.merge_cell.vc1.myctree.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.vc1.supply.vdd" "my_merge.merge_cell.vc1.OR2_tf[1].vdd"
|
||||||
|
= "my_merge.merge_cell.vc1.supply.vdd" "my_merge.merge_cell.vc1.OR2_tf[0].vdd"
|
||||||
|
= "my_merge.merge_cell.vc1.supply.vss" "my_merge.merge_cell.vc1.OR2_tf[1].vss"
|
||||||
|
= "my_merge.merge_cell.vc1.supply.vss" "my_merge.merge_cell.vc1.OR2_tf[0].vss"
|
||||||
|
= "my_merge.merge_cell.vc1.out" "my_merge.merge_cell.vc1.myctree.out"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[0].d[0]" "my_merge.merge_cell.vc1.in.d[0].f"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[0].d[1]" "my_merge.merge_cell.vc1.in.d[0].t"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[1].d[0]" "my_merge.merge_cell.vc1.in.d[1].f"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[1].d[1]" "my_merge.merge_cell.vc1.in.d[1].t"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[1].d[0]" "my_merge.merge_cell.vc1.in.d[1].f"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[1].d[1]" "my_merge.merge_cell.vc1.in.d[1].t"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[0].d[0]" "my_merge.merge_cell.vc1.in.d[0].f"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[0].d[1]" "my_merge.merge_cell.vc1.in.d[0].t"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[1].d[0]" "my_merge.merge_cell.vc1.OR2_tf[1].b"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[1].d[0]" "my_merge.merge_cell.vc1.in.d[1].f"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[1].d[1]" "my_merge.merge_cell.vc1.OR2_tf[1].a"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[1].d[1]" "my_merge.merge_cell.vc1.in.d[1].t"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[0].d[0]" "my_merge.merge_cell.vc1.OR2_tf[0].b"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[0].d[0]" "my_merge.merge_cell.vc1.in.d[0].f"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[0].d[1]" "my_merge.merge_cell.vc1.OR2_tf[0].a"
|
||||||
|
= "my_merge.merge_cell.vc1.in.d[0].d[1]" "my_merge.merge_cell.vc1.in.d[0].t"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.reset_bufarray.out[0]"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[1]" "my_merge.merge_cell.reset_bufarray.out[1]"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[2]" "my_merge.merge_cell.reset_bufarray.out[2]"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[3]" "my_merge.merge_cell.reset_bufarray.out[3]"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_f[1].sr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_f[1].pr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_t[1].sr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_t[1].pr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_f[0].sr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_f[0].pr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_t[0].sr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell.merge_func_t[0].pr_B"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell._reset_BXX[3]"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell._reset_BXX[2]"
|
||||||
|
= "my_merge.merge_cell._reset_BXX[0]" "my_merge.merge_cell._reset_BXX[1]"
|
||||||
|
"my_merge.merge_cell.in1ack_ctl_inv.a"->"my_merge.merge_cell.in1ack_ctl_inv.y"-
|
||||||
|
~("my_merge.merge_cell.in1ack_ctl_inv.a")->"my_merge.merge_cell.in1ack_ctl_inv.y"+
|
||||||
|
= "my_merge.merge_cell._in1_arb_temp" "my_merge.merge_cell.AND_arb1.b"
|
||||||
|
= "my_merge.merge_cell._in1_arb_temp" "my_merge.merge_cell._in1_temp.a"
|
||||||
|
~"my_merge.merge_cell.merge_func_t[0].c1"&~"my_merge.merge_cell.merge_func_t[0].c2"|~"my_merge.merge_cell.merge_func_t[0].pr_B"->"my_merge.merge_cell.merge_func_t[0]._y"+
|
||||||
|
"my_merge.merge_cell.merge_func_t[0].c1"&"my_merge.merge_cell.merge_func_t[0].c2"&("my_merge.merge_cell.merge_func_t[0].n1"&"my_merge.merge_cell.merge_func_t[0].n2"|"my_merge.merge_cell.merge_func_t[0].n3"&"my_merge.merge_cell.merge_func_t[0].n4")&"my_merge.merge_cell.merge_func_t[0].sr_B"->"my_merge.merge_cell.merge_func_t[0]._y"-
|
||||||
|
"my_merge.merge_cell.merge_func_t[0]._y"->"my_merge.merge_cell.merge_func_t[0].y"-
|
||||||
|
~("my_merge.merge_cell.merge_func_t[0]._y")->"my_merge.merge_cell.merge_func_t[0].y"+
|
||||||
|
~"my_merge.merge_cell.merge_func_t[1].c1"&~"my_merge.merge_cell.merge_func_t[1].c2"|~"my_merge.merge_cell.merge_func_t[1].pr_B"->"my_merge.merge_cell.merge_func_t[1]._y"+
|
||||||
|
"my_merge.merge_cell.merge_func_t[1].c1"&"my_merge.merge_cell.merge_func_t[1].c2"&("my_merge.merge_cell.merge_func_t[1].n1"&"my_merge.merge_cell.merge_func_t[1].n2"|"my_merge.merge_cell.merge_func_t[1].n3"&"my_merge.merge_cell.merge_func_t[1].n4")&"my_merge.merge_cell.merge_func_t[1].sr_B"->"my_merge.merge_cell.merge_func_t[1]._y"-
|
||||||
|
"my_merge.merge_cell.merge_func_t[1]._y"->"my_merge.merge_cell.merge_func_t[1].y"-
|
||||||
|
~("my_merge.merge_cell.merge_func_t[1]._y")->"my_merge.merge_cell.merge_func_t[1].y"+
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].f" "my_merge.merge_cell.vc2.in.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].t" "my_merge.merge_cell.vc2.in.d[0].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.vc2.in.d[0].d[0]"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.vc2.in.d[0].d[1]"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].f" "my_merge.merge_cell.vc2.in.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].t" "my_merge.merge_cell.vc2.in.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.vc2.in.d[1].d[0]"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.vc2.in.d[1].d[1]"
|
||||||
|
= "my_merge.merge_cell.in2.a" "my_merge.merge_cell.in2ack_ctl_inv.a"
|
||||||
|
= "my_merge.merge_cell.in2.a" "my_merge.merge_cell.en_ctl.n2"
|
||||||
|
= "my_merge.merge_cell.in2.a" "my_merge.merge_cell.en_ctl.p2"
|
||||||
|
= "my_merge.merge_cell.in2.a" "my_merge.merge_cell.in2ack_ctl.y"
|
||||||
|
= "my_merge.merge_cell.in2.v" "my_merge.merge_cell._in2_temp.r"
|
||||||
|
= "my_merge.merge_cell.in2.v" "my_merge.merge_cell._in2_temp.d.d[0]"
|
||||||
|
= "my_merge.merge_cell.in2.v" "my_merge.merge_cell.vc2.out"
|
||||||
|
= "my_merge.merge_cell.in2.v" "my_merge.merge_cell.in2ack_ctl.c3"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.merge_func_f[1].n4"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.merge_func_t[1].n4"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.merge_func_f[0].n4"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.merge_func_t[0].n4"
|
||||||
|
= "my_merge.merge_cell.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.arb2function2.supply.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.arb2function2.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.arb2function1.supply.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.arb2function1.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.validity_arb.supply.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.validity_arb.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.vc2.supply.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.vc2.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.vc1.supply.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.vc1.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.en_buffer.supply.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.en_buffer.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.out_a_buffer.supply.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.out_a_buffer.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.merge_func_f[1].vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.merge_func_t[1].vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.merge_func_f[0].vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.merge_func_t[0].vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.reset_buf.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.in2ack_ctl_inv.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.in1ack_ctl_inv.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.en_ctl.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.in2ack_ctl.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vdd" "my_merge.merge_cell.in1ack_ctl.vdd"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.merge_func_f[1].vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.merge_func_t[1].vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.merge_func_f[0].vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.merge_func_t[0].vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.reset_buf.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.in2ack_ctl_inv.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.in1ack_ctl_inv.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.en_ctl.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.in2ack_ctl.vss"
|
||||||
|
= "my_merge.merge_cell.supply.vss" "my_merge.merge_cell.in1ack_ctl.vss"
|
||||||
|
= "my_merge.merge_cell._in2_temp.d.d[0]" "my_merge.merge_cell._in2_temp.r"
|
||||||
|
= "my_merge.merge_cell._in2_temp.r" "my_merge.merge_cell.validity_arb.in2.r"
|
||||||
|
= "my_merge.merge_cell._in2_temp.a" "my_merge.merge_cell.validity_arb.in2.a"
|
||||||
|
= "my_merge.merge_cell._in2_temp.d.d[0]" "my_merge.merge_cell.validity_arb.in2.d.d[0]"
|
||||||
|
~"my_merge.merge_cell.in1ack_ctl.c1"&~"my_merge.merge_cell.in1ack_ctl.c2"&~"my_merge.merge_cell.in1ack_ctl.c3"&~"my_merge.merge_cell.in1ack_ctl.c4"|~"my_merge.merge_cell.in1ack_ctl.pr_B"->"my_merge.merge_cell.in1ack_ctl._y"+
|
||||||
|
"my_merge.merge_cell.in1ack_ctl.c1"&"my_merge.merge_cell.in1ack_ctl.c2"&"my_merge.merge_cell.in1ack_ctl.c3"&"my_merge.merge_cell.in1ack_ctl.c4"&"my_merge.merge_cell.in1ack_ctl.sr_B"->"my_merge.merge_cell.in1ack_ctl._y"-
|
||||||
|
"my_merge.merge_cell.in1ack_ctl._y"->"my_merge.merge_cell.in1ack_ctl.y"-
|
||||||
|
~("my_merge.merge_cell.in1ack_ctl._y")->"my_merge.merge_cell.in1ack_ctl.y"+
|
||||||
|
~"my_merge.merge_cell.en_ctl.p1"&~"my_merge.merge_cell.en_ctl.p2"&~"my_merge.merge_cell.en_ctl.p3"&~"my_merge.merge_cell.en_ctl.p4"->"my_merge.merge_cell.en_ctl.y"+
|
||||||
|
"my_merge.merge_cell.en_ctl.n1"|"my_merge.merge_cell.en_ctl.n2"->"my_merge.merge_cell.en_ctl.y"-
|
||||||
|
"my_merge.merge_cell.out_a_buffer.buf1.a"->"my_merge.merge_cell.out_a_buffer.buf1._y"-
|
||||||
|
~("my_merge.merge_cell.out_a_buffer.buf1.a")->"my_merge.merge_cell.out_a_buffer.buf1._y"+
|
||||||
|
"my_merge.merge_cell.out_a_buffer.buf1._y"->"my_merge.merge_cell.out_a_buffer.buf1.y"-
|
||||||
|
~("my_merge.merge_cell.out_a_buffer.buf1._y")->"my_merge.merge_cell.out_a_buffer.buf1.y"+
|
||||||
|
= "my_merge.merge_cell.out_a_buffer.supply.vdd" "my_merge.merge_cell.out_a_buffer.buf1.vdd"
|
||||||
|
= "my_merge.merge_cell.out_a_buffer.supply.vss" "my_merge.merge_cell.out_a_buffer.buf1.vss"
|
||||||
|
= "my_merge.merge_cell.out_a_buffer.out[0]" "my_merge.merge_cell.out_a_buffer.out[3]"
|
||||||
|
= "my_merge.merge_cell.out_a_buffer.out[0]" "my_merge.merge_cell.out_a_buffer.out[2]"
|
||||||
|
= "my_merge.merge_cell.out_a_buffer.out[0]" "my_merge.merge_cell.out_a_buffer.out[1]"
|
||||||
|
= "my_merge.merge_cell.out_a_buffer.out[0]" "my_merge.merge_cell.out_a_buffer.buf1.y"
|
||||||
|
= "my_merge.merge_cell.out_a_buffer.in" "my_merge.merge_cell.out_a_buffer.buf1.a"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell.out.a" "my_merge.merge_cell.en_ctl.p3"
|
||||||
|
= "my_merge.merge_cell.out.a" "my_merge.merge_cell.out_a_inverter.a"
|
||||||
|
= "my_merge.merge_cell.out.v" "my_merge.merge_cell.en_ctl.p4"
|
||||||
|
= "my_merge.merge_cell.out.v" "my_merge.merge_cell.in2ack_ctl.c4"
|
||||||
|
= "my_merge.merge_cell.out.v" "my_merge.merge_cell.in1ack_ctl.c4"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.merge_func_f[1].y"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].f"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.merge_func_t[1].y"
|
||||||
|
= "my_merge.merge_cell.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].t"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.merge_func_f[0].y"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].f"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.merge_func_t[0].y"
|
||||||
|
= "my_merge.merge_cell.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].t"
|
||||||
|
= "my_merge.merge_cell._in2_arb_temp" "my_merge.merge_cell.AND_arb2.b"
|
||||||
|
= "my_merge.merge_cell._in2_arb_temp" "my_merge.merge_cell._in2_temp.a"
|
||||||
|
= "my_merge.merge_cell._in1_a_B" "my_merge.merge_cell.AND_arb2.a"
|
||||||
|
= "my_merge.merge_cell._in1_a_B" "my_merge.merge_cell.in1ack_ctl_inv.y"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in1.d.d[0]" "my_merge.merge_cell.validity_arb.in1.r"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in1.a" "my_merge.merge_cell.validity_arb.arbiter.d"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in1.a" "my_merge.merge_cell.validity_arb.ack_cell1.y"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in1.d.d[0]" "my_merge.merge_cell.validity_arb.arbiter.a"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in1.d.d[0]" "my_merge.merge_cell.validity_arb.in1.r"
|
||||||
|
~"my_merge.merge_cell.validity_arb.ack_cell1.c1"&~"my_merge.merge_cell.validity_arb.ack_cell1.c2"->"my_merge.merge_cell.validity_arb.ack_cell1._y"+
|
||||||
|
"my_merge.merge_cell.validity_arb.ack_cell1.c1"&"my_merge.merge_cell.validity_arb.ack_cell1.c2"->"my_merge.merge_cell.validity_arb.ack_cell1._y"-
|
||||||
|
"my_merge.merge_cell.validity_arb.ack_cell1._y"->"my_merge.merge_cell.validity_arb.ack_cell1.y"-
|
||||||
|
~("my_merge.merge_cell.validity_arb.ack_cell1._y")->"my_merge.merge_cell.validity_arb.ack_cell1.y"+
|
||||||
|
= "my_merge.merge_cell.validity_arb.in2.d.d[0]" "my_merge.merge_cell.validity_arb.in2.r"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in2.a" "my_merge.merge_cell.validity_arb.arbiter.c"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in2.a" "my_merge.merge_cell.validity_arb.ack_cell2.y"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in2.d.d[0]" "my_merge.merge_cell.validity_arb.arbiter.b"
|
||||||
|
= "my_merge.merge_cell.validity_arb.in2.d.d[0]" "my_merge.merge_cell.validity_arb.in2.r"
|
||||||
|
= "my_merge.merge_cell.validity_arb.supply.vdd" "my_merge.merge_cell.validity_arb.arbiter.vdd"
|
||||||
|
= "my_merge.merge_cell.validity_arb.supply.vdd" "my_merge.merge_cell.validity_arb.or_cell.vdd"
|
||||||
|
= "my_merge.merge_cell.validity_arb.supply.vdd" "my_merge.merge_cell.validity_arb.ack_cell2.vdd"
|
||||||
|
= "my_merge.merge_cell.validity_arb.supply.vdd" "my_merge.merge_cell.validity_arb.ack_cell1.vdd"
|
||||||
|
= "my_merge.merge_cell.validity_arb.supply.vss" "my_merge.merge_cell.validity_arb.arbiter.vss"
|
||||||
|
= "my_merge.merge_cell.validity_arb.supply.vss" "my_merge.merge_cell.validity_arb.or_cell.vss"
|
||||||
|
= "my_merge.merge_cell.validity_arb.supply.vss" "my_merge.merge_cell.validity_arb.ack_cell2.vss"
|
||||||
|
= "my_merge.merge_cell.validity_arb.supply.vss" "my_merge.merge_cell.validity_arb.ack_cell1.vss"
|
||||||
|
"my_merge.merge_cell.validity_arb.arbiter.a"&"my_merge.merge_cell.validity_arb.arbiter._y2"->"my_merge.merge_cell.validity_arb.arbiter._y1"-
|
||||||
|
~"my_merge.merge_cell.validity_arb.arbiter.a"|~"my_merge.merge_cell.validity_arb.arbiter._y2"->"my_merge.merge_cell.validity_arb.arbiter._y1"+
|
||||||
|
"my_merge.merge_cell.validity_arb.arbiter.b"&"my_merge.merge_cell.validity_arb.arbiter._y1"->"my_merge.merge_cell.validity_arb.arbiter._y2"-
|
||||||
|
~"my_merge.merge_cell.validity_arb.arbiter.b"|~"my_merge.merge_cell.validity_arb.arbiter._y1"->"my_merge.merge_cell.validity_arb.arbiter._y2"+
|
||||||
|
"my_merge.merge_cell.validity_arb.arbiter._y1"|"my_merge.merge_cell.validity_arb.arbiter.c"->"my_merge.merge_cell.validity_arb.arbiter.y1"-
|
||||||
|
~("my_merge.merge_cell.validity_arb.arbiter._y1"|"my_merge.merge_cell.validity_arb.arbiter.c")->"my_merge.merge_cell.validity_arb.arbiter.y1"+
|
||||||
|
"my_merge.merge_cell.validity_arb.arbiter._y2"|"my_merge.merge_cell.validity_arb.arbiter.d"->"my_merge.merge_cell.validity_arb.arbiter.y2"-
|
||||||
|
~("my_merge.merge_cell.validity_arb.arbiter._y2"|"my_merge.merge_cell.validity_arb.arbiter.d")->"my_merge.merge_cell.validity_arb.arbiter.y2"+
|
||||||
|
mk_excllo("my_merge.merge_cell.validity_arb.arbiter._y1","my_merge.merge_cell.validity_arb.arbiter._y2")
|
||||||
|
= "my_merge.merge_cell.validity_arb._y1_arb" "my_merge.merge_cell.validity_arb.arbiter.y1"
|
||||||
|
= "my_merge.merge_cell.validity_arb._y1_arb" "my_merge.merge_cell.validity_arb.or_cell.a"
|
||||||
|
= "my_merge.merge_cell.validity_arb._y1_arb" "my_merge.merge_cell.validity_arb.ack_cell1.c2"
|
||||||
|
~"my_merge.merge_cell.validity_arb.ack_cell2.c1"&~"my_merge.merge_cell.validity_arb.ack_cell2.c2"->"my_merge.merge_cell.validity_arb.ack_cell2._y"+
|
||||||
|
"my_merge.merge_cell.validity_arb.ack_cell2.c1"&"my_merge.merge_cell.validity_arb.ack_cell2.c2"->"my_merge.merge_cell.validity_arb.ack_cell2._y"-
|
||||||
|
"my_merge.merge_cell.validity_arb.ack_cell2._y"->"my_merge.merge_cell.validity_arb.ack_cell2.y"-
|
||||||
|
~("my_merge.merge_cell.validity_arb.ack_cell2._y")->"my_merge.merge_cell.validity_arb.ack_cell2.y"+
|
||||||
|
"my_merge.merge_cell.validity_arb.or_cell.a"|"my_merge.merge_cell.validity_arb.or_cell.b"->"my_merge.merge_cell.validity_arb.or_cell._y"-
|
||||||
|
~("my_merge.merge_cell.validity_arb.or_cell.a"|"my_merge.merge_cell.validity_arb.or_cell.b")->"my_merge.merge_cell.validity_arb.or_cell._y"+
|
||||||
|
"my_merge.merge_cell.validity_arb.or_cell._y"->"my_merge.merge_cell.validity_arb.or_cell.y"-
|
||||||
|
~("my_merge.merge_cell.validity_arb.or_cell._y")->"my_merge.merge_cell.validity_arb.or_cell.y"+
|
||||||
|
= "my_merge.merge_cell.validity_arb.out.d.d[0]" "my_merge.merge_cell.validity_arb.out.r"
|
||||||
|
= "my_merge.merge_cell.validity_arb.out.a" "my_merge.merge_cell.validity_arb.ack_cell2.c1"
|
||||||
|
= "my_merge.merge_cell.validity_arb.out.a" "my_merge.merge_cell.validity_arb.ack_cell1.c1"
|
||||||
|
= "my_merge.merge_cell.validity_arb.out.d.d[0]" "my_merge.merge_cell.validity_arb.or_cell.y"
|
||||||
|
= "my_merge.merge_cell.validity_arb.out.d.d[0]" "my_merge.merge_cell.validity_arb.out.r"
|
||||||
|
= "my_merge.merge_cell.validity_arb._y2_arb" "my_merge.merge_cell.validity_arb.arbiter.y2"
|
||||||
|
= "my_merge.merge_cell.validity_arb._y2_arb" "my_merge.merge_cell.validity_arb.or_cell.b"
|
||||||
|
= "my_merge.merge_cell.validity_arb._y2_arb" "my_merge.merge_cell.validity_arb.ack_cell2.c2"
|
||||||
|
"my_merge.merge_cell.out_a_inverter.a"->"my_merge.merge_cell.out_a_inverter.y"-
|
||||||
|
~("my_merge.merge_cell.out_a_inverter.a")->"my_merge.merge_cell.out_a_inverter.y"+
|
||||||
|
= "my_merge.merge_cell._in1_arb" "my_merge.merge_cell.arb2function1.in"
|
||||||
|
= "my_merge.merge_cell._in1_arb" "my_merge.merge_cell.AND_arb1.y"
|
||||||
|
= "my_merge.merge_cell._in1_arb" "my_merge.merge_cell.in1ack_ctl.c1"
|
||||||
|
= "my_merge.merge_cell._out_a_B" "my_merge.merge_cell.out_a_buffer.in"
|
||||||
|
= "my_merge.merge_cell._out_a_B" "my_merge.merge_cell.out_a_inverter.y"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.out_a_buffer.out[0]"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[1]" "my_merge.merge_cell.out_a_buffer.out[1]"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[2]" "my_merge.merge_cell.out_a_buffer.out[2]"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[3]" "my_merge.merge_cell.out_a_buffer.out[3]"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.merge_func_f[1].c2"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.merge_func_t[1].c2"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.merge_func_f[0].c2"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell.merge_func_t[0].c2"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell._out_a_BX[3]"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell._out_a_BX[2]"
|
||||||
|
= "my_merge.merge_cell._out_a_BX[0]" "my_merge.merge_cell._out_a_BX[1]"
|
||||||
|
~"my_merge.merge_cell.vc2.myctree.C2Els[0].c1"&~"my_merge.merge_cell.vc2.myctree.C2Els[0].c2"->"my_merge.merge_cell.vc2.myctree.C2Els[0]._y"+
|
||||||
|
"my_merge.merge_cell.vc2.myctree.C2Els[0].c1"&"my_merge.merge_cell.vc2.myctree.C2Els[0].c2"->"my_merge.merge_cell.vc2.myctree.C2Els[0]._y"-
|
||||||
|
"my_merge.merge_cell.vc2.myctree.C2Els[0]._y"->"my_merge.merge_cell.vc2.myctree.C2Els[0].y"-
|
||||||
|
~("my_merge.merge_cell.vc2.myctree.C2Els[0]._y")->"my_merge.merge_cell.vc2.myctree.C2Els[0].y"+
|
||||||
|
= "my_merge.merge_cell.vc2.myctree.supply.vdd" "my_merge.merge_cell.vc2.myctree.C2Els[0].vdd"
|
||||||
|
= "my_merge.merge_cell.vc2.myctree.supply.vss" "my_merge.merge_cell.vc2.myctree.C2Els[0].vss"
|
||||||
|
= "my_merge.merge_cell.vc2.myctree.in[0]" "my_merge.merge_cell.vc2.myctree.C2Els[0].c1"
|
||||||
|
= "my_merge.merge_cell.vc2.myctree.in[0]" "my_merge.merge_cell.vc2.myctree.tmp[0]"
|
||||||
|
= "my_merge.merge_cell.vc2.myctree.in[1]" "my_merge.merge_cell.vc2.myctree.C2Els[0].c2"
|
||||||
|
= "my_merge.merge_cell.vc2.myctree.in[1]" "my_merge.merge_cell.vc2.myctree.tmp[1]"
|
||||||
|
= "my_merge.merge_cell.vc2.myctree.out" "my_merge.merge_cell.vc2.myctree.C2Els[0].y"
|
||||||
|
= "my_merge.merge_cell.vc2.myctree.out" "my_merge.merge_cell.vc2.myctree.tmp[2]"
|
||||||
|
"my_merge.merge_cell.vc2.OR2_tf[0].a"|"my_merge.merge_cell.vc2.OR2_tf[0].b"->"my_merge.merge_cell.vc2.OR2_tf[0]._y"-
|
||||||
|
~("my_merge.merge_cell.vc2.OR2_tf[0].a"|"my_merge.merge_cell.vc2.OR2_tf[0].b")->"my_merge.merge_cell.vc2.OR2_tf[0]._y"+
|
||||||
|
"my_merge.merge_cell.vc2.OR2_tf[0]._y"->"my_merge.merge_cell.vc2.OR2_tf[0].y"-
|
||||||
|
~("my_merge.merge_cell.vc2.OR2_tf[0]._y")->"my_merge.merge_cell.vc2.OR2_tf[0].y"+
|
||||||
|
"my_merge.merge_cell.vc2.OR2_tf[1].a"|"my_merge.merge_cell.vc2.OR2_tf[1].b"->"my_merge.merge_cell.vc2.OR2_tf[1]._y"-
|
||||||
|
~("my_merge.merge_cell.vc2.OR2_tf[1].a"|"my_merge.merge_cell.vc2.OR2_tf[1].b")->"my_merge.merge_cell.vc2.OR2_tf[1]._y"+
|
||||||
|
"my_merge.merge_cell.vc2.OR2_tf[1]._y"->"my_merge.merge_cell.vc2.OR2_tf[1].y"-
|
||||||
|
~("my_merge.merge_cell.vc2.OR2_tf[1]._y")->"my_merge.merge_cell.vc2.OR2_tf[1].y"+
|
||||||
|
= "my_merge.merge_cell.vc2.OR2_tf[1].y" "my_merge.merge_cell.vc2.myctree.in[1]"
|
||||||
|
= "my_merge.merge_cell.vc2.OR2_tf[0].y" "my_merge.merge_cell.vc2.myctree.in[0]"
|
||||||
|
= "my_merge.merge_cell.vc2.supply.vss" "my_merge.merge_cell.vc2.myctree.supply.vss"
|
||||||
|
= "my_merge.merge_cell.vc2.supply.vdd" "my_merge.merge_cell.vc2.myctree.supply.vdd"
|
||||||
|
= "my_merge.merge_cell.vc2.supply.vdd" "my_merge.merge_cell.vc2.OR2_tf[1].vdd"
|
||||||
|
= "my_merge.merge_cell.vc2.supply.vdd" "my_merge.merge_cell.vc2.OR2_tf[0].vdd"
|
||||||
|
= "my_merge.merge_cell.vc2.supply.vss" "my_merge.merge_cell.vc2.OR2_tf[1].vss"
|
||||||
|
= "my_merge.merge_cell.vc2.supply.vss" "my_merge.merge_cell.vc2.OR2_tf[0].vss"
|
||||||
|
= "my_merge.merge_cell.vc2.out" "my_merge.merge_cell.vc2.myctree.out"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[0].d[0]" "my_merge.merge_cell.vc2.in.d[0].f"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[0].d[1]" "my_merge.merge_cell.vc2.in.d[0].t"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[1].d[0]" "my_merge.merge_cell.vc2.in.d[1].f"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[1].d[1]" "my_merge.merge_cell.vc2.in.d[1].t"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[1].d[0]" "my_merge.merge_cell.vc2.in.d[1].f"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[1].d[1]" "my_merge.merge_cell.vc2.in.d[1].t"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[0].d[0]" "my_merge.merge_cell.vc2.in.d[0].f"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[0].d[1]" "my_merge.merge_cell.vc2.in.d[0].t"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[1].d[0]" "my_merge.merge_cell.vc2.OR2_tf[1].b"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[1].d[0]" "my_merge.merge_cell.vc2.in.d[1].f"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[1].d[1]" "my_merge.merge_cell.vc2.OR2_tf[1].a"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[1].d[1]" "my_merge.merge_cell.vc2.in.d[1].t"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[0].d[0]" "my_merge.merge_cell.vc2.OR2_tf[0].b"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[0].d[0]" "my_merge.merge_cell.vc2.in.d[0].f"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[0].d[1]" "my_merge.merge_cell.vc2.OR2_tf[0].a"
|
||||||
|
= "my_merge.merge_cell.vc2.in.d[0].d[1]" "my_merge.merge_cell.vc2.in.d[0].t"
|
||||||
|
= "my_merge.merge_cell._in2_arb" "my_merge.merge_cell.arb2function2.in"
|
||||||
|
= "my_merge.merge_cell._in2_arb" "my_merge.merge_cell.AND_arb2.y"
|
||||||
|
= "my_merge.merge_cell._in2_arb" "my_merge.merge_cell.in2ack_ctl.c1"
|
||||||
|
~"my_merge.merge_cell.in2ack_ctl.c1"&~"my_merge.merge_cell.in2ack_ctl.c2"&~"my_merge.merge_cell.in2ack_ctl.c3"&~"my_merge.merge_cell.in2ack_ctl.c4"|~"my_merge.merge_cell.in2ack_ctl.pr_B"->"my_merge.merge_cell.in2ack_ctl._y"+
|
||||||
|
"my_merge.merge_cell.in2ack_ctl.c1"&"my_merge.merge_cell.in2ack_ctl.c2"&"my_merge.merge_cell.in2ack_ctl.c3"&"my_merge.merge_cell.in2ack_ctl.c4"&"my_merge.merge_cell.in2ack_ctl.sr_B"->"my_merge.merge_cell.in2ack_ctl._y"-
|
||||||
|
"my_merge.merge_cell.in2ack_ctl._y"->"my_merge.merge_cell.in2ack_ctl.y"-
|
||||||
|
~("my_merge.merge_cell.in2ack_ctl._y")->"my_merge.merge_cell.in2ack_ctl.y"+
|
||||||
|
"my_merge.merge_cell.in2ack_ctl_inv.a"->"my_merge.merge_cell.in2ack_ctl_inv.y"-
|
||||||
|
~("my_merge.merge_cell.in2ack_ctl_inv.a")->"my_merge.merge_cell.in2ack_ctl_inv.y"+
|
||||||
|
= "Vdd" "my_merge.merge_cell.supply.vdd"
|
||||||
|
= "GND" "my_merge.merge_cell.supply.vss"
|
||||||
|
= "my_merge.out.d.d[0].d[0]" "my_merge.out.d.d[0].f"
|
||||||
|
= "my_merge.out.d.d[0].d[1]" "my_merge.out.d.d[0].t"
|
||||||
|
= "my_merge.out.d.d[1].d[0]" "my_merge.out.d.d[1].f"
|
||||||
|
= "my_merge.out.d.d[1].d[1]" "my_merge.out.d.d[1].t"
|
||||||
|
= "my_merge.out.d.d[1].d[0]" "my_merge.out.d.d[1].f"
|
||||||
|
= "my_merge.out.d.d[1].d[1]" "my_merge.out.d.d[1].t"
|
||||||
|
= "my_merge.out.d.d[0].d[0]" "my_merge.out.d.d[0].f"
|
||||||
|
= "my_merge.out.d.d[0].d[1]" "my_merge.out.d.d[0].t"
|
||||||
|
= "my_merge.out.d.d[1].d[0]" "my_merge.out.d.d[1].f"
|
||||||
|
= "my_merge.out.d.d[1].d[1]" "my_merge.out.d.d[1].t"
|
||||||
|
= "my_merge.out.d.d[0].d[0]" "my_merge.out.d.d[0].f"
|
||||||
|
= "my_merge.out.d.d[0].d[1]" "my_merge.out.d.d[0].t"
|
||||||
|
= "my_merge.out.v" "my_merge.merge_cell.out.v"
|
||||||
|
= "my_merge.out.a" "my_merge.merge_cell.out.a"
|
||||||
|
= "my_merge.out.d.d[0].f" "my_merge.merge_cell.out.d.d[0].f"
|
||||||
|
= "my_merge.out.d.d[0].t" "my_merge.merge_cell.out.d.d[0].t"
|
||||||
|
= "my_merge.out.d.d[0].d[0]" "my_merge.merge_cell.out.d.d[0].d[0]"
|
||||||
|
= "my_merge.out.d.d[0].d[1]" "my_merge.merge_cell.out.d.d[0].d[1]"
|
||||||
|
= "my_merge.out.d.d[1].f" "my_merge.merge_cell.out.d.d[1].f"
|
||||||
|
= "my_merge.out.d.d[1].t" "my_merge.merge_cell.out.d.d[1].t"
|
||||||
|
= "my_merge.out.d.d[1].d[0]" "my_merge.merge_cell.out.d.d[1].d[0]"
|
||||||
|
= "my_merge.out.d.d[1].d[1]" "my_merge.merge_cell.out.d.d[1].d[1]"
|
||||||
|
= "my_merge.out.d.d[1].d[0]" "my_merge.out.d.d[1].f"
|
||||||
|
= "my_merge.out.d.d[1].d[1]" "my_merge.out.d.d[1].t"
|
||||||
|
= "my_merge.out.d.d[0].d[0]" "my_merge.out.d.d[0].f"
|
||||||
|
= "my_merge.out.d.d[0].d[1]" "my_merge.out.d.d[0].t"
|
||||||
|
= "my_merge.in2.d.d[0].d[0]" "my_merge.in2.d.d[0].f"
|
||||||
|
= "my_merge.in2.d.d[0].d[1]" "my_merge.in2.d.d[0].t"
|
||||||
|
= "my_merge.in2.d.d[1].d[0]" "my_merge.in2.d.d[1].f"
|
||||||
|
= "my_merge.in2.d.d[1].d[1]" "my_merge.in2.d.d[1].t"
|
||||||
|
= "my_merge.in2.d.d[1].d[0]" "my_merge.in2.d.d[1].f"
|
||||||
|
= "my_merge.in2.d.d[1].d[1]" "my_merge.in2.d.d[1].t"
|
||||||
|
= "my_merge.in2.d.d[0].d[0]" "my_merge.in2.d.d[0].f"
|
||||||
|
= "my_merge.in2.d.d[0].d[1]" "my_merge.in2.d.d[0].t"
|
||||||
|
= "my_merge.in2.d.d[1].d[0]" "my_merge.in2.d.d[1].f"
|
||||||
|
= "my_merge.in2.d.d[1].d[1]" "my_merge.in2.d.d[1].t"
|
||||||
|
= "my_merge.in2.d.d[0].d[0]" "my_merge.in2.d.d[0].f"
|
||||||
|
= "my_merge.in2.d.d[0].d[1]" "my_merge.in2.d.d[0].t"
|
||||||
|
= "my_merge.in2.v" "my_merge.merge_cell.in2.v"
|
||||||
|
= "my_merge.in2.a" "my_merge.merge_cell.in2.a"
|
||||||
|
= "my_merge.in2.d.d[0].f" "my_merge.merge_cell.in2.d.d[0].f"
|
||||||
|
= "my_merge.in2.d.d[0].t" "my_merge.merge_cell.in2.d.d[0].t"
|
||||||
|
= "my_merge.in2.d.d[0].d[0]" "my_merge.merge_cell.in2.d.d[0].d[0]"
|
||||||
|
= "my_merge.in2.d.d[0].d[1]" "my_merge.merge_cell.in2.d.d[0].d[1]"
|
||||||
|
= "my_merge.in2.d.d[1].f" "my_merge.merge_cell.in2.d.d[1].f"
|
||||||
|
= "my_merge.in2.d.d[1].t" "my_merge.merge_cell.in2.d.d[1].t"
|
||||||
|
= "my_merge.in2.d.d[1].d[0]" "my_merge.merge_cell.in2.d.d[1].d[0]"
|
||||||
|
= "my_merge.in2.d.d[1].d[1]" "my_merge.merge_cell.in2.d.d[1].d[1]"
|
||||||
|
= "my_merge.in2.d.d[1].d[0]" "my_merge.in2.d.d[1].f"
|
||||||
|
= "my_merge.in2.d.d[1].d[1]" "my_merge.in2.d.d[1].t"
|
||||||
|
= "my_merge.in2.d.d[0].d[0]" "my_merge.in2.d.d[0].f"
|
||||||
|
= "my_merge.in2.d.d[0].d[1]" "my_merge.in2.d.d[0].t"
|
|
@ -32,18 +32,18 @@ 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_2 (avMx1of2<2> in1; avMx1of2<2> in2; avMx1of2<2> out){
|
||||||
|
|
||||||
merge<7> my_merge(.in1=in1, .in2=in2,.out = out);
|
merge<2> 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;
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
merge_7 my_merge;
|
merge_2 my_merge;
|
|
@ -0,0 +1,65 @@
|
||||||
|
|
||||||
|
watchall
|
||||||
|
set Reset 1
|
||||||
|
set-qdi-channel-neutral "my_merge.in1" 2
|
||||||
|
set-qdi-channel-neutral "my_merge.in2" 2
|
||||||
|
set my_merge.in1.v 0
|
||||||
|
set my_merge.in2.v 0
|
||||||
|
set my_merge.out.a 0
|
||||||
|
set my_merge.out.v 0
|
||||||
|
cycle
|
||||||
|
assert-qdi-channel-neutral "my_merge.out" 2
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[0] System initialized'"
|
||||||
|
|
||||||
|
set Reset 0
|
||||||
|
cycle
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[1] System reset completed'"
|
||||||
|
status X
|
||||||
|
mode run
|
||||||
|
assert-qdi-channel-neutral "my_merge.out" 2
|
||||||
|
cycle
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[2] Output neutral checked'"
|
||||||
|
|
||||||
|
set-qdi-channel-valid "my_merge.in1" 2 2
|
||||||
|
cycle
|
||||||
|
assert my_merge.in1.v 1
|
||||||
|
assert my_merge.in1.a 0
|
||||||
|
assert-qdi-channel-valid "my_merge.out" 2 2
|
||||||
|
set my_merge.out.v 1
|
||||||
|
cycle
|
||||||
|
assert my_merge.in1.a 1
|
||||||
|
set-qdi-channel-neutral "my_merge.in1" 2
|
||||||
|
cycle
|
||||||
|
assert my_merge.in1.v 0
|
||||||
|
set my_merge.out.a 1
|
||||||
|
cycle
|
||||||
|
assert-qdi-channel-neutral "my_merge.out" 2
|
||||||
|
set my_merge.out.v 0
|
||||||
|
set my_merge.out.a 0
|
||||||
|
cycle
|
||||||
|
assert my_merge.in1.a 0
|
||||||
|
cycle
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[3] In1 channel checked'"
|
||||||
|
set-qdi-channel-valid "my_merge.in2" 2 2
|
||||||
|
cycle
|
||||||
|
assert my_merge.in2.v 1
|
||||||
|
assert my_merge.in2.a 0
|
||||||
|
assert-qdi-channel-valid "my_merge.out" 2 2
|
||||||
|
set my_merge.out.v 1
|
||||||
|
cycle
|
||||||
|
assert my_merge.in2.a 1
|
||||||
|
set-qdi-channel-neutral "my_merge.in2" 2
|
||||||
|
cycle
|
||||||
|
set my_merge.out.a 1
|
||||||
|
cycle
|
||||||
|
assert-qdi-channel-neutral "my_merge.out" 2
|
||||||
|
set my_merge.out.a 0
|
||||||
|
set my_merge.out.v 0
|
||||||
|
cycle
|
||||||
|
assert my_merge.in2.a 0
|
||||||
|
system "echo '-------------------------------------------------'"
|
||||||
|
system "echo '[4] In2 valid checked'"
|
|
@ -1,50 +0,0 @@
|
||||||
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
|
|
||||||
Node `my_fork.in.d.d[0].f' not found
|
|
||||||
Node `my_fork.out1.a' not found
|
|
||||||
Node `my_fork.out1.v' not found
|
|
||||||
Node `my_fork.out2.a' not found
|
|
||||||
Node `my_fork.out2.v' not found
|
|
||||||
System initialized
|
|
||||||
83042 Reset : 0
|
|
||||||
119973 my_merge._reset_B : 1 [by Reset:=0]
|
|
||||||
120028 my_merge.my_merge.reset_buf._y : 0 [by my_merge._reset_B:=1]
|
|
||||||
171681 my_merge.my_merge._reset_BX : 1 [by my_merge.my_merge.reset_buf._y:=0]
|
|
||||||
185530 my_merge.my_merge.in1ack_ctl._y : X [by my_merge.my_merge._reset_BX:=1]
|
|
||||||
196493 my_merge.my_merge.in2ack_ctl._y : X [by my_merge.my_merge._reset_BX:=1]
|
|
||||||
196915 my_merge.in2.a : X [by my_merge.my_merge.in2ack_ctl._y:=X]
|
|
||||||
199873 my_merge.in1.a : X [by my_merge.my_merge.in1ack_ctl._y:=X]
|
|
||||||
199874 my_merge.my_merge._in1_a_B : X [by my_merge.in1.a:=X]
|
|
||||||
201461 my_merge.my_merge.reset_bufarray.buf4._y : 0 [by my_merge.my_merge._reset_BX:=1]
|
|
||||||
201462 my_merge.my_merge._reset_BXX[0] : 1 [by my_merge.my_merge.reset_bufarray.buf4._y:=0]
|
|
||||||
201465 my_merge.my_merge.merge_func_f[3].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
201480 my_merge.my_merge.merge_func_t[4].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
201744 my_merge.my_merge.merge_func_f[5].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
202013 my_merge.my_merge.merge_func_f[1].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
202230 my_merge.my_merge.merge_func_f[4].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
202416 my_merge.my_merge.merge_func_t[0].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
202444 my_merge.my_merge.merge_func_t[3].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
202533 my_merge.my_merge.merge_func_f[0].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
202543 my_merge.my_merge.merge_func_t[1].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
205465 my_merge.my_merge.merge_func_t[6].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
205475 my_merge.my_merge.merge_func_t[5].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
221667 my_merge.my_merge.merge_func_f[6].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
223903 my_merge.my_merge.merge_func_f[2].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
245629 my_merge.my_merge._in2_a_B : X [by my_merge.in2.a:=X]
|
|
||||||
255932 my_merge.my_merge.merge_func_t[2].y : X [by my_merge.my_merge._reset_BXX[0]:=1]
|
|
||||||
System reset completed
|
|
||||||
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
|
|
||||||
Node `my_fork.out1.d.d[0].f' not found
|
|
||||||
Node `my_fork.out2.d.d[0].f' not found
|
|
||||||
Output neutral checked
|
|
||||||
Node `my_fork.in.d.d[0].f' not found
|
|
||||||
Node `my_fork.in.v' not found
|
|
||||||
Node `my_fork.in.a' not found
|
|
||||||
Node `my_fork.out1.d.d[0].f' not found
|
|
||||||
Node `my_fork.out2.d.d[0].f' not found
|
|
||||||
Node `my_fork.out1.v' not found
|
|
||||||
Node `my_fork.out2.v' not found
|
|
||||||
Node `my_fork.in.a' not found
|
|
||||||
Node `my_fork.in.d.d[0].f' not found
|
|
||||||
Finished
|
|
||||||
Node `my_fork.out1.a' not found
|
|
||||||
Node `my_fork.out1.a' not found
|
|
File diff suppressed because it is too large
Load Diff
|
@ -1,35 +0,0 @@
|
||||||
watchall
|
|
||||||
set-qdi-channel-neutral "my_fork.in" 15
|
|
||||||
set my_fork.out1.a 0
|
|
||||||
set my_fork.out1.v 0
|
|
||||||
set my_fork.out2.a 0
|
|
||||||
set my_fork.out2.v 0
|
|
||||||
cycle
|
|
||||||
system "echo 'System initialized'"
|
|
||||||
|
|
||||||
set Reset 0
|
|
||||||
cycle
|
|
||||||
system "echo 'System reset completed'"
|
|
||||||
status X
|
|
||||||
mode run
|
|
||||||
|
|
||||||
assert-qdi-channel-neutral "my_fork.out1" 15
|
|
||||||
assert-qdi-channel-neutral "my_fork.out2" 15
|
|
||||||
cycle
|
|
||||||
system "echo 'Output neutral checked'"
|
|
||||||
|
|
||||||
set-qdi-channel-valid "my_fork.in" 15 5
|
|
||||||
cycle
|
|
||||||
assert my_fork.in.v 1
|
|
||||||
assert my_fork.in.a 0
|
|
||||||
assert-qdi-channel-valid "my_fork.out1" 15 5
|
|
||||||
assert-qdi-channel-valid "my_fork.out2" 15 5
|
|
||||||
set my_fork.out1.v 1
|
|
||||||
set my_fork.out2.v 1
|
|
||||||
cycle
|
|
||||||
assert my_fork.in.a 1
|
|
||||||
set-qdi-channel-neutral "my_fork.in" 15
|
|
||||||
cycle
|
|
||||||
set my_fork.out1.a 1
|
|
||||||
set my_fork.out1.a 1
|
|
||||||
system "echo 'Finished'"
|
|
Loading…
Reference in New Issue