Verification of the MIPS Processor