encoder1d passed unit tests
This commit is contained in:
alexmadison
parent
a2ca30cbb7
commit
adc37f8de2
|
|
@ -0,0 +1,268 @@
|
|||
random_seed 99
|
||||
initialize
|
||||
load-scm "helper.scm"
|
||||
random
|
||||
set GND 0
|
||||
set Vdd 1
|
||||
set Reset 1
|
||||
|
||||
mode reset
|
||||
cycle
|
||||
status U
|
||||
watchall
|
||||
|
||||
system "echo '[] Set Reset 1'"
|
||||
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
set Reset 1
|
||||
|
||||
cycle
|
||||
status X
|
||||
system "echo '[] Set Reset 0'"
|
||||
set Reset 0
|
||||
cycle
|
||||
status X
|
||||
|
||||
|
||||
|
||||
system "echo '[] Neuron 5 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 1
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 5
|
||||
assert e.in[5].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 1
|
||||
set e.out.v 1
|
||||
cycle
|
||||
assert e.in[5].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 1 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 1
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 1
|
||||
assert e.in[1].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.v 1
|
||||
set e.out.a 1
|
||||
cycle
|
||||
assert e.in[1].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 5 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 1
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 5
|
||||
assert e.in[5].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 1
|
||||
set e.out.v 1
|
||||
cycle
|
||||
assert e.in[5].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 1 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 1
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 1
|
||||
assert e.in[1].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.v 1
|
||||
set e.out.a 1
|
||||
cycle
|
||||
assert e.in[1].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 5 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 1
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 5
|
||||
assert e.in[5].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 1
|
||||
set e.out.v 1
|
||||
cycle
|
||||
assert e.in[5].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 1 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 1
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 1
|
||||
assert e.in[1].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.v 1
|
||||
set e.out.a 1
|
||||
cycle
|
||||
assert e.in[1].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 6 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 1
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 6
|
||||
assert e.in[6].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 1
|
||||
set e.out.v 1
|
||||
cycle
|
||||
assert e.in[6].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 1 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 1
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 1
|
||||
assert e.in[1].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.v 1
|
||||
set e.out.a 1
|
||||
cycle
|
||||
assert e.in[1].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1,54 @@
|
|||
/*************************************************************************
|
||||
*
|
||||
* 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 encoder1d_simple_test(a1of1 in[7]; avMx1of2<3> out){
|
||||
power supply;
|
||||
supply.vss = GND;
|
||||
supply.vdd = Vdd;
|
||||
|
||||
bool _reset_B;
|
||||
prs {
|
||||
Reset => _reset_B-
|
||||
}
|
||||
|
||||
encoder1d_simple<3,7> e(.in = in, .supply = supply, .reset_B = _reset_B);
|
||||
|
||||
fifo<3, 5> fifo_post(.in = e.out, .out = out, .supply = supply, .reset_B = _reset_B);
|
||||
|
||||
|
||||
}
|
||||
|
||||
encoder1d_simple_test e;
|
||||
|
|
@ -0,0 +1,257 @@
|
|||
watchall
|
||||
|
||||
system "echo '[] Set Reset 1'"
|
||||
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
set Reset 1
|
||||
|
||||
cycle
|
||||
status X
|
||||
system "echo '[] Set Reset 0'"
|
||||
set Reset 0
|
||||
cycle
|
||||
status X
|
||||
|
||||
|
||||
|
||||
system "echo '[] Neuron 5 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 1
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 5
|
||||
assert e.in[5].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 1
|
||||
set e.out.v 1
|
||||
cycle
|
||||
assert e.in[5].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 1 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 1
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 1
|
||||
assert e.in[1].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.v 1
|
||||
set e.out.a 1
|
||||
cycle
|
||||
assert e.in[1].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 5 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 1
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 5
|
||||
assert e.in[5].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 1
|
||||
set e.out.v 1
|
||||
cycle
|
||||
assert e.in[5].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 1 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 1
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 1
|
||||
assert e.in[1].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.v 1
|
||||
set e.out.a 1
|
||||
cycle
|
||||
assert e.in[1].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 5 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 1
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 5
|
||||
assert e.in[5].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 1
|
||||
set e.out.v 1
|
||||
cycle
|
||||
assert e.in[5].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 1 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 1
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 1
|
||||
assert e.in[1].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.v 1
|
||||
set e.out.a 1
|
||||
cycle
|
||||
assert e.in[1].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 6 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 1
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 6
|
||||
assert e.in[6].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.a 1
|
||||
set e.out.v 1
|
||||
cycle
|
||||
assert e.in[6].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
system "echo '[] Neuron 1 spikes'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 1
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
cycle
|
||||
assert-qdi-channel-valid "e.out" 3 1
|
||||
assert e.in[1].a 1
|
||||
|
||||
system "echo '[] remove data and give ack'"
|
||||
set e.in[0].r 0
|
||||
set e.in[1].r 0
|
||||
set e.in[2].r 0
|
||||
set e.in[3].r 0
|
||||
set e.in[4].r 0
|
||||
set e.in[5].r 0
|
||||
set e.in[6].r 0
|
||||
|
||||
set e.out.v 1
|
||||
set e.out.a 1
|
||||
cycle
|
||||
assert e.in[1].a 0
|
||||
assert-qdi-channel-neutral "e.out" 3
|
||||
set e.out.a 0
|
||||
set e.out.v 0
|
||||
|
||||
Loading…
Reference in New Issue