Compare commits
3 Commits
e27d55bff4
...
c81e77a2fa
| Author | SHA1 | Date | |
|---|---|---|---|
|
c81e77a2fa | ||
|
|
cc2487be1c | ||
|
|
1d87a86ba6 |
@ -56,6 +56,8 @@ defproc chip_texel (bd<N_IN> in, out;
|
||||
Mx1of2<REG_NCW> reg_data[REG_M];
|
||||
a1of1 synapses[N_SYN_X * N_SYN_Y];
|
||||
a1of1 neurons[N_NRN_X * N_NRN_Y];
|
||||
bool? nrn_mon_x[N_NRN_MON_X], nrn_mon_y[N_NRN_MON_Y];
|
||||
bool? syn_mon_x[N_SYN_MON_X], syn_mon_y[N_SYN_MON_Y];
|
||||
bool? bd_dly_cfg[N_BD_DLY_CFG], bd_dly_cfg2[N_BD_DLY_CFG2];
|
||||
bool? loopback_en;
|
||||
power supply;
|
||||
@ -82,18 +84,17 @@ defproc chip_texel (bd<N_IN> in, out;
|
||||
.supply = supply, .reset_B = reset_B);
|
||||
fifo<N_IN-2,N_BUFFERS> fifo_reg2mrg(.in = register.out, .reset_B = reset_B, .supply = supply);
|
||||
|
||||
// TO ADD: nrn/syn mon decoders
|
||||
|
||||
// Decoder
|
||||
// Spike Decoder
|
||||
pint NC_SYN;
|
||||
NC_SYN = NC_SYN_X + NC_SYN_Y;
|
||||
slice_data<N_IN-1, 0, NC_SYN> slice_pre_dec(.in = _demux.out1, .supply = supply);
|
||||
fifo<NC_SYN,N_BUFFERS> fifo_dmx2dec(.in = slice_pre_dec.out, .reset_B = reset_B, .supply = supply);
|
||||
decoder_2d_hybrid<NC_SYN_X, NC_SYN_Y, N_SYN_X, N_SYN_Y, N_SYN_DLY_CFG> decoder(.in = fifo_dmx2dec.out,
|
||||
.out = synapses,
|
||||
.hs_en = register.data[0].d[0].f, // Defaults to handshake disable
|
||||
.hs_en = register.data[0].d[0].t, // Defaults to handshake disable
|
||||
.supply = supply, .reset_B = reset_B);
|
||||
(i:N_SYN_DLY_CFG: decoder.dly_cfg[i] = register.data[0].d[1 + i].t;) // Defaults to max delay
|
||||
(i:N_SYN_DLY_CFG: decoder.dly_cfg[i] = register.data[0].d[1 + i].f;) // Defaults to max delay
|
||||
|
||||
// Neurons + encoder
|
||||
pint NC_NRN;
|
||||
@ -124,6 +125,42 @@ defproc chip_texel (bd<N_IN> in, out;
|
||||
qdi2bd<N_IN, N_BD_DLY_CFG> _qdi2bd(.in = fifo_mrg2bd.out, .out = out, .dly_cfg = bd_dly_cfg,
|
||||
.reset_B = reset_B, .supply = supply);
|
||||
|
||||
|
||||
|
||||
// Neuron/synapse monitor targeters
|
||||
pint NC_NRN_MON_X = std::ceil_log2(N_NRN_MON_X);
|
||||
pint NC_NRN_MON_Y = std::ceil_log2(N_NRN_MON_Y);
|
||||
pint NC_SYN_MON_X = std::ceil_log2(N_SYN_MON_X);
|
||||
pint NC_SYN_MON_Y = std::ceil_log2(N_SYN_MON_Y);
|
||||
|
||||
decoder_dualrail_en<NC_NRN_MON_X, N_NRN_MON_X, N_NRN_Y> nrn_mon_dec_x(.out = nrn_mon_x,
|
||||
.supply = supply);
|
||||
nrn_mon_dec_x.en = register.data[1].d[0].t;
|
||||
(i:NC_NRN_MON_X:
|
||||
nrn_mon_dec_x.in.d[i] = register.data[2].d[i];
|
||||
)
|
||||
|
||||
decoder_dualrail_en<NC_NRN_MON_Y, N_NRN_MON_Y, N_NRN_X> nrn_mon_dec_y(.out = nrn_mon_y,
|
||||
.supply = supply);
|
||||
nrn_mon_dec_y.en = register.data[1].d[0].t;
|
||||
(i:NC_NRN_MON_Y:
|
||||
nrn_mon_dec_y.in.d[i] = register.data[2].d[i+NC_NRN_MON_X];
|
||||
)
|
||||
|
||||
decoder_dualrail_en<NC_SYN_MON_X, N_SYN_MON_X, N_SYN_Y> syn_mon_dec_x(.out = syn_mon_x,
|
||||
.supply = supply);
|
||||
syn_mon_dec_x.en = register.data[1].d[1].t;
|
||||
(i:NC_SYN_MON_X:
|
||||
syn_mon_dec_x.in.d[i] = register.data[3].d[i];
|
||||
)
|
||||
|
||||
decoder_dualrail_en<NC_SYN_MON_Y, N_SYN_MON_Y, N_SYN_X> syn_mon_dec_y(.out = syn_mon_y,
|
||||
.supply = supply);
|
||||
syn_mon_dec_y.en = register.data[1].d[1].t;
|
||||
(i:NC_SYN_MON_Y:
|
||||
syn_mon_dec_y.in.d[i] = register.data[3].d[i+NC_SYN_MON_X];
|
||||
)
|
||||
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@ -39,220 +39,6 @@ open std::channel;
|
||||
|
||||
namespace tmpl {
|
||||
namespace dataflow_neuro {
|
||||
// Circuit for storing registers using AER
|
||||
// The block has the parameters:
|
||||
// lognw -> log2(number of words), parameters you can store
|
||||
// wl -> word length, length of each word
|
||||
// N_dly_cfg -> the number of config bits in the ACK delay line
|
||||
// The block has the pins:
|
||||
// in -> input data,
|
||||
// - the first bit is write/read_B
|
||||
// - the next lognw bits describe the location,
|
||||
// - the last wl the word to write
|
||||
// data -> the data saved in the flip flop, sized wl x nw
|
||||
export template<pint lognw,wl,N_dly_cfg>
|
||||
defproc register_w (avMx1of2<1+lognw+wl> in; d1of<wl> data[1<<lognw]; power supply; bool? reset_B,reset_mem_B,dly_cfg[N_dly_cfg]){
|
||||
bool _in_v_temp,_in_a_temp,_clock_temp,_clock,_clock_temp_inv;
|
||||
pint nw = 1<<lognw;
|
||||
//Validation of the input
|
||||
vtree<1+lognw+wl> val_input(.in = in.d,.out = _in_v_temp, .supply = supply);
|
||||
sigbuf_1output<4> val_input_X(.in = _in_v_temp,.out = in.v,.supply = supply);
|
||||
// Generation of the fake clock pulse (inverted because the ff clocks are low_active)
|
||||
delayprog<N_dly_cfg> clk_dly(.in = _in_v_temp, .out = _clock_temp,.s = dly_cfg, .supply = supply);
|
||||
INV_X1 inv_clk(.a = _clock_temp,.y = _clock_temp_inv,.vdd = supply.vdd,.vss = supply.vss);
|
||||
sigbuf_1output<4> clk_X(.in = _clock_temp,.out = _clock,.supply = supply);
|
||||
// Sending back to the ackowledge
|
||||
delayprog<N_dly_cfg> ack_dly(.in = _clock_temp_inv, .out = _in_a_temp,.s = dly_cfg, .supply = supply);
|
||||
sigbuf_1output<4> ack_input_X(.in = _in_a_temp,.out = in.a,.supply = supply);
|
||||
//Reset Buffers
|
||||
bool _reset_BX,_reset_mem_BX,_reset_mem_BXX[nw*wl];
|
||||
BUF_X1 reset_buf_BX(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
|
||||
BUF_X1 reset_buf_BXX(.a=reset_mem_B, .y=_reset_mem_BX,.vdd=supply.vdd,.vss=supply.vss);
|
||||
sigbuf<nw*wl> reset_bufarray(.in=_reset_mem_BX, .out=_reset_mem_BXX,.supply=supply);
|
||||
// Creating the different flip flop arrays
|
||||
bool _out_encoder[nw],_clock_word_temp[nw],_clock_word[nw],_clock_buffer_out[nw*wl];
|
||||
andtree<lognw> atree[nw];
|
||||
AND2_X1 and_encoder[nw];
|
||||
sigbuf<wl> clock_buffer[nw];
|
||||
DFFQ_R_X1 ff[nw*wl];
|
||||
pint bitval;
|
||||
(k:nw:atree[k].supply = supply;)
|
||||
(word_idx:nw:
|
||||
// Decoding the bit pattern to understand which word we are looking at
|
||||
(pin_idx:lognw:
|
||||
bitval = (word_idx & ( 1 << pin_idx )) >> pin_idx; // Get binary digit of integer i, column j
|
||||
[bitval = 1 ->
|
||||
atree[word_idx].in[pin_idx] = in.d.d[pin_idx+wl].t;
|
||||
[] bitval = 0 ->
|
||||
atree[word_idx].in[pin_idx] = in.d.d[pin_idx+wl].f;
|
||||
[]bitval >= 2 -> {false : "fuck"};
|
||||
]
|
||||
)
|
||||
// Activating the fake clock for the right word
|
||||
atree[word_idx].out = _out_encoder[word_idx];
|
||||
and_encoder[word_idx].a = _out_encoder[word_idx];
|
||||
and_encoder[word_idx].b = _clock;
|
||||
and_encoder[word_idx].y = _clock_word_temp[word_idx];
|
||||
and_encoder[word_idx].vdd = supply.vdd;
|
||||
and_encoder[word_idx].vss = supply.vss;
|
||||
clock_buffer[word_idx].in = _clock_word_temp[word_idx];
|
||||
clock_buffer[word_idx].supply = supply;
|
||||
// Describing all the FF and their connection
|
||||
(bit_idx:wl:
|
||||
ff[bit_idx+word_idx*(wl)].clk_B = clock_buffer[word_idx].out[bit_idx];
|
||||
ff[bit_idx+word_idx*(wl)].d = in.d.d[bit_idx].t;
|
||||
ff[bit_idx+word_idx*(wl)].q = data[word_idx].d[bit_idx];
|
||||
ff[bit_idx+word_idx*(wl)].reset_B = _reset_mem_BXX[bit_idx+word_idx*(wl)];
|
||||
ff[bit_idx+word_idx*(wl)].vdd = supply.vdd;
|
||||
ff[bit_idx+word_idx*(wl)].vss = supply.vss;
|
||||
)
|
||||
)
|
||||
}
|
||||
|
||||
// Circuit for storing and reading registers using AER
|
||||
// The block has the parameters:
|
||||
// lognw -> log2(number of words), parameters you can store
|
||||
// wl -> word length, length of each word
|
||||
// N_dly_cfg -> the number of config bits in the ACK delay line
|
||||
// The block has the pins:
|
||||
// in -> input data,
|
||||
// - the MSB is write/read_B
|
||||
// - the next MSB bits (size lognw) are the location,
|
||||
// - the LSB (size wl) are the word to write
|
||||
// out -> in case a reading phase is required, the output is used to show the stored data
|
||||
// - the MSB bits (size lognw) tell the read register
|
||||
// - the LSB bits (size wl) tell the word read
|
||||
// data -> the data saved in the flip flop, sized wl x nw
|
||||
export template<pint lognw,wl,N_dly_cfg>
|
||||
defproc register_rw (avMx1of2<1+lognw+wl> in; avMx1of2<lognw+wl> out; d1of<wl> data[1<<lognw]; power supply; bool? reset_B,reset_mem_B,dly_cfg[N_dly_cfg]){
|
||||
pint nw = 1<<lognw;
|
||||
bool _in_v_temp,_in_a_temp,_clock_temp,_clock[nw],_clock_temp_inv, _in_a_write, _in_a_read;
|
||||
//Validation of the input
|
||||
vtree<1+lognw+wl> val_input(.in = in.d,.out = _in_v_temp, .supply = supply);
|
||||
sigbuf_1output<12> val_input_X(.in = _in_v_temp,.out = in.v,.supply = supply);
|
||||
// Acknowledgment
|
||||
OR2_X1 ack_readwrite(.a = _in_a_write,.b = _in_a_read,.y = _in_a_temp,.vdd = supply.vdd,.vss = supply.vss);
|
||||
sigbuf_1output<12> ack_input_X(.in = _in_a_temp,.out = in.a,.supply = supply);
|
||||
// WRITE
|
||||
// Generation of the fake clock pulse if write is HIGH (inverted because the ff clocks are low_active)
|
||||
bool _in_v_temp_write;
|
||||
AND2_X1 clk_switch(.a = _in_v_temp,.b = in.d.d[lognw+wl].f,.y = _in_v_temp_write,.vdd = supply.vdd,.vss = supply.vss);
|
||||
delayprog<N_dly_cfg> clk_dly(.in = _in_v_temp_write, .out = _clock_temp,.s = dly_cfg, .supply = supply);
|
||||
INV_X1 inv_clk(.a = _clock_temp,.y = _clock_temp_inv,.vdd = supply.vdd,.vss = supply.vss);
|
||||
sigbuf<nw> clk_X(.in = _clock_temp_inv, .out = _clock,.supply = supply);
|
||||
sigbuf<wl> clock_buffer[nw];
|
||||
bool _clock_word_temp[nw],_clock_word[nw],_clock_buffer_out[nw*wl];
|
||||
// Sending back to the acknowledge
|
||||
bool _in_a_write_temp;
|
||||
delayprog<N_dly_cfg> ack_dly(.in = _clock_temp, .out = _in_a_write_temp,.s = dly_cfg, .supply = supply);
|
||||
AND2_X1 ack_write_and(.a = in.d.d[lognw+wl].f,.b = _in_a_write_temp,.y = _in_a_write,.vdd = supply.vdd, .vss = supply.vss);
|
||||
// READ
|
||||
//Outputing the word to read
|
||||
AND2_X1 word_to_read[nw];
|
||||
sigbuf<wl*2> word_to_read_X[nw];
|
||||
ortree<nw> bitselector_t[wl];
|
||||
ortree<nw> bitselector_f[wl];
|
||||
AND2_X1 word_selector_t[nw*wl];
|
||||
AND2_X1 word_selector_f[nw*wl];
|
||||
buffer_s<lognw+wl> output_buf(.out = out,.supply = supply, .reset_B = reset_B);
|
||||
AND2_X1 address_propagator_f[lognw],address_propagator_t[lognw];
|
||||
// Outputting the address if the read is true
|
||||
(i:lognw:
|
||||
address_propagator_t[i].a = in.d.d[lognw+wl].t;
|
||||
address_propagator_t[i].b = in.d.d[i+wl].t;
|
||||
address_propagator_t[i].y = output_buf.in.d.d[i+wl].t;
|
||||
address_propagator_t[i].vdd = supply.vdd;
|
||||
address_propagator_t[i].vss = supply.vss;
|
||||
|
||||
address_propagator_f[i].a = in.d.d[lognw+wl].t;
|
||||
address_propagator_f[i].b = in.d.d[i+wl].f;
|
||||
address_propagator_f[i].y = output_buf.in.d.d[i+wl].f;
|
||||
address_propagator_f[i].vdd = supply.vdd;
|
||||
address_propagator_f[i].vss = supply.vss;
|
||||
)
|
||||
AND2_X1 ack_read_and(.a = in.d.d[lognw+wl].t,.b = output_buf.in.a,.y = _in_a_read,.vdd = supply.vdd, .vss = supply.vss);
|
||||
//Reset Buffers
|
||||
bool _reset_BX, _reset_BXX[nw],_reset_mem_BX,_reset_mem_BXX[nw*wl];
|
||||
BUF_X1 reset_buf_BX(.a=reset_B, .y=_reset_BX,.vdd=supply.vdd,.vss=supply.vss);
|
||||
BUF_X1 reset_buf_BXX(.a=reset_mem_B, .y=_reset_mem_BX,.vdd=supply.vdd,.vss=supply.vss);
|
||||
sigbuf<nw*wl> reset_mem_bufarray(.in=_reset_mem_BX, .out=_reset_mem_BXX,.supply=supply);
|
||||
sigbuf<nw> reset_bufarray(.in=_reset_BX, .out=_reset_BXX,.supply=supply);
|
||||
|
||||
//Creating the encoder
|
||||
andtree<lognw> atree[nw];
|
||||
OR2_X1 or_encoder[nw];
|
||||
INV_X1 inv_encoder[nw];
|
||||
// Creating the different flip flop arrays
|
||||
bool _out_encoder[nw];
|
||||
DFFQ_R_X1 ff[nw*wl];
|
||||
AND2_X1 val_chck[nw*wl];
|
||||
bool _val_chck_out[nw*wl];
|
||||
bool _in_v_temp_buf[nw*wl];
|
||||
sigbuf<nw*wl> v_buf(.in = _in_v_temp,.out = _in_v_temp_buf,.supply = supply);
|
||||
|
||||
// For loop for assigning the different components
|
||||
pint bitval;
|
||||
(k:nw:atree[k].supply = supply;)
|
||||
(word_idx:nw:
|
||||
// Decoding the bit pattern to understand which word we are looking at
|
||||
(pin_idx:lognw:
|
||||
bitval = (word_idx & ( 1 << pin_idx )) >> pin_idx; // Get binary digit of integer i, column j
|
||||
[bitval = 1 ->
|
||||
atree[word_idx].in[pin_idx] = in.d.d[pin_idx+wl].t;
|
||||
[] bitval = 0 ->
|
||||
atree[word_idx].in[pin_idx] = in.d.d[pin_idx+wl].f;
|
||||
[]bitval >= 2 -> {false : "fuck"};
|
||||
]
|
||||
)
|
||||
// WRITE: Activating the fake clock for the right word
|
||||
atree[word_idx].out = _out_encoder[word_idx];
|
||||
inv_encoder[word_idx].a = _out_encoder[word_idx];
|
||||
inv_encoder[word_idx].y = or_encoder[word_idx].a;
|
||||
inv_encoder[word_idx].vdd = supply.vdd;
|
||||
inv_encoder[word_idx].vss = supply.vss;
|
||||
or_encoder[word_idx].b = _clock[word_idx];
|
||||
or_encoder[word_idx].y = _clock_word_temp[word_idx];
|
||||
or_encoder[word_idx].vdd = supply.vdd;
|
||||
or_encoder[word_idx].vss = supply.vss;
|
||||
clock_buffer[word_idx].in = _clock_word_temp[word_idx];
|
||||
clock_buffer[word_idx].supply = supply;
|
||||
// READ: Selecting the right word to read if read is high
|
||||
word_to_read[word_idx].a = in.d.d[lognw+wl].t;
|
||||
word_to_read[word_idx].b = _out_encoder[word_idx];
|
||||
word_to_read[word_idx].y = word_to_read_X[word_idx].in;
|
||||
word_to_read[word_idx].vdd = supply.vdd;
|
||||
word_to_read[word_idx].vss = supply.vss;
|
||||
word_to_read_X[word_idx].supply = supply;
|
||||
|
||||
|
||||
(bit_idx:wl:
|
||||
// Describing all the FF and their connection
|
||||
val_chck[bit_idx].a = _in_v_temp_buf[word_idx+bit_idx];
|
||||
val_chck[bit_idx].b = in.d.d[bit_idx].t;
|
||||
val_chck[bit_idx].y = _val_chck_out[bit_idx];
|
||||
val_chck[bit_idx].vdd = supply.vdd;
|
||||
val_chck[bit_idx].vss = supply.vss;
|
||||
ff[bit_idx+word_idx*(wl)].clk_B = clock_buffer[word_idx].out[bit_idx];
|
||||
ff[bit_idx+word_idx*(wl)].d = in.d.d[bit_idx].t;
|
||||
ff[bit_idx+word_idx*(wl)].q = data[word_idx].d[bit_idx];
|
||||
ff[bit_idx+word_idx*(wl)].reset_B = _reset_mem_BXX[bit_idx+word_idx*(wl)];
|
||||
ff[bit_idx+word_idx*(wl)].vdd = supply.vdd;
|
||||
ff[bit_idx+word_idx*(wl)].vss = supply.vss;
|
||||
// READ: creating the selectors for propagating the right word
|
||||
word_to_read_X[word_idx].out[bit_idx] = word_selector_t[bit_idx+(word_idx*(wl))].a;
|
||||
word_to_read_X[word_idx].out[bit_idx+wl] = word_selector_f[bit_idx+(word_idx*(wl))].a;
|
||||
word_selector_t[bit_idx+word_idx*(wl)].b = ff[bit_idx+(word_idx*(wl))].q;
|
||||
word_selector_t[bit_idx+word_idx*(wl)].y = bitselector_t[bit_idx].in[word_idx];
|
||||
word_selector_f[bit_idx+word_idx*(wl)].b = ff[bit_idx+(word_idx*(wl))].q_B;
|
||||
word_selector_f[bit_idx+word_idx*(wl)].y = bitselector_f[bit_idx].in[word_idx];
|
||||
bitselector_t[bit_idx].out = output_buf.in.d.d[bit_idx].t;
|
||||
bitselector_f[bit_idx].out = output_buf.in.d.d[bit_idx].f;
|
||||
bitselector_t[bit_idx].supply = supply;
|
||||
bitselector_f[bit_idx].supply = supply;
|
||||
)
|
||||
)
|
||||
}
|
||||
|
||||
|
||||
|
||||
/**
|
||||
@ -299,8 +85,8 @@ BUF_X4 in_v_buf(.a=_in_v, .y=in.v,.vdd=supply.vdd,.vss=supply.vss);
|
||||
|
||||
//function
|
||||
bool _out_a_BX_t[N],_out_a_BX_f[N],_out_a_B,_en_X_t[N],_en_X_f[N];
|
||||
A_1C2N_RB_X4 f_buf_func[N];
|
||||
A_1C2N_SB_X4 t_buf_func[N];
|
||||
A_1C2N_SB_X4 f_buf_func[N];
|
||||
A_1C2N_RB_X4 t_buf_func[N];
|
||||
sigbuf<N> en_buf_t(.in=_en, .out=_en_X_t, .supply=supply);
|
||||
sigbuf<N> en_buf_f(.in=_en, .out=_en_X_f, .supply=supply);
|
||||
// INV_X1 out_a_inv(.a=out.a,.y=_out_a_B, .vss = supply.vss, .vdd = supply.vdd);
|
||||
@ -325,10 +111,10 @@ sigbuf<N> en_buf_f(.in=_en, .out=_en_X_f, .supply=supply);
|
||||
t_buf_func[i].vdd=supply.vdd;
|
||||
f_buf_func[i].vss=supply.vss;
|
||||
t_buf_func[i].vss=supply.vss;
|
||||
t_buf_func[i].pr = _reset;
|
||||
t_buf_func[i].sr = _reset;
|
||||
f_buf_func[i].pr_B = _reset_BXX[i];
|
||||
f_buf_func[i].sr_B = _reset_BXX[i];
|
||||
f_buf_func[i].pr = _reset;
|
||||
f_buf_func[i].sr = _reset;
|
||||
t_buf_func[i].pr_B = _reset_BXX[i];
|
||||
t_buf_func[i].sr_B = _reset_BXX[i];
|
||||
)
|
||||
}
|
||||
|
||||
|
||||
60585
test/unit_tests/texel_in30/run/prsim.out
Normal file
60585
test/unit_tests/texel_in30/run/prsim.out
Normal file
File diff suppressed because one or more lines are too long
425657
test/unit_tests/texel_in30/run/test.prs
Normal file
425657
test/unit_tests/texel_in30/run/test.prs
Normal file
File diff suppressed because it is too large
Load Diff
117
test/unit_tests/texel_in30/test.act
Normal file
117
test/unit_tests/texel_in30/test.act
Normal file
@ -0,0 +1,117 @@
|
||||
/*************************************************************************
|
||||
*
|
||||
* 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 "../../dataflow_neuro/primitives.act";
|
||||
import "../../dataflow_neuro/chips.act";
|
||||
|
||||
import globals;
|
||||
import std::data;
|
||||
|
||||
open std::data;
|
||||
|
||||
|
||||
open tmpl::dataflow_neuro;
|
||||
|
||||
defproc chip_texel_in30 (bd<30> in; bd<30> out; Mx1of2<22> reg_data[64];
|
||||
bool? nrn_mon_x[4], nrn_mon_y[8], syn_mon_x[4], syn_mon_y[8];
|
||||
bool? bd_dly_cfg[4], bd_dly_cfg2[2], loopback_en){
|
||||
|
||||
bool _reset_B;
|
||||
prs {
|
||||
Reset => _reset_B-
|
||||
}
|
||||
power supply;
|
||||
supply.vdd = Vdd;
|
||||
supply.vss = GND;
|
||||
|
||||
pint N_IN = 30;
|
||||
|
||||
pint N_NRN_X = 4;
|
||||
pint N_NRN_Y = 8;
|
||||
// pint NC_NRN_X = std:ceil_log2(N_NRN_X);
|
||||
// pint NC_NRN_Y = std:ceil_log2(N_NRN_Y);
|
||||
pint NC_NRN_X = 2;
|
||||
pint NC_NRN_Y = 3;
|
||||
|
||||
pint N_SYN_X = 4;
|
||||
pint N_SYN_Y = 8;
|
||||
// pint NC_SYN_X = std:ceil_log2(N_SYN_X);
|
||||
// pint NC_SYN_Y = std:ceil_log2(N_SYN_Y);
|
||||
pint NC_SYN_X = 2;
|
||||
pint NC_SYN_Y = 3;
|
||||
|
||||
pint N_SYN_DLY_CFG = 4;
|
||||
pint N_BD_DLY_CFG = 4;
|
||||
pint N_BD_DLY_CFG2 = 2;
|
||||
|
||||
pint N_NRN_MON_X = 4;
|
||||
pint N_NRN_MON_Y = 8;
|
||||
pint N_SYN_MON_X = 4;
|
||||
pint N_SYN_MON_Y = 8;
|
||||
|
||||
pint N_BUFFERS = 3;
|
||||
|
||||
pint N_LINE_PD_DLY = 3;
|
||||
|
||||
pint REG_NCA = 6;
|
||||
pint REG_M = 1<<REG_NCA;
|
||||
pint REG_NCW = 22;
|
||||
|
||||
chip_texel<N_IN,
|
||||
N_NRN_X, N_NRN_Y, N_SYN_X, N_SYN_Y,
|
||||
NC_NRN_X, NC_NRN_Y, NC_SYN_X, NC_SYN_Y,
|
||||
N_SYN_DLY_CFG,
|
||||
N_NRN_MON_X, N_NRN_MON_Y, N_SYN_MON_X, N_SYN_MON_Y,
|
||||
N_BUFFERS,
|
||||
N_LINE_PD_DLY,
|
||||
N_BD_DLY_CFG, N_BD_DLY_CFG2,
|
||||
REG_NCA, REG_NCW, REG_M> c(.in = in, .out = out, .reg_data = reg_data,
|
||||
.nrn_mon_x = nrn_mon_x, .nrn_mon_y = nrn_mon_y,
|
||||
.syn_mon_x = syn_mon_x, .syn_mon_y = syn_mon_y,
|
||||
.bd_dly_cfg = bd_dly_cfg, .bd_dly_cfg2 = bd_dly_cfg2, .loopback_en = loopback_en,
|
||||
.reset_B = _reset_B, .supply = supply);
|
||||
|
||||
// Spawn in some buffers as a conduit between neurons and synapses.
|
||||
pint N_SYNS = N_SYN_X * N_SYN_Y;
|
||||
BUF_X4 syn2nrns_r[N_SYNS];
|
||||
BUF_X4 syn2nrns_a[N_SYNS];
|
||||
(i:N_SYNS:
|
||||
syn2nrns_r[i].a = c.synapses[i].r;
|
||||
syn2nrns_r[i].y = c.neurons[i].r;
|
||||
|
||||
syn2nrns_a[i].a = c.neurons[i].a;
|
||||
syn2nrns_a[i].y = c.synapses[i].a;
|
||||
)
|
||||
// c.synapses = c.neurons; // Connect each synapse hs to a neuron hs
|
||||
|
||||
}
|
||||
|
||||
|
||||
// fifo_decoder_neurons_encoder_fifo e;
|
||||
chip_texel_in30 c;
|
||||
157
test/unit_tests/texel_in30/test.prsim
Normal file
157
test/unit_tests/texel_in30/test.prsim
Normal file
@ -0,0 +1,157 @@
|
||||
watchall
|
||||
|
||||
|
||||
set c.bd_dly_cfg[0] 1
|
||||
set c.bd_dly_cfg[1] 1
|
||||
set c.bd_dly_cfg[2] 1
|
||||
set c.bd_dly_cfg[3] 1
|
||||
|
||||
set c.bd_dly_cfg2[0] 1
|
||||
set c.bd_dly_cfg2[1] 1
|
||||
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
set c.out.a 0
|
||||
set c.loopback_en 1
|
||||
set Reset 1
|
||||
|
||||
cycle
|
||||
|
||||
mode run
|
||||
status X
|
||||
system "echo '[] Set reset 0'"
|
||||
status X
|
||||
set Reset 0
|
||||
cycle
|
||||
|
||||
# Reading address 0
|
||||
set-bd-data-valid "c.in" 30 536870912
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
|
||||
# Remove input
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
cycle
|
||||
assert c.in.a 0
|
||||
|
||||
# Should first get loopback
|
||||
assert-bd-channel-valid "c.out" 30 536870912
|
||||
set c.out.a 1
|
||||
cycle
|
||||
assert-bd-channel-neutral "c.out" 30
|
||||
set c.out.a 0
|
||||
cycle
|
||||
|
||||
# Expect register read packet to arrive
|
||||
# Receiving output 0 from register 0
|
||||
assert-bd-channel-valid "c.out" 30 0
|
||||
set c.out.a 1
|
||||
cycle
|
||||
assert-bd-channel-neutral "c.out" 30
|
||||
set c.out.a 0
|
||||
cycle
|
||||
|
||||
# Disable loopback cus it's annoying
|
||||
set c.loopback_en 0
|
||||
cycle
|
||||
|
||||
# Enables hs, disable synapse delays
|
||||
# Writing 255 to address 0
|
||||
set-bd-data-valid "c.in" 30 805322688
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
|
||||
# Remove input
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
cycle
|
||||
assert c.in.a 0
|
||||
|
||||
# Sending spike to synapse [2,3]
|
||||
set-bd-data-valid "c.in" 30 8
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
# Receiving output spike [2,3]
|
||||
assert-bd-channel-valid "c.out" 30 8
|
||||
set c.out.a 1
|
||||
cycle
|
||||
assert-bd-channel-neutral "c.out" 30
|
||||
set c.out.a 0
|
||||
cycle
|
||||
|
||||
# Remove input
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
cycle
|
||||
assert c.in.a 0
|
||||
|
||||
|
||||
# Writing 3 to address 1 (enable targeting)
|
||||
set-bd-data-valid "c.in" 30 805306561
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
# Remove input
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
cycle
|
||||
assert c.in.a 0
|
||||
|
||||
# Writing 511 to address 2 (change nrn targ)
|
||||
set-bd-data-valid "c.in" 30 805339074
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
assert c.nrn_mon_x[0] 0
|
||||
assert c.nrn_mon_x[1] 0
|
||||
assert c.nrn_mon_x[2] 0
|
||||
assert c.nrn_mon_x[3] 1
|
||||
|
||||
assert c.nrn_mon_y[0] 0
|
||||
assert c.nrn_mon_y[1] 0
|
||||
assert c.nrn_mon_y[2] 0
|
||||
assert c.nrn_mon_y[3] 0
|
||||
assert c.nrn_mon_y[4] 0
|
||||
assert c.nrn_mon_y[5] 0
|
||||
assert c.nrn_mon_y[6] 0
|
||||
assert c.nrn_mon_y[7] 1
|
||||
|
||||
# Remove input
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
cycle
|
||||
assert c.in.a 0
|
||||
|
||||
# Writing 0 to address 1 (disable targetting)
|
||||
set-bd-data-valid "c.in" 30 805306369
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
assert c.nrn_mon_x[0] 0
|
||||
assert c.nrn_mon_x[1] 0
|
||||
assert c.nrn_mon_x[2] 0
|
||||
assert c.nrn_mon_x[3] 0
|
||||
|
||||
assert c.nrn_mon_y[0] 0
|
||||
assert c.nrn_mon_y[1] 0
|
||||
assert c.nrn_mon_y[2] 0
|
||||
assert c.nrn_mon_y[3] 0
|
||||
assert c.nrn_mon_y[4] 0
|
||||
assert c.nrn_mon_y[5] 0
|
||||
assert c.nrn_mon_y[6] 0
|
||||
assert c.nrn_mon_y[7] 0
|
||||
|
||||
# Remove input
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
cycle
|
||||
assert c.in.a 0
|
||||
35641
test/unit_tests/texel_in30_noNrn/run/prsim.out
Normal file
35641
test/unit_tests/texel_in30_noNrn/run/prsim.out
Normal file
File diff suppressed because one or more lines are too long
416295
test/unit_tests/texel_in30_noNrn/run/test.prs
Normal file
416295
test/unit_tests/texel_in30_noNrn/run/test.prs
Normal file
File diff suppressed because it is too large
Load Diff
107
test/unit_tests/texel_in30_noNrn/test.act
Normal file
107
test/unit_tests/texel_in30_noNrn/test.act
Normal file
@ -0,0 +1,107 @@
|
||||
/*************************************************************************
|
||||
*
|
||||
* 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 "../../dataflow_neuro/primitives.act";
|
||||
import "../../dataflow_neuro/chips.act";
|
||||
|
||||
import globals;
|
||||
import std::data;
|
||||
|
||||
open std::data;
|
||||
|
||||
|
||||
open tmpl::dataflow_neuro;
|
||||
|
||||
defproc chip_texel_in30 (bd<30> in; bd<30> out; Mx1of2<22> reg_data[64];
|
||||
a1of1 synapses[6];
|
||||
a1of1 neurons[6];
|
||||
bool? nrn_mon_x[4], nrn_mon_y[8], syn_mon_x[4], syn_mon_y[8];
|
||||
bool? bd_dly_cfg[4], bd_dly_cfg2[2], loopback_en){
|
||||
|
||||
bool _reset_B;
|
||||
prs {
|
||||
Reset => _reset_B-
|
||||
}
|
||||
power supply;
|
||||
supply.vdd = Vdd;
|
||||
supply.vss = GND;
|
||||
|
||||
pint N_IN = 30;
|
||||
|
||||
pint N_NRN_X = 2;
|
||||
pint N_NRN_Y = 3;
|
||||
// pint NC_NRN_X = std:ceil_log2(N_NRN_X);
|
||||
// pint NC_NRN_Y = std:ceil_log2(N_NRN_Y);
|
||||
pint NC_NRN_X = 1;
|
||||
pint NC_NRN_Y = 2;
|
||||
|
||||
pint N_SYN_X = 2;
|
||||
pint N_SYN_Y = 3;
|
||||
// pint NC_SYN_X = std:ceil_log2(N_SYN_X);
|
||||
// pint NC_SYN_Y = std:ceil_log2(N_SYN_Y);
|
||||
pint NC_SYN_X = 1;
|
||||
pint NC_SYN_Y = 2;
|
||||
|
||||
pint N_SYN_DLY_CFG = 4;
|
||||
pint N_BD_DLY_CFG = 4;
|
||||
pint N_BD_DLY_CFG2 = 2;
|
||||
|
||||
pint N_NRN_MON_X = 4;
|
||||
pint N_NRN_MON_Y = 8;
|
||||
pint N_SYN_MON_X = 4;
|
||||
pint N_SYN_MON_Y = 8;
|
||||
|
||||
pint N_BUFFERS = 3;
|
||||
|
||||
pint N_LINE_PD_DLY = 3;
|
||||
|
||||
pint REG_NCA = 6;
|
||||
pint REG_M = 1<<REG_NCA;
|
||||
pint REG_NCW = 22;
|
||||
|
||||
chip_texel<N_IN,
|
||||
N_NRN_X, N_NRN_Y, N_SYN_X, N_SYN_Y,
|
||||
NC_NRN_X, NC_NRN_Y, NC_SYN_X, NC_SYN_Y,
|
||||
N_SYN_DLY_CFG,
|
||||
N_NRN_MON_X, N_NRN_MON_Y, N_SYN_MON_X, N_SYN_MON_Y,
|
||||
N_BUFFERS,
|
||||
N_LINE_PD_DLY,
|
||||
N_BD_DLY_CFG, N_BD_DLY_CFG2,
|
||||
REG_NCA, REG_NCW, REG_M> c(.in = in, .out = out, .reg_data = reg_data,
|
||||
.synapses = synapses, .neurons = neurons,
|
||||
.nrn_mon_x = nrn_mon_x, .nrn_mon_y = nrn_mon_y,
|
||||
.syn_mon_x = syn_mon_x, .syn_mon_y = syn_mon_y,
|
||||
.bd_dly_cfg = bd_dly_cfg, .bd_dly_cfg2 = bd_dly_cfg2, .loopback_en = loopback_en,
|
||||
.reset_B = _reset_B, .supply = supply);
|
||||
|
||||
}
|
||||
|
||||
|
||||
// fifo_decoder_neurons_encoder_fifo e;
|
||||
chip_texel_in30 c;
|
||||
186
test/unit_tests/texel_in30_noNrn/test.prsim
Normal file
186
test/unit_tests/texel_in30_noNrn/test.prsim
Normal file
@ -0,0 +1,186 @@
|
||||
watchall
|
||||
|
||||
|
||||
set c.bd_dly_cfg[0] 1
|
||||
set c.bd_dly_cfg[1] 1
|
||||
set c.bd_dly_cfg[2] 1
|
||||
set c.bd_dly_cfg[3] 1
|
||||
|
||||
set c.bd_dly_cfg2[0] 1
|
||||
set c.bd_dly_cfg2[1] 1
|
||||
|
||||
set c.synapses[0].a 0
|
||||
set c.synapses[1].a 0
|
||||
set c.synapses[2].a 0
|
||||
set c.synapses[3].a 0
|
||||
set c.synapses[4].a 0
|
||||
set c.synapses[5].a 0
|
||||
|
||||
set c.neurons[0].r 0
|
||||
set c.neurons[1].r 0
|
||||
set c.neurons[2].r 0
|
||||
set c.neurons[3].r 0
|
||||
set c.neurons[4].r 0
|
||||
set c.neurons[5].r 0
|
||||
|
||||
|
||||
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
set c.out.a 0
|
||||
set c.loopback_en 1
|
||||
set Reset 1
|
||||
|
||||
cycle
|
||||
|
||||
mode run
|
||||
status X
|
||||
system "echo '[] Set reset 0'"
|
||||
status X
|
||||
set Reset 0
|
||||
cycle
|
||||
|
||||
# Reading address 0
|
||||
set-bd-data-valid "c.in" 30 536870912
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
|
||||
# Remove input
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
cycle
|
||||
assert c.in.a 0
|
||||
|
||||
# Should first get loopback
|
||||
assert-bd-channel-valid "c.out" 30 536870912
|
||||
set c.out.a 1
|
||||
cycle
|
||||
assert-bd-channel-neutral "c.out" 30
|
||||
set c.out.a 0
|
||||
cycle
|
||||
|
||||
# Expect register read packet to arrive
|
||||
# Receiving output 0 from register 0
|
||||
assert-bd-channel-valid "c.out" 30 0
|
||||
set c.out.a 1
|
||||
cycle
|
||||
assert-bd-channel-neutral "c.out" 30
|
||||
set c.out.a 0
|
||||
cycle
|
||||
|
||||
# Disable loopback cus it's annoying
|
||||
set c.loopback_en 0
|
||||
cycle
|
||||
|
||||
# Enables hs, disable synapse delays
|
||||
# Writing 255 to address 0
|
||||
set-bd-data-valid "c.in" 30 805322688
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
|
||||
# Remove input
|
||||
set-bd-channel-neutral "c.in" 30
|
||||
cycle
|
||||
assert c.in.a 0
|
||||
|
||||
# Sending spike to synapse [1,2]
|
||||
set-bd-data-valid "c.in" 30 5
|
||||
cycle
|
||||
set c.in.r 1
|
||||
cycle
|
||||
assert c.in.a 1
|
||||
|
||||
assert c.synapses[5].r 1
|
||||
set c.neurons[5].r 1
|
||||
cycle
|
||||
assert c.neurons[5].a 1
|
||||
set c.synapses[5].a 1
|
||||
cycle
|
||||
assert c.synapses[5].r 0
|
||||
set c.neurons[5].r 0
|
||||
cycle
|
||||
assert c.neurons[5].a 0
|
||||
|
||||
|
||||
# Receiving output spike [1,2]
|
||||
assert-bd-channel-valid "c.out" 30 5
|
||||
set c.out.a 1
|
||||
cycle
|
||||
assert-bd-channel-neutral "c.out" 30
|
||||
set c.out.a 0
|
||||
cycle
|
||||
|
||||
|
||||
# # Remove input
|
||||
# set-bd-channel-neutral "c.in" 30
|
||||
# cycle
|
||||
# assert c.in.a 0
|
||||
|
||||
|
||||
# # Writing 3 to address 1 (enable targeting)
|
||||
# set-bd-data-valid "c.in" 30 805306561
|
||||
# cycle
|
||||
# set c.in.r 1
|
||||
# cycle
|
||||
# assert c.in.a 1
|
||||
|
||||
# # Remove input
|
||||
# set-bd-channel-neutral "c.in" 30
|
||||
# cycle
|
||||
# assert c.in.a 0
|
||||
|
||||
# # Writing 511 to address 2 (change nrn targ)
|
||||
# set-bd-data-valid "c.in" 30 805339074
|
||||
# cycle
|
||||
# set c.in.r 1
|
||||
# cycle
|
||||
# assert c.in.a 1
|
||||
|
||||
# assert c.nrn_mon_x[0] 0
|
||||
# assert c.nrn_mon_x[1] 0
|
||||
# assert c.nrn_mon_x[2] 0
|
||||
# assert c.nrn_mon_x[3] 1
|
||||
|
||||
# assert c.nrn_mon_y[0] 0
|
||||
# assert c.nrn_mon_y[1] 0
|
||||
# assert c.nrn_mon_y[2] 0
|
||||
# assert c.nrn_mon_y[3] 0
|
||||
# assert c.nrn_mon_y[4] 0
|
||||
# assert c.nrn_mon_y[5] 0
|
||||
# assert c.nrn_mon_y[6] 0
|
||||
# assert c.nrn_mon_y[7] 1
|
||||
|
||||
# # Remove input
|
||||
# set-bd-channel-neutral "c.in" 30
|
||||
# cycle
|
||||
# assert c.in.a 0
|
||||
|
||||
# # Writing 0 to address 1 (disable targetting)
|
||||
# set-bd-data-valid "c.in" 30 805306369
|
||||
# cycle
|
||||
# set c.in.r 1
|
||||
# cycle
|
||||
# assert c.in.a 1
|
||||
|
||||
# assert c.nrn_mon_x[0] 0
|
||||
# assert c.nrn_mon_x[1] 0
|
||||
# assert c.nrn_mon_x[2] 0
|
||||
# assert c.nrn_mon_x[3] 0
|
||||
|
||||
# assert c.nrn_mon_y[0] 0
|
||||
# assert c.nrn_mon_y[1] 0
|
||||
# assert c.nrn_mon_y[2] 0
|
||||
# assert c.nrn_mon_y[3] 0
|
||||
# assert c.nrn_mon_y[4] 0
|
||||
# assert c.nrn_mon_y[5] 0
|
||||
# assert c.nrn_mon_y[6] 0
|
||||
# assert c.nrn_mon_y[7] 0
|
||||
|
||||
# # Remove input
|
||||
# set-bd-channel-neutral "c.in" 30
|
||||
# cycle
|
||||
# assert c.in.a 0
|
||||
Loading…
Reference in New Issue
Block a user