Verification of processor microarchitectures | IEEE Conference Publication | IEEE Xplore