On the interplay of synthesis and verification: Experiments with the FM8501 processor description (1989)

by Steven D Johnson, Robert M Wehrmeister, Bhaskar Bose
Venue:In Luc Claesen, editor, Applied Formal Methods For Correct VLSI Design