Using Transformations and Verification in Circuit Design
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Retiming synchronous circuitryAlgorithmica, 1991
- Debugging Larch shared language specificationsIEEE Transactions on Software Engineering, 1990
- The notion of proof in hardware verificationJournal of Automated Reasoning, 1989
- Verification of VLSI Circuits Using LPDAIMI Report Series, 1988
- REVE a rewrite rule laboratoryPublished by Springer Nature ,1986