Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability

Authors: Jun Sawada IBM Austin Research Laboratory, 11400 Burnet Road, Austin, TX 78758, USA
Warren A. Hunt, Jr. IBM Austin Research Laboratory, 11400 Burnet Road, Austin, TX 78758, USA
Published in:
· Journal
Formal Methods in System Design archive
Volume 20 Issue 2, March 2002
Pages 187-222
Kluwer Academic Publishers Hingham, MA, USA
table of contents doi>10.1023/A:1014122630277
Verification of FM9801: An Out-of-Order Microprocessor Model with Speculative Execution, Exceptions, and Program-Modifying Capability 2002 Article
Bibliometrics Data  Bibliometrics
· Citation Count: 9
· Downloads (cumulative): 0
· Downloads (12 Months): 0
· Downloads (6 Weeks): 0


Tools and Resources

Publisher Site Publisher Site

Share:

|
Author Tags Expand Author Tags
Contact The DL Team Contact Us | Switch to single page view (no tabs)

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2018 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us