Advanced BDD Optimization

Name: Advanced BDD Optimization
SKU: 8963318
Price: 448.00 NZD
Availability: InStock

By:

Format:

Paperback / softback

Show Hide Adult Content

$448.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $112.00 with Afterpay Learn more

6 weekly interest-free payments of $74.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 11-21 June using International Courier

Description

The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore today's design flow has to be improved to achieve a higher productivity. In Robustness and Usability in Modern Design Flows the current design methodology and verification methodology are analyzed, a number of deficiencies are identified and solutions suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation major design problems are targeted. In particular, a complete tool flow for Synthesis for Testability of SystemC descriptions is presented. The resulting circuits are completely testable and test pattern generation in polynomial time is possible. Verification issues are covered in even more detail. A whole new paradigm for formal design verification is suggested. This is based upon design understanding, the automatic generation of properties and powerful tool support for debugging failures. All these new techniques are empirically evaluated and experimental results are provided. As a result, an enhanced design flow is created that provides more automation (i.e. better usability) and reduces the probability of introducing conceptual errors (i.e. higher robustness).

Release date NZ

October 29th, 2010

Author

Audience

Professional & Vocational

Edition

Softcover reprint of hardcover 1st ed. 2005

Illustrations

X, 222 p.

Pages

222

Dimensions

156x234x12

ISBN-13

9781441937964

Product ID

8963318

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here