Arbiter tree test
This commit is contained in:
64
test/unit_tests/arbiter_tree_test/test.prsim
Normal file
64
test/unit_tests/arbiter_tree_test/test.prsim
Normal file
@@ -0,0 +1,64 @@
|
||||
|
||||
watchall
|
||||
set Reset 1
|
||||
set my_tree.in[0].r 0
|
||||
set my_tree.in[1].r 0
|
||||
set my_tree.in[2].r 0
|
||||
set my_tree.in[3].r 0
|
||||
set my_tree.in[4].r 0
|
||||
set my_tree.out.a 0
|
||||
|
||||
cycle
|
||||
|
||||
assert my_tree.in[0].a 0
|
||||
assert my_tree.in[1].a 0
|
||||
assert my_tree.in[2].a 0
|
||||
assert my_tree.in[3].a 0
|
||||
assert my_tree.in[4].a 0
|
||||
assert my_tree.out.r 0
|
||||
|
||||
system "echo '-------------------------------------------------'"
|
||||
system "echo '[0] System initialized'"
|
||||
|
||||
set Reset 0
|
||||
cycle
|
||||
system "echo '-------------------------------------------------'"
|
||||
system "echo '[1] System reset completed'"
|
||||
|
||||
set in[0].r 1
|
||||
set in[2].r 1
|
||||
set in[4].r 1
|
||||
|
||||
cycle
|
||||
|
||||
assert out.r 1
|
||||
set out.a 1
|
||||
cycle
|
||||
|
||||
assert out.r 0
|
||||
set out.a 0
|
||||
|
||||
cycle
|
||||
|
||||
assert out.r 1
|
||||
set out.a 1
|
||||
cycle
|
||||
|
||||
assert out.r 0
|
||||
set out.a 0
|
||||
|
||||
cycle
|
||||
|
||||
assert out.r 1
|
||||
set out.a 1
|
||||
cycle
|
||||
|
||||
assert out.r 0
|
||||
set out.a 0
|
||||
|
||||
cycle
|
||||
|
||||
|
||||
system "echo '-------------------------------------------------'"
|
||||
system "echo '[3] Sent three inputs, received 3 outputs'"
|
||||
|
Reference in New Issue
Block a user