On the interplay of synthesis and verification (1989)

by S D Johnson, R M Wehrmeister, Bhaskar Bose
Venue:Proc. IMEC-IFIP Intl. Workshop on Applied Formal Methods in Correct VLSI Design, L. Claesen