Functional Verification Methodology for the PowerPC 604 Microprocessor.

James Monaco David Holloway Rajesh Raina

Published in: DAC (1996)

Keyphrases

functional verification
formal verification
operating system
design methodology
real time
low cost
distributed systems
software development
hardware software