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. Front Matter

    Pages i-xx

  2. No Access

    Book Chapter

    Pages 1-6

    Introduction

  3. No Access

    Book Chapter

    Pages 7-33

    Design and Verification of Digital Systems

  4. No Access

    Book Chapter

    Pages 35-50

    Symbolic Simulation

  5. No Access

    Book Chapter

    Pages 51-80

    Compacting Intermediate States

  6. No Access

    Book Chapter

    Pages 81-104

    Approximate Simulation

  7. No Access

    Book Chapter

    Pages 105-126

    Exact Parametrizations

  8. No Access

    Book Chapter

    Pages 127-129

    Conclusion

  9. Back Matter

    Pages 131-178