Num Pages: 254 pages, 72 black & white illustrations, biography. BIC Classification: TJFC; UGC; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 14. Weight in Grams: 421. . 2010. 1st ed. Softcover of orig. ed. 2006. Paperback. . . . .

Seller Inventory # V9781441938527

Contact seller

Report this item

Bibliographic Details

Title: Constraint-Based Verification
Publisher: Springer-Verlag New York Inc.
Publication Date: 2010
Language: English
ISBN 10: 1441938524
ISBN 13: 9781441938527
Binding: Soft cover
Edition: 1st Edition
Condition: New

About this title

Synopsis

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 monitoring, and coverage. Related aspects of verification languages such as e/vera/PSL/OVL/SVA are also covered. On the technical side, state-of-the art algorithms of test generation, performance optimization, and randomization are explained.

From the Back Cover

Constraint-Based Verifcation covers the emerging field in functional verification of electronic designs thats is now commonly referred to by this name.

Topics are developed in the context of a wide range of dynamic and static verification approaches including stimulation, emulation and formal methods. The goal is to show how constraints, or assertions, can be used toward automating the generation of testbenches, resulting in a seamless verifcation flow. Topics such as verification coverage, and connection with assertion-based verification are also covered.

Constraint-Based Verification is written for verification engineers, as well as researchers - it explains both methodological and technical issues. Particular stress is given to the latest advances in functional verification.

"About this title" may belong to another edition of this title.

Store Description

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Visit Seller's Storefront

Seller's business information

Kennys Bookshop and Art Galleries Ltd.
Liosban Industrial Estate, Tuam Road, Galway, Ireland

Sale & Shipping Terms

Terms of Sale

Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.

We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.

In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350

VAT Registration - IE2238521A

Conor Kenny

Right of cancellation

Shipping Terms

Free Shipping

Shipping rates from Ireland to United Kingdom

Shipping rates from Ireland to United Kingdom
Order quantity	12 to 20 business days	10 to 18 business days
First item	� 2.60	� 3.04

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.