Logic Verification Methodology for PowerPC Microprocessors. - Charles H. Malley; Max Dieudonné (DAC, 1995)

Design and test of the PowerPC 603 microprocessor. - E. Kofi Vida-Torku; Charles H. Malley; Sung Park; R. Reed (ED&TC, 1995)