if the following are true:- instruction #2 is
addi dst=5 src=5 imm=1
- the PC at time 9 = 2
addi dst=5 src=5 imm=1
then the PC at time 10 = 3
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
addi dst=5 src=5 imm=1
then the PC at time 10 = 3
Start from the conclusion and work back up the proof. Click the arrow to show the parents.