.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
€ 198.46
FREE Delivery in Ireland
Description for Advanced BDD Optimization
Hardback. The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. This title proposes improvements in the methodology as well as in the underlying algorithms. It includes a presentation of preliminary concepts. Num Pages: 222 pages, biography. BIC Classification: TGB; THR; TJFC. Category: (P) Professional & Vocational. Dimension: 232 x 156 x 14. Weight in Grams: 509.
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
Hardback
Publication date
2005
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
9780387254531
SKU
V9780387254531
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Advanced BDD Optimization