Formal Verification in Hardware Design: A Survey (1999)

by C AND GREENSTREET KERN, M R
Venue:ACM Transaction on Design Automation of Embedded Systems