Skip to main content alibris logo

Constraint-Based Verification

by , ,

Write The First Customer Review
Constraint-Based Verification - Yuan, Jun, and Pixley, Carl, and Aziz, Adnan
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency

As the complexity and miniaturization of electronic hardware advances, more time and money is actually now spent on testing and verification than in the preliminary design stage. This practical-oriented guidebook covers both the fundamentals and the techniques of constraint-based testbench automation. The book compares and contrasts constraint-based verification with traditional testbench approaches: test generation (a key concept), simulation monitoring, and coverage. Related aspects of verification languages such as e ...

loading
Constraint-Based Verification 2010, Springer, New York, NY

ISBN-13: 9781441938527

Trade paperback

Constraint-Based Verification 2006, Springer, New York, NY

ISBN-13: 9780387259475

2006 edition

Hardcover