actlib_dataflow_neuro/test/unit_tests/fifo_demux_bit_7_fifo/test.prsim

69 lines
1022 B
Plaintext

watchall
set-qdi-channel-neutral "b.in" 8
set b.out1.a 0
set b.out1.v 0
set b.out2.a 0
set b.out2.v 0
cycle
mode run
system "echo '[] Set reset 0'"
status X
set Reset 0
cycle
assert b.in.a 0
assert b.in.v 0
set-qdi-channel-valid "b.in" 8 255
cycle
assert b.in.v 1
assert b.in.a 1
assert-qdi-channel-valid "b.out1" 7 127
assert-qdi-channel-neutral "b.out2" 7
set b.out1.v 1
cycle
assert b.in.a 1
set-qdi-channel-neutral "b.in" 8
cycle
set b.out1.a 1
system "echo 'First Cond Checked'"
set Reset 0
cycle
system "echo 'System reset completed'"
status X
mode run
assert-qdi-channel-neutral "b.out1" 7
assert-qdi-channel-neutral "b.out2" 7
assert-qdi-channel-neutral "b.in" 8
cycle
system "echo 'Output neutral checked'"
set b.out1.a 0
set b.out1.v 0
set b.out2.a 0
set b.out2.v 0
cycle
set-qdi-channel-valid "b.in" 8 100
cycle
assert b.in.v 1
assert b.in.a 1
assert-qdi-channel-valid "b.out2" 7 100
set b.out2.v 1
cycle
assert b.in.a 1
set-qdi-channel-neutral "b.in" 7
cycle
system "echo 'Second Cond Checked'"