Design verification of a super-scalar RISC processor | IEEE Conference Publication | IEEE Xplore