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

fixed unit tests

This commit is contained in:
alexmadison 2023-11-21 15:59:00 +01:00
parent bd56ac71e1
commit c336e37377
2 changed files with 23 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test/unit_tests/registerA_w_array/test.act
View File

@ -35,7 +35,7 @@ open std::data;
open tmpl::dataflow_neuro; open tmpl::dataflow_neuro;
defproc registerA_w_array_3x5x8 (avMx1of2<3+5+1> in; Mx1of2<5> data[8]){ defproc registerA_w_array_3x5x8 (avMx1of2<3+5> in; Mx1of2<5> data[8]){
bool _reset_B; bool _reset_B;
prs { prs {
Reset => _reset_B- Reset => _reset_B-
@ -46,7 +46,7 @@ defproc registerA_w_array_3x5x8 (avMx1of2<3+5+1> in; Mx1of2<5> data[8]){
// Make a register array with 3 bit address (-> 8 registers), // Make a register array with 3 bit address (-> 8 registers),
// each register holding 5 bits. // each register holding 5 bits.
registerA_w_array<3,5,8> b(.in = in, .data = data, .reset_B = _reset_B, .supply = supply); register_w_array<3,5,8> b(.in = in, .data = data, .reset_B = _reset_B, .supply = supply);
} }

42
test/unit_tests/registerA_w_array/test.prsim
View File

@ -1,6 +1,6 @@
watchall watchall
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
@ -13,42 +13,42 @@ assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
system "echo '[] Sending packet write 0s to reg0'" system "echo '[] Sending packet write 0s to reg0'"
set-qdi-channel-valid "b.in" 9 256 set-qdi-channel-valid "b.in" 8 256
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
assert-var-int "b.data[0]" 5 0 assert-var-int "b.data[0]" 5 0
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
assert-var-int "b.data[0]" 5 0 assert-var-int "b.data[0]" 5 0
system "echo '[] Sending packet write 0s to reg0'" system "echo '[] Sending packet write 0s to reg0'"
set-qdi-channel-valid "b.in" 9 256 set-qdi-channel-valid "b.in" 8 256
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
assert-var-int "b.data[0]" 5 0 assert-var-int "b.data[0]" 5 0
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
assert-var-int "b.data[0]" 5 0 assert-var-int "b.data[0]" 5 0
system "echo '[] Sending packet write 01100 to reg0'" system "echo '[] Sending packet write 01100 to reg0'"
set-qdi-channel-valid "b.in" 9 352 set-qdi-channel-valid "b.in" 8 352
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
assert-var-int "b.data[0]" 5 12 assert-var-int "b.data[0]" 5 12
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
@ -56,88 +56,88 @@ assert-var-int "b.data[0]" 5 12
system "echo '[] Sending packet write 0s to reg1'" system "echo '[] Sending packet write 0s to reg1'"
set-qdi-channel-valid "b.in" 9 257 set-qdi-channel-valid "b.in" 8 257
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
assert-var-int "b.data[1]" 5 0 assert-var-int "b.data[1]" 5 0
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
system "echo '[] Sending packet write 0s to reg2'" system "echo '[] Sending packet write 0s to reg2'"
set-qdi-channel-valid "b.in" 9 258 set-qdi-channel-valid "b.in" 8 258
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
assert-var-int "b.data[2]" 5 0 assert-var-int "b.data[2]" 5 0
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
assert-var-int "b.data[2]" 5 0 assert-var-int "b.data[2]" 5 0
system "echo '[] Sending packet write 0s to reg3'" system "echo '[] Sending packet write 0s to reg3'"
set-qdi-channel-valid "b.in" 9 259 set-qdi-channel-valid "b.in" 8 259
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
system "echo '[] Sending packet write 0s to reg4'" system "echo '[] Sending packet write 0s to reg4'"
set-qdi-channel-valid "b.in" 9 260 set-qdi-channel-valid "b.in" 8 260
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
system "echo '[] Sending packet write 0s to reg5'" system "echo '[] Sending packet write 0s to reg5'"
set-qdi-channel-valid "b.in" 9 261 set-qdi-channel-valid "b.in" 8 261
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
system "echo '[] Sending packet write 0s to reg6'" system "echo '[] Sending packet write 0s to reg6'"
set-qdi-channel-valid "b.in" 9 262 set-qdi-channel-valid "b.in" 8 262
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0
system "echo '[] Sending packet write 0s to reg7'" system "echo '[] Sending packet write 0s to reg7'"
set-qdi-channel-valid "b.in" 9 263 set-qdi-channel-valid "b.in" 8 263
cycle cycle
assert b.in.a 1 assert b.in.a 1
assert b.in.v 1 assert b.in.v 1
system "echo '[] Removing input'" system "echo '[] Removing input'"
set-qdi-channel-neutral "b.in" 9 set-qdi-channel-neutral "b.in" 8
cycle cycle
assert b.in.a 0 assert b.in.a 0
assert b.in.v 0 assert b.in.v 0