Advanced BDD Optimization

by Rolf Drechsler, Rüdiger Ebendt, Görschwin Fey

Book Overview

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

• Format: Paperback
• Language: English
• ISBN: 144193796X
• ISBN13: 9781441937964
• Release Date: October 2010
• Publisher: Springer
• Length: 222 Pages
• Weight: 0.79 lbs.
• Dimensions: 0.6" x 6.2" x 9.4"