This Article 
 Bibliographic References 
 Add to: 
Validating PowerPC Microprocessor Custom Memories
October-December 2000 (vol. 17 no. 4)
pp. 61-76
Due to the high cost of correcting errors in a final product, there is a growing impetus in the industry towards methodologies that can yield correct designs in the first manufacturing run. Design validation methodologies that combine simulation techniques with formal reasoning can be effective in ensuring correct operation of software and hardware systems. We present a validation methodology for PowerPC custom memories based on symbolic simulation and present results on an industrial project at Somerset. We also show why simulation is necessary to complement formal mathematical reasoning in verifying certain classes of custom designed circuits. We then present our results and outline our goals in the areas of design validation using symbolic simulation.
Narayanan Krishnamurthy, Andrew K. Martin, Magdy S. Abadir, Jacob A. Abraham, "Validating PowerPC Microprocessor Custom Memories," IEEE Design & Test of Computers, vol. 17, no. 4, pp. 61-76, Oct.-Dec. 2000, doi:10.1109/54.895007
Usage of this product signifies your acceptance of the Terms of Use.