From ba096bf6b2d52cf840afbaaed7d113541ff0f6e6 Mon Sep 17 00:00:00 2001 From: Michele Date: Thu, 3 Mar 2022 17:52:42 +0100 Subject: [PATCH] wired up most of the stuff in encoder (missing dual rail tree) Obv not simulated yet and not sure all wires are correct. still need to repass through them --- dataflow_neuro/coders.act | 105 +++++++++++++++++++++++++++++++++++++- 1 file changed, 103 insertions(+), 2 deletions(-) diff --git a/dataflow_neuro/coders.act b/dataflow_neuro/coders.act index 409d823..8e3e67d 100644 --- a/dataflow_neuro/coders.act +++ b/dataflow_neuro/coders.act @@ -212,9 +212,15 @@ namespace tmpl { } - template - defproc encoder2D(a1of1 x[N]; a1of1 y[M] ;avMx1of2 addr; bool! out_a; power supply) + template + defproc encoder2D(a1of1 x[N]; a1of1 y[M] ;avMx1of2 addr; power supply; bool reset_B) { + // Reset buffers + bool _reset_BX,_reset_BXX[H]; + 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); + + // Arbiters a1of1 _out_arb_x,_out_arb_y; a1of1 _x_temp[N]; @@ -227,6 +233,7 @@ namespace tmpl { arbtree Xarb(.in = _x_temp,.out = _out_arb_X,.supply = supply); arbtree Yarb(.in = _y_temp,.out = _out_arb_Y,.supply = supply); + // Sigbufs for strong ackowledge signals (note that the sigbuf needs to be changed) sigbuf x_ack_arb[N]; sigbuf y_ack_arb[M]; (i:N: @@ -240,6 +247,100 @@ namespace tmpl { y_ack_arb[i].supply = supply; ) + // This block checks that the input is valid and that the arbiter made a choice + // Then activates the ack of the arbiter + bool _x_v,_in_x_v; + A_2C2P_RB_X1 Y_ack_confirm(); + Y_ack_confirm.p1 = _x_v; + Y_ack_confirm.p2 =_in_x_v; + Y_ack_confirm.c1 = _out_arb_Y.r; + Y_ack_confirm.c2 = _x_a_B; + Y_ack_confirm.y = _out_arb_Y.a; + Y_ack_confirm.vdd = supply.vdd; + Y_ack_confirm.vss = supply.vss; + Y_ack_confirm.reset_B = _reset_BXX[0]; + + // This block checks that the input is valid and that the arbiter made a choice + // Then activates the ack of the arbiter + A_2C_RB X_ack_confirm(); + X_ack_confirm.c1 = _out_arb_X.r; + X_ack_confirm.c2 = _x_a_B; + X_ack_confirm.vdd = supply.vdd; + X_ack_confirm.vss = supply.vss; + X_ack_confirm.reset_B = _reset_BXX[1]; + + //X_REQ validation + bool _x_req_array[N],_x_v,_x_v_B; + (i:N:_x_req_array[i] = x[i].r;) + 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); + + // + A_2P3P1C2N_RB_X4 x_ack(); + //branch1 + x_ack.p1 = _in_x_v; + x_ack.p2 = _x_v_B; + //branch2 + x_ack.p3 = _in_x_v; + x_ack.p4 = _in_y_v; + x_ack.p5 = _x_v; + // + x_ack.c1 = _en + x_ack.n1 = addr.v + x_ack.n2 = _in_x_v; + // + x_ack.y = _x_a; + // + x_ack.vdd = supply.vdd; + x_ack.vss = supply.vss; + x_ack.reset_B = _reset_BXX[2]; + + 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) + + avMx1of2 _in_x; + dualrail _in; + _in_x.d = _in.d; + _in_x.v = _in_x_v; + + //buffer_func_s + A_2C2N_RB buffer_func_s_f[address_size]; + A_2C2N_RB buffer_func_s_t[address_size]; + sigbuf en_buf_t(.in=_en, .out=_en_X_t, .supply=supply); + sigbuf en_buf_f(.in=_en, .out=_en_X_f, .supply=supply); + INV_X1 out_a_inv(.a=addr.a,.y=_out_a_B); + sigbuf out_a_B_buf_f(.in=_out_a_B,.out=_out_a_BX_t, .supply=supply); + sigbuf out_a_B_buf_t(.in=_out_a_B,.out=_out_a_BX_f, .supply=supply); + + (i:address_size: + 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].n1 = _in_x.d.d[i].f; + buffer_func_s_f[i].n1 = _in_x.v; + buffer_func_s_f[i].vdd=supply.vdd; + buffer_func_s_f[i].vss=supply.vss; + 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].y = addr.d.d[i].f; + + 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].n1 = _in_x.d.d[i].r; + buffer_func_s_t[i].n1 = _in_x.v; + buffer_func_s_t[i].vdd=supply.vdd; + 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].sr_B = _reset_BXX[i+3+address_size]; + buffer_func_s_t[i].y = addr.d.d[i].t; + ) + bool _addr_v + vtree addr_validity(.in = addr,.out = _addr_v); + sigbuf<4> addr_validity_x(.in = _addr_v,.out = addr.v); + addr_validity.supply = supply; + addr_validity_x.supply = supply; + + }