Update to CPU.v

Added the Dereference A and Dereference B cases