Book 2011

Post-Silicon and Runtime Verification for Modern Processors

Authors:

ISBN: 978-1-4419-8033-5 (Print) 978-1-4419-8034-2 (Online)

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xvii

  2. VERIFICATION OF A MODERN PROCESSOR

    1. Front Matter

      Pages 1-2

    2. No Access

      Chapter

      Pages 3-12

      Verification of a Modern Processor

    3. No Access

      Chapter

      Pages 13-42

      The Verification Universe

  3. FUNCTIONAL POST-SILICON VERIFICATION

    1. Front Matter

      Pages 43-44

    2. No Access

      Chapter

      Pages 45-74

      Post-Silicon Validation of Processor Cores

    3. No Access

      Chapter

      Pages 75-93

      Post-Silicon Verification of Multi-Core Processors

    4. No Access

      Chapter

      Pages 95-126

      Consistency Verification using Data Coloring

  4. RUNTIME VERIFICATION FOR MODERN MICROPROCESSORS

    1. Front Matter

      Pages 127-128

    2. No Access

      Chapter

      Pages 129-150

      Runtime Verification with Patching and Hardware Checkers

    3. No Access

      Chapter

      Pages 151-188

      Hardware Patching with Field-Repairable Control Logic

    4. No Access

      Chapter

      Pages 189-206

      Runtime Verification in Multi-Cores

    5. No Access

      Chapter

      Pages 207-211

      Ensuring Correctness in Future Microprocessors

  5. Back Matter

    Pages 213-224