The design of a 32 bit floating-point RISC microprocessor | IEEE Conference Publication | IEEE Xplore