Constraint-Based Verification

  • Jun Yuan
  • Carl Pixley
  • Adnan Aziz

Table of contents

  1. Front Matter
    Pages i-xii
  2. Pages 1-23
  3. Pages 83-107
  4. Pages 153-160
  5. Pages 161-182
  6. Pages 183-187
  7. Back Matter
    Pages 221-253

About this book


Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name.

Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods.  The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow.  Topics such as verification coverage, and connection with assertion-based verification are also covered.

Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues.  Particular stress is given to the latest advances in functional verification. 


Verilog diagnosis formal method formal methods optimization simulation

Authors and affiliations

  • Jun Yuan
    • 1
  • Carl Pixley
    • 2
  • Adnan Aziz
    • 3
  1. 1.Atrenta, Inc.San José
  2. 2.Synopsys, Inc.Hillsboro
  3. 3.Dept. of ECEUniversity of TexasAustin

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media, Inc. 2006
  • Publisher Name Springer, Boston, MA
  • eBook Packages Engineering
  • Print ISBN 978-0-387-25947-5
  • Online ISBN 978-0-387-30784-8
  • Buy this book on publisher's site