Advanced BDD Optimization - Rilegato

Ebendt, Rudiger; Fey, Görschwin; Drechsler, Rolf

Rilegato

ISBN 10: 0387254536 ISBN 13: 9780387254531

Casa editrice: Springer-Verlag New York Inc., 2005

Riassunto

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. 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 optimization.

Su questo libro

Contenuti

Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams.- 3. Exact node Minimization. 3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary.- 4. Heuristic node Minimization. 4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dynamic Reordering. 4.3. Efficient Forms of Improved Lower Bounds. 4.4. Combination of Improved Lower Bounds with Classical Bounds. 4.5. Experimental Results. 4.6. Summary.- 5. Path Minimization. 5.1. Minimization of Number of Paths. 5.2. Minimization of Expected Path Length. 5.3. Minimization of Average Path Length. 5.4. Summary.- 6. Relation between SAT and BDDS. 6.1. Davis-Putnam Procedure. 6.2. On the Relation between DP Procedure and BDDs. 6.3. Dynamic Variable Ordering Strategy for DP Procedure. 6.4. Experimental Results. 6.5. Summary.- 7. Final Remarks. References. Index.

Product Description

Book by Ebendt Rudiger Fey Grschwin Drechsler Rolf

Dettagli dell'edizione

• Editore: Springer-Verlag New York Inc.
• Data di pubblicazione: 2005
• Lingua: Inglese
• ISBN 10: 0387254536
• ISBN 13: 9780387254531
• Rilegatura: Copertina rigida
• Numero di pagine: 232
• Contatto del produttore: Elevation; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Germania