Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor.

Jen-Tien Yen Qichao Richard Yin

Published in: DAC (2000)

Keyphrases

design methodology
functional verification
design process
real time
building blocks
circuit design
physical design
web services
object oriented
formal verification
neural network
case study
high speed
operating system