• Produktbild: Spectral Techniques in VLSI CAD
  • Produktbild: Spectral Techniques in VLSI CAD
- 12%

Spectral Techniques in VLSI CAD

12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.07.2001

Verlag

Springer Us

Seitenzahl

250

Maße (L/B/H)

24,1/16/2 cm

Gewicht

553 g

Auflage

2001

Sprache

Englisch

ISBN

978-0-7923-7433-6

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

31.07.2001

Verlag

Springer Us

Seitenzahl

250

Maße (L/B/H)

24,1/16/2 cm

Gewicht

553 g

Auflage

2001

Sprache

Englisch

ISBN

978-0-7923-7433-6

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • 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.