Post-silicon and runtime verification for modern processors
Saved in:
Main Authors: | |
---|---|
Corporate Authors: | |
Group Author: | |
Published: |
Springer,
|
Publisher Address: | New York |
Publication Dates: | c2011. |
Literature type: | Book |
Language: | English |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-1-4419-8034-2 |
Carrier Form: | 1 online resource (xvii, 224 p.): ill. |
ISBN: |
9781441980342 (electronic bk.) 1441980342 (electronic bk.) |
Index Number: | TP311 |
CLC: | TP311.56 |
Contents: |
Includes bibliographical references and index. Post-Silicon and Run- Time Verification for Modern Processors; Preface; Acknowledgements; Contents; Acronyms; Part I VERIFICATION OF A MODERN PROCESSOR; Chapter 1 VERIFICATION OF A MODERN PROCESSOR; Chapter 2 THE VERIFICATION UNIVERSE; Part II FUNCTIONAL POST-SILICON VERIFICATION; Chapter 3 POST-SILICON VALIDATION OF PROCESSOR CORES; Chapter 4 POST-SILICON VERIFICATION OF MULTI-CORE PROCESSORS; Chapter 5 CONSISTENCY VERIFICATION USING DATA COLORING; Part III RUNTIME VERIFICATION FOR MODERN MICROPROCESSORS; Chapter 6 RUNTIME VERIFICATION WITH PATCHING AND HARDWARE CHECKERS. The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an overview of the state of the art in verification, particularly current post-silicon methodologies in use in the industry, both for the domain of processor pipeline design and for memory subsystems. They then dive into the presentation of several new post-silicon verification solutions aimed at boosting the verification coverage of modern processors, dedicating several chapters to this topic. The presentation of runtime verification solution. |