if the following are true:- the PC at time 0 = 0
- instruction #0 is
addi dst=3 src=0 imm=3
- instruction #1 is
addi dst=4 src=0 imm=0
- instruction #2 is
addi dst=5 src=0 imm=0
- instruction #3 is
addi dst=5 src=5 imm=7
- instruction #4 is
addi dst=4 src=4 imm=1
- instruction #5 is
beq left=3 right=4 imm=1
- instruction #6 is
jump imm=3
addi dst=3 src=0 imm=3
addi dst=4 src=0 imm=0
addi dst=5 src=0 imm=0
addi dst=5 src=5 imm=7
addi dst=4 src=4 imm=1
beq left=3 right=4 imm=1
jump imm=3
then value of cell 5 at time 14 = 21
Start from the conclusion and work back up the proof. Click the arrow to show the parents.