Functional design verification for the PowerPC 601 microprocessor.

Scott Glenn Gavin Meil Ed Rodriguez Jeff Brooks

Published in: VTS (1994)

Keyphrases

functional verification
design methodology
formal verification
information systems
computer aided
design process
model checking
software architecture
data sets
high speed
knowledge based systems
design principles
circuit design
special purpose hardware