Screen LibraryPost-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. |