• Produktbild: Binary Decision Diagrams and Applications for VLSI CAD
  • Produktbild: Binary Decision Diagrams and Applications for VLSI CAD
Band 342

Binary Decision Diagrams and Applications for VLSI CAD

148,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.09.2011

Abbildungen

XVI, 142 p.

Verlag

Springer Us

Seitenzahl

142

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

254 g

Auflage

Softcover reprint of the original 1st edition 1996

Sprache

Englisch

ISBN

978-1-4612-8558-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.09.2011

Abbildungen

XVI, 142 p.

Verlag

Springer Us

Seitenzahl

142

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

254 g

Auflage

Softcover reprint of the original 1st edition 1996

Sprache

Englisch

ISBN

978-1-4612-8558-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Binary Decision Diagrams and Applications for VLSI CAD
  • Produktbild: Binary Decision Diagrams and Applications for VLSI CAD
  • 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.