alu-port.nv
· 1.7 KiB · Text
Surowy
Playground
|=================================================|
|#| start exhaustive
|@alu-accept-operation, @alu-op, @alu-subtract:max| @alu-invalid-operation
|@alu-accept-operation, @alu-op, @alu-add:max | @alu-accept-operation, @alu-clear-out:max, @alu-subtract:max
|@alu-accept-operation, @alu-op | @alu-accept-operation, @alu-clear-out:max, @alu-add:max
|#| constant, @alu-clear-out, 4294967295
|@alu-clear-out:max| @alu-clear-out:4294967295
|#| constant, @alu-add, 4294967295
|@alu-add:max| @alu-add:4294967295
|#| constant, @alu-subtract, 4294967296
|@alu-subtract:max| @alu-subtract:4294967295
|#| end exhaustive
|=================================================|
|=============================================|
|#| start exhaustive
||@alu-accept-operation
|@alu-accept-operation, @alu-op, @alu-subtract| @alu-invalid-operation
|@alu-accept-operation, @alu-op, @alu-add | @alu-accept-operation, @alu-clear-out, @alu-subtract
|@alu-accept-operation, @alu-op | @alu-accept-operation, @alu-clear-out, @alu-add
|@alu-invalid-operation, @alu-op|
|@alu-invalid-state | @alu-accept-operation
|@alu-clear-out, @alu-out-1| @alu-clear-out
|@alu-clear-out, @alu-out-2| @alu-clear-out
|@alu-clear-out |
|@alu-add, @alu-in-1| @alu-add, @alu-out-1
|@alu-add, @alu-in-2| @alu-add, @alu-out-1
|@alu-add |
|@alu-subtract, @alu-in-1, @alu-in-2| @alu-subtract
|@alu-subtract, @alu-in-1 | @alu-subtract, @alu-out-1
|@alu-subtract, @alu-in-2 | @alu-subtract, @alu-out-2
|@alu-subtract |
|#| end exhaustive
|=============================================|
|| @alu-op, @alu-in-1:1000, @alu-in-2:2000
1 | |=================================================| |
2 | |#| start exhaustive |
3 | |@alu-accept-operation, @alu-op, @alu-subtract:max| @alu-invalid-operation |
4 | |@alu-accept-operation, @alu-op, @alu-add:max | @alu-accept-operation, @alu-clear-out:max, @alu-subtract:max |
5 | |@alu-accept-operation, @alu-op | @alu-accept-operation, @alu-clear-out:max, @alu-add:max |
6 | |
7 | |#| constant, @alu-clear-out, 4294967295 |
8 | |@alu-clear-out:max| @alu-clear-out:4294967295 |
9 | |
10 | |#| constant, @alu-add, 4294967295 |
11 | |@alu-add:max| @alu-add:4294967295 |
12 | |
13 | |#| constant, @alu-subtract, 4294967296 |
14 | |@alu-subtract:max| @alu-subtract:4294967295 |
15 | |#| end exhaustive |
16 | |=================================================| |
17 | |
18 | |
19 | |
20 | |
21 | |=============================================| |
22 | |#| start exhaustive |
23 | ||@alu-accept-operation |
24 | |@alu-accept-operation, @alu-op, @alu-subtract| @alu-invalid-operation |
25 | |@alu-accept-operation, @alu-op, @alu-add | @alu-accept-operation, @alu-clear-out, @alu-subtract |
26 | |@alu-accept-operation, @alu-op | @alu-accept-operation, @alu-clear-out, @alu-add |
27 | |
28 | |@alu-invalid-operation, @alu-op| |
29 | |@alu-invalid-state | @alu-accept-operation |
30 | |
31 | |@alu-clear-out, @alu-out-1| @alu-clear-out |
32 | |@alu-clear-out, @alu-out-2| @alu-clear-out |
33 | |@alu-clear-out | |
34 | |
35 | |@alu-add, @alu-in-1| @alu-add, @alu-out-1 |
36 | |@alu-add, @alu-in-2| @alu-add, @alu-out-1 |
37 | |@alu-add | |
38 | |
39 | |@alu-subtract, @alu-in-1, @alu-in-2| @alu-subtract |
40 | |@alu-subtract, @alu-in-1 | @alu-subtract, @alu-out-1 |
41 | |@alu-subtract, @alu-in-2 | @alu-subtract, @alu-out-2 |
42 | |@alu-subtract | |
43 | |#| end exhaustive |
44 | |=============================================| |
45 | |
46 | |
47 | |
48 | |
49 | || @alu-op, @alu-in-1:1000, @alu-in-2:2000 |
50 |