2
Add
Bits
4
Const
Bits
4
Const
Value
0
Clock
Label
CLK
Frequency
2
Multiplexer
Bits
4
Const
Value
0
Bits
4
Comparator
Bits
4
Const
Value
9
Bits
4
Out
Label
OUT
Bits
4
In
Label
RESET
Or
rotation
D_FF
Bits
4
Default
11
Testcase
Label
Static
Testdata
CLK RESET OUT TC
C 1 0 0
loop(n,20)
let out = (n+1)%10;
C 0 (out) (out=9)
end loop
Testcase
Label
Dynamic
Testdata
CLK RESET OUT TC
0 0 X X
while(OUT !=0)
C 0 X X
end while
0 0 0 0
repeat(20) C 0 ((OUT+1)%10) (OUT=8)
Testcase
Label
Failing
Testdata
CLK RESET OUT TC
C 1 0 0
C 0 1 0
loop(n,4)
C 0 4 (n=1)
end loop
Out
Label
TC