Alon Flaisher Alon Gluska Eli Singerman Case study: Integrating FV and DV in the Verification of the Intel Core<sup>TM</sup> 2 Duo Microprocessor. 192-195 2007 conf/fmcad/2007 FMCAD http://doi.ieeecomputersociety.org/10.1109/FMCAD.2007.14 db/conf/fmcad/fmcad2007.html#FlaisherGS07