Microprocessor Design Verification (1989)

by Warren A Hunt
Venue:The Journal of Automated Reasoning