This proof shows an ADDI instruction that adds the value in memory cell #1 and 5 and stores the result in memory cell #2. It starts with the ADDI Instruction Property and performs some basic algebra to compute the value of memory cell #2. For reference, here is the simulator:

Quiz (1 point)

• 0 + a = a
• 4 + 5 = 9

• if the following are true:

  • instruction #i is addi dst=dst src=src imm=imm
  • the PC at time t = i

  then value of cell dst at time (t + 1) = (value of cell src at time t) + imm

• if 0 + 1 = 1, then value of cell 2 at time (0 + 1) = value of cell 2 at time 1

• if the following are true:

  • a = b
  • a = c

  then b = c

• if the following are true:

  • a = b + c
  • b = d

  then a = d + c

• if the following are true:

  • a = b
  • b = c

  then a = c

Please write your proof in the table below. Each row should contain one claim. The last claim is the statement that you are trying to prove.

Step	Claim	Reason (optional)	Error Message (if any)
1
2
3
4
5
6
7
8
9
10

Add Step Reset

Become a subscriber to save your progress, see the correct answer, and more!