2006

Scalable Hardware Verification with Symbolic Simulation

Authors:

ISBN: 978-0-387-24411-2 (Print) 978-0-387-29906-8 (Online)

Table of contents (7 chapters)

  1. No Access

    Book Chapter

    Pages 1-6

    Introduction

  2. No Access

    Book Chapter

    Pages 7-33

    Design and Verification of Digital Systems

  3. No Access

    Book Chapter

    Pages 35-50

    Symbolic Simulation

  4. No Access

    Book Chapter

    Pages 51-80

    Compacting Intermediate States

  5. No Access

    Book Chapter

    Pages 81-104

    Approximate Simulation

  6. No Access

    Book Chapter

    Pages 105-126

    Exact Parametrizations

  7. No Access

    Book Chapter

    Pages 127-129

    Conclusion