if the following are true:

• instruction #0 is addi dst=3 src=0 imm=3
• the PC at time 0 = 0

then the PC at time 1 = 1

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

• the PC at time 1 = 1,

  if the following are true:

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

  then c = d

  • the PC at time (0 + 1) = 0 + 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 #0 is addi dst=3 src=0 imm=3
    • the PC at time 0 = 0
  • the PC at time (0 + 1) = the PC at time 1,

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

    • 0 + 1 = 1, 0 + a = a
  • 0 + 1 = 1, 0 + a = a