wryl revidoval tento gist . Přejít na revizi
1 file changed, 49 insertions
alu-port.nv(vytvořil soubor)
| @@ -0,0 +1,49 @@ | |||
| 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 | |
Novější
Starší