Title :
Logic Verification Methodology for PowerPC ™ Microprocessors
Author :
Charles H.Malley, Max Dieudonne
Author_Institution :
Motorola Inc., Austin, TX
Abstract :
The PowerPC logic verification methodology is a general purpose approach suitable for a large class of chip designs that can exceed five million transistors in size. Several validation techniques are integrated into an automated logic verification strategy. The success of this methodology has been demonstrated by realizing three PowerPC microprocessor chips that were functional the first time.
Keywords :
Automatic test pattern generation; Boolean functions; Chip scale packaging; Circuit faults; Circuit synthesis; Circuit testing; Integrated circuit interconnections; Logic circuits; Logic design; Microprocessors;
Conference_Titel :
Design Automation, 1995. DAC '95. 32nd Conference on
Conference_Location :
San Francisco, CA
Print_ISBN :
0-89791-725-1
DOI :
10.1109/DAC.1995.250096