Proof: Adder
Let's prove the following theorem:
if the following are true:
- the PC at time 0 = 0
- instruction #0 is
addi dst=1 src=0 imm=128 - instruction #1 is
jump imm=8 - instruction #2 is
load dst=3 addr=1 imm=1 - instruction #3 is
load dst=4 addr=1 imm=0 - instruction #4 is
add dst=3 src1=3 src2=4 - subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5
- instruction #6 is
store src=3 addr=1 imm=0 - instruction #7 is
jumpr addr=2 - instruction #8 is
addi dst=3 src=0 imm=2 - subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9
- instruction #10 is
store src=3 addr=1 imm=0 - instruction #11 is
addi dst=3 src=0 imm=3 - subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12
- instruction #13 is
store src=3 addr=1 imm=0 - instruction #14 is
load dst=3 addr=1 imm=1 - subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15
- instruction #16 is
store src=3 addr=1 imm=0 - instruction #17 is
load dst=3 addr=1 imm=1 - subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18
- instruction #19 is
store src=3 addr=1 imm=0 - instruction #20 is a JAL instruction with jump to: 2
- instruction #21 is
load dst=3 addr=1 imm=0 - instruction #22 is
addi dst=1 src=1 imm=3 - subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23
- instruction #24 is
store src=3 addr=1 imm=0
then value of cell 123 at time 25 = 5
Instructions
| Memory Cells |
|---|
| Program Counter | Time |
|---|---|
| 0 | 0 |
LW Computer Simulator
Proof:
Given
| 1 | the PC at time 0 = 0 |
|---|---|
| 2 | instruction #0 is addi dst=1 src=0 imm=128 |
| 3 | instruction #1 is jump imm=8 |
| 4 | instruction #2 is load dst=3 addr=1 imm=1 |
| 5 | instruction #3 is load dst=4 addr=1 imm=0 |
| 6 | instruction #4 is add dst=3 src1=3 src2=4 |
| 7 | subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 |
| 8 | instruction #6 is store src=3 addr=1 imm=0 |
| 9 | instruction #7 is jumpr addr=2 |
| 10 | instruction #8 is addi dst=3 src=0 imm=2 |
| 11 | subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9 |
| 12 | instruction #10 is store src=3 addr=1 imm=0 |
| 13 | instruction #11 is addi dst=3 src=0 imm=3 |
| 14 | subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12 |
| 15 | instruction #13 is store src=3 addr=1 imm=0 |
| 16 | instruction #14 is load dst=3 addr=1 imm=1 |
| 17 | subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15 |
| 18 | instruction #16 is store src=3 addr=1 imm=0 |
| 19 | instruction #17 is load dst=3 addr=1 imm=1 |
| 20 | subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18 |
| 21 | instruction #19 is store src=3 addr=1 imm=0 |
| 22 | instruction #20 is a JAL instruction with jump to: 2 |
| 23 | instruction #21 is load dst=3 addr=1 imm=0 |
| 24 | instruction #22 is addi dst=1 src=1 imm=3 |
| 25 | subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 |
| 26 | instruction #24 is store src=3 addr=1 imm=0 |
| # | Claim | Reason |
|---|---|---|
| 1 | value of cell 1 at time 1 = 128 | if instruction #0 is addi dst=1 src=0 imm=128 and the PC at time 0 = 0, then value of cell 1 at time 1 = 128 |
| 2 | the PC at time 1 = 1 | if instruction #0 is addi dst=1 src=0 imm=128 and the PC at time 0 = 0, then the PC at time 1 = 1 |
| 3 | the PC at time 2 = 8 | if instruction #1 is jump imm=8 and the PC at time 1 = 1, then the PC at time 2 = 8 |
| 4 | value of cell 1 at time 2 = 128 | if instruction #1 is jump imm=8 and the PC at time 1 = 1 and value of cell 1 at time 1 = 128, then value of cell 1 at time 2 = 128 |
| 5 | value of cell 3 at time 3 = 2 | if instruction #8 is addi dst=3 src=0 imm=2 and the PC at time 2 = 8, then value of cell 3 at time 3 = 2 |
| 6 | the PC at time 3 = 9 | if instruction #8 is addi dst=3 src=0 imm=2 and the PC at time 2 = 8, then the PC at time 3 = 9 |
| 7 | value of cell 1 at time 3 = 128 | if instruction #8 is addi dst=3 src=0 imm=2 and the PC at time 2 = 8 and value of cell 1 at time 2 = 128, then value of cell 1 at time 3 = 128 |
| 8 | value of cell 1 at time 4 = 127 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9 and the PC at time 3 = 9 and value of cell 1 at time 3 = 128, then value of cell 1 at time 4 = 127 |
| 9 | the PC at time 4 = 10 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9 and the PC at time 3 = 9, then the PC at time 4 = 10 |
| 10 | value of cell 3 at time 4 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 9 and the PC at time 3 = 9 and value of cell 3 at time 3 = 2, then value of cell 3 at time 4 = 2 |
| 11 | value of cell 127 at time 5 = 2 | if instruction #10 is store src=3 addr=1 imm=0 and the PC at time 4 = 10 and value of cell 1 at time 4 = 127 and value of cell 3 at time 4 = 2, then value of cell 127 at time 5 = 2 |
| 12 | the PC at time 5 = 11 | if instruction #10 is store src=3 addr=1 imm=0 and the PC at time 4 = 10, then the PC at time 5 = 11 |
| 13 | value of cell 1 at time 5 = 127 | if instruction #10 is store src=3 addr=1 imm=0 and the PC at time 4 = 10 and value of cell 1 at time 4 = 127 and value of cell 1 at time 4 = 127, then value of cell 1 at time 5 = 127 |
| 14 | value of cell 3 at time 5 = 2 | if instruction #10 is store src=3 addr=1 imm=0 and the PC at time 4 = 10 and value of cell 3 at time 4 = 2 and value of cell 1 at time 4 = 127, then value of cell 3 at time 5 = 2 |
| 15 | value of cell 3 at time 6 = 3 | if instruction #11 is addi dst=3 src=0 imm=3 and the PC at time 5 = 11, then value of cell 3 at time 6 = 3 |
| 16 | the PC at time 6 = 12 | if instruction #11 is addi dst=3 src=0 imm=3 and the PC at time 5 = 11, then the PC at time 6 = 12 |
| 17 | value of cell 1 at time 6 = 127 | if instruction #11 is addi dst=3 src=0 imm=3 and the PC at time 5 = 11 and value of cell 1 at time 5 = 127, then value of cell 1 at time 6 = 127 |
| 18 | value of cell 127 at time 6 = 2 | if instruction #11 is addi dst=3 src=0 imm=3 and the PC at time 5 = 11 and value of cell 127 at time 5 = 2, then value of cell 127 at time 6 = 2 |
| 19 | value of cell 1 at time 7 = 126 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12 and the PC at time 6 = 12 and value of cell 1 at time 6 = 127, then value of cell 1 at time 7 = 126 |
| 20 | the PC at time 7 = 13 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12 and the PC at time 6 = 12, then the PC at time 7 = 13 |
| 21 | value of cell 3 at time 7 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12 and the PC at time 6 = 12 and value of cell 3 at time 6 = 3, then value of cell 3 at time 7 = 3 |
| 22 | value of cell 127 at time 7 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 12 and the PC at time 6 = 12 and value of cell 127 at time 6 = 2, then value of cell 127 at time 7 = 2 |
| 23 | value of cell 126 at time 8 = 3 | if instruction #13 is store src=3 addr=1 imm=0 and the PC at time 7 = 13 and value of cell 1 at time 7 = 126 and value of cell 3 at time 7 = 3, then value of cell 126 at time 8 = 3 |
| 24 | the PC at time 8 = 14 | if instruction #13 is store src=3 addr=1 imm=0 and the PC at time 7 = 13, then the PC at time 8 = 14 |
| 25 | value of cell 1 at time 8 = 126 | if instruction #13 is store src=3 addr=1 imm=0 and the PC at time 7 = 13 and value of cell 1 at time 7 = 126 and value of cell 1 at time 7 = 126, then value of cell 1 at time 8 = 126 |
| 26 | value of cell 3 at time 8 = 3 | if instruction #13 is store src=3 addr=1 imm=0 and the PC at time 7 = 13 and value of cell 3 at time 7 = 3 and value of cell 1 at time 7 = 126, then value of cell 3 at time 8 = 3 |
| 27 | value of cell 127 at time 8 = 2 | if instruction #13 is store src=3 addr=1 imm=0 and the PC at time 7 = 13 and value of cell 127 at time 7 = 2 and value of cell 1 at time 7 = 126, then value of cell 127 at time 8 = 2 |
| 28 | value of cell 3 at time 9 = 2 | if instruction #14 is load dst=3 addr=1 imm=1 and the PC at time 8 = 14 and value of cell 1 at time 8 = 126 and value of cell 127 at time 8 = 2, then value of cell 3 at time 9 = 2 |
| 29 | the PC at time 9 = 15 | if instruction #14 is load dst=3 addr=1 imm=1 and the PC at time 8 = 14, then the PC at time 9 = 15 |
| 30 | value of cell 1 at time 9 = 126 | if instruction #14 is load dst=3 addr=1 imm=1 and the PC at time 8 = 14 and value of cell 1 at time 8 = 126, then value of cell 1 at time 9 = 126 |
| 31 | value of cell 127 at time 9 = 2 | if instruction #14 is load dst=3 addr=1 imm=1 and the PC at time 8 = 14 and value of cell 127 at time 8 = 2, then value of cell 127 at time 9 = 2 |
| 32 | value of cell 126 at time 9 = 3 | if instruction #14 is load dst=3 addr=1 imm=1 and the PC at time 8 = 14 and value of cell 126 at time 8 = 3, then value of cell 126 at time 9 = 3 |
| 33 | value of cell 1 at time 10 = 125 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15 and the PC at time 9 = 15 and value of cell 1 at time 9 = 126, then value of cell 1 at time 10 = 125 |
| 34 | the PC at time 10 = 16 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15 and the PC at time 9 = 15, then the PC at time 10 = 16 |
| 35 | value of cell 3 at time 10 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15 and the PC at time 9 = 15 and value of cell 3 at time 9 = 2, then value of cell 3 at time 10 = 2 |
| 36 | value of cell 127 at time 10 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15 and the PC at time 9 = 15 and value of cell 127 at time 9 = 2, then value of cell 127 at time 10 = 2 |
| 37 | value of cell 126 at time 10 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 15 and the PC at time 9 = 15 and value of cell 126 at time 9 = 3, then value of cell 126 at time 10 = 3 |
| 38 | value of cell 125 at time 11 = 2 | if instruction #16 is store src=3 addr=1 imm=0 and the PC at time 10 = 16 and value of cell 1 at time 10 = 125 and value of cell 3 at time 10 = 2, then value of cell 125 at time 11 = 2 |
| 39 | the PC at time 11 = 17 | if instruction #16 is store src=3 addr=1 imm=0 and the PC at time 10 = 16, then the PC at time 11 = 17 |
| 40 | value of cell 1 at time 11 = 125 | if instruction #16 is store src=3 addr=1 imm=0 and the PC at time 10 = 16 and value of cell 1 at time 10 = 125 and value of cell 1 at time 10 = 125, then value of cell 1 at time 11 = 125 |
| 41 | value of cell 3 at time 11 = 2 | if instruction #16 is store src=3 addr=1 imm=0 and the PC at time 10 = 16 and value of cell 3 at time 10 = 2 and value of cell 1 at time 10 = 125, then value of cell 3 at time 11 = 2 |
| 42 | value of cell 127 at time 11 = 2 | if instruction #16 is store src=3 addr=1 imm=0 and the PC at time 10 = 16 and value of cell 127 at time 10 = 2 and value of cell 1 at time 10 = 125, then value of cell 127 at time 11 = 2 |
| 43 | value of cell 126 at time 11 = 3 | if instruction #16 is store src=3 addr=1 imm=0 and the PC at time 10 = 16 and value of cell 126 at time 10 = 3 and value of cell 1 at time 10 = 125, then value of cell 126 at time 11 = 3 |
| 44 | value of cell 3 at time 12 = 3 | if instruction #17 is load dst=3 addr=1 imm=1 and the PC at time 11 = 17 and value of cell 1 at time 11 = 125 and value of cell 126 at time 11 = 3, then value of cell 3 at time 12 = 3 |
| 45 | the PC at time 12 = 18 | if instruction #17 is load dst=3 addr=1 imm=1 and the PC at time 11 = 17, then the PC at time 12 = 18 |
| 46 | value of cell 1 at time 12 = 125 | if instruction #17 is load dst=3 addr=1 imm=1 and the PC at time 11 = 17 and value of cell 1 at time 11 = 125, then value of cell 1 at time 12 = 125 |
| 47 | value of cell 127 at time 12 = 2 | if instruction #17 is load dst=3 addr=1 imm=1 and the PC at time 11 = 17 and value of cell 127 at time 11 = 2, then value of cell 127 at time 12 = 2 |
| 48 | value of cell 126 at time 12 = 3 | if instruction #17 is load dst=3 addr=1 imm=1 and the PC at time 11 = 17 and value of cell 126 at time 11 = 3, then value of cell 126 at time 12 = 3 |
| 49 | value of cell 125 at time 12 = 2 | if instruction #17 is load dst=3 addr=1 imm=1 and the PC at time 11 = 17 and value of cell 125 at time 11 = 2, then value of cell 125 at time 12 = 2 |
| 50 | value of cell 1 at time 13 = 124 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18 and the PC at time 12 = 18 and value of cell 1 at time 12 = 125, then value of cell 1 at time 13 = 124 |
| 51 | the PC at time 13 = 19 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18 and the PC at time 12 = 18, then the PC at time 13 = 19 |
| 52 | value of cell 3 at time 13 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18 and the PC at time 12 = 18 and value of cell 3 at time 12 = 3, then value of cell 3 at time 13 = 3 |
| 53 | value of cell 127 at time 13 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18 and the PC at time 12 = 18 and value of cell 127 at time 12 = 2, then value of cell 127 at time 13 = 2 |
| 54 | value of cell 126 at time 13 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18 and the PC at time 12 = 18 and value of cell 126 at time 12 = 3, then value of cell 126 at time 13 = 3 |
| 55 | value of cell 125 at time 13 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 18 and the PC at time 12 = 18 and value of cell 125 at time 12 = 2, then value of cell 125 at time 13 = 2 |
| 56 | value of cell 124 at time 14 = 3 | if instruction #19 is store src=3 addr=1 imm=0 and the PC at time 13 = 19 and value of cell 1 at time 13 = 124 and value of cell 3 at time 13 = 3, then value of cell 124 at time 14 = 3 |
| 57 | the PC at time 14 = 20 | if instruction #19 is store src=3 addr=1 imm=0 and the PC at time 13 = 19, then the PC at time 14 = 20 |
| 58 | value of cell 1 at time 14 = 124 | if instruction #19 is store src=3 addr=1 imm=0 and the PC at time 13 = 19 and value of cell 1 at time 13 = 124 and value of cell 1 at time 13 = 124, then value of cell 1 at time 14 = 124 |
| 59 | value of cell 3 at time 14 = 3 | if instruction #19 is store src=3 addr=1 imm=0 and the PC at time 13 = 19 and value of cell 3 at time 13 = 3 and value of cell 1 at time 13 = 124, then value of cell 3 at time 14 = 3 |
| 60 | value of cell 127 at time 14 = 2 | if instruction #19 is store src=3 addr=1 imm=0 and the PC at time 13 = 19 and value of cell 127 at time 13 = 2 and value of cell 1 at time 13 = 124, then value of cell 127 at time 14 = 2 |
| 61 | value of cell 126 at time 14 = 3 | if instruction #19 is store src=3 addr=1 imm=0 and the PC at time 13 = 19 and value of cell 126 at time 13 = 3 and value of cell 1 at time 13 = 124, then value of cell 126 at time 14 = 3 |
| 62 | value of cell 125 at time 14 = 2 | if instruction #19 is store src=3 addr=1 imm=0 and the PC at time 13 = 19 and value of cell 125 at time 13 = 2 and value of cell 1 at time 13 = 124, then value of cell 125 at time 14 = 2 |
| 63 | the PC at time 15 = 2 | if instruction #20 is a JAL instruction with jump to: 2 and the PC at time 14 = 20, then the PC at time 15 = 2 |
| 64 | value of cell 2 at time 15 = 21 | if instruction #20 is a JAL instruction with jump to: 2 and the PC at time 14 = 20, then value of cell 2 at time 15 = 21 |
| 65 | value of cell 1 at time 15 = 124 | if instruction #20 is a JAL instruction with jump to: 2 and the PC at time 14 = 20 and value of cell 1 at time 14 = 124, then value of cell 1 at time 15 = 124 |
| 66 | value of cell 3 at time 15 = 3 | if instruction #20 is a JAL instruction with jump to: 2 and the PC at time 14 = 20 and value of cell 3 at time 14 = 3, then value of cell 3 at time 15 = 3 |
| 67 | value of cell 127 at time 15 = 2 | if instruction #20 is a JAL instruction with jump to: 2 and the PC at time 14 = 20 and value of cell 127 at time 14 = 2, then value of cell 127 at time 15 = 2 |
| 68 | value of cell 126 at time 15 = 3 | if instruction #20 is a JAL instruction with jump to: 2 and the PC at time 14 = 20 and value of cell 126 at time 14 = 3, then value of cell 126 at time 15 = 3 |
| 69 | value of cell 125 at time 15 = 2 | if instruction #20 is a JAL instruction with jump to: 2 and the PC at time 14 = 20 and value of cell 125 at time 14 = 2, then value of cell 125 at time 15 = 2 |
| 70 | value of cell 124 at time 15 = 3 | if instruction #20 is a JAL instruction with jump to: 2 and the PC at time 14 = 20 and value of cell 124 at time 14 = 3, then value of cell 124 at time 15 = 3 |
| 71 | value of cell 3 at time 16 = 2 | if instruction #2 is load dst=3 addr=1 imm=1 and the PC at time 15 = 2 and value of cell 1 at time 15 = 124 and value of cell 125 at time 15 = 2, then value of cell 3 at time 16 = 2 |
| 72 | the PC at time 16 = 3 | if instruction #2 is load dst=3 addr=1 imm=1 and the PC at time 15 = 2, then the PC at time 16 = 3 |
| 73 | value of cell 1 at time 16 = 124 | if instruction #2 is load dst=3 addr=1 imm=1 and the PC at time 15 = 2 and value of cell 1 at time 15 = 124, then value of cell 1 at time 16 = 124 |
| 74 | value of cell 127 at time 16 = 2 | if instruction #2 is load dst=3 addr=1 imm=1 and the PC at time 15 = 2 and value of cell 127 at time 15 = 2, then value of cell 127 at time 16 = 2 |
| 75 | value of cell 126 at time 16 = 3 | if instruction #2 is load dst=3 addr=1 imm=1 and the PC at time 15 = 2 and value of cell 126 at time 15 = 3, then value of cell 126 at time 16 = 3 |
| 76 | value of cell 125 at time 16 = 2 | if instruction #2 is load dst=3 addr=1 imm=1 and the PC at time 15 = 2 and value of cell 125 at time 15 = 2, then value of cell 125 at time 16 = 2 |
| 77 | value of cell 124 at time 16 = 3 | if instruction #2 is load dst=3 addr=1 imm=1 and the PC at time 15 = 2 and value of cell 124 at time 15 = 3, then value of cell 124 at time 16 = 3 |
| 78 | value of cell 2 at time 16 = 21 | if instruction #2 is load dst=3 addr=1 imm=1 and the PC at time 15 = 2 and value of cell 2 at time 15 = 21, then value of cell 2 at time 16 = 21 |
| 79 | value of cell 4 at time 17 = 3 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3 and value of cell 1 at time 16 = 124 and value of cell 124 at time 16 = 3, then value of cell 4 at time 17 = 3 |
| 80 | the PC at time 17 = 4 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3, then the PC at time 17 = 4 |
| 81 | value of cell 1 at time 17 = 124 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3 and value of cell 1 at time 16 = 124, then value of cell 1 at time 17 = 124 |
| 82 | value of cell 3 at time 17 = 2 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3 and value of cell 3 at time 16 = 2, then value of cell 3 at time 17 = 2 |
| 83 | value of cell 127 at time 17 = 2 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3 and value of cell 127 at time 16 = 2, then value of cell 127 at time 17 = 2 |
| 84 | value of cell 126 at time 17 = 3 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3 and value of cell 126 at time 16 = 3, then value of cell 126 at time 17 = 3 |
| 85 | value of cell 125 at time 17 = 2 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3 and value of cell 125 at time 16 = 2, then value of cell 125 at time 17 = 2 |
| 86 | value of cell 124 at time 17 = 3 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3 and value of cell 124 at time 16 = 3, then value of cell 124 at time 17 = 3 |
| 87 | value of cell 2 at time 17 = 21 | if instruction #3 is load dst=4 addr=1 imm=0 and the PC at time 16 = 3 and value of cell 2 at time 16 = 21, then value of cell 2 at time 17 = 21 |
| 88 | value of cell 3 at time 18 = (value of cell 3 at time 17) + (value of cell 4 at time 17) | if the PC at time 17 = 4 and instruction #4 is add dst=3 src1=3 src2=4, then value of cell 3 at time 18 = (value of cell 3 at time 17) + (value of cell 4 at time 17) |
| 89 | value of cell 3 at time 18 = 5 | if value of cell 3 at time 18 = (value of cell 3 at time 17) + (value of cell 4 at time 17) and value of cell 3 at time 17 = 2 and value of cell 4 at time 17 = 3, then value of cell 3 at time 18 = 5 |
| 90 | the PC at time 18 = 5 | if instruction #4 is add dst=3 src1=3 src2=4 and the PC at time 17 = 4, then the PC at time 18 = 5 |
| 91 | value of cell 1 at time 18 = 124 | if instruction #4 is add dst=3 src1=3 src2=4 and the PC at time 17 = 4 and value of cell 1 at time 17 = 124, then value of cell 1 at time 18 = 124 |
| 92 | value of cell 127 at time 18 = 2 | if instruction #4 is add dst=3 src1=3 src2=4 and the PC at time 17 = 4 and value of cell 127 at time 17 = 2, then value of cell 127 at time 18 = 2 |
| 93 | value of cell 126 at time 18 = 3 | if instruction #4 is add dst=3 src1=3 src2=4 and the PC at time 17 = 4 and value of cell 126 at time 17 = 3, then value of cell 126 at time 18 = 3 |
| 94 | value of cell 125 at time 18 = 2 | if instruction #4 is add dst=3 src1=3 src2=4 and the PC at time 17 = 4 and value of cell 125 at time 17 = 2, then value of cell 125 at time 18 = 2 |
| 95 | value of cell 124 at time 18 = 3 | if instruction #4 is add dst=3 src1=3 src2=4 and the PC at time 17 = 4 and value of cell 124 at time 17 = 3, then value of cell 124 at time 18 = 3 |
| 96 | value of cell 2 at time 18 = 21 | if instruction #4 is add dst=3 src1=3 src2=4 and the PC at time 17 = 4 and value of cell 2 at time 17 = 21, then value of cell 2 at time 18 = 21 |
| 97 | value of cell 4 at time 18 = 3 | if instruction #4 is add dst=3 src1=3 src2=4 and the PC at time 17 = 4 and value of cell 4 at time 17 = 3, then value of cell 4 at time 18 = 3 |
| 98 | value of cell 1 at time 19 = 123 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5 and value of cell 1 at time 18 = 124, then value of cell 1 at time 19 = 123 |
| 99 | the PC at time 19 = 6 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5, then the PC at time 19 = 6 |
| 100 | value of cell 3 at time 19 = 5 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5 and value of cell 3 at time 18 = 5, then value of cell 3 at time 19 = 5 |
| 101 | value of cell 127 at time 19 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5 and value of cell 127 at time 18 = 2, then value of cell 127 at time 19 = 2 |
| 102 | value of cell 126 at time 19 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5 and value of cell 126 at time 18 = 3, then value of cell 126 at time 19 = 3 |
| 103 | value of cell 125 at time 19 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5 and value of cell 125 at time 18 = 2, then value of cell 125 at time 19 = 2 |
| 104 | value of cell 124 at time 19 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5 and value of cell 124 at time 18 = 3, then value of cell 124 at time 19 = 3 |
| 105 | value of cell 2 at time 19 = 21 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5 and value of cell 2 at time 18 = 21, then value of cell 2 at time 19 = 21 |
| 106 | value of cell 4 at time 19 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 5 and the PC at time 18 = 5 and value of cell 4 at time 18 = 3, then value of cell 4 at time 19 = 3 |
| 107 | value of cell 123 at time 20 = 5 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 1 at time 19 = 123 and value of cell 3 at time 19 = 5, then value of cell 123 at time 20 = 5 |
| 108 | the PC at time 20 = 7 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6, then the PC at time 20 = 7 |
| 109 | value of cell 1 at time 20 = 123 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 1 at time 19 = 123 and value of cell 1 at time 19 = 123, then value of cell 1 at time 20 = 123 |
| 110 | value of cell 3 at time 20 = 5 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 3 at time 19 = 5 and value of cell 1 at time 19 = 123, then value of cell 3 at time 20 = 5 |
| 111 | value of cell 127 at time 20 = 2 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 127 at time 19 = 2 and value of cell 1 at time 19 = 123, then value of cell 127 at time 20 = 2 |
| 112 | value of cell 126 at time 20 = 3 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 126 at time 19 = 3 and value of cell 1 at time 19 = 123, then value of cell 126 at time 20 = 3 |
| 113 | value of cell 125 at time 20 = 2 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 125 at time 19 = 2 and value of cell 1 at time 19 = 123, then value of cell 125 at time 20 = 2 |
| 114 | value of cell 124 at time 20 = 3 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 124 at time 19 = 3 and value of cell 1 at time 19 = 123, then value of cell 124 at time 20 = 3 |
| 115 | value of cell 2 at time 20 = 21 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 2 at time 19 = 21 and value of cell 1 at time 19 = 123, then value of cell 2 at time 20 = 21 |
| 116 | value of cell 4 at time 20 = 3 | if instruction #6 is store src=3 addr=1 imm=0 and the PC at time 19 = 6 and value of cell 4 at time 19 = 3 and value of cell 1 at time 19 = 123, then value of cell 4 at time 20 = 3 |
| 117 | the PC at time 21 = 21 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 2 at time 20 = 21, then the PC at time 21 = 21 |
| 118 | value of cell 1 at time 21 = 123 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 1 at time 20 = 123, then value of cell 1 at time 21 = 123 |
| 119 | value of cell 3 at time 21 = 5 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 3 at time 20 = 5, then value of cell 3 at time 21 = 5 |
| 120 | value of cell 127 at time 21 = 2 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 127 at time 20 = 2, then value of cell 127 at time 21 = 2 |
| 121 | value of cell 126 at time 21 = 3 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 126 at time 20 = 3, then value of cell 126 at time 21 = 3 |
| 122 | value of cell 125 at time 21 = 2 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 125 at time 20 = 2, then value of cell 125 at time 21 = 2 |
| 123 | value of cell 124 at time 21 = 3 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 124 at time 20 = 3, then value of cell 124 at time 21 = 3 |
| 124 | value of cell 2 at time 21 = 21 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 2 at time 20 = 21, then value of cell 2 at time 21 = 21 |
| 125 | value of cell 4 at time 21 = 3 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 4 at time 20 = 3, then value of cell 4 at time 21 = 3 |
| 126 | value of cell 123 at time 21 = 5 | if instruction #7 is jumpr addr=2 and the PC at time 20 = 7 and value of cell 123 at time 20 = 5, then value of cell 123 at time 21 = 5 |
| 127 | value of cell 3 at time 22 = 5 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 1 at time 21 = 123 and value of cell 123 at time 21 = 5, then value of cell 3 at time 22 = 5 |
| 128 | the PC at time 22 = 22 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21, then the PC at time 22 = 22 |
| 129 | value of cell 1 at time 22 = 123 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 1 at time 21 = 123, then value of cell 1 at time 22 = 123 |
| 130 | value of cell 127 at time 22 = 2 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 127 at time 21 = 2, then value of cell 127 at time 22 = 2 |
| 131 | value of cell 126 at time 22 = 3 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 126 at time 21 = 3, then value of cell 126 at time 22 = 3 |
| 132 | value of cell 125 at time 22 = 2 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 125 at time 21 = 2, then value of cell 125 at time 22 = 2 |
| 133 | value of cell 124 at time 22 = 3 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 124 at time 21 = 3, then value of cell 124 at time 22 = 3 |
| 134 | value of cell 2 at time 22 = 21 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 2 at time 21 = 21, then value of cell 2 at time 22 = 21 |
| 135 | value of cell 4 at time 22 = 3 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 4 at time 21 = 3, then value of cell 4 at time 22 = 3 |
| 136 | value of cell 123 at time 22 = 5 | if instruction #21 is load dst=3 addr=1 imm=0 and the PC at time 21 = 21 and value of cell 123 at time 21 = 5, then value of cell 123 at time 22 = 5 |
| 137 | value of cell 1 at time 23 = 126 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 1 at time 22 = 123, then value of cell 1 at time 23 = 126 |
| 138 | the PC at time 23 = 23 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22, then the PC at time 23 = 23 |
| 139 | value of cell 3 at time 23 = 5 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 3 at time 22 = 5, then value of cell 3 at time 23 = 5 |
| 140 | value of cell 127 at time 23 = 2 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 127 at time 22 = 2, then value of cell 127 at time 23 = 2 |
| 141 | value of cell 126 at time 23 = 3 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 126 at time 22 = 3, then value of cell 126 at time 23 = 3 |
| 142 | value of cell 125 at time 23 = 2 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 125 at time 22 = 2, then value of cell 125 at time 23 = 2 |
| 143 | value of cell 124 at time 23 = 3 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 124 at time 22 = 3, then value of cell 124 at time 23 = 3 |
| 144 | value of cell 2 at time 23 = 21 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 2 at time 22 = 21, then value of cell 2 at time 23 = 21 |
| 145 | value of cell 4 at time 23 = 3 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 4 at time 22 = 3, then value of cell 4 at time 23 = 3 |
| 146 | value of cell 123 at time 23 = 5 | if instruction #22 is addi dst=1 src=1 imm=3 and the PC at time 22 = 22 and value of cell 123 at time 22 = 5, then value of cell 123 at time 23 = 5 |
| 147 | value of cell 1 at time 24 = 125 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 1 at time 23 = 126, then value of cell 1 at time 24 = 125 |
| 148 | the PC at time 24 = 24 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23, then the PC at time 24 = 24 |
| 149 | value of cell 3 at time 24 = 5 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 3 at time 23 = 5, then value of cell 3 at time 24 = 5 |
| 150 | value of cell 127 at time 24 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 127 at time 23 = 2, then value of cell 127 at time 24 = 2 |
| 151 | value of cell 126 at time 24 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 126 at time 23 = 3, then value of cell 126 at time 24 = 3 |
| 152 | value of cell 125 at time 24 = 2 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 125 at time 23 = 2, then value of cell 125 at time 24 = 2 |
| 153 | value of cell 124 at time 24 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 124 at time 23 = 3, then value of cell 124 at time 24 = 3 |
| 154 | value of cell 2 at time 24 = 21 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 2 at time 23 = 21, then value of cell 2 at time 24 = 21 |
| 155 | value of cell 4 at time 24 = 3 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 4 at time 23 = 3, then value of cell 4 at time 24 = 3 |
| 156 | value of cell 123 at time 24 = 5 | if subtract immediate instruction with dst: 1 src: 1 and immediate: 1 at 23 and the PC at time 23 = 23 and value of cell 123 at time 23 = 5, then value of cell 123 at time 24 = 5 |
| 157 | value of cell 125 at time 25 = 5 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 1 at time 24 = 125 and value of cell 3 at time 24 = 5, then value of cell 125 at time 25 = 5 |
| 158 | the PC at time 25 = 25 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24, then the PC at time 25 = 25 |
| 159 | value of cell 1 at time 25 = 125 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 1 at time 24 = 125 and value of cell 1 at time 24 = 125, then value of cell 1 at time 25 = 125 |
| 160 | value of cell 3 at time 25 = 5 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 3 at time 24 = 5 and value of cell 1 at time 24 = 125, then value of cell 3 at time 25 = 5 |
| 161 | value of cell 127 at time 25 = 2 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 127 at time 24 = 2 and value of cell 1 at time 24 = 125, then value of cell 127 at time 25 = 2 |
| 162 | value of cell 126 at time 25 = 3 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 126 at time 24 = 3 and value of cell 1 at time 24 = 125, then value of cell 126 at time 25 = 3 |
| 163 | value of cell 124 at time 25 = 3 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 124 at time 24 = 3 and value of cell 1 at time 24 = 125, then value of cell 124 at time 25 = 3 |
| 164 | value of cell 2 at time 25 = 21 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 2 at time 24 = 21 and value of cell 1 at time 24 = 125, then value of cell 2 at time 25 = 21 |
| 165 | value of cell 4 at time 25 = 3 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 4 at time 24 = 3 and value of cell 1 at time 24 = 125, then value of cell 4 at time 25 = 3 |
| 166 | value of cell 123 at time 25 = 5 | if instruction #24 is store src=3 addr=1 imm=0 and the PC at time 24 = 24 and value of cell 123 at time 24 = 5 and value of cell 1 at time 24 = 125, then value of cell 123 at time 25 = 5 |
Comments
Please log in to add comments