Functional Design Errors in Digital Circuits

Diagnosis, Correction and Repair

Authors:

ISBN: 978-1-4020-9364-7 (Print) 978-1-4020-9365-4 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages I-XXIV

  2. Background and Prior Art

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 3-12

      Introduction

    3. No Access

      Book Chapter

      Pages 13-24

      Current Landscape in Design and Verification

    4. No Access

      Book Chapter

      Pages 25-33

      Finding Bugs and Repairing Circuits

  3. FogClear Methodologies and Theoretical Advances in Error Repair

    1. Front Matter

      Pages 35-35

    2. No Access

      Book Chapter

      Pages 37-41

      Circuit Design and Verification Methodologies

    3. No Access

      Book Chapter

      Pages 43-49

      Counterexample-Guided Error-Repair Framework

    4. No Access

      Book Chapter

      Pages 51-56

      Signature-Based Resynthesis Techniques

    5. No Access

      Book Chapter

      Pages 57-74

      Symmetry-Based Rewiring

  4. FogClear Components

    1. Front Matter

      Pages 75-75

    2. No Access

      Book Chapter

      Pages 77-103

      Bug Trace Minimization

    3. No Access

      Book Chapter

      Pages 105-131

      Functional Error Diagnosis and Correction

    4. No Access

      Book Chapter

      Pages 133-146

      Incremental Verification for Physical Synthesis

    5. No Access

      Book Chapter

      Pages 147-166

      Post-Silicon Debugging and Layout Repair

    6. No Access

      Book Chapter

      Pages 167-182

      Methodologies for Spare-Cell Insertion

    7. No Access

      Book Chapter

      Pages 183-185

      Conclusions

  5. Back Matter

    Pages 187-200