Advanced BDD Optimization

Advanced BDD Optimization

by RolfDrechsler (Author), Görschwin Fey (Author), RudigerEbendt (Author)

Synopsis

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.

$128.69

Save:$32.24 (20%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 232
Edition: Softcover reprint of hardcover 1st ed. 2005
Publisher: Springer
Published: 12 Oct 2010

ISBN 10: 144193796X
ISBN 13: 9781441937964