if the following are true:- instruction #6 is
store src=3 addr=1 imm=0
- the PC at time 19 = 6
store src=3 addr=1 imm=0
then the PC at time 20 = 7
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
store src=3 addr=1 imm=0
then the PC at time 20 = 7
Start from the conclusion and work back up the proof. Click the arrow to show the parents.