Design of 32-bit RISC processor and efficient verification | IEEE Conference Publication | IEEE Xplore