Microprocessor design verification (1989)

by Warren A Hunt
Venue:Journal of Automated Reasoning