1. Proceedings of the 1991 International Workshop on Formal Methods in VLSI Design;ACM,1991
2. Experience with embedding hardware description languages in HOL;Boulton,1992
3. Behavior preserving transformations for high-level synthesis;Camposano,1989
4. F. Corella, R. Camposano, R. Bergamaschi, and M. Payer. Verification of Synchronous Sequential Circuits Obtained from Algorithmic Specifications. In ACM [1].
5. An Automata-Theoretic approach to Behavioral Equivalence;Devadas,1990