Rudiger Ebendt / Rolf Drechsler / Görschwin Fey
Advanced BDD Optimization
- Springer US
- 2010
- Taschenbuch
- 232 Seiten
- ISBN 9781441937964
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 aspects of paths in BDDs and the use of e?cient lower bounds during
Mehr
Weniger
zzgl. Versand
in Kürze