Roope Kaivola Rajnish Ghughal Naren Narasimhan Amber Telfer Jesse Whittemore Sudhindra Pandav Anna Slobodová Christopher Taylor Vladimir Frolov Erik Reeber Armaghan Naik Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. 414-429 2009 CAV http://dx.doi.org/10.1007/978-3-642-02658-4_32 conf/cav/2009 db/conf/cav/cav2009.html#KaivolaGNTWPSTFRN09