if the following are true:

• instruction #1 is store src=7 addr=6 imm=0
• the PC at time 8 = 1

then the PC at time 9 = 2

Start from the conclusion and work back up the proof. Click the arrow to show the parents.

• the PC at time 9 = 2,

  if the following are true:

  • a = b
  • a = c
  • b = d

  then c = d

  • the PC at time (8 + 1) = 1 + 1,

    if the following are true:

    • instruction #x is store src=s addr=d imm=imm
    • the PC at time t = x

    then the PC at time (t + 1) = x + 1

    • instruction #1 is store src=7 addr=6 imm=0
    • the PC at time 8 = 1
  • the PC at time (8 + 1) = the PC at time 9,

    if 8 + 1 = 9, then the PC at time (8 + 1) = the PC at time 9

    • 8 + 1 = 9, 8 + 1 = 9
  • 1 + 1 = 2, 1 + 1 = 2