Verification of a 32-bit RISC processor core | IEEE Conference Publication | IEEE Xplore