Post-Silicon and Runtime Verification for Modern Processors

• Κύριοι συγγραφείς: Wagner, Ilya (Συγγραφέας), Bertacco, Valeria (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2011.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.