arbtree init, using or2s for now
This commit is contained in:
88
test/unit_tests/arbtree_5/test.prsim
Normal file
88
test/unit_tests/arbtree_5/test.prsim
Normal file
@@ -0,0 +1,88 @@
|
||||
watchall
|
||||
|
||||
system "echo '0'"
|
||||
|
||||
set t.in[0] 0
|
||||
set t.in[1] 0
|
||||
set t.in[2] 0
|
||||
set t.in[3] 0
|
||||
set t.in[4] 0
|
||||
|
||||
system "echo '1'"
|
||||
|
||||
cycle
|
||||
mode run
|
||||
|
||||
# assert t.out 0
|
||||
|
||||
|
||||
system "echo '[] setting all low'"
|
||||
set t.in[0] 0
|
||||
set t.in[1] 0
|
||||
set t.in[2] 0
|
||||
set t.in[3] 0
|
||||
set t.in[4] 0
|
||||
cycle
|
||||
|
||||
system "echo '[] setting bit 0 high'"
|
||||
set t.in[0] 1
|
||||
cycle
|
||||
|
||||
|
||||
system "echo '[] setting all low'"
|
||||
set t.in[0] 0
|
||||
set t.in[1] 0
|
||||
set t.in[2] 0
|
||||
set t.in[3] 0
|
||||
set t.in[4] 0
|
||||
cycle
|
||||
|
||||
|
||||
system "echo '[] setting bit 1 high'"
|
||||
set t.in[0] 0
|
||||
set t.in[1] 1
|
||||
cycle
|
||||
|
||||
|
||||
system "echo '[] setting all low'"
|
||||
set t.in[0] 0
|
||||
set t.in[1] 0
|
||||
set t.in[2] 0
|
||||
set t.in[3] 0
|
||||
set t.in[4] 0
|
||||
cycle
|
||||
|
||||
|
||||
system "echo '[] setting bit 2 high'"
|
||||
set t.in[1] 0
|
||||
set t.in[2] 1
|
||||
cycle
|
||||
|
||||
|
||||
system "echo '[] setting all low'"
|
||||
set t.in[0] 0
|
||||
set t.in[1] 0
|
||||
set t.in[2] 0
|
||||
set t.in[3] 0
|
||||
set t.in[4] 0
|
||||
cycle
|
||||
|
||||
|
||||
system "echo '[] setting bit 3 high'"
|
||||
set t.in[2] 0
|
||||
set t.in[3] 1
|
||||
cycle
|
||||
|
||||
|
||||
system "echo '[] setting all low'"
|
||||
set t.in[0] 0
|
||||
set t.in[1] 0
|
||||
set t.in[2] 0
|
||||
set t.in[3] 0
|
||||
set t.in[4] 0
|
||||
cycle
|
||||
|
||||
system "echo '[] setting bit 4 high'"
|
||||
set t.in[3] 0
|
||||
set t.in[4] 1
|
||||
cycle
|
Reference in New Issue
Block a user