skip to content
Binary Decision Diagrams and Applications for VLSI CAD Preview this item
ClosePreview this item
Checking...

Binary Decision Diagrams and Applications for VLSI CAD

Author: Shin-ichi Minato
Publisher: Boston, MA : Springer US, 1996.
Series: Kluwer international series in engineering and computer science., VLSI, computer architecture, and digital signal processing ;, 342.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Shin-ichi Minato
ISBN: 9781461313038 1461313031
OCLC Number: 852788445
Description: 1 online resource (164 pages).
Contents: 1 Introduction --
1.1 Background --
1.2 Outline of the Book --
2 Techniques of BDD Manipulation --
2.1 Binary Decision Diagrams --
2.2 Logic Operations --
2.3 Memory Management --
2.4 Attributed Edges --
2.5 Implementation and Experiments --
2.6 Conclusion --
3 Variable Ordering for BDDS --
3.1 Properties of the Variable Ordering --
3.2 Dynamic Weight Assignment Method --
3.3 Minimum-Width Method --
3.4 Conclusion --
4 Representation of Multi-Valued Functions --
4.1 Boolean Functions with Don't Care --
4.2 Representation of Boolean-to-Integer Functions --
4.3 Remarks and Discussions --
5 Generation of Cube Sets from BDDS --
5.1 Previous Works --
5.2 Generation of Prime-Irredundant Cube Sets --
5.3 Experimental Results --
5.4 Conclusion --
6 Zero-Suppressed BDDS --
6.1 BDDs for Sets of Combinations --
6.2 Zero-Suppressed BDDs --
6.3 Manipulation of ZBDDs --
6.4 Unate Cube Set Algebra --
6.5 Implementation and Applications --
6.6 Conclusion --
7 Multi-Level Logic Synthesis Using ZBDDS --
7.1 Implicit Cube Set Representation --
7.2 Factorization of Implicit Cube Set Representation --
7.3 Implementation and Experimental Results --
7.4 Conclusion --
8 Implicit Manipulation of Polynomials Based on ZBDDS --
8.1 Representation of Polynomials --
8.2 Algorithms for Arithmetic Operations --
8.3 Implementation and Experiment --
8.4 Application for LSI CAD --
8.5 Conclusion and Remarks --
9 Arithmetic Boolean Expressions --
9.1 Introduction --
9.2 Manipulation of Arithmetic Boolean Expressions --
9.3 Applications --
9.4 Conclusion --
10 Conclusions --
References.
Series Title: Kluwer international series in engineering and computer science., VLSI, computer architecture, and digital signal processing ;, 342.
Responsibility: by Shin-ichi Minato.

