Verification by Error Modeling

Using Testing Techniques in Hardware Verification

Authors:

ISBN: 978-1-4020-7652-7 (Print) 978-0-306-48739-2 (Online)

Table of contents (8 chapters)

  1. No Access

    Book Chapter

    Pages 1-17

    Introduction

  2. No Access

    Book Chapter

    Pages 18-50

    Boolean Function Representations

  3. No Access

    Book Chapter

    Pages 51-69

    Don’t Cares and Their Calculation

  4. No Access

    Book Chapter

    Pages 71-102

    Testing

  5. No Access

    Book Chapter

    Pages 103-128

    Design Error Models

  6. No Access

    Book Chapter

    Pages 129-146

    Design Verification by At

  7. No Access

    Book Chapter

    Pages 147-186

    Identifying Redundant Gate and Wire Replacements

  8. No Access

    Book Chapter

    Pages 187-190

    Conclusions and Future Work