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

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

Label
Advanced BDD Optimization
Title
Advanced BDD Optimization
Statement of responsibility
by Rudiger 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, Rudiger
Dewey number
519.542
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsaut
  • -qI-7nAOdAE
  • 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 Rudiger 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
Edition
1st ed. 2005.
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 Rudiger 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
Edition
1st ed. 2005.
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

  • Albert D. Cohen Management LibraryBorrow it
    181 Freedman Crescent, Winnipeg, MB, R3T 5V4, CA
    49.807878 -97.129961
  • Architecture/Fine Arts LibraryBorrow it
    84 Curry Place, Winnipeg, MB, CA
    49.807716 -97.136226
  • Archives and Special CollectionsBorrow it
    25 Chancellors Circle (Elizabeth Dafoe Library), Room 330, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Bibliothèque Alfred-Monnin (Université de Saint-Boniface)Borrow it
    200, avenue de la Cathédrale, Local 2110, Winnipeg, MB, R2H 0H7, CA
    49.888861 -97.119735
  • Bill Larson Library (Grace Hospital)Borrow it
    300 Booth Drive, G-227, Winnipeg, MB, R3J 3M7, CA
    49.882400 -97.276436
  • Carolyn Sifton - Helene Fuld Library (St. Boniface General Hospital)Borrow it
    409 Tache Avenue, Winnipeg, MB, R2H 2A6, CA
    49.883388 -97.126050
  • Concordia Hospital LibraryBorrow it
    1095 Concordia Avenue, Winnipeg, MB, R2K 3S8, CA
    49.913252 -97.064683
  • Donald W. Craik Engineering LibraryBorrow it
    75B Chancellors Circle (Engineering Building E3), Room 361, Winnipeg, MB, R3T 2N2, CA
    49.809053 -97.133292
  • E.K. Williams Law LibraryBorrow it
    224 Dysart Road, Winnipeg, MB, R3T 5V4, CA
    49.811829 -97.131017
  • Eckhardt-Gramatté Music LibraryBorrow it
    136 Dafoe Road (Taché Arts Complex), Room 257, Winnipeg, MB, R3T 2N2, CA
    49.807964 -97.132222
  • Elizabeth Dafoe LibraryBorrow it
    25 Chancellors Circle, Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Fr. H. Drake Library (St. Paul's College)Borrow it
    70 Dysart Road, Winnipeg, MB, R3T 2M6, CA
    49.810605 -97.138184
  • J.W. Crane Memorial Library (Deer Lodge Centre)Borrow it
    2109 Portage Avenue, Winnipeg, MB, R3J 0L3, CA
    49.878000 -97.235520
  • Libraries Annex (not open to the public; please see web page for details)Borrow it
    25 Chancellors Circle (in the Elizabeth Dafoe Library), Winnipeg, MB, R3T 2N2, CA
    49.809961 -97.131878
  • Neil John Maclean Health Sciences LibraryBorrow it
    727 McDermot Avenue (Brodie Centre), 200 Level, Winnipeg, MB, R3E 3P5, CA
    49.903563 -97.160554
  • Sciences and Technology LibraryBorrow it
    186 Dysart Road, Winnipeg, MB, R3T 2M8, CA
    49.811526 -97.133257
  • Seven Oaks General Hospital LibraryBorrow it
    2300 McPhillips Street, Winnipeg, MB, R2V 3M3, CA
    49.955177 -97.148865
  • Sister St. Odilon Library (Misericordia Health Centre)Borrow it
    99 Cornish Avenue, Winnipeg, MB, R3C 1A2, CA
    49.879592 -97.160425
  • St. John's College LibraryBorrow it
    92 Dysart Road, Winnipeg, MB, R3T 2M5, CA
    49.811242 -97.137156
  • Victoria General Hospital LibraryBorrow it
    2340 Pembina Highway, Winnipeg, MB, R3T 2E8, CA
    49.806755 -97.152739
  • William R Newman Library (Agriculture)Borrow it
    66 Dafoe Road, Winnipeg, MB, R3T 2R3, CA
    49.806936 -97.135525
Processing Feedback ...