Using transformations and verification in circuit design
- 1 December 1993
- journal article
- research article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 3 (3) , 181-209
- https://doi.org/10.1007/bf01384073
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
- Formal specification and verification of microprocessor systemsIntegration, 1989
- The notion of proof in hardware verificationJournal of Automated Reasoning, 1989
- A procedure for automatically proving the termination of a set of rewrite rulesLecture Notes in Computer Science, 1985