Constraint-Based Verification

by Jun Yuan, Carl Pixley, Adnan Aziz

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 1441938524
• ISBN13: 9781441938527
• Release Date: October 2010
• Publisher: Springer
• Length: 254 Pages
• Weight: 0.83 lbs.
• Dimensions: 0.7" x 6.1" x 9.0"