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