Post-Silicon and Runtime Verification for Modern Processors

The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. 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.