Case study: Integrating FV and DV in the Verification of the Intel® Core^{TM} 2 Duo Microprocessor | IEEE Conference Publication | IEEE Xplore