Microprocessor Design Verification (1989)

by Warren Hunt, Copyright Warren, A. Hunt
Venue:Journal of Automated Reasoning