Formal verification in hardware design, a survey (1999)

by C KERN, M GREENSTREET
Venue:ACM Transactions on Design Automation of Electronic Systems