Constraint-based verification

Author(s)

• Yuan, Jun
• Pixley, Carl
• Aziz, Adnan

Bibliographic Information

Constraint-based verification

Jun Yuan, Carl Pixley, Adnan Aziz

Springer, c2006

Note

Includes bibliographical references (p. [231]-246) and index

HTTP:URL=http://www.loc.gov/catdir/enhancements/fy0663/2005936518-d.html Information=Publisher description

Description and Table of Contents

Description

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

Table of Contents

Constrained Random Simulation.- High Level Verification Languages.- Assertion Languages and Constraints.- Preliminaries.- Constrained Vector Generation.- Constraint Simplification.- More Optimizations.- Constraint Synthesis.- Constraint Diagnosis.- Word-Level Constraint Solving.

by "Nielsen BookData"

Details

• NCID: BA79130659
• ISBN:
  • 9780387259475
• LCCN: 2005936518
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York, NY
• Pages/Volumes: xii, 253 p.
• Size: 25 cm
• Classification:
  • LCC : Q340
  • DC22 : 005.115
• Subject Headings:
  • LCSH : Constraints (Artificial intelligence)
  • LCSH : Digital electronics -- Testing
  • LCSH : Electronic systems -- Testing
  • LCSH : Electronic systems -- Design and construction