Post-Silicon and Runtime Verification for Modern Processors

• Main Authors: Wagner, Ilya (Author), Bertacco, Valeria (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2011.
• Subjects: Engineering.; Computer hardware.; Computer-aided engineering.; Electronic circuits.; Circuits and Systems.; Computer Hardware.; Computer-Aided Engineering (CAD, CAE) and Design.

Post-Silicon and Run-Time Verification for Modern Processors surveys the state of the art and evolving directions in post-silicon and runtime verification. The volume gives an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, bo...

Table of Contents:

• Verification of a Modern Processor
• The Verification Universe
• Test Generation and Response Evaluation for Processors Cores in Post-Silicon
• Post-Silicon Verification of Multi-Core Processors
• Run-Time Verification Through Hardware Patching and Error Avoidance
• The Future of Post-Silicon Verification.