Design a Fully MIPS32 ISA Processor with Corresponding Verification Environment