Research Catalog

Constraint-based verification

Title: Constraint-based verification / Jun Yuan, Carl Pixley, Adnan Aziz.
Author: Yuan, Jun.
Publication: New York, NY : Springer, [2006], ©2006.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	Q340 .Y83 2006g	Off-site

Holdings

Details

Additional Authors

Description

xii, 253 pages : illustrations; 24 cm

Summary

"Constraint-Based Verification is written for verification engineers, as well as researchers. This book discusses both methodological and technical issues. Particular stress is given to the latest advances in functional verification."--BOOK JACKET.

Subjects

Bibliography (note)

Includes bibliographical references (p. [231]-246) and index.

Contents

1. Introduction -- 2. Constrained random simulation -- 3. High level verification languages -- 4. Assertion languages and constraints -- 5. Preliminaries -- 6. Constrained vector generation -- 7. Constraint simplification -- 8. More optimizations -- 9. Constraint synthesis -- 10. Constraint diagnosis -- 11. Word-level constraint solving.

ISBN

0387259473
0387307842 (ebook)

OCLC

ocm63280750
SCSB-5230404

Owning Institutions

Columbia University Libraries