Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham. Validation of PowerPC(tm) Custom Memories using Symbolic Simulation. In 18th IEEE VLSI Test Symposium (VTS 2000), 30 April - 4 May 2000, Montreal, Canada. pages 9-14, IEEE Computer Society, 2000. [doi]
Abstract is missing.