Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore

0 Item

Advanced BDD Optimization - Rudiger Ebendt

eTEXT

Advanced BDD Optimization

By: Rudiger Ebendt, Görschwin Fey, Rolf Drechsler

eText | 5 December 2005

At a Glance

eText

$239.00

or 4 interest-free payments of $59.75 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Read online on
Desktop
Tablet
Mobile

Not downloadable to your eReader or an app

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.
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).
Read online on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionEngineering & TechnologyEnergy Technology & EngineeringElectrical EngineeringElectronics & Communications EngineeringElectronics EngineeringCircuits & ComponentsMechanical Engineering & MaterialsMechanical EngineeringTechnology in GeneralTechnical DesignBusiness & Management
Management & Management TechniquesManagement Decision MakingComputing & I.T.Computer ScienceComputer Architecture & Logic DesignMathematicsAlgebraEngineering in GeneralProbability & Statistics

More in Circuits & Components

Arduino Workshop - mark davies

eBOOK

Arduino Workshop

eBook

$6.99

Electromagnetics - steffano torres

eBOOK

Electromagnetics

eBook

$4.99

Handbook of Computer Architecture - Anupam Chattopadhyay

eBOOK

Handbook of Computer Architecture

eBook

RRP $969.00

$872.99

10%
OFF

This product is categorised by