Research Catalog

Constraint-based verification

Title
  1. Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
Published by
  1. New York, NY : Springer, [2006], ©2006.
Author
  1. Yuan, Jun.

Items in the library and off-site

Filter by

Displaying 1 item

StatusFormatAccessCall numberItem location
Status
Request for on-site useRequest scan
How do I pick up this item and when will it be ready?
FormatTextAccessRequest in advanceCall numberQ340 .Y83 2006gItem locationOff-site

Details

Additional authors
  1. Pixley, Carl.
  2. Aziz, Adnan.
Description
  1. xii, 253 pages : illustrations; 24 cm
Summary
  1. "Constraint-Based Verification is written for verification engineers, as well as researchers. This book discusses both methodological and technical issues. Particular stress is given to the latest advances in functional verification."--BOOK JACKET.
Subject
  1. Electronic systems > Design and construction
  2. Electronic systems > Testing
  3. Digital electronics > Testing
  4. Constraints (Artificial intelligence)
Contents
  1. 1. Introduction -- 2. Constrained random simulation -- 3. High level verification languages -- 4. Assertion languages and constraints -- 5. Preliminaries -- 6. Constrained vector generation -- 7. Constraint simplification -- 8. More optimizations -- 9. Constraint synthesis -- 10. Constraint diagnosis -- 11. Word-level constraint solving.
Bibliography (note)
  1. Includes bibliographical references (p. [231]-246) and index.