Abstract:

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/852788445> # Binary Decision Diagrams and Applications for VLSI CAD
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "852788445" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/37214131#Place/boston_ma> ; # Boston, MA
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   schema:about <http://id.worldcat.org/fast/872078> ; # Computer engineering
   schema:about <http://id.worldcat.org/fast/872701> ; # Computer-aided design
   schema:about <http://id.worldcat.org/fast/1141455> ; # Systems engineering
   schema:about <http://dewey.info/class/621.3815/e23/> ;
   schema:about <http://id.worldcat.org/fast/910312> ; # Engineering
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/115260543> ; # Shin-ichi Minato
   schema:datePublished "1996" ;
   schema:description "Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs. `Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant. `Over the past ten years ... BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. ... this book can serve as an introduction to BDD techniques and ... it presents several new ideas on BDDs and their applications. ... many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato."@en ;
   schema:description "1 Introduction -- 1.1 Background -- 1.2 Outline of the Book -- 2 Techniques of BDD Manipulation -- 2.1 Binary Decision Diagrams -- 2.2 Logic Operations -- 2.3 Memory Management -- 2.4 Attributed Edges -- 2.5 Implementation and Experiments -- 2.6 Conclusion -- 3 Variable Ordering for BDDS -- 3.1 Properties of the Variable Ordering -- 3.2 Dynamic Weight Assignment Method -- 3.3 Minimum-Width Method -- 3.4 Conclusion -- 4 Representation of Multi-Valued Functions -- 4.1 Boolean Functions with Don't Care -- 4.2 Representation of Boolean-to-Integer Functions -- 4.3 Remarks and Discussions -- 5 Generation of Cube Sets from BDDS -- 5.1 Previous Works -- 5.2 Generation of Prime-Irredundant Cube Sets -- 5.3 Experimental Results -- 5.4 Conclusion -- 6 Zero-Suppressed BDDS -- 6.1 BDDs for Sets of Combinations -- 6.2 Zero-Suppressed BDDs -- 6.3 Manipulation of ZBDDs -- 6.4 Unate Cube Set Algebra -- 6.5 Implementation and Applications -- 6.6 Conclusion -- 7 Multi-Level Logic Synthesis Using ZBDDS -- 7.1 Implicit Cube Set Representation -- 7.2 Factorization of Implicit Cube Set Representation -- 7.3 Implementation and Experimental Results -- 7.4 Conclusion -- 8 Implicit Manipulation of Polynomials Based on ZBDDS -- 8.1 Representation of Polynomials -- 8.2 Algorithms for Arithmetic Operations -- 8.3 Implementation and Experiment -- 8.4 Application for LSI CAD -- 8.5 Conclusion and Remarks -- 9 Arithmetic Boolean Expressions -- 9.1 Introduction -- 9.2 Manipulation of Arithmetic Boolean Expressions -- 9.3 Applications -- 9.4 Conclusion -- 10 Conclusions -- References."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/37214131> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/37214131#Series/kluwer_international_series_in_engineering_and_computer_science> ; # Kluwer international series in engineering and computer science.
   schema:isPartOf <http://worldcat.org/issn/0893-3405> ; # The Kluwer International Series in Engineering and Computer Science, VLSI, Computer Architecture and Digital Signal Processing,
   schema:isSimilarTo <http://worldcat.org/entity/work/data/37214131#CreativeWork/> ;
   schema:name "Binary Decision Diagrams and Applications for VLSI CAD"@en ;
   schema:productID "852788445" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/852788445#PublicationEvent/boston_ma_springer_us_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/37214131#Agent/springer_us> ; # Springer US
   schema:url <http://link.springer.com/10.1007/978-1-4613-1303-8> ;
   schema:url <http://dx.doi.org/10.1007/978-1-4613-1303-8> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4613-1303-8> ;
   schema:workExample <http://worldcat.org/isbn/9781461313038> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/852788445> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/37214131#Series/kluwer_international_series_in_engineering_and_computer_science> # Kluwer international series in engineering and computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/852788445> ; # Binary Decision Diagrams and Applications for VLSI CAD
   schema:name "Kluwer international series in engineering and computer science." ;
    .

<http://id.worldcat.org/fast/1141455> # Systems engineering
    a schema:Intangible ;
   schema:name "Systems engineering"@en ;
    .

<http://id.worldcat.org/fast/872078> # Computer engineering
    a schema:Intangible ;
   schema:name "Computer engineering"@en ;
    .

<http://id.worldcat.org/fast/872701> # Computer-aided design
    a schema:Intangible ;
   schema:name "Computer-aided design"@en ;
    .

<http://id.worldcat.org/fast/910312> # Engineering
    a schema:Intangible ;
   schema:name "Engineering"@en ;
    .

<http://link.springer.com/10.1007/978-1-4613-1303-8>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/115260543> # Shin-ichi Minato
    a schema:Person ;
   schema:familyName "Minato" ;
   schema:givenName "Shin-ichi" ;
   schema:name "Shin-ichi Minato" ;
    .

<http://worldcat.org/entity/work/data/37214131#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/852788445> ; # Binary Decision Diagrams and Applications for VLSI CAD
    .

<http://worldcat.org/isbn/9781461313038>
    a schema:ProductModel ;
   schema:isbn "1461313031" ;
   schema:isbn "9781461313038" ;
    .

<http://worldcat.org/issn/0893-3405> # The Kluwer International Series in Engineering and Computer Science, VLSI, Computer Architecture and Digital Signal Processing,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/852788445> ; # Binary Decision Diagrams and Applications for VLSI CAD
   schema:issn "0893-3405" ;
   schema:name "The Kluwer International Series in Engineering and Computer Science, VLSI, Computer Architecture and Digital Signal Processing," ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.