Verification of a pipelined microprocessor using clio
- 1 January 1990
- book chapter
- Published by Springer Nature
- p. 307-332
- https://doi.org/10.1007/0-387-97226-9_35
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Formal Verification of a Microprocessor Using Equational TechniquesPublished by Springer Nature ,1989
- Formal specification and verification of microprocessor systemsMicroprocessing and Microprogramming, 1988
- An overview of MirandaACM SIGPLAN Notices, 1986
- Verify: A program for proving correctness of digital hardware designsArtificial Intelligence, 1984