Verification of a Second-Generation 32-Bit Microprocessor | IEEE Journals & Magazine | IEEE Xplore