Replacing Testing with Formal Verification in Intel $^{\scriptsize\circledR}$ CoreTM i7 Processor Execution Engine Validation-Reference-Cited by-同舟云学术

Replacing Testing with Formal Verification in Intel $^{\scriptsize\circledR}$ CoreTM i7 Processor Execution Engine Validation

Published:2009 Issue: Volume: Page:414-429
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Kaivola Roope,Ghughal Rajnish,Narasimhan Naren,Telfer Amber,Whittemore Jesse,Pandav Sudhindra,Slobodová Anna,Taylor Christopher,Frolov Vladimir,Reeber Erik,Naik Armaghan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02658-4_32

Reference22 articles.

1. First the Tick, Now the Tock: Next Generation Intel® Microarchitecture (Nehalem) Intel Corp., http://www.intel.com/technology/architecture-silicon/next-gen/whitepaper.pdf

2. IA-32 Intel® Architecture Software Developer’s Manual, Vol. 2A and 2B. Intel Corp.

3. Lecture Notes in Computer Science;M.D. Aagaard,2000

4. Beers, R.: Pre-RTL formal verification: an Intel experience. In: DAC 2008: Proc. of the 45th annual conf. on Design automation, pp. 806–811. ACM, New York (2008)

5. Lecture Notes in Computer Science;B. Bentley,2005

Cited by 65 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model;Logical Methods in Computer Science;2024-01-11

2. Correct-by-Construction Design of Custom Accelerator Microarchitectures;IEEE Transactions on Computers;2024-01

3. r-map: Relating Implementation and Specification in Hardware Refinement Checking;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-12

4. SurgeFuzz: Surge-Aware Directed Fuzzing for CPU Designs;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28

5. Efficient Formal Verification and Debugging of Arithmetic Divider Circuits;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28