Combining Symbolic Model Checking with Uninterpreted Functions for Out-of-Order Processor Verification
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 369-386
- https://doi.org/10.1007/3-540-49519-3_24
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Symbolic model checking: 1020 States and beyondPublished by Elsevier ,2004
- Verification of an implementation of Tomasulo's algorithm by compositional model checkingPublished by Springer Nature ,1998
- Processor verification with precise exceptions and speculative executionPublished by Springer Nature ,1998
- Decomposing the proof of correctness of pipelined microprocessorsPublished by Springer Nature ,1998
- Verifying Out-of-Order ExecutionsPublished by Springer Nature ,1997
- Automatic datapath abstraction in hardware systemsPublished by Springer Nature ,1995
- Bringing Telecommunication Services to the People — IS&N '95Published by Springer Nature ,1995
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986