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