wryl revisó este gist . Ir a la revisión
1 file changed, 49 insertions
alu-port.nv(archivo creado)
@@ -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 |
Siguiente
Anterior