Microprocessing and Microprogramming
Volume 40, Issues 10–12, December 1994, Pages 909-912
Session G5: Design methods. Chairman: K. Fazekas (H)Towards amalgamating high-level synthesis and proof systems☆
References (14)
- et al.
Experience with embedding hardware description languages in HOL
Behavior preserving transformations for high-level synthesis
- F. Corella, R. Camposano, R. Bergamaschi, and M. Payer. Verification of Synchronous Sequential Circuits Obtained from...
- et al.
An Automata-Theoretic approach to Behavioral Equivalence
- et al.
High Level Synthesis based on Formal Methods
There are more references available in the full text version of this article.
Cited by (0)
- ☆
This work is supported by The Swedish Institute (SI) and The Swedish Board of Technical Development (NUTEK).
- †
Presently at: University of Cambridge, Computer Laboratory, New Museums Site, Pembroke Street, CB2 3QG Cambridge, UK.
Copyright © 1994 Published by Elsevier B.V.