Compare commits
2 Commits
4a4c4eeb14
...
a53110dda4
| Author | SHA1 | Date | |
|---|---|---|---|
|
a53110dda4 | ||
|
|
2882bc0f24 |
@ -237,7 +237,7 @@ namespace tmpl {
|
|||||||
// Generates the OR-trees required to go from
|
// Generates the OR-trees required to go from
|
||||||
// N one-hot inputs to Nc dual rail binary encoding.
|
// N one-hot inputs to Nc dual rail binary encoding.
|
||||||
export template<pint Nc, N>
|
export template<pint Nc, N>
|
||||||
defproc encoder(bool? in[N]; Mx1of2<Nc> out; power supply) {
|
defproc dualrail_encoder(bool? in[N]; Mx1of2<Nc> out; power supply) {
|
||||||
{N <= 1<<Nc : "Num inputs too wide for encoding channel!"};
|
{N <= 1<<Nc : "Num inputs too wide for encoding channel!"};
|
||||||
|
|
||||||
// For each output line, need to precalculate how big of an OR tree it needs
|
// For each output line, need to precalculate how big of an OR tree it needs
|
||||||
@ -284,133 +284,133 @@ namespace tmpl {
|
|||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
template<pint N, pint M,pint address_size, pint ACK_STRENGTH>
|
// template<pint N, pint M,pint address_size, pint ACK_STRENGTH>
|
||||||
defproc encoder2D(a1of1 x[N]; a1of1 y[M] ;avMx1of2<address_size> addr; power supply; bool reset_B) {
|
// defproc encoder2D(a1of1 x[N]; a1of1 y[M] ;avMx1of2<address_size> addr; power supply; bool reset_B) {
|
||||||
// Reset buffers
|
// // Reset buffers
|
||||||
bool _reset_BX,_reset_BXX[H];
|
// bool _reset_BX,_reset_BXX[H];
|
||||||
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<2*address_size+3> reset_bufarray(.in=_reset_BX, .out=_reset_BXX,.vdd=supply.vdd,.vss=supply.vss);
|
// sigbuf<2*address_size+3> reset_bufarray(.in=_reset_BX, .out=_reset_BXX,.vdd=supply.vdd,.vss=supply.vss);
|
||||||
|
|
||||||
|
|
||||||
// Arbiters
|
// // Arbiters
|
||||||
a1of1 _out_arb_x,_out_arb_y;
|
// a1of1 _out_arb_x,_out_arb_y;
|
||||||
a1of1 _x_temp[N];
|
// a1of1 _x_temp[N];
|
||||||
(i:N:
|
// (i:N:
|
||||||
_x_temp[i].r = x[i].r;
|
// _x_temp[i].r = x[i].r;
|
||||||
)
|
// )
|
||||||
(i:M:
|
// (i:M:
|
||||||
_y_temp[i].r = y[i].r;
|
// _y_temp[i].r = y[i].r;
|
||||||
)
|
// )
|
||||||
arbtree<N> Xarb(.in = _x_temp,.out = _out_arb_X,.supply = supply);
|
// arbtree<N> Xarb(.in = _x_temp,.out = _out_arb_X,.supply = supply);
|
||||||
arbtree<M> Yarb(.in = _y_temp,.out = _out_arb_Y,.supply = supply);
|
// arbtree<M> Yarb(.in = _y_temp,.out = _out_arb_Y,.supply = supply);
|
||||||
|
|
||||||
// Sigbufs for strong ackowledge signals
|
// // Sigbufs for strong ackowledge signals
|
||||||
sigbuf_1output<ACK_STRENGTH> x_ack_arb[N];
|
// sigbuf_1output<ACK_STRENGTH> x_ack_arb[N];
|
||||||
sigbuf_1output<ACK_STRENGTH> y_ack_arb[M];
|
// sigbuf_1output<ACK_STRENGTH> y_ack_arb[M];
|
||||||
(i:N:
|
// (i:N:
|
||||||
x_ack_arb[i].in = _x_temp[i].a;
|
// x_ack_arb[i].in = _x_temp[i].a;
|
||||||
x_ack_arb[i].out[0] = x[i].a;
|
// x_ack_arb[i].out[0] = x[i].a;
|
||||||
x_ack_arb[i].supply = supply;
|
// x_ack_arb[i].supply = supply;
|
||||||
)
|
// )
|
||||||
(i:M:
|
// (i:M:
|
||||||
y_ack_arb[i].in = _y_temp[i].a;
|
// y_ack_arb[i].in = _y_temp[i].a;
|
||||||
y_ack_arb[i].out[0] = y[i].a;
|
// y_ack_arb[i].out[0] = y[i].a;
|
||||||
y_ack_arb[i].supply = supply;
|
// y_ack_arb[i].supply = supply;
|
||||||
)
|
// )
|
||||||
|
|
||||||
// This block checks that the input is valid and that the arbiter made a choice
|
// // This block checks that the input is valid and that the arbiter made a choice
|
||||||
// Then activates the ack of the arbiter
|
// // Then activates the ack of the arbiter
|
||||||
bool _x_v,_in_x_v;
|
// bool _x_v,_in_x_v;
|
||||||
A_2C2P_RB_X1 Y_ack_confirm();
|
// A_2C2P_RB_X1 Y_ack_confirm();
|
||||||
Y_ack_confirm.p1 = _x_v;
|
// Y_ack_confirm.p1 = _x_v;
|
||||||
Y_ack_confirm.p2 =_in_x_v;
|
// Y_ack_confirm.p2 =_in_x_v;
|
||||||
Y_ack_confirm.c1 = _out_arb_Y.r;
|
// Y_ack_confirm.c1 = _out_arb_Y.r;
|
||||||
Y_ack_confirm.c2 = _x_a_B;
|
// Y_ack_confirm.c2 = _x_a_B;
|
||||||
Y_ack_confirm.y = _out_arb_Y.a;
|
// Y_ack_confirm.y = _out_arb_Y.a;
|
||||||
Y_ack_confirm.vdd = supply.vdd;
|
// Y_ack_confirm.vdd = supply.vdd;
|
||||||
Y_ack_confirm.vss = supply.vss;
|
// Y_ack_confirm.vss = supply.vss;
|
||||||
Y_ack_confirm.reset_B = _reset_BXX[0];
|
// Y_ack_confirm.reset_B = _reset_BXX[0];
|
||||||
|
|
||||||
// This block checks that the input is valid and that the arbiter made a choice
|
// // This block checks that the input is valid and that the arbiter made a choice
|
||||||
// Then activates the ack of the arbiter
|
// // Then activates the ack of the arbiter
|
||||||
A_2C_RB X_ack_confirm();
|
// A_2C_RB X_ack_confirm();
|
||||||
X_ack_confirm.c1 = _out_arb_X.r;
|
// X_ack_confirm.c1 = _out_arb_X.r;
|
||||||
X_ack_confirm.c2 = _x_a_B;
|
// X_ack_confirm.c2 = _x_a_B;
|
||||||
X_ack_confirm.vdd = supply.vdd;
|
// X_ack_confirm.vdd = supply.vdd;
|
||||||
X_ack_confirm.vss = supply.vss;
|
// X_ack_confirm.vss = supply.vss;
|
||||||
X_ack_confirm.reset_B = _reset_BXX[1];
|
// X_ack_confirm.reset_B = _reset_BXX[1];
|
||||||
|
|
||||||
//X_REQ validation
|
// //X_REQ validation
|
||||||
bool _x_req_array[N],_x_v,_x_v_B;
|
// bool _x_req_array[N],_x_v,_x_v_B;
|
||||||
(i:N:_x_req_array[i] = x[i].r;)
|
// (i:N:_x_req_array[i] = x[i].r;)
|
||||||
ortree x_req_ortree(.in = _x_req_array,.out = _x_v,.supply = supply);
|
// ortree x_req_ortree(.in = _x_req_array,.out = _x_v,.supply = supply);
|
||||||
INV_X1 not_x_req_ortree(.in = _x_v,.out = _x_v_B);
|
// INV_X1 not_x_req_ortree(.in = _x_v,.out = _x_v_B);
|
||||||
|
|
||||||
//
|
// //
|
||||||
A_2P3P1C2N_RB_X4 x_ack();
|
// A_2P3P1C2N_RB_X4 x_ack();
|
||||||
//branch1
|
// //branch1
|
||||||
x_ack.p1 = _in_x_v;
|
// x_ack.p1 = _in_x_v;
|
||||||
x_ack.p2 = _x_v_B;
|
// x_ack.p2 = _x_v_B;
|
||||||
//branch2
|
// //branch2
|
||||||
x_ack.p3 = _in_x_v;
|
// x_ack.p3 = _in_x_v;
|
||||||
x_ack.p4 = _in_y_v;
|
// x_ack.p4 = _in_y_v;
|
||||||
x_ack.p5 = _x_v;
|
// x_ack.p5 = _x_v;
|
||||||
//
|
// //
|
||||||
x_ack.c1 = _en
|
// x_ack.c1 = _en
|
||||||
x_ack.n1 = addr.v
|
// x_ack.n1 = addr.v
|
||||||
x_ack.n2 = _in_x_v;
|
// x_ack.n2 = _in_x_v;
|
||||||
//
|
// //
|
||||||
x_ack.y = _x_a;
|
// x_ack.y = _x_a;
|
||||||
//
|
// //
|
||||||
x_ack.vdd = supply.vdd;
|
// x_ack.vdd = supply.vdd;
|
||||||
x_ack.vss = supply.vss;
|
// x_ack.vss = supply.vss;
|
||||||
x_ack.reset_B = _reset_BXX[2];
|
// x_ack.reset_B = _reset_BXX[2];
|
||||||
|
|
||||||
INV_X1 not_x_ack(.in = _x_a,.out = _x_a_B);
|
// INV_X1 not_x_ack(.in = _x_a,.out = _x_a_B);
|
||||||
|
|
||||||
A_1C2P enabling(.p1 = addr.a, .p2 = addr.v, .c1 = _x_a, .y = _en, .vdd = supply.vdd, .vss = supply.vss)
|
// A_1C2P enabling(.p1 = addr.a, .p2 = addr.v, .c1 = _x_a, .y = _en, .vdd = supply.vdd, .vss = supply.vss)
|
||||||
|
|
||||||
avMx1of2<N> _in_x;
|
// avMx1of2<N> _in_x;
|
||||||
dualrail<N> _in;
|
// dualrail<N> _in;
|
||||||
_in_x.d = _in.d;
|
// _in_x.d = _in.d;
|
||||||
_in_x.v = _in_x_v;
|
// _in_x.v = _in_x_v;
|
||||||
|
|
||||||
//buffer_func_s
|
// //buffer_func_s
|
||||||
A_2C2N_RB buffer_func_s_f[address_size];
|
// A_2C2N_RB buffer_func_s_f[address_size];
|
||||||
A_2C2N_RB buffer_func_s_t[address_size];
|
// A_2C2N_RB buffer_func_s_t[address_size];
|
||||||
sigbuf<address_size> en_buf_t(.in=_en, .out=_en_X_t, .supply=supply);
|
// sigbuf<address_size> en_buf_t(.in=_en, .out=_en_X_t, .supply=supply);
|
||||||
sigbuf<address_size> en_buf_f(.in=_en, .out=_en_X_f, .supply=supply);
|
// sigbuf<address_size> en_buf_f(.in=_en, .out=_en_X_f, .supply=supply);
|
||||||
INV_X1 out_a_inv(.a=addr.a,.y=_out_a_B);
|
// INV_X1 out_a_inv(.a=addr.a,.y=_out_a_B);
|
||||||
sigbuf<address_size> out_a_B_buf_f(.in=_out_a_B,.out=_out_a_BX_t, .supply=supply);
|
// sigbuf<address_size> out_a_B_buf_f(.in=_out_a_B,.out=_out_a_BX_t, .supply=supply);
|
||||||
sigbuf<address_size> out_a_B_buf_t(.in=_out_a_B,.out=_out_a_BX_f, .supply=supply);
|
// sigbuf<address_size> out_a_B_buf_t(.in=_out_a_B,.out=_out_a_BX_f, .supply=supply);
|
||||||
|
|
||||||
(i:address_size:
|
// (i:address_size:
|
||||||
buffer_func_s_f[i].c1 = _en_X_f[i];
|
// buffer_func_s_f[i].c1 = _en_X_f[i];
|
||||||
buffer_func_s_f[i].c2 = _out_a_BX_f[i];
|
// buffer_func_s_f[i].c2 = _out_a_BX_f[i];
|
||||||
buffer_func_s_f[i].n1 = _in_x.d.d[i].f;
|
// buffer_func_s_f[i].n1 = _in_x.d.d[i].f;
|
||||||
buffer_func_s_f[i].n1 = _in_x.v;
|
// buffer_func_s_f[i].n1 = _in_x.v;
|
||||||
buffer_func_s_f[i].vdd=supply.vdd;
|
// buffer_func_s_f[i].vdd=supply.vdd;
|
||||||
buffer_func_s_f[i].vss=supply.vss;
|
// buffer_func_s_f[i].vss=supply.vss;
|
||||||
buffer_func_s_f[i].pr_B = _reset_BXX[i+3];
|
// buffer_func_s_f[i].pr_B = _reset_BXX[i+3];
|
||||||
buffer_func_s_f[i].sr_B = _reset_BXX[i+3];
|
// buffer_func_s_f[i].sr_B = _reset_BXX[i+3];
|
||||||
buffer_func_s_f[i].y = addr.d.d[i].f;
|
// buffer_func_s_f[i].y = addr.d.d[i].f;
|
||||||
|
|
||||||
buffer_func_s_t[i].c1 = _en_X_r[i];
|
// buffer_func_s_t[i].c1 = _en_X_r[i];
|
||||||
buffer_func_s_t[i].c2 = _out_a_BX_t[i];
|
// buffer_func_s_t[i].c2 = _out_a_BX_t[i];
|
||||||
buffer_func_s_t[i].n1 = _in_x.d.d[i].r;
|
// buffer_func_s_t[i].n1 = _in_x.d.d[i].r;
|
||||||
buffer_func_s_t[i].n1 = _in_x.v;
|
// buffer_func_s_t[i].n1 = _in_x.v;
|
||||||
buffer_func_s_t[i].vdd=supply.vdd;
|
// buffer_func_s_t[i].vdd=supply.vdd;
|
||||||
buffer_func_s_t[i].vss=supply.vss;
|
// buffer_func_s_t[i].vss=supply.vss;
|
||||||
buffer_func_s_t[i].pr_B = _reset_BXX[i+3+address_size];
|
// buffer_func_s_t[i].pr_B = _reset_BXX[i+3+address_size];
|
||||||
buffer_func_s_t[i].sr_B = _reset_BXX[i+3+address_size];
|
// buffer_func_s_t[i].sr_B = _reset_BXX[i+3+address_size];
|
||||||
buffer_func_s_t[i].y = addr.d.d[i].t;
|
// buffer_func_s_t[i].y = addr.d.d[i].t;
|
||||||
)
|
// )
|
||||||
bool _addr_v
|
// bool _addr_v
|
||||||
vtree addr_validity(.in = addr,.out = _addr_v);
|
// vtree addr_validity(.in = addr,.out = _addr_v);
|
||||||
sigbuf_1output<4> addr_validity_x(.in = _addr_v,.out = addr.v);
|
// sigbuf_1output<4> addr_validity_x(.in = _addr_v,.out = addr.v);
|
||||||
addr_validity.supply = supply;
|
// addr_validity.supply = supply;
|
||||||
addr_validity_x.supply = supply;
|
// addr_validity_x.supply = supply;
|
||||||
}
|
// }
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
|||||||
130
test/unit_tests/encoder_7/run/prsim.out
Normal file
130
test/unit_tests/encoder_7/run/prsim.out
Normal file
@ -0,0 +1,130 @@
|
|||||||
|
e.out.d[1].t e.in[6] e.in[1] e.e.ors_f[2].or2s[1]._y e.in[2] e.e.ors_t[2].tmp[4] e.e.ors_f[1].tmp[5] e.e.ors_t[1].or2s[1]._y e.in[4] e.in[5] e.e.ors_f[0].tmp[4] e.in[3] e.e.ors_f[2].tmp[4] e.e.ors_f[1].tmp[4] e.e.ors_t[0].tmp[4] e.e.ors_t[2].or2s[1]._y e.e.ors_t[2].or2s[2]._y e.out.d[1].f e.out.d[2].f e.out.d[2].t e.e.ors_t[1].or2s[0]._y e.e.ors_t[1].tmp[4] e.in[0] e.out.d[0].t e.e.ors_t[0].tmp[5] e.e.ors_t[1].tmp[5] e.e.ors_f[0].tmp[5] e.e.ors_t[2].tmp[5] e.e.ors_f[2].or2s[2]._y e.e.ors_f[1].or2s[0]._y e.e.ors_t[0].or2s[2]._y e.out.d[0].f e.e.ors_f[2].or2s[0]._y e.e.ors_f[0].or2s[0]._y e.e.ors_t[2].or2s[0]._y e.e.ors_f[2].tmp[5] e.e.ors_t[0].or2s[0]._y e.e.ors_f[1].or2s[2]._y e.e.ors_f[0].or2s[2]._y e.e.ors_t[1].or2s[2]._y e.e.ors_f[1].or2s[1]._y e.e.ors_f[0].or2s[1]._y e.e.ors_t[0].or2s[1]._y
|
||||||
|
0
|
||||||
|
0 e.in[0] : 0
|
||||||
|
0 e.in[6] : 0
|
||||||
|
0 e.in[5] : 0
|
||||||
|
0 e.in[2] : 0
|
||||||
|
0 e.in[1] : 0
|
||||||
|
0 e.in[4] : 0
|
||||||
|
0 e.in[3] : 0
|
||||||
|
1 e.e.ors_t[2].or2s[1]._y : 1 [by e.in[6]:=0]
|
||||||
|
2 e.e.ors_f[0].or2s[0]._y : 1 [by e.in[2]:=0]
|
||||||
|
14 e.e.ors_t[2].tmp[5] : 0 [by e.e.ors_t[2].or2s[1]._y:=1]
|
||||||
|
15 e.e.ors_t[1].or2s[0]._y : 1 [by e.in[3]:=0]
|
||||||
|
39 e.e.ors_f[2].or2s[1]._y : 1 [by e.in[3]:=0]
|
||||||
|
42 e.e.ors_f[0].tmp[4] : 0 [by e.e.ors_f[0].or2s[0]._y:=1]
|
||||||
|
59 e.e.ors_f[2].tmp[5] : 0 [by e.e.ors_f[2].or2s[1]._y:=1]
|
||||||
|
114 e.e.ors_t[2].or2s[0]._y : 1 [by e.in[4]:=0]
|
||||||
|
430 e.e.ors_t[1].tmp[4] : 0 [by e.e.ors_t[1].or2s[0]._y:=1]
|
||||||
|
491 e.e.ors_t[0].or2s[0]._y : 1 [by e.in[3]:=0]
|
||||||
|
538 e.e.ors_t[0].tmp[4] : 0 [by e.e.ors_t[0].or2s[0]._y:=1]
|
||||||
|
1137 e.e.ors_f[1].or2s[0]._y : 1 [by e.in[1]:=0]
|
||||||
|
1153 e.e.ors_f[1].tmp[4] : 0 [by e.e.ors_f[1].or2s[0]._y:=1]
|
||||||
|
1726 e.e.ors_f[0].or2s[1]._y : 1 [by e.in[4]:=0]
|
||||||
|
4753 e.e.ors_f[2].or2s[0]._y : 1 [by e.in[1]:=0]
|
||||||
|
6175 e.e.ors_t[2].tmp[4] : 0 [by e.e.ors_t[2].or2s[0]._y:=1]
|
||||||
|
6179 e.e.ors_t[2].or2s[2]._y : 1 [by e.e.ors_t[2].tmp[4]:=0]
|
||||||
|
7092 e.e.ors_t[1].or2s[1]._y : 1 [by e.in[6]:=0]
|
||||||
|
7107 e.e.ors_t[1].tmp[5] : 0 [by e.e.ors_t[1].or2s[1]._y:=1]
|
||||||
|
10467 e.e.ors_t[0].or2s[1]._y : 1 [by e.in[5]:=0]
|
||||||
|
15308 e.out.d[2].t : 0 [by e.e.ors_t[2].or2s[2]._y:=1]
|
||||||
|
18477 e.e.ors_f[2].tmp[4] : 0 [by e.e.ors_f[2].or2s[0]._y:=1]
|
||||||
|
18532 e.e.ors_f[2].or2s[2]._y : 1 [by e.e.ors_f[2].tmp[4]:=0]
|
||||||
|
45824 e.e.ors_f[0].tmp[5] : 0 [by e.e.ors_f[0].or2s[1]._y:=1]
|
||||||
|
47398 e.e.ors_t[0].tmp[5] : 0 [by e.e.ors_t[0].or2s[1]._y:=1]
|
||||||
|
50355 e.e.ors_t[1].or2s[2]._y : 1 [by e.e.ors_t[1].tmp[5]:=0]
|
||||||
|
61247 e.e.ors_t[0].or2s[2]._y : 1 [by e.e.ors_t[0].tmp[5]:=0]
|
||||||
|
65366 e.e.ors_f[1].or2s[1]._y : 1 [by e.in[4]:=0]
|
||||||
|
65788 e.e.ors_f[1].tmp[5] : 0 [by e.e.ors_f[1].or2s[1]._y:=1]
|
||||||
|
70185 e.out.d[2].f : 0 [by e.e.ors_f[2].or2s[2]._y:=1]
|
||||||
|
75167 e.out.d[1].t : 0 [by e.e.ors_t[1].or2s[2]._y:=1]
|
||||||
|
75590 e.out.d[0].t : 0 [by e.e.ors_t[0].or2s[2]._y:=1]
|
||||||
|
75604 e.e.ors_f[0].or2s[2]._y : 1 [by e.e.ors_f[0].tmp[5]:=0]
|
||||||
|
75605 e.out.d[0].f : 0 [by e.e.ors_f[0].or2s[2]._y:=1]
|
||||||
|
114502 e.e.ors_f[1].or2s[2]._y : 1 [by e.e.ors_f[1].tmp[5]:=0]
|
||||||
|
114503 e.out.d[1].f : 0 [by e.e.ors_f[1].or2s[2]._y:=1]
|
||||||
|
[] setting input 0 high
|
||||||
|
114503 Reset : 0
|
||||||
|
114503 e.in[0] : 1
|
||||||
|
114785 e.e.ors_f[1].or2s[0]._y : 0 [by e.in[0]:=1]
|
||||||
|
114788 e.e.ors_f[1].tmp[4] : 1 [by e.e.ors_f[1].or2s[0]._y:=0]
|
||||||
|
115271 e.e.ors_f[0].or2s[0]._y : 0 [by e.in[0]:=1]
|
||||||
|
115822 e.e.ors_f[0].tmp[4] : 1 [by e.e.ors_f[0].or2s[0]._y:=0]
|
||||||
|
116893 e.e.ors_f[0].or2s[2]._y : 0 [by e.e.ors_f[0].tmp[4]:=1]
|
||||||
|
117847 e.out.d[0].f : 1 [by e.e.ors_f[0].or2s[2]._y:=0]
|
||||||
|
134708 e.e.ors_f[2].or2s[0]._y : 0 [by e.in[0]:=1]
|
||||||
|
135789 e.e.ors_f[2].tmp[4] : 1 [by e.e.ors_f[2].or2s[0]._y:=0]
|
||||||
|
137229 e.e.ors_f[1].or2s[2]._y : 0 [by e.e.ors_f[1].tmp[4]:=1]
|
||||||
|
138211 e.out.d[1].f : 1 [by e.e.ors_f[1].or2s[2]._y:=0]
|
||||||
|
190259 e.e.ors_f[2].or2s[2]._y : 0 [by e.e.ors_f[2].tmp[4]:=1]
|
||||||
|
190277 e.out.d[2].f : 1 [by e.e.ors_f[2].or2s[2]._y:=0]
|
||||||
|
[] removing inputs
|
||||||
|
190277 e.in[0] : 0
|
||||||
|
194280 e.e.ors_f[1].or2s[0]._y : 1 [by e.in[0]:=0]
|
||||||
|
194290 e.e.ors_f[2].or2s[0]._y : 1 [by e.in[0]:=0]
|
||||||
|
199050 e.e.ors_f[2].tmp[4] : 0 [by e.e.ors_f[2].or2s[0]._y:=1]
|
||||||
|
199552 e.e.ors_f[2].or2s[2]._y : 1 [by e.e.ors_f[2].tmp[4]:=0]
|
||||||
|
199755 e.out.d[2].f : 0 [by e.e.ors_f[2].or2s[2]._y:=1]
|
||||||
|
215864 e.e.ors_f[1].tmp[4] : 0 [by e.e.ors_f[1].or2s[0]._y:=1]
|
||||||
|
217718 e.e.ors_f[1].or2s[2]._y : 1 [by e.e.ors_f[1].tmp[4]:=0]
|
||||||
|
217857 e.out.d[1].f : 0 [by e.e.ors_f[1].or2s[2]._y:=1]
|
||||||
|
235178 e.e.ors_f[0].or2s[0]._y : 1 [by e.in[0]:=0]
|
||||||
|
271524 e.e.ors_f[0].tmp[4] : 0 [by e.e.ors_f[0].or2s[0]._y:=1]
|
||||||
|
271593 e.e.ors_f[0].or2s[2]._y : 1 [by e.e.ors_f[0].tmp[4]:=0]
|
||||||
|
271604 e.out.d[0].f : 0 [by e.e.ors_f[0].or2s[2]._y:=1]
|
||||||
|
[] setting input 4 high
|
||||||
|
271604 e.in[4] : 1
|
||||||
|
271619 e.e.ors_f[0].or2s[1]._y : 0 [by e.in[4]:=1]
|
||||||
|
271620 e.e.ors_f[0].tmp[5] : 1 [by e.e.ors_f[0].or2s[1]._y:=0]
|
||||||
|
271657 e.e.ors_f[0].or2s[2]._y : 0 [by e.e.ors_f[0].tmp[5]:=1]
|
||||||
|
271808 e.e.ors_f[1].or2s[1]._y : 0 [by e.in[4]:=1]
|
||||||
|
271920 e.e.ors_f[1].tmp[5] : 1 [by e.e.ors_f[1].or2s[1]._y:=0]
|
||||||
|
272396 e.out.d[0].f : 1 [by e.e.ors_f[0].or2s[2]._y:=0]
|
||||||
|
319432 e.e.ors_f[1].or2s[2]._y : 0 [by e.e.ors_f[1].tmp[5]:=1]
|
||||||
|
319472 e.out.d[1].f : 1 [by e.e.ors_f[1].or2s[2]._y:=0]
|
||||||
|
323390 e.e.ors_t[2].or2s[0]._y : 0 [by e.in[4]:=1]
|
||||||
|
323647 e.e.ors_t[2].tmp[4] : 1 [by e.e.ors_t[2].or2s[0]._y:=0]
|
||||||
|
323734 e.e.ors_t[2].or2s[2]._y : 0 [by e.e.ors_t[2].tmp[4]:=1]
|
||||||
|
324028 e.out.d[2].t : 1 [by e.e.ors_t[2].or2s[2]._y:=0]
|
||||||
|
[] removing inputs
|
||||||
|
324028 e.in[4] : 0
|
||||||
|
324029 e.e.ors_t[2].or2s[0]._y : 1 [by e.in[4]:=0]
|
||||||
|
325238 e.e.ors_t[2].tmp[4] : 0 [by e.e.ors_t[2].or2s[0]._y:=1]
|
||||||
|
325828 e.e.ors_t[2].or2s[2]._y : 1 [by e.e.ors_t[2].tmp[4]:=0]
|
||||||
|
325834 e.e.ors_f[1].or2s[1]._y : 1 [by e.in[4]:=0]
|
||||||
|
326006 e.out.d[2].t : 0 [by e.e.ors_t[2].or2s[2]._y:=1]
|
||||||
|
326035 e.e.ors_f[0].or2s[1]._y : 1 [by e.in[4]:=0]
|
||||||
|
326199 e.e.ors_f[0].tmp[5] : 0 [by e.e.ors_f[0].or2s[1]._y:=1]
|
||||||
|
326637 e.e.ors_f[1].tmp[5] : 0 [by e.e.ors_f[1].or2s[1]._y:=1]
|
||||||
|
326659 e.e.ors_f[1].or2s[2]._y : 1 [by e.e.ors_f[1].tmp[5]:=0]
|
||||||
|
327506 e.out.d[1].f : 0 [by e.e.ors_f[1].or2s[2]._y:=1]
|
||||||
|
328394 e.e.ors_f[0].or2s[2]._y : 1 [by e.e.ors_f[0].tmp[5]:=0]
|
||||||
|
358522 e.out.d[0].f : 0 [by e.e.ors_f[0].or2s[2]._y:=1]
|
||||||
|
[] setting input 6 high
|
||||||
|
358522 e.in[6] : 1
|
||||||
|
358655 e.e.ors_t[2].or2s[1]._y : 0 [by e.in[6]:=1]
|
||||||
|
358881 e.e.ors_f[0].or2s[1]._y : 0 [by e.in[6]:=1]
|
||||||
|
359102 e.e.ors_f[0].tmp[5] : 1 [by e.e.ors_f[0].or2s[1]._y:=0]
|
||||||
|
359109 e.e.ors_f[0].or2s[2]._y : 0 [by e.e.ors_f[0].tmp[5]:=1]
|
||||||
|
359139 e.out.d[0].f : 1 [by e.e.ors_f[0].or2s[2]._y:=0]
|
||||||
|
372771 e.e.ors_t[2].tmp[5] : 1 [by e.e.ors_t[2].or2s[1]._y:=0]
|
||||||
|
374184 e.e.ors_t[1].or2s[1]._y : 0 [by e.in[6]:=1]
|
||||||
|
379484 e.e.ors_t[2].or2s[2]._y : 0 [by e.e.ors_t[2].tmp[5]:=1]
|
||||||
|
379575 e.out.d[2].t : 1 [by e.e.ors_t[2].or2s[2]._y:=0]
|
||||||
|
431645 e.e.ors_t[1].tmp[5] : 1 [by e.e.ors_t[1].or2s[1]._y:=0]
|
||||||
|
433834 e.e.ors_t[1].or2s[2]._y : 0 [by e.e.ors_t[1].tmp[5]:=1]
|
||||||
|
433841 e.out.d[1].t : 1 [by e.e.ors_t[1].or2s[2]._y:=0]
|
||||||
|
[] removing inputs
|
||||||
|
433841 e.in[6] : 0
|
||||||
|
433919 e.e.ors_f[0].or2s[1]._y : 1 [by e.in[6]:=0]
|
||||||
|
433947 e.e.ors_t[1].or2s[1]._y : 1 [by e.in[6]:=0]
|
||||||
|
434194 e.e.ors_f[0].tmp[5] : 0 [by e.e.ors_f[0].or2s[1]._y:=1]
|
||||||
|
434649 e.e.ors_f[0].or2s[2]._y : 1 [by e.e.ors_f[0].tmp[5]:=0]
|
||||||
|
434661 e.out.d[0].f : 0 [by e.e.ors_f[0].or2s[2]._y:=1]
|
||||||
|
436628 e.e.ors_t[2].or2s[1]._y : 1 [by e.in[6]:=0]
|
||||||
|
437032 e.e.ors_t[2].tmp[5] : 0 [by e.e.ors_t[2].or2s[1]._y:=1]
|
||||||
|
437044 e.e.ors_t[2].or2s[2]._y : 1 [by e.e.ors_t[2].tmp[5]:=0]
|
||||||
|
442960 e.out.d[2].t : 0 [by e.e.ors_t[2].or2s[2]._y:=1]
|
||||||
|
452943 e.e.ors_t[1].tmp[5] : 0 [by e.e.ors_t[1].or2s[1]._y:=1]
|
||||||
|
457219 e.e.ors_t[1].or2s[2]._y : 1 [by e.e.ors_t[1].tmp[5]:=0]
|
||||||
|
460118 e.out.d[1].t : 0 [by e.e.ors_t[1].or2s[2]._y:=1]
|
||||||
298
test/unit_tests/encoder_7/run/test.prs
Normal file
298
test/unit_tests/encoder_7/run/test.prs
Normal file
@ -0,0 +1,298 @@
|
|||||||
|
= "GND" "GND"
|
||||||
|
= "Vdd" "Vdd"
|
||||||
|
= "Reset" "Reset"
|
||||||
|
= "e.e.tielo.y" "e.e.tielo.vss"
|
||||||
|
"e.e.ors_t[0].or2s[0].a"|"e.e.ors_t[0].or2s[0].b"->"e.e.ors_t[0].or2s[0]._y"-
|
||||||
|
~("e.e.ors_t[0].or2s[0].a"|"e.e.ors_t[0].or2s[0].b")->"e.e.ors_t[0].or2s[0]._y"+
|
||||||
|
"e.e.ors_t[0].or2s[0]._y"->"e.e.ors_t[0].or2s[0].y"-
|
||||||
|
~("e.e.ors_t[0].or2s[0]._y")->"e.e.ors_t[0].or2s[0].y"+
|
||||||
|
"e.e.ors_t[0].or2s[1].a"|"e.e.ors_t[0].or2s[1].b"->"e.e.ors_t[0].or2s[1]._y"-
|
||||||
|
~("e.e.ors_t[0].or2s[1].a"|"e.e.ors_t[0].or2s[1].b")->"e.e.ors_t[0].or2s[1]._y"+
|
||||||
|
"e.e.ors_t[0].or2s[1]._y"->"e.e.ors_t[0].or2s[1].y"-
|
||||||
|
~("e.e.ors_t[0].or2s[1]._y")->"e.e.ors_t[0].or2s[1].y"+
|
||||||
|
"e.e.ors_t[0].or2s[2].a"|"e.e.ors_t[0].or2s[2].b"->"e.e.ors_t[0].or2s[2]._y"-
|
||||||
|
~("e.e.ors_t[0].or2s[2].a"|"e.e.ors_t[0].or2s[2].b")->"e.e.ors_t[0].or2s[2]._y"+
|
||||||
|
"e.e.ors_t[0].or2s[2]._y"->"e.e.ors_t[0].or2s[2].y"-
|
||||||
|
~("e.e.ors_t[0].or2s[2]._y")->"e.e.ors_t[0].or2s[2].y"+
|
||||||
|
= "e.e.ors_t[0].tmp[4]" "e.e.ors_t[0].or2s[2].a"
|
||||||
|
= "e.e.ors_t[0].tmp[4]" "e.e.ors_t[0].or2s[0].y"
|
||||||
|
= "e.e.ors_t[0].tmp[5]" "e.e.ors_t[0].or2s[2].b"
|
||||||
|
= "e.e.ors_t[0].tmp[5]" "e.e.ors_t[0].or2s[1].y"
|
||||||
|
= "e.e.ors_t[0].supply.vdd" "e.e.ors_t[0].or2s[2].vdd"
|
||||||
|
= "e.e.ors_t[0].supply.vdd" "e.e.ors_t[0].or2s[1].vdd"
|
||||||
|
= "e.e.ors_t[0].supply.vdd" "e.e.ors_t[0].or2s[0].vdd"
|
||||||
|
= "e.e.ors_t[0].supply.vss" "e.e.ors_t[0].or2s[2].vss"
|
||||||
|
= "e.e.ors_t[0].supply.vss" "e.e.ors_t[0].or2s[1].vss"
|
||||||
|
= "e.e.ors_t[0].supply.vss" "e.e.ors_t[0].or2s[0].vss"
|
||||||
|
= "e.e.ors_t[0].in[0]" "e.e.ors_t[0].or2s[0].a"
|
||||||
|
= "e.e.ors_t[0].in[0]" "e.e.ors_t[0].tmp[0]"
|
||||||
|
= "e.e.ors_t[0].in[1]" "e.e.ors_t[0].or2s[0].b"
|
||||||
|
= "e.e.ors_t[0].in[1]" "e.e.ors_t[0].tmp[1]"
|
||||||
|
= "e.e.ors_t[0].in[2]" "e.e.ors_t[0].or2s[1].a"
|
||||||
|
= "e.e.ors_t[0].in[2]" "e.e.ors_t[0].tmp[2]"
|
||||||
|
= "e.e.ors_t[0].in[3]" "e.e.ors_t[0].or2s[1].b"
|
||||||
|
= "e.e.ors_t[0].in[3]" "e.e.ors_t[0].tmp[3]"
|
||||||
|
= "e.e.ors_t[0].out" "e.e.ors_t[0].or2s[2].y"
|
||||||
|
= "e.e.ors_t[0].out" "e.e.ors_t[0].tmp[6]"
|
||||||
|
"e.e.ors_t[1].or2s[0].a"|"e.e.ors_t[1].or2s[0].b"->"e.e.ors_t[1].or2s[0]._y"-
|
||||||
|
~("e.e.ors_t[1].or2s[0].a"|"e.e.ors_t[1].or2s[0].b")->"e.e.ors_t[1].or2s[0]._y"+
|
||||||
|
"e.e.ors_t[1].or2s[0]._y"->"e.e.ors_t[1].or2s[0].y"-
|
||||||
|
~("e.e.ors_t[1].or2s[0]._y")->"e.e.ors_t[1].or2s[0].y"+
|
||||||
|
"e.e.ors_t[1].or2s[1].a"|"e.e.ors_t[1].or2s[1].b"->"e.e.ors_t[1].or2s[1]._y"-
|
||||||
|
~("e.e.ors_t[1].or2s[1].a"|"e.e.ors_t[1].or2s[1].b")->"e.e.ors_t[1].or2s[1]._y"+
|
||||||
|
"e.e.ors_t[1].or2s[1]._y"->"e.e.ors_t[1].or2s[1].y"-
|
||||||
|
~("e.e.ors_t[1].or2s[1]._y")->"e.e.ors_t[1].or2s[1].y"+
|
||||||
|
"e.e.ors_t[1].or2s[2].a"|"e.e.ors_t[1].or2s[2].b"->"e.e.ors_t[1].or2s[2]._y"-
|
||||||
|
~("e.e.ors_t[1].or2s[2].a"|"e.e.ors_t[1].or2s[2].b")->"e.e.ors_t[1].or2s[2]._y"+
|
||||||
|
"e.e.ors_t[1].or2s[2]._y"->"e.e.ors_t[1].or2s[2].y"-
|
||||||
|
~("e.e.ors_t[1].or2s[2]._y")->"e.e.ors_t[1].or2s[2].y"+
|
||||||
|
= "e.e.ors_t[1].tmp[4]" "e.e.ors_t[1].or2s[2].a"
|
||||||
|
= "e.e.ors_t[1].tmp[4]" "e.e.ors_t[1].or2s[0].y"
|
||||||
|
= "e.e.ors_t[1].tmp[5]" "e.e.ors_t[1].or2s[2].b"
|
||||||
|
= "e.e.ors_t[1].tmp[5]" "e.e.ors_t[1].or2s[1].y"
|
||||||
|
= "e.e.ors_t[1].supply.vdd" "e.e.ors_t[1].or2s[2].vdd"
|
||||||
|
= "e.e.ors_t[1].supply.vdd" "e.e.ors_t[1].or2s[1].vdd"
|
||||||
|
= "e.e.ors_t[1].supply.vdd" "e.e.ors_t[1].or2s[0].vdd"
|
||||||
|
= "e.e.ors_t[1].supply.vss" "e.e.ors_t[1].or2s[2].vss"
|
||||||
|
= "e.e.ors_t[1].supply.vss" "e.e.ors_t[1].or2s[1].vss"
|
||||||
|
= "e.e.ors_t[1].supply.vss" "e.e.ors_t[1].or2s[0].vss"
|
||||||
|
= "e.e.ors_t[1].in[0]" "e.e.ors_t[1].or2s[0].a"
|
||||||
|
= "e.e.ors_t[1].in[0]" "e.e.ors_t[1].tmp[0]"
|
||||||
|
= "e.e.ors_t[1].in[1]" "e.e.ors_t[1].or2s[0].b"
|
||||||
|
= "e.e.ors_t[1].in[1]" "e.e.ors_t[1].tmp[1]"
|
||||||
|
= "e.e.ors_t[1].in[2]" "e.e.ors_t[1].or2s[1].a"
|
||||||
|
= "e.e.ors_t[1].in[2]" "e.e.ors_t[1].tmp[2]"
|
||||||
|
= "e.e.ors_t[1].in[3]" "e.e.ors_t[1].or2s[1].b"
|
||||||
|
= "e.e.ors_t[1].in[3]" "e.e.ors_t[1].tmp[3]"
|
||||||
|
= "e.e.ors_t[1].out" "e.e.ors_t[1].or2s[2].y"
|
||||||
|
= "e.e.ors_t[1].out" "e.e.ors_t[1].tmp[6]"
|
||||||
|
"e.e.ors_t[2].or2s[0].a"|"e.e.ors_t[2].or2s[0].b"->"e.e.ors_t[2].or2s[0]._y"-
|
||||||
|
~("e.e.ors_t[2].or2s[0].a"|"e.e.ors_t[2].or2s[0].b")->"e.e.ors_t[2].or2s[0]._y"+
|
||||||
|
"e.e.ors_t[2].or2s[0]._y"->"e.e.ors_t[2].or2s[0].y"-
|
||||||
|
~("e.e.ors_t[2].or2s[0]._y")->"e.e.ors_t[2].or2s[0].y"+
|
||||||
|
"e.e.ors_t[2].or2s[1].a"|"e.e.ors_t[2].or2s[1].b"->"e.e.ors_t[2].or2s[1]._y"-
|
||||||
|
~("e.e.ors_t[2].or2s[1].a"|"e.e.ors_t[2].or2s[1].b")->"e.e.ors_t[2].or2s[1]._y"+
|
||||||
|
"e.e.ors_t[2].or2s[1]._y"->"e.e.ors_t[2].or2s[1].y"-
|
||||||
|
~("e.e.ors_t[2].or2s[1]._y")->"e.e.ors_t[2].or2s[1].y"+
|
||||||
|
"e.e.ors_t[2].or2s[2].a"|"e.e.ors_t[2].or2s[2].b"->"e.e.ors_t[2].or2s[2]._y"-
|
||||||
|
~("e.e.ors_t[2].or2s[2].a"|"e.e.ors_t[2].or2s[2].b")->"e.e.ors_t[2].or2s[2]._y"+
|
||||||
|
"e.e.ors_t[2].or2s[2]._y"->"e.e.ors_t[2].or2s[2].y"-
|
||||||
|
~("e.e.ors_t[2].or2s[2]._y")->"e.e.ors_t[2].or2s[2].y"+
|
||||||
|
= "e.e.ors_t[2].tmp[4]" "e.e.ors_t[2].or2s[2].a"
|
||||||
|
= "e.e.ors_t[2].tmp[4]" "e.e.ors_t[2].or2s[0].y"
|
||||||
|
= "e.e.ors_t[2].tmp[5]" "e.e.ors_t[2].or2s[2].b"
|
||||||
|
= "e.e.ors_t[2].tmp[5]" "e.e.ors_t[2].or2s[1].y"
|
||||||
|
= "e.e.ors_t[2].supply.vdd" "e.e.ors_t[2].or2s[2].vdd"
|
||||||
|
= "e.e.ors_t[2].supply.vdd" "e.e.ors_t[2].or2s[1].vdd"
|
||||||
|
= "e.e.ors_t[2].supply.vdd" "e.e.ors_t[2].or2s[0].vdd"
|
||||||
|
= "e.e.ors_t[2].supply.vss" "e.e.ors_t[2].or2s[2].vss"
|
||||||
|
= "e.e.ors_t[2].supply.vss" "e.e.ors_t[2].or2s[1].vss"
|
||||||
|
= "e.e.ors_t[2].supply.vss" "e.e.ors_t[2].or2s[0].vss"
|
||||||
|
= "e.e.ors_t[2].in[0]" "e.e.ors_t[2].or2s[0].a"
|
||||||
|
= "e.e.ors_t[2].in[0]" "e.e.ors_t[2].tmp[0]"
|
||||||
|
= "e.e.ors_t[2].in[1]" "e.e.ors_t[2].or2s[0].b"
|
||||||
|
= "e.e.ors_t[2].in[1]" "e.e.ors_t[2].tmp[1]"
|
||||||
|
= "e.e.ors_t[2].in[2]" "e.e.ors_t[2].or2s[1].a"
|
||||||
|
= "e.e.ors_t[2].in[2]" "e.e.ors_t[2].tmp[2]"
|
||||||
|
= "e.e.ors_t[2].in[3]" "e.e.ors_t[2].or2s[1].b"
|
||||||
|
= "e.e.ors_t[2].in[3]" "e.e.ors_t[2].tmp[3]"
|
||||||
|
= "e.e.ors_t[2].out" "e.e.ors_t[2].or2s[2].y"
|
||||||
|
= "e.e.ors_t[2].out" "e.e.ors_t[2].tmp[6]"
|
||||||
|
"e.e.ors_f[0].or2s[0].a"|"e.e.ors_f[0].or2s[0].b"->"e.e.ors_f[0].or2s[0]._y"-
|
||||||
|
~("e.e.ors_f[0].or2s[0].a"|"e.e.ors_f[0].or2s[0].b")->"e.e.ors_f[0].or2s[0]._y"+
|
||||||
|
"e.e.ors_f[0].or2s[0]._y"->"e.e.ors_f[0].or2s[0].y"-
|
||||||
|
~("e.e.ors_f[0].or2s[0]._y")->"e.e.ors_f[0].or2s[0].y"+
|
||||||
|
"e.e.ors_f[0].or2s[1].a"|"e.e.ors_f[0].or2s[1].b"->"e.e.ors_f[0].or2s[1]._y"-
|
||||||
|
~("e.e.ors_f[0].or2s[1].a"|"e.e.ors_f[0].or2s[1].b")->"e.e.ors_f[0].or2s[1]._y"+
|
||||||
|
"e.e.ors_f[0].or2s[1]._y"->"e.e.ors_f[0].or2s[1].y"-
|
||||||
|
~("e.e.ors_f[0].or2s[1]._y")->"e.e.ors_f[0].or2s[1].y"+
|
||||||
|
"e.e.ors_f[0].or2s[2].a"|"e.e.ors_f[0].or2s[2].b"->"e.e.ors_f[0].or2s[2]._y"-
|
||||||
|
~("e.e.ors_f[0].or2s[2].a"|"e.e.ors_f[0].or2s[2].b")->"e.e.ors_f[0].or2s[2]._y"+
|
||||||
|
"e.e.ors_f[0].or2s[2]._y"->"e.e.ors_f[0].or2s[2].y"-
|
||||||
|
~("e.e.ors_f[0].or2s[2]._y")->"e.e.ors_f[0].or2s[2].y"+
|
||||||
|
= "e.e.ors_f[0].tmp[4]" "e.e.ors_f[0].or2s[2].a"
|
||||||
|
= "e.e.ors_f[0].tmp[4]" "e.e.ors_f[0].or2s[0].y"
|
||||||
|
= "e.e.ors_f[0].tmp[5]" "e.e.ors_f[0].or2s[2].b"
|
||||||
|
= "e.e.ors_f[0].tmp[5]" "e.e.ors_f[0].or2s[1].y"
|
||||||
|
= "e.e.ors_f[0].supply.vdd" "e.e.ors_f[0].or2s[2].vdd"
|
||||||
|
= "e.e.ors_f[0].supply.vdd" "e.e.ors_f[0].or2s[1].vdd"
|
||||||
|
= "e.e.ors_f[0].supply.vdd" "e.e.ors_f[0].or2s[0].vdd"
|
||||||
|
= "e.e.ors_f[0].supply.vss" "e.e.ors_f[0].or2s[2].vss"
|
||||||
|
= "e.e.ors_f[0].supply.vss" "e.e.ors_f[0].or2s[1].vss"
|
||||||
|
= "e.e.ors_f[0].supply.vss" "e.e.ors_f[0].or2s[0].vss"
|
||||||
|
= "e.e.ors_f[0].in[0]" "e.e.ors_f[0].or2s[0].a"
|
||||||
|
= "e.e.ors_f[0].in[0]" "e.e.ors_f[0].tmp[0]"
|
||||||
|
= "e.e.ors_f[0].in[1]" "e.e.ors_f[0].or2s[0].b"
|
||||||
|
= "e.e.ors_f[0].in[1]" "e.e.ors_f[0].tmp[1]"
|
||||||
|
= "e.e.ors_f[0].in[2]" "e.e.ors_f[0].or2s[1].a"
|
||||||
|
= "e.e.ors_f[0].in[2]" "e.e.ors_f[0].tmp[2]"
|
||||||
|
= "e.e.ors_f[0].in[3]" "e.e.ors_f[0].or2s[1].b"
|
||||||
|
= "e.e.ors_f[0].in[3]" "e.e.ors_f[0].tmp[3]"
|
||||||
|
= "e.e.ors_f[0].out" "e.e.ors_f[0].or2s[2].y"
|
||||||
|
= "e.e.ors_f[0].out" "e.e.ors_f[0].tmp[6]"
|
||||||
|
"e.e.ors_f[1].or2s[0].a"|"e.e.ors_f[1].or2s[0].b"->"e.e.ors_f[1].or2s[0]._y"-
|
||||||
|
~("e.e.ors_f[1].or2s[0].a"|"e.e.ors_f[1].or2s[0].b")->"e.e.ors_f[1].or2s[0]._y"+
|
||||||
|
"e.e.ors_f[1].or2s[0]._y"->"e.e.ors_f[1].or2s[0].y"-
|
||||||
|
~("e.e.ors_f[1].or2s[0]._y")->"e.e.ors_f[1].or2s[0].y"+
|
||||||
|
"e.e.ors_f[1].or2s[1].a"|"e.e.ors_f[1].or2s[1].b"->"e.e.ors_f[1].or2s[1]._y"-
|
||||||
|
~("e.e.ors_f[1].or2s[1].a"|"e.e.ors_f[1].or2s[1].b")->"e.e.ors_f[1].or2s[1]._y"+
|
||||||
|
"e.e.ors_f[1].or2s[1]._y"->"e.e.ors_f[1].or2s[1].y"-
|
||||||
|
~("e.e.ors_f[1].or2s[1]._y")->"e.e.ors_f[1].or2s[1].y"+
|
||||||
|
"e.e.ors_f[1].or2s[2].a"|"e.e.ors_f[1].or2s[2].b"->"e.e.ors_f[1].or2s[2]._y"-
|
||||||
|
~("e.e.ors_f[1].or2s[2].a"|"e.e.ors_f[1].or2s[2].b")->"e.e.ors_f[1].or2s[2]._y"+
|
||||||
|
"e.e.ors_f[1].or2s[2]._y"->"e.e.ors_f[1].or2s[2].y"-
|
||||||
|
~("e.e.ors_f[1].or2s[2]._y")->"e.e.ors_f[1].or2s[2].y"+
|
||||||
|
= "e.e.ors_f[1].tmp[4]" "e.e.ors_f[1].or2s[2].a"
|
||||||
|
= "e.e.ors_f[1].tmp[4]" "e.e.ors_f[1].or2s[0].y"
|
||||||
|
= "e.e.ors_f[1].tmp[5]" "e.e.ors_f[1].or2s[2].b"
|
||||||
|
= "e.e.ors_f[1].tmp[5]" "e.e.ors_f[1].or2s[1].y"
|
||||||
|
= "e.e.ors_f[1].supply.vdd" "e.e.ors_f[1].or2s[2].vdd"
|
||||||
|
= "e.e.ors_f[1].supply.vdd" "e.e.ors_f[1].or2s[1].vdd"
|
||||||
|
= "e.e.ors_f[1].supply.vdd" "e.e.ors_f[1].or2s[0].vdd"
|
||||||
|
= "e.e.ors_f[1].supply.vss" "e.e.ors_f[1].or2s[2].vss"
|
||||||
|
= "e.e.ors_f[1].supply.vss" "e.e.ors_f[1].or2s[1].vss"
|
||||||
|
= "e.e.ors_f[1].supply.vss" "e.e.ors_f[1].or2s[0].vss"
|
||||||
|
= "e.e.ors_f[1].in[0]" "e.e.ors_f[1].or2s[0].a"
|
||||||
|
= "e.e.ors_f[1].in[0]" "e.e.ors_f[1].tmp[0]"
|
||||||
|
= "e.e.ors_f[1].in[1]" "e.e.ors_f[1].or2s[0].b"
|
||||||
|
= "e.e.ors_f[1].in[1]" "e.e.ors_f[1].tmp[1]"
|
||||||
|
= "e.e.ors_f[1].in[2]" "e.e.ors_f[1].or2s[1].a"
|
||||||
|
= "e.e.ors_f[1].in[2]" "e.e.ors_f[1].tmp[2]"
|
||||||
|
= "e.e.ors_f[1].in[3]" "e.e.ors_f[1].or2s[1].b"
|
||||||
|
= "e.e.ors_f[1].in[3]" "e.e.ors_f[1].tmp[3]"
|
||||||
|
= "e.e.ors_f[1].out" "e.e.ors_f[1].or2s[2].y"
|
||||||
|
= "e.e.ors_f[1].out" "e.e.ors_f[1].tmp[6]"
|
||||||
|
"e.e.ors_f[2].or2s[0].a"|"e.e.ors_f[2].or2s[0].b"->"e.e.ors_f[2].or2s[0]._y"-
|
||||||
|
~("e.e.ors_f[2].or2s[0].a"|"e.e.ors_f[2].or2s[0].b")->"e.e.ors_f[2].or2s[0]._y"+
|
||||||
|
"e.e.ors_f[2].or2s[0]._y"->"e.e.ors_f[2].or2s[0].y"-
|
||||||
|
~("e.e.ors_f[2].or2s[0]._y")->"e.e.ors_f[2].or2s[0].y"+
|
||||||
|
"e.e.ors_f[2].or2s[1].a"|"e.e.ors_f[2].or2s[1].b"->"e.e.ors_f[2].or2s[1]._y"-
|
||||||
|
~("e.e.ors_f[2].or2s[1].a"|"e.e.ors_f[2].or2s[1].b")->"e.e.ors_f[2].or2s[1]._y"+
|
||||||
|
"e.e.ors_f[2].or2s[1]._y"->"e.e.ors_f[2].or2s[1].y"-
|
||||||
|
~("e.e.ors_f[2].or2s[1]._y")->"e.e.ors_f[2].or2s[1].y"+
|
||||||
|
"e.e.ors_f[2].or2s[2].a"|"e.e.ors_f[2].or2s[2].b"->"e.e.ors_f[2].or2s[2]._y"-
|
||||||
|
~("e.e.ors_f[2].or2s[2].a"|"e.e.ors_f[2].or2s[2].b")->"e.e.ors_f[2].or2s[2]._y"+
|
||||||
|
"e.e.ors_f[2].or2s[2]._y"->"e.e.ors_f[2].or2s[2].y"-
|
||||||
|
~("e.e.ors_f[2].or2s[2]._y")->"e.e.ors_f[2].or2s[2].y"+
|
||||||
|
= "e.e.ors_f[2].tmp[4]" "e.e.ors_f[2].or2s[2].a"
|
||||||
|
= "e.e.ors_f[2].tmp[4]" "e.e.ors_f[2].or2s[0].y"
|
||||||
|
= "e.e.ors_f[2].tmp[5]" "e.e.ors_f[2].or2s[2].b"
|
||||||
|
= "e.e.ors_f[2].tmp[5]" "e.e.ors_f[2].or2s[1].y"
|
||||||
|
= "e.e.ors_f[2].supply.vdd" "e.e.ors_f[2].or2s[2].vdd"
|
||||||
|
= "e.e.ors_f[2].supply.vdd" "e.e.ors_f[2].or2s[1].vdd"
|
||||||
|
= "e.e.ors_f[2].supply.vdd" "e.e.ors_f[2].or2s[0].vdd"
|
||||||
|
= "e.e.ors_f[2].supply.vss" "e.e.ors_f[2].or2s[2].vss"
|
||||||
|
= "e.e.ors_f[2].supply.vss" "e.e.ors_f[2].or2s[1].vss"
|
||||||
|
= "e.e.ors_f[2].supply.vss" "e.e.ors_f[2].or2s[0].vss"
|
||||||
|
= "e.e.ors_f[2].in[0]" "e.e.ors_f[2].or2s[0].a"
|
||||||
|
= "e.e.ors_f[2].in[0]" "e.e.ors_f[2].tmp[0]"
|
||||||
|
= "e.e.ors_f[2].in[1]" "e.e.ors_f[2].or2s[0].b"
|
||||||
|
= "e.e.ors_f[2].in[1]" "e.e.ors_f[2].tmp[1]"
|
||||||
|
= "e.e.ors_f[2].in[2]" "e.e.ors_f[2].or2s[1].a"
|
||||||
|
= "e.e.ors_f[2].in[2]" "e.e.ors_f[2].tmp[2]"
|
||||||
|
= "e.e.ors_f[2].in[3]" "e.e.ors_f[2].or2s[1].b"
|
||||||
|
= "e.e.ors_f[2].in[3]" "e.e.ors_f[2].tmp[3]"
|
||||||
|
= "e.e.ors_f[2].out" "e.e.ors_f[2].or2s[2].y"
|
||||||
|
= "e.e.ors_f[2].out" "e.e.ors_f[2].tmp[6]"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_f[2].supply.vss"
|
||||||
|
= "e.e.supply.vdd" "e.e.ors_f[2].supply.vdd"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_f[1].supply.vss"
|
||||||
|
= "e.e.supply.vdd" "e.e.ors_f[1].supply.vdd"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_f[0].supply.vss"
|
||||||
|
= "e.e.supply.vdd" "e.e.ors_f[0].supply.vdd"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_t[2].supply.vss"
|
||||||
|
= "e.e.supply.vdd" "e.e.ors_t[2].supply.vdd"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_t[1].supply.vss"
|
||||||
|
= "e.e.supply.vdd" "e.e.ors_t[1].supply.vdd"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_t[0].supply.vss"
|
||||||
|
= "e.e.supply.vdd" "e.e.ors_t[0].supply.vdd"
|
||||||
|
= "e.e.supply.vdd" "e.e.tielo.vdd"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_t[2].in[3]"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_t[1].in[3]"
|
||||||
|
= "e.e.supply.vss" "e.e.ors_t[0].in[3]"
|
||||||
|
= "e.e.supply.vss" "e.e.tielo.vss"
|
||||||
|
= "e.e.supply.vss" "e.e.tielo.y"
|
||||||
|
= "e.e.in[0]" "e.e.ors_f[2].in[0]"
|
||||||
|
= "e.e.in[0]" "e.e.ors_f[1].in[0]"
|
||||||
|
= "e.e.in[0]" "e.e.ors_f[0].in[0]"
|
||||||
|
= "e.e.in[1]" "e.e.ors_f[2].in[1]"
|
||||||
|
= "e.e.in[1]" "e.e.ors_f[1].in[1]"
|
||||||
|
= "e.e.in[1]" "e.e.ors_t[0].in[0]"
|
||||||
|
= "e.e.in[2]" "e.e.ors_f[2].in[2]"
|
||||||
|
= "e.e.in[2]" "e.e.ors_t[1].in[0]"
|
||||||
|
= "e.e.in[2]" "e.e.ors_f[0].in[1]"
|
||||||
|
= "e.e.in[3]" "e.e.ors_f[2].in[3]"
|
||||||
|
= "e.e.in[3]" "e.e.ors_t[1].in[1]"
|
||||||
|
= "e.e.in[3]" "e.e.ors_t[0].in[1]"
|
||||||
|
= "e.e.in[4]" "e.e.ors_t[2].in[0]"
|
||||||
|
= "e.e.in[4]" "e.e.ors_f[1].in[2]"
|
||||||
|
= "e.e.in[4]" "e.e.ors_f[0].in[2]"
|
||||||
|
= "e.e.in[5]" "e.e.ors_t[2].in[1]"
|
||||||
|
= "e.e.in[5]" "e.e.ors_f[1].in[3]"
|
||||||
|
= "e.e.in[5]" "e.e.ors_t[0].in[2]"
|
||||||
|
= "e.e.in[6]" "e.e.ors_t[2].in[2]"
|
||||||
|
= "e.e.in[6]" "e.e.ors_t[1].in[2]"
|
||||||
|
= "e.e.in[6]" "e.e.ors_f[0].in[3]"
|
||||||
|
= "e.e.out.d[0].d[0]" "e.e.out.d[0].f"
|
||||||
|
= "e.e.out.d[0].d[1]" "e.e.out.d[0].t"
|
||||||
|
= "e.e.out.d[1].d[0]" "e.e.out.d[1].f"
|
||||||
|
= "e.e.out.d[1].d[1]" "e.e.out.d[1].t"
|
||||||
|
= "e.e.out.d[2].d[0]" "e.e.out.d[2].f"
|
||||||
|
= "e.e.out.d[2].d[1]" "e.e.out.d[2].t"
|
||||||
|
= "e.e.out.d[2].d[0]" "e.e.out.d[2].f"
|
||||||
|
= "e.e.out.d[2].d[1]" "e.e.out.d[2].t"
|
||||||
|
= "e.e.out.d[1].d[0]" "e.e.out.d[1].f"
|
||||||
|
= "e.e.out.d[1].d[1]" "e.e.out.d[1].t"
|
||||||
|
= "e.e.out.d[0].d[0]" "e.e.out.d[0].f"
|
||||||
|
= "e.e.out.d[0].d[1]" "e.e.out.d[0].t"
|
||||||
|
= "e.e.out.d[2].d[0]" "e.e.ors_f[2].out"
|
||||||
|
= "e.e.out.d[2].d[0]" "e.e.out.d[2].f"
|
||||||
|
= "e.e.out.d[2].d[1]" "e.e.ors_t[2].out"
|
||||||
|
= "e.e.out.d[2].d[1]" "e.e.out.d[2].t"
|
||||||
|
= "e.e.out.d[1].d[0]" "e.e.ors_f[1].out"
|
||||||
|
= "e.e.out.d[1].d[0]" "e.e.out.d[1].f"
|
||||||
|
= "e.e.out.d[1].d[1]" "e.e.ors_t[1].out"
|
||||||
|
= "e.e.out.d[1].d[1]" "e.e.out.d[1].t"
|
||||||
|
= "e.e.out.d[0].d[0]" "e.e.ors_f[0].out"
|
||||||
|
= "e.e.out.d[0].d[0]" "e.e.out.d[0].f"
|
||||||
|
= "e.e.out.d[0].d[1]" "e.e.ors_t[0].out"
|
||||||
|
= "e.e.out.d[0].d[1]" "e.e.out.d[0].t"
|
||||||
|
= "Vdd" "e.e.supply.vdd"
|
||||||
|
= "GND" "e.e.supply.vss"
|
||||||
|
= "e.out.d[0].d[0]" "e.out.d[0].f"
|
||||||
|
= "e.out.d[0].d[1]" "e.out.d[0].t"
|
||||||
|
= "e.out.d[1].d[0]" "e.out.d[1].f"
|
||||||
|
= "e.out.d[1].d[1]" "e.out.d[1].t"
|
||||||
|
= "e.out.d[2].d[0]" "e.out.d[2].f"
|
||||||
|
= "e.out.d[2].d[1]" "e.out.d[2].t"
|
||||||
|
= "e.out.d[2].d[0]" "e.out.d[2].f"
|
||||||
|
= "e.out.d[2].d[1]" "e.out.d[2].t"
|
||||||
|
= "e.out.d[1].d[0]" "e.out.d[1].f"
|
||||||
|
= "e.out.d[1].d[1]" "e.out.d[1].t"
|
||||||
|
= "e.out.d[0].d[0]" "e.out.d[0].f"
|
||||||
|
= "e.out.d[0].d[1]" "e.out.d[0].t"
|
||||||
|
= "e.out.d[0].f" "e.e.out.d[0].f"
|
||||||
|
= "e.out.d[0].t" "e.e.out.d[0].t"
|
||||||
|
= "e.out.d[0].d[0]" "e.e.out.d[0].d[0]"
|
||||||
|
= "e.out.d[0].d[1]" "e.e.out.d[0].d[1]"
|
||||||
|
= "e.out.d[1].f" "e.e.out.d[1].f"
|
||||||
|
= "e.out.d[1].t" "e.e.out.d[1].t"
|
||||||
|
= "e.out.d[1].d[0]" "e.e.out.d[1].d[0]"
|
||||||
|
= "e.out.d[1].d[1]" "e.e.out.d[1].d[1]"
|
||||||
|
= "e.out.d[2].f" "e.e.out.d[2].f"
|
||||||
|
= "e.out.d[2].t" "e.e.out.d[2].t"
|
||||||
|
= "e.out.d[2].d[0]" "e.e.out.d[2].d[0]"
|
||||||
|
= "e.out.d[2].d[1]" "e.e.out.d[2].d[1]"
|
||||||
|
= "e.out.d[2].d[0]" "e.out.d[2].f"
|
||||||
|
= "e.out.d[2].d[1]" "e.out.d[2].t"
|
||||||
|
= "e.out.d[1].d[0]" "e.out.d[1].f"
|
||||||
|
= "e.out.d[1].d[1]" "e.out.d[1].t"
|
||||||
|
= "e.out.d[0].d[0]" "e.out.d[0].f"
|
||||||
|
= "e.out.d[0].d[1]" "e.out.d[0].t"
|
||||||
|
= "e.in[0]" "e.e.in[0]"
|
||||||
|
= "e.in[1]" "e.e.in[1]"
|
||||||
|
= "e.in[2]" "e.e.in[2]"
|
||||||
|
= "e.in[3]" "e.e.in[3]"
|
||||||
|
= "e.in[4]" "e.e.in[4]"
|
||||||
|
= "e.in[5]" "e.e.in[5]"
|
||||||
|
= "e.in[6]" "e.e.in[6]"
|
||||||
44
test/unit_tests/encoder_7/test.act
Normal file
44
test/unit_tests/encoder_7/test.act
Normal file
@ -0,0 +1,44 @@
|
|||||||
|
/*************************************************************************
|
||||||
|
*
|
||||||
|
* 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/coders.act";
|
||||||
|
import globals;
|
||||||
|
import std::data;
|
||||||
|
|
||||||
|
open std::data;
|
||||||
|
|
||||||
|
open tmpl::dataflow_neuro;
|
||||||
|
|
||||||
|
defproc encoder_7 (bool? in[7]; Mx1of2<3> out){
|
||||||
|
dualrail_encoder<3,7> e(.in=in, .out=out);
|
||||||
|
e.supply.vss = GND;
|
||||||
|
e.supply.vdd = Vdd;
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
encoder_7 e;
|
||||||
78
test/unit_tests/encoder_7/test.prsim
Normal file
78
test/unit_tests/encoder_7/test.prsim
Normal file
@ -0,0 +1,78 @@
|
|||||||
|
watchall
|
||||||
|
|
||||||
|
system "echo '0'"
|
||||||
|
|
||||||
|
set e.in[0] 0
|
||||||
|
set e.in[1] 0
|
||||||
|
set e.in[2] 0
|
||||||
|
set e.in[3] 0
|
||||||
|
set e.in[4] 0
|
||||||
|
set e.in[5] 0
|
||||||
|
set e.in[6] 0
|
||||||
|
|
||||||
|
# set-bool-array "e.in" 7 0
|
||||||
|
|
||||||
|
cycle
|
||||||
|
mode run
|
||||||
|
|
||||||
|
# assert t.out 0
|
||||||
|
|
||||||
|
system "echo '[] setting input 0 high'"
|
||||||
|
set Reset 0
|
||||||
|
set e.in[0] 1
|
||||||
|
cycle
|
||||||
|
|
||||||
|
system "echo '[] removing inputs'"
|
||||||
|
set e.in[0] 0
|
||||||
|
cycle
|
||||||
|
|
||||||
|
system "echo '[] setting input 4 high'"
|
||||||
|
set e.in[4] 1
|
||||||
|
cycle
|
||||||
|
|
||||||
|
system "echo '[] removing inputs'"
|
||||||
|
set e.in[4] 0
|
||||||
|
cycle
|
||||||
|
|
||||||
|
system "echo '[] setting input 6 high'"
|
||||||
|
set e.in[6] 1
|
||||||
|
cycle
|
||||||
|
|
||||||
|
system "echo '[] removing inputs'"
|
||||||
|
set e.in[6] 0
|
||||||
|
cycle
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
# system "echo '[] setting input 6 high'"
|
||||||
|
# set e.in[4] 0
|
||||||
|
# set e.in[6] 1
|
||||||
|
# cycle
|
||||||
|
|
||||||
|
|
||||||
|
# assert t.out 0
|
||||||
|
|
||||||
|
# system "echo '[] setting all bits high'"
|
||||||
|
# set t.in[3] 1
|
||||||
|
# set t.in[4] 1
|
||||||
|
|
||||||
|
# cycle
|
||||||
|
# assert t.out 1
|
||||||
|
|
||||||
|
|
||||||
|
# system "echo '[] setting some low'"
|
||||||
|
# set t.in[0] 0
|
||||||
|
# set t.in[1] 0
|
||||||
|
|
||||||
|
# cycle
|
||||||
|
# assert t.out 0
|
||||||
|
|
||||||
|
|
||||||
|
# system "echo '[] setting all low'"
|
||||||
|
# set t.in[2] 0
|
||||||
|
# set t.in[3] 0
|
||||||
|
# set t.in[4] 0
|
||||||
|
|
||||||
|
# cycle
|
||||||
|
# assert t.out 0
|
||||||
|
|
||||||
Loading…
Reference in New Issue
Block a user