PowerPCTM Array Verification Methodology using Formal Techniques

Formal verification of content addressable memories using symbolic trajectory evaluation

DAC '97 Proceedings of the 34th annual Design Automation Conference

Automatic generation of assertions for formal verification of PowerPC microprocessor arrays using symbolic trajectory evaluation

DAC '98 Proceedings of the 35th annual Design Automation Conference

On measuring the effectiveness of various design validation approaches for PowerPC microprocessor embedded arrays

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Test Generation Based on High-Level Assertion Specification for PowerPCTM Microprocessor Embedded Arrays

Journal of Electronic Testing: Theory and Applications - special issue on high-level test synthesis

On Efficiently Producing Quality Tests forCustom Circuits in PowerPC™ Microprocessors

Journal of Electronic Testing: Theory and Applications - Special issue on microprocessor test and verification

Measuring the effectiveness of various design validation approaches for PowerPCTM microprocessor arrays

Proceedings of the conference on Design, automation and test in Europe

Experience in Validation of PowerPCTM Microprocessor Embedded Arrays

Journal of Electronic Testing: Theory and Applications

Validating PowerPC Microprocessor Custom Memories

IEEE Design & Test

Design and Development Paradigm for Industrial Formal Verification CAD Tools

IEEE Design & Test

Formal Verification Successes at Motorola

Formal Methods in System Design

Using Abstract Specifications to Verify PowerPCTM Custom Memories by Symbolic Trajectory Evaluation

CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods

12.2 On Logic and Transistor Level Design Error Detection of Various Validation Approaches for PowerPC(tm) Microprocessor Arrays

VTS '98 Proceedings of the 16th IEEE VLSI Test Symposium

MODELING AND TESTING THE GEKKO MICROPROCESSOR, AN IBM POWERPC DERIVATIVE FOR NINTENDO

ITC '01 Proceedings of the 2001 IEEE International Test Conference

A New Validation Methodology Combining Test and Formal Verification For PowerPC" Microprocessor Arrays

ITC '97 Proceedings of the 1997 IEEE International Test Conference

Design-For-Test Methodology for Motorola PowerPCTM Microprocessors

ITC '99 Proceedings of the 1999 IEEE International Test Conference

Tradeoff Analysis For Producing High Quality Tests For Custom Circuits in PowerPCTM Microprocessors

ITC '99 Proceedings of the 1999 IEEE International Test Conference

A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor

Formal Methods in System Design