if the following are true:

• instruction #5 is addi dst=1 src=2 imm=0
• the PC at time 17 = 5

then the PC at time 18 = 6

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

• the PC at time 18 = 6,

  if the following are true:

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

  then c = d

  • the PC at time (17 + 1) = 5 + 1,

    if the following are true:

    • instruction #x is addi dst=s src=d imm=imm
    • the PC at time t = x

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

    • instruction #5 is addi dst=1 src=2 imm=0
    • the PC at time 17 = 5
  • the PC at time (17 + 1) = the PC at time 18,

    if 17 + 1 = 18, then the PC at time (17 + 1) = the PC at time 18

    • 17 + 1 = 18, 17 + 1 = 18
  • 5 + 1 = 6, 5 + 1 = 6