Advanced BDD Optimization

Versandkostenfrei!
Versandfertig in 6-10 Tagen
112,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
56 °P sammeln!
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications, BDDs are optimized with respect to new objective functions for design space exploration. The latest trends show a growing number of proposals to fuse the concepts of BDD and SAT. This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization are given, c- ering di?erent as...