Replacing* testing* with* formal* verification* in Intel* Core* i7 processor* execution* engine* validation*
OK
Roope KaivolaRajnish GhughalNaren NarasimhanAmber TelferJesse WhittemoreSudhindra PandavAnna SlobodováChristopher TaylorVladimir A. FrolovErik ReeberArmaghan NaikReplacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation.CAV414-4292009Conference and Workshop Papersopenconf/cav/KaivolaGNTWPSTFRN0910.1007/978-3-642-02658-4_32https://doi.org/10.1007/978-3-642-02658-4_32https://dblp.org/rec/conf/cav/KaivolaGNTWPSTFRN09
URL#5107892