Constraint-Based Verification

by , ,

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

Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the "constraint-based verification." The topics are developed in the context of a wide range of dynamic and static verification approaches including simulation, emulation, and formal methods. The goal is to show how constraints, ...

Constraint-Based Verification 2010, Springer

ISBN-13: 9781441938527

Trade paperback

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

ISBN-13: 9780387259475

Hardcover

Select