• Produktbild: Spectral Techniques in VLSI CAD
  • Produktbild: Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD

146,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.10.2012

Verlag

Springer Us

Seitenzahl

250

Maße (L/B/H)

24/16/1,5 cm

Gewicht

434 g

Auflage

Softcover reprint of the original 1st ed. 2001

Sprache

Englisch

ISBN

978-1-4613-5547-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.10.2012

Verlag

Springer Us

Seitenzahl

250

Maße (L/B/H)

24/16/1,5 cm

Gewicht

434 g

Auflage

Softcover reprint of the original 1st ed. 2001

Sprache

Englisch

ISBN

978-1-4613-5547-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

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: Spectral Techniques in VLSI CAD
  • Produktbild: Spectral Techniques in VLSI CAD
  • 1 Introduction.- 1.1 Motivation.- 1.2 Background and History.- 1.3 Mathematical Requirements.- 1.4 Organization.- 2 The Boolean Domain.- 2.1 Boolean Functions.- 2.2 Pseudo-Boolean Functions.- 2.3 Output Probability.- 2.4 Summary.- 3 The Spectral Domain.- 3.1 Spectra of Logic Functions.- 3.2 Spectral Transforms.- 3.3 Transform Procedures.- 3.4 Relationships Between the Transforms.- 3.5 Spectral Properties.- 3.6 Summary.- 4 Decision Diagrams.- 4.1 Decision Diagram Definitions.- 4.2 Decision Diagram Varieties.- 4.3 Bit-level Decompositions.- 4.4 Word-level Decompositions.- 4.5 Edge-valued Decision Diagrams.- 4.6 Summary.- 5 Computation of Spectral Coefficients.- 5.1 Cube List Approaches.- 5.2 Methods Based on BDD Paths and Disjoint Cubes.- 5.3 Spectral Computation Using Decision Diagrams.- 5.4 Computation Based on Cayley Graphs.- 5.5 Spectra of Incompletely-specified Functions.- 5.6 Summary.- 6 BDD Minimization.- 6.1 BDD Variable Ordering Techniques.- 6.2 Probability Based Minimization.- 6.3 Linear Transformations.- 6.4 Summary.- 7 Logic Synthesis.- 7.1 Spectral Translation.- 7.2 Maximum Correlation Iterative Approach.- 7.3 Synthesis Using Spectral Heuristics.- 7.4 Technology Mapping.- 7.5 Summary.- 8 Logic Verification.- 8.1 Classical Approaches.- 8.2 Signature Methods.- 8.3 Subsets of Haar Coefficients for Equivalence Checking.- 8.4 Summary.- 9 Concluding Remarks.- References.