Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation
No abstract available.
Related papers
- The semantics of shared memory in Intel CPU/FPGA systems OOPSLA 2021
- Who guards the guards? formal validation of the Arm v8-m architecture specification OOPSLA 2017
- JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace PLDI 2021
- Formally verified superblock scheduling CPP 2022
- Extending Intel-x86 consistency and persistency: formalising the semantics of Intel-x86 memory types and non-temporal stores POPL 2022
- Interpreter-guided differential JIT compiler unit testing PLDI 2022
- Code-Based Test Generation for Validation of Functional Processor Descriptions TACAS 2003
- EMME: A Formal Tool for ECMAScript Memory Model Evaluation TACAS 2018