Constraint-Based Verification

by , ,

Write The First Customer Review
Constraint-Based Verification - Yuan, Jun, and Pixley, Carl, and Aziz, Adnan

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.

Constraint-Based Verification 2010, Springer

ISBN-13: 9781441938527

Trade paperback

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

ISBN-13: 9780387259475