Structuring and automating hardware proofs in a higher-order theorem-proving environment
- 1 April 1993
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 2 (2) , 165-223
- https://doi.org/10.1007/bf01383880
Abstract
No abstract availableKeywords
This publication has 29 references indexed in Scilit:
- A COMMON APPROACH TO TEST GENERATION AND HARDWARE VERIFICATION BASED ON TEMPORAL LOGICPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- Formal specification and verification of hardware: a comparative case studyPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Representing circuits more efficiently in symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1991
- Verification of synchronous sequential machines based on symbolic executionPublished by Springer Nature ,1990
- The notion of proof in hardware verificationJournal of Automated Reasoning, 1989
- Current Trends in Hardware Verification and Automated Theorem ProvingPublished by Springer Nature ,1989
- Formal verification of hardware correctness: introduction and survey of current researchComputer, 1988
- Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Prentice-Hall, Inc., Englewood Cliffs, N.J., 1984, xiv + 482 pp.The Journal of Symbolic Logic, 1986
- A Model of Design Representation and SynthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Guest Editors' Introduction: New VLSI ToolsComputer, 1983