Formal Verification in Hardware Design: A Survey", (1999)

by C Kern, M R Greenstreet
Venue:ACM Transactions on Design Automation of Electronic Systems,