Microprocessor design verification
- 1 December 1989
- journal article
- Published by Springer Nature in Journal of Automated Reasoning
- Vol. 5 (4) , 429-460
- https://doi.org/10.1007/bf00243132
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The notion of proof in hardware verificationJournal of Automated Reasoning, 1989
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988
- Toward Verified Execution EnvironmentsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987