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

Merged with Hugh mux (mux doesn't compile

This commit is contained in:
M. Mastella 2022-02-23 19:02:56 +01:00
parent 6f53a76dbc be33d19762
commit 739aadbc4d
2 changed files with 112 additions and 72 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
dataflow_neuro/cell_lib_async.act
View File

@ -193,12 +193,12 @@ namespace tmpl {
y {-1}} y {-1}}
} }
export defcell A_2C2N_R_B_X1 (bool ! y; bool? c1, c2, n1, n2, rp_B, rs_B; bool? vdd, vss) export defcell A_2C2N_RB_X1 (bool ! y; bool? c1, c2, n1, n2, pr_B, sr_B; bool? vdd, vss)
{ {
bool _y; bool _y;
prs{ prs{
(~c1 & ~c2) | ~rp_B -> _y+ (~c1 & ~c2) | ~pr_B -> _y+
c1 & c2 & n1 & n2 & rs_B -> _y- c1 & c2 & n1 & n2 & sr_B -> _y-
_y => y- _y => y-
} }
sizing { sizing {
@ -207,12 +207,12 @@ namespace tmpl {
y {-1}; _y{-1}} y {-1}; _y{-1}}
} }
export defcell A_2C2N_R_B_X2 (bool ! y; bool? c1, c2, n1, n2, rp_B, rs_B; bool? vdd, vss) export defcell A_2C2N_RB_X2 (bool ! y; bool? c1, c2, n1, n2, pr_B, sr_B; bool? vdd, vss)
{ {
bool _y; bool _y;
prs{ prs{
(~c1 & ~c2) | ~rp_B -> _y+ (~c1 & ~c2) | ~pr_B -> _y+
c1 & c2 & n1 & n2 & rs_B -> _y- c1 & c2 & n1 & n2 & sr_B -> _y-
_y => y- _y => y-
} }
sizing { sizing {
@ -221,12 +221,12 @@ namespace tmpl {
y {-2}; _y{-1}} y {-2}; _y{-1}}
} }
export defcell A_2C2N_R_B_X4 (bool ! y; bool? c1, c2, n1, n2, rp_B, rs_B; bool? vdd, vss) export defcell A_2C2N_RB_X4 (bool ! y; bool? c1, c2, n1, n2, pr_B, sr_B; bool? vdd, vss)
{ {
bool _y; bool _y;
prs{ prs{
(~c1 & ~c2) | ~rp_B -> _y+ (~c1 & ~c2) | ~pr_B -> _y+
c1 & c2 & n1 & n2 & rs_B -> _y- c1 & c2 & n1 & n2 & sr_B -> _y-
_y => y- _y => y-
} }
sizing { sizing {
@ -236,11 +236,11 @@ namespace tmpl {
} }
export defcell A_2C2N_R_X1 (bool ! y; bool? c1, c2, n1, n2, rp_B, rs_B; bool? vdd, vss) export defcell A_2C2N_R_X1 (bool ! y; bool? c1, c2, n1, n2, pr_B, sr_B; bool? vdd, vss)
{ {
prs{ prs{
(~c1 & ~c2) | ~rp_B -> y+ (~c1 & ~c2) | ~pr_B -> y+
c1 & c2 & n1 & n2 & rs_B -> y- c1 & c2 & n1 & n2 & sr_B -> y-
} }
sizing { sizing {
leak_adjust <- 1; leak_adjust <- 1;
@ -276,6 +276,20 @@ namespace tmpl {
y {-1}; _y{-1}} y {-1}; _y{-1}}
} }
export defcell A_2C_RB_X4 (bool ! y; bool? c1, c2, pr_B, sr_B; bool? vdd, vss)
{
bool _y;
prs{
(~c1 & ~c2) | ~pr_B -> _y+
c1 & c2 & sr_B -> _y-
_y => y-
}
sizing {
leak_adjust <- 1;
p_n_mode <- 1;
y {-4}; _y{-1}}
}
export defcell A_2C_R_X1 (bool ! y; bool? c1, c2, pr_B, sr_B; bool? vdd, vss) export defcell A_2C_R_X1 (bool ! y; bool? c1, c2, pr_B, sr_B; bool? vdd, vss)
{ {
prs{ prs{

142
dataflow_neuro/primitives.act
View File

@ -104,7 +104,7 @@ namespace tmpl {
* *
*/ */
export template<pint N> export template<pint N>
defproc buffer (avMx1of2<N> in; avMx1of2<N> out; bool? reset_B, c_f, c_t; power supply) { defproc buffer (avMx1of2<N> in; avMx1of2<N> out; bool? reset_B; power supply) {
//control //control
bool _en, _reset_BX,_reset_BXX[N]; bool _en, _reset_BX,_reset_BXX[N];
A_3C_RB_X4 inack_ctl(.c1=_en,.c2=in.v,.c3=out.v,.y=in.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); A_3C_RB_X4 inack_ctl(.c1=_en,.c2=in.v,.c3=out.v,.y=in.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
@ -150,67 +150,92 @@ namespace tmpl {
) )
} }
// export template<pint N> export template<pint N>
// defproc demux (avMx1of2<N> in; avMx1of2<N> out; bool? reset_B; power supply) { defproc demux (avMx1of2<N> in; avMx1of2<N> out1; avMx1of2<N> out2; bool? reset_B, c_t, c_f; power supply) {
// //control //control
// bool _en, _reset_BX,_reset_BXX[N]; bool _en, _reset_BX,_reset_BXX[N], _out_v;
// OR2_X1 out_or(.a=out.v1, .b=out.v2,.vdd=supply.vdd,.vss=supply.vss);
// A_3C_RB_X4 inack_ctl(.c1=_en,.c2=in.v,.c3=out.v,.y=in.a,.pr_B=_reset_BXX,.sr_B=_reset_BXX,.vdd=supply.vdd,.vss=supply.vss);
// //validity OR2_X1 out_or(.a=out1.v, .b=out2.v, .y=_out_v,.vdd=supply.vdd,.vss=supply.vss);
// BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); A_3C_RB_X4 inack_ctl(.c1=_en,.c2=_in_c_v_,.c3= _out_v,.y=in.a,.pr_B=_reset_BXX,.sr_B=_reset_BXX,.vdd=supply.vdd,.vss=supply.vss);
// sigbuf<N> reset_bufarray(.in=_reset_BX, .out=_reset_BXX); A_1C1P_X1 en_ctl(.c1=in.a,.p1=_out_v,.y=_en,.vdd=supply.vdd,.vss=supply.vss);
BUF_X1 reset_buf(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
sigbuf<2*N> reset_bufarray(.in=_reset_BX, .out=_reset_BXX);
A_1C1P_X1 en_ctl(.c1=in.a,.p1=out.v,.y=_en,.vdd=supply.vdd,.vss=supply.vss);
//validity
bool _in_v, _c_f_buf, _c_t_buf, _c_v, _in_c_v_;
sigbuf<N> c_buf_t(.in=c_t, .out=_c_t_buf);
sigbuf<N> c_buf_f(.in=c_f, .out=_c_f_buf);
OR2_X1 c_f_c_t_or(.a=c_t, .b=c_f, .y=_c_v,.vdd=supply.vdd,.vss=supply.vss);
ctree<N> vc(.in=in.d,.out=_in_v,.supply=supply);
A_2C_RB_X4 c_el(.c1=_c_v, .c2=_in_v, .y=_in_c_v_,.vdd=supply.vdd,.vss=supply.vss);
BUF_X4 in_v_buf(.a=_in_v, .y=in.v,.vdd=supply.vdd,.vss=supply.vss);
// A_1C1P_X1 en_ctl(.c1=in.a,.p1=out.v,.y=_en,.vdd=supply.vdd,.vss=supply.vss); //function
//func buffer out1
// //validity bool _out1_a_BX_t[N],_out1_a_BX_f[N],_out1_a_B,_en1_X_t[N],_en1_X_f[N];
// bool _in_v, _c_f_buf, _c_t_buf, _c_v; A_2C2N_RB_X4 out1_f_buf_func[N];
// sigbuf<N> c_buf_t(.in=c_t, .out=_c_t_buf) A_2C2N_RB_X4 out1_t_buf_func[N];
// sigbuf<N> c_buf_f(.in=c_f, .out=_c_f_buf) sigbuf<N> out1_en_buf_t(.in=_en, .out=_en1_X_t, .supply=supply);
sigbuf<N> out1_en_buf_f(.in=_en, .out=_en1_X_f, .supply=supply);
// OR2_X1 c_f_c_t_or(.a=_c_t_buf, .b=_c_f_buf, out._c_v) INV_X1 out1_a_inv(.a=out1.a,.y=_out1_a_B);
// ctree<N> vc(.in=in.d,.out=_in_v,.supply=supply); sigbuf<N> out1_a_B_buf_f(.in=_out1_a_B,.out=_out1_a_BX_t);
sigbuf<N> out1_a_B_buf_t(.in=_out1_a_B,.out=_out1_a_BX_f);
(i:N:
out1_f_buf_func[i].y=out1.d.d[i].f;
out1_t_buf_func[i].y=out1.d.d[i].t;
out1_f_buf_func[i].c1=_en1_X_f[i];
// BUF_X4 in_v_buf(.a=_in_v, .y=in.v,.vdd=supply.vdd,.vss=supply.vss); out1_t_buf_func[i].c1=_en1_X_t[i];
out1_f_buf_func[i].c2=_out1_a_BX_f[i];
out1_t_buf_func[i].c2=_out1_a_BX_t[i];
// //function out1_f_buf_func[i].n1=in.d.d[i].f;
// bool _out_a_BX_t[N],_out_a_BX_f[N],_out_a_B,_en_X_t[N],_en_X_f[N]; out1_t_buf_func[i].n1=in.d.d[i].t;
// A_2C1N_RB_X4 f_buf_func[N]; out1_f_buf_func[i].vdd=supply.vdd;
// A_2C1N_RB_X4 t_buf_func[N]; out1_t_buf_func[i].vdd=supply.vdd;
// sigbuf<N> en_buf_t(.in=_en, .out=_en_X_t, .supply=supply); out1_f_buf_func[i].vss=supply.vss;
// sigbuf<N> en_buf_f(.in=_en, .out=_en_X_f, .supply=supply); out1_t_buf_func[i].vss=supply.vss;
// INV_X1 out_a_inv(.a=out.a,.y=_out_a_B); out1_t_buf_func[i].pr_B = _reset_BXX[i];
// sigbuf<N> out_a_B_buf_f(.in=_out_a_B,.out=_out_a_BX_t); out1_t_buf_func[i].sr_B = _reset_BXX[i];
// sigbuf<N> out_a_B_buf_t(.in=_out_a_B,.out=_out_a_BX_f); out1_f_buf_func[i].pr_B = _reset_BXX[i];
// // check if you can also do single var to array connect a=b[N] out1_f_buf_func[i].sr_B = _reset_BXX[i];
// // and remove them from the loop out1_f_buf_func[i].n2=_c_t_buf;
// (i:N: out1_t_buf_func[i].n2=_c_t_buf;
// f_buf_func[i].y=out.d.d[i].f; )
// t_buf_func[i].y=out.d.d[i].t; //func buffer out2
// f_buf_func[i].c1=_en_X_f[i]; bool _out2_a_BX_t[N],_out2_a_BX_f[N],_out2_a_B,_en2_X_t[N],_en2_X_f[N];
// t_buf_func[i].c1=_en_X_t[i]; A_2C2N_RB_X4 out2_f_buf_func[N];
// f_buf_func[i].c2=_out_a_BX_f[i]; A_2C2N_RB_X4 out2_t_buf_func[N];
// t_buf_func[i].c2=_out_a_BX_t[i]; sigbuf<N> out2_en_buf_t(.in=_en, .out=_en2_X_t, .supply=supply);
// f_buf_func[i].n1=in.d.d[i].f; sigbuf<N> out2_en_buf_f(.in=_en, .out=_en2_X_f, .supply=supply);
// t_buf_func[i].n1=in.d.d[i].t; INV_X1 out2_a_inv(.a=out2.a,.y=_out2_a_B);
// f_buf_func[i].vdd=supply.vdd; sigbuf<N> out2_a_B_buf_f(.in=_out2_a_B,.out=_out2_a_BX_t);
// t_buf_func[i].vdd=supply.vdd; sigbuf<N> out2_a_B_buf_t(.in=_out2_a_B,.out=_out2_a_BX_f);
// f_buf_func[i].vss=supply.vss; (i:N:
// t_buf_func[i].vss=supply.vss; out2_f_buf_func[i].y=out2.d.d[i].f;
// t_buf_func[i].pr_B = _reset_BXX[i]; out2_t_buf_func[i].y=out2.d.d[i].t;
// t_buf_func[i].sr_B = _reset_BXX[i]; out2_f_buf_func[i].c1=_en2_X_f[i];
// f_buf_func[i].pr_B = _reset_BXX[i]; out2_t_buf_func[i].c1=_en2_X_t[i];
// f_buf_func[i].sr_B = _reset_BXX[i]; out2_f_buf_func[i].c2=_out2_a_BX_f[i];
// ) out2_t_buf_func[i].c2=_out2_a_BX_t[i];
// } out2_f_buf_func[i].n1=in.d.d[i].f;
out2_t_buf_func[i].n1=in.d.d[i].t;
out2_f_buf_func[i].vdd=supply.vdd;
out2_t_buf_func[i].vdd=supply.vdd;
out2_f_buf_func[i].vss=supply.vss;
out2_t_buf_func[i].vss=supply.vss;
out2_t_buf_func[i].pr_B = _reset_BXX[i+N-1];
out2_t_buf_func[i].sr_B = _reset_BXX[i+N-1];
out2_f_buf_func[i].pr_B = _reset_BXX[i+N-1];
out2_f_buf_func[i].sr_B = _reset_BXX[i+N-1];
out2_f_buf_func[i].n2=_c_f_buf;
out2_t_buf_func[i].n2=_c_f_buf;
)
}
export template<pint N> export template<pint N>
@ -221,6 +246,7 @@ namespace tmpl {
A_4C_RB_X4 inack_ctl(.c1=_en,.c2=in.v,.c3=out1.v,.c4=out2.v,.y=in.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss); A_4C_RB_X4 inack_ctl(.c1=_en,.c2=in.v,.c3=out1.v,.c4=out2.v,.y=in.a,.pr_B=_reset_BX,.sr_B=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
A_1C2P_X1 en_ctl(.c1=in.a,.p1=out1.v,.p2=out2.v,.y=_en,.vdd=supply.vdd,.vss=supply.vss); A_1C2P_X1 en_ctl(.c1=in.a,.p1=out1.v,.p2=out2.v,.y=_en,.vdd=supply.vdd,.vss=supply.vss);
//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);
sigbuf<N*2> reset_bufarray(.in=_reset_BX, .out=_reset_BXX); sigbuf<N*2> reset_bufarray(.in=_reset_BX, .out=_reset_BXX);