The following publications are possibly variants of this publication:
- Validation of PowerPC(tm) Custom Memories using Symbolic SimulationNarayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham. vts 2000: 9-14 [doi]
- Tradeoff analysis for producing high quality tests for custom circuits in PowerPC microprocessorsLi-C. Wang, Magdy S. Abadir. itc 1999: 830-838
- On Efficiently Producing Quality Tests for Custom Circuits in PowerPC:::TM::: MicroprocessorsLi-C. Wang, Magdy S. Abadir. et, 16(1-2):121-130, 2000. [doi]
- Measuring the Effectiveness of Various Design Validation Approaches For PowerPC(TM) Microprocessor ArraysLi-C. Wang, Magdy S. Abadir, Jing Zeng. date 1998: 273-277 [doi]
- On measuring the effectiveness of various design validation approaches for PowerPC microprocessor embedded arraysLi-C. Wang, Magdy S. Abadir, Jing Zeng. todaes, 3(4):524-532, 1998. [doi]
- Automatic Generation of High Performance Embedded Memory Models for PowerPC MicroprocessorsJayanta Bhadra, Magdy S. Abadir, David Burgess, Ekaterina Trofimova. mtv 2005: 111-118 [doi]
- A New Validation Methodology Combining Test and Formal Verification for PowerPC:::TM::: Microprocessor ArraysLi-C. Wang, Magdy S. Abadir. itc 1997: 954-963
- On Logic and Transistor Level Design Error Detection of Various Validation Approaches for PowerPC(tm) Microprocessor ArraysLi-C. Wang, Magdy S. Abadir, Jing Zeng. vts 1998: 260-265 [doi]