Categories
Download Post-Silicon and Runtime Verification for Modern Processors

Post-Silicon and Runtime Verification for Modern Processors

  • Author: Ilya Wagner
  • Pages: 224
  • Language: English
  • ISBN/ASIN: 1441980334
  • ISBN13: 9781441980335
  • Upload date: 9-01-2017, 13:08
  • Category: Engineering

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 solutions follows a similar approach. This is an area of processor design that is still in its early stages of exploration and that holds the promise of accomplishing the ultimate goal of achieving complete correctness guarantees for microprocessor-based computation. The authors conclude the book with a look towards the future of late-stage verification and its growing role in the processor life-cycle.

Download Post-Silicon and Runtime Verification for Modern Processors

* If download links doesn't work. Please write a comment.

Post-Silicon and Runtime Verification for Modern Processors Download via usenet

Comments for Post-Silicon and Runtime Verification for Modern Processors

Related eBooks

Download Safety Instrumented Systems Verification: Practical Probabilistic CalculationSafety Instrumented Systems Verification: Practical Probabilistic Calculation William M. Goble Download Trace-Based Post-Silicon Validation for VLSI CircuitsTrace-Based Post-Silicon Validation for VLSI Circuits Xiao Liu, Qiang Xu Download Silicon Nitride: Synthesis, Properties and Applications (Chemical Engineering Methods and Technology: Materials Science and Technologies)Silicon Nitride: Synthesis, Properties and Applications (Chemical Engineering Methods and Technology: Materials Science and Technologies) Emiliano Jose Hierra Download Modern Processor Design: Fundamentals of Superscalar Processors by John ShenModern Processor Design: Fundamentals of Superscalar Processors by John Shen John Shen Download Mixed-Signal CircuitsMixed-Signal Circuits Thomas Noulis Download Metamodeling-Driven IP Reuse for SoC Integration and Microprocessor DesignMetamodeling-Driven IP Reuse for SoC Integration and Microprocessor Design Deepak A. Mathaikutty Download Low Power Hardware Synthesis from Concurrent Action-Oriented SpecificationsLow Power Hardware Synthesis from Concurrent Action-Oriented Specifications Gaurav Singh Download Logic Synthesis and Verification AlgorithmsLogic Synthesis and Verification Algorithms Gary D. Hachtel Download IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection (Analog Circuits and Signal Processing)IP Cores Design from Specifications to Production: Modeling, Verification, Optimization, and Protection (Analog Circuits and Signal Processing) Khaled Salah Mohamed Download Equivalence Checking of Digital Circuits: Fundamentals, Principles, MethodsEquivalence Checking of Digital Circuits: Fundamentals, Principles, Methods Paul Molitor Download Earthquake-Resistant Design of Masonry Buildings (Series on Innovations in Structures and Construction , Vol 1)Earthquake-Resistant Design of Masonry Buildings (Series on Innovations in Structures and Construction , Vol 1) Miha Tomazevic Download Digital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic InstituteDigital VLSI Design with Verilog: A Textbook from Silicon Valley Polytechnic Institute John Michael Williams Download Digital Design (VHDL): An Embedded Systems Approach Using VHDLDigital Design (VHDL): An Embedded Systems Approach Using VHDL Peter J. Ashenden Download Control of Switching Systems by Invariance Analysis: Applcation to Power ElectronicsControl of Switching Systems by Invariance Analysis: Applcation to Power Electronics Laurent Fribourg Download Advanced Verification Techniques: A SystemC Based Approach for Successful TapeoutAdvanced Verification Techniques: A SystemC Based Approach for Successful Tapeout Leena Singh Download Advanced Formal VerificationAdvanced Formal Verification Rolf Drechsler Download Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing)Verification of Communication Protocols in Web Services: Model-Checking Service Compositions (Wiley Series on Parallel and Distributed Computing) Kazi Sakib Download Silicon and Plant DiseasesSilicon and Plant Diseases Fabricio Rodrigues, Lawrence Datnoff Download Object-Oriented TechnologyObject-Oriented Technology Suad Alagic Download High-Level Verification: Methods and Tools for Verification of System-Level DesignsHigh-Level Verification: Methods and Tools for Verification of System-Level Designs Sudipta Kundu Download Hardware Verification with C++: A Practitioners HandbookHardware Verification with C++: A Practitioners Handbook Mike Mintz Download FPGA-Based Prototyping Methodology Manual: Best Practices in Design-For-PrototypingFPGA-Based Prototyping Methodology Manual: Best Practices in Design-For-Prototyping Doug Amos, Austin Lesea, Ren Richter Download Embedded System Design: Modeling, Synthesis and VerificationEmbedded System Design: Modeling, Synthesis and Verification Daniel D. Gajski Download Silicon Solid State Devices and Radiation DetectionSilicon Solid State Devices and Radiation Detection Claude Leroy, Pier-Giorgio Rancoita