Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor. - Jen-Tien Yen; Qichao Richard Yin (DAC, 2000)