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

started arbiter tree

This commit is contained in:
Michele 2022-03-02 08:22:56 +01:00
parent 6fc3e4b99c
commit b49b9d98c3
1 changed files with 101 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

101
dataflow_neuro/primitives.act
View File

@ -507,6 +507,107 @@ 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);
} }
// A tree composed by arbiters. The first layer takes N signals
export template<pint N>
defproc arbiter_tree(a1of1 in[N],a1of1 out; power supply)
{
bool tout;
{ N > 0 : "What?" };
/* We calculate here how many elements we need to create the full tree */
pint i, end, j;
i = 0;
end = N-1;
pint lenTree2Count, lenTree3Count;
pint odd_one_idx = 0;
pbool odd_one_flag = 0;
lenTree2Count = 0;
*[ i != end ->
j = 0;
*[ i < end ->
j = j + 1;
[ i+1 >= end ->
i = end;
lenTree2Count = lenTree2Count +1;
[] i >= end ->
i = end;
odd_one_idx = i;
odd_one_flag = 1;
[] else ->
i = i + 2;
lenTree2Count = lenTree2Count +1;
]
]
/*-- update range that has to be combined --*/
i = end+1;
end = end+j+odd_one_flag;
]
/* array that holds ALL the wires in the completion tree */
a1of1 wire[end+1];
// Connecting the first nodes to the input
(l:N:
wire[l] = in[l];
)
[lenTree2Count > 0 ->
arbiter_handshake arb_array[lenTree2Count];
]
(h:lenTree2Count:arb_array[h].vdd = supply.vdd;)
(h:lenTree2Count:arb_array[h].vss = supply.vss;)
/* Reset the variables before the assigmnent of the nodes to the cells */
i = 0;
end = N-1;
j = 0;
pint tree2Index = 0;
pint tree3Index = 0;
*[ i != end ->
/*
* Invariant: tmp[i..end] has the current signals that need to be
* combined together, and "isinv" specifies if they are the inverted
* sense or not
*/
j = 0;
*[ i < end ->
/*-- there are still signals that need to be combined --*/
j = j + 1;
[ i+1 >= end ->
/*-- last piece: use either a 2 input C-element --*/
C2Els[tree2Index].a = wire[i];
C2Els[tree2Index].b = wire[i+1];
C2Els[tree2Index].y = wire[end+j];
tree2Index = tree2Index +1;
i = end;
[] i+2 >= end ->
/*-- last piece: use either a 3 input C-element --*/
C3Els[tree3Index].a = tmp[i];
C3Els[tree3Index].b = tmp[i+1];
C3Els[tree3Index].c = tmp[i+2];
C3Els[tree3Index].y = tmp[end+j];
tree3Index = tree3Index +1;
i = end;
[] else ->
/*-- more to come; so use a two input C-element --*/
C2Els[tree2Index].a = tmp[i];
C2Els[tree2Index].b = tmp[i+1];
C2Els[tree2Index].y = tmp[end+j];
tree2Index = tree2Index +1;
i = i + 2;
]
]
/*-- update range that has to be combined --*/
i = end+1;
end = end+j;
j = 0;
]
out = tmp[end];
}
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) {