Did you understand why PC value should be 2003 at the end?
I think it should be 2002.
Bcoz since current instruction is at 2000, once it's fetch is done, its PC gets incremented and points to 2001, which is the operand, so after fetch of operand the content of PC becomes 2002. Why we r again incrementing PC after execution of instruction at 2000.
As far as I know, after fetch of an instruction, PC gets incremented and points to next instruction, then why to increment after execute too?