Optimization Techniques and Efficient Verification for 32-bit Embedded Floating-point RISC Microprocessor