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