.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Advanced BDD Optimization
Ebendt, Rudiger; Fey, Gorschwin; Drechsler, Rolf
€ 194.05
FREE Delivery in Ireland
Description for Advanced BDD Optimization
Paperback. Num Pages: 222 pages, biography. BIC Classification: TGB; THR; TJFC. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 12. Weight in Grams: 335.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer-Verlag New York Inc. United States
Number of pages
222
Condition
New
Number of Pages
222
Place of Publication
New York, NY, United States
ISBN
9781441937964
SKU
V9781441937964
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Advanced BDD Optimization