Proof: Pc 0

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	the PC at time (0 + 1) = 0 + 1	if instruction #0 is addi dst=3 src=0 imm=3 and the PC at time 0 = 0, then the PC at time (0 + 1) = 0 + 1 (Program Counter on ADDI)
2	0 + 1 = 1	0 + 1 = 1 (Additive Identity Variation)
3	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 (Substitution)
4	the PC at time 1 = 1	if the PC at time (0 + 1) = 0 + 1 and the PC at time (0 + 1) = the PC at time 1 and 0 + 1 = 1, then the PC at time 1 = 1 (Transitive Property Application 2)

Comments

Please log in to add comments