The Resource Advanced BDD Optimization, by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler, (electronic resource)

Advanced BDD Optimization, by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler, (electronic resource)

Label
Advanced BDD Optimization
Title
Advanced BDD Optimization
Statement of responsibility
by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler
Creator
Contributor
Author
Author
Subject
Language
  • eng
  • eng
Summary
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 of e?cient lower bounds during optimization. The presented algorithms include Branch ? and Bound and the generic A -algorithm as e?cient techniques to - plore large search spaces. ? The A -algorithm originates from Arti?cial Intelligence (AI), and the EDA community has been unaware of this concept for a long time. Re- ? cently, the A -algorithm has been introduced as a new paradigm to explore design spaces in VLSI CAD. Besides AI search techniques, the book also discusses the relation to another ?eld of activity bordered to VLSI CAD and BDD optimization: the clausal representation as a SAT problem
http://library.link/vocab/creatorName
Ebendt, Rüdiger
Dewey number
519.542
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut
  • zBO0wBmxxdI
  • rEZpyFj4eV4
  • -WtdEegdsxI
Language note
English
LC call number
TK7888.4
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Fey, Görschwin.
  • Drechsler, Rolf.
http://library.link/vocab/subjectName
  • Systems engineering
  • Distribution (Probability theory
  • Mechanical engineering
  • Computer engineering
  • Engineering design
  • Electronics
  • Circuits and Systems
  • Probability Theory and Stochastic Processes
  • Mechanical Engineering
  • Electrical Engineering
  • Engineering Design
  • Electronics and Microelectronics, Instrumentation
Label
Advanced BDD Optimization, by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler, (electronic resource)
Instantiates
Publication
Note
Description based upon print version of record
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams -- 3. Exact node Minimization. 3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary -- 4. Heuristic node Minimization. 4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dynamic Reordering. 4.3. Efficient Forms of Improved Lower Bounds. 4.4. Combination of Improved Lower Bounds with Classical Bounds. 4.5. Experimental Results. 4.6. Summary -- 5. Path Minimization. 5.1. Minimization of Number of Paths. 5.2. Minimization of Expected Path Length. 5.3. Minimization of Average Path Length. 5.4. Summary -- 6. Relation between SAT and BDDS. 6.1. Davis-Putnam Procedure. 6.2. On the Relation between DP Procedure and BDDs. 6.3. Dynamic Variable Ordering Strategy for DP Procedure. 6.4. Experimental Results. 6.5. Summary -- 7. Final Remarks. References. Index
Dimensions
unknown
Extent
1 online resource (230 p.)
Form of item
online
Isbn
9786610262304
Media category
computer
Media type code
c
Other control number
10.1007/b107399
Specific material designation
remote
System control number
  • (CKB)1000000000227816
  • (EBL)256728
  • (OCoLC)213886718
  • (SSID)ssj0000097615
  • (PQKBManifestationID)11122297
  • (PQKBTitleCode)TC0000097615
  • (PQKBWorkID)10115783
  • (PQKB)10434611
  • (SSID)ssj0000767792
  • (PQKBManifestationID)12298744
  • (PQKBTitleCode)TC0000767792
  • (PQKBWorkID)10741362
  • (PQKB)10881354
  • (DE-He213)978-0-387-25454-8
  • (MiAaPQ)EBC256728
  • (EXLCZ)991000000000227816
Label
Advanced BDD Optimization, by Rüdiger Ebendt, Görschwin Fey, Rolf Drechsler, (electronic resource)
Publication
Note
Description based upon print version of record
Carrier category
online resource
Carrier category code
cr
Content category
text
Content type code
txt
Contents
Preface. 1. Introduction. 2. Preliminaries. 2.1. Notation. 2.2. Boolean Functions. 2.3. Decomposition of Boolean Functions. 2.4. Reduced Ordered Binary Decision Diagrams -- 3. Exact node Minimization. 3.1. Branch and Bound Algorithm. 3.2. A*-Based Optimization. 3.3. Summary -- 4. Heuristic node Minimization. 4.1. Efficient Dynamic Minimization. 4.2. Improved Lower Bounds for Dynamic Reordering. 4.3. Efficient Forms of Improved Lower Bounds. 4.4. Combination of Improved Lower Bounds with Classical Bounds. 4.5. Experimental Results. 4.6. Summary -- 5. Path Minimization. 5.1. Minimization of Number of Paths. 5.2. Minimization of Expected Path Length. 5.3. Minimization of Average Path Length. 5.4. Summary -- 6. Relation between SAT and BDDS. 6.1. Davis-Putnam Procedure. 6.2. On the Relation between DP Procedure and BDDs. 6.3. Dynamic Variable Ordering Strategy for DP Procedure. 6.4. Experimental Results. 6.5. Summary -- 7. Final Remarks. References. Index
Dimensions
unknown
Extent
1 online resource (230 p.)
Form of item
online
Isbn
9786610262304
Media category
computer
Media type code
c
Other control number
10.1007/b107399
Specific material designation
remote
System control number
  • (CKB)1000000000227816
  • (EBL)256728
  • (OCoLC)213886718
  • (SSID)ssj0000097615
  • (PQKBManifestationID)11122297
  • (PQKBTitleCode)TC0000097615
  • (PQKBWorkID)10115783
  • (PQKB)10434611
  • (SSID)ssj0000767792
  • (PQKBManifestationID)12298744
  • (PQKBTitleCode)TC0000767792
  • (PQKBWorkID)10741362
  • (PQKB)10881354
  • (DE-He213)978-0-387-25454-8
  • (MiAaPQ)EBC256728
  • (EXLCZ)991000000000227816

Library Locations

  • Architecture LibraryBorrow it
    Gould Hall 830 Van Vleet Oval Rm. 105, Norman, OK, 73019, US
    35.205706 -97.445050
  • Bizzell Memorial LibraryBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Boorstin CollectionBorrow it
    401 W. Brooks St., Norman, OK, 73019, US
    35.207487 -97.447906
  • Chinese Literature Translation ArchiveBorrow it
    401 W. Brooks St., RM 414, Norman, OK, 73019, US
    35.207487 -97.447906
  • Engineering LibraryBorrow it
    Felgar Hall 865 Asp Avenue, Rm. 222, Norman, OK, 73019, US
    35.205706 -97.445050
  • Fine Arts LibraryBorrow it
    Catlett Music Center 500 West Boyd Street, Rm. 20, Norman, OK, 73019, US
    35.210371 -97.448244
  • Harry W. Bass Business History CollectionBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • History of Science CollectionsBorrow it
    401 W. Brooks St., Rm. 521NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • John and Mary Nichols Rare Books and Special CollectionsBorrow it
    401 W. Brooks St., Rm. 509NW, Norman, OK, 73019, US
    35.207487 -97.447906
  • Library Service CenterBorrow it
    2601 Technology Place, Norman, OK, 73019, US
    35.185561 -97.398361
  • Price College Digital LibraryBorrow it
    Adams Hall 102 307 West Brooks St., Norman, OK, 73019, US
    35.210371 -97.448244
  • Western History CollectionsBorrow it
    Monnet Hall 630 Parrington Oval, Rm. 300, Norman, OK, 73019, US
    35.209584 -97.445414
Processing Feedback ...