A methodology for integrating hardware design and verification (1991)

by Sara Kalvala, Myla Archer, Karl Levitt
Venue:In ACM International Workshop on Formal Methods in VLSI Design