On the Interplay of Syntheis and Verification". Applied Formal Methods for Correct VLSI (1989)

by S Johnson, R Wihrmeister, B Bose
Venue:DesignProceedings of the IMEC-IFIP International Workshop