by RolfDrechsler (Author), Görschwin Fey (Author), RudigerEbendt (Author)
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.
Format: Paperback
Pages: 232
Edition: Softcover reprint of hardcover 1st ed. 2005
Publisher: Springer
Published: 12 Oct 2010
ISBN 10: 144193796X
ISBN 13: 9781441937964