This proof shows that when an ADD instruction is executed, the Program Counter (PC) increments by 1. Specifically, when the PC is 1, it is incremented to 2.

Note that src1 src2, and dst are left as variables because these values do not affect the PC. In other words, this property is true regardless of the values of src1, src2, and dst.

For reference, here is the simulator. We cannot use variable values in the simulator so src1, src2, and dst are given numerical values.

Quiz (1 point)

• 1 + 1 = 2

• if the following are true:

  • instruction #x is add dst=s src1=d src2=imm
  • the PC at time t = x

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

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

• if the following are true:

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

  then c = d

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!