Constraint-Based Verification

Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the "constraint-based verification." Topics such as verification coverage, and connection with assertion based verification, are also covered. The book targets verification engineers as well as researchers.