Functional verification methodology for the powerPC 604 microprocessor (1996)

by J Monaco, D Holloway, R Raina
Venue:in Proc. ACM/IEEE Design Automation Conf