Applying formal verification to a commercial microprocessor | IEEE Conference Publication | IEEE Xplore