Effective theorem proving for hardware verification
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 203-222
- https://doi.org/10.1007/3-540-59047-1_50
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A correctness model for pipelined microprocessorsPublished by Springer Nature ,1995
- Ground temporal logic: A logic for hardware verificationPublished by Springer Nature ,1994
- Automatic verification of pipelined microprocessor controlPublished by Springer Nature ,1994
- Structuring and automating hardware proofs in a higher-order theorem-proving environmentFormal Methods in System Design, 1993
- Formal verification of a pipelined microprocessorIEEE Software, 1990
- Efficient implementation of a BDD packagePublished by Association for Computing Machinery (ACM) ,1990
- Microprocessor design verificationJournal of Automated Reasoning, 1989
- Deciding Combinations of TheoriesJournal of the ACM, 1984
- Variations on the Common Subexpression ProblemJournal of the ACM, 1980