Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

Quick and Easy Sign Up!

It takes less then 1 minute to sign up, then you can enjoy Unlimited eBooks.

Sign Up Browse

Popular Genres

Read Anywhere and on Any Device!

  • Download on iOS
  • Download on Android
  • Download on iOS

Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD

Rolf Drechsler
0/5 ( ratings)
Read Download
Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function spectra. In the past, spectral computations for digital logic were too complex for practical implementation. The use of decision diagrams for spectral computations has greatly reduced this obstacle allowing for the development of new and useful spectral techniques for VLSI synthesis and verification. Several new algorithms for the computation of the Walsh, Reed-Muller, arithmetic and Haar spectra are described. The relation of these computational methods to traditional ones is also provided. Spectral Techniques in VLSI CAD provides a unified formalism of the representation of bit-level and word-level discrete functions in the spectral domain and as decision diagrams. An alternative and unifying interpretation of decision diagram representations is presented since it is shown that many of the different commonly used varieties of decision diagrams are merely graphical representations of various discrete function spectra. Viewing various decision diagrams as being described by specific sets of transformation functions not only illustrates the relationship between graphical and spectral representations of discrete functions, but also gives insight into how various decision diagram types are related. Spectral Techniques in VLSI CAD describes several new applications of spectral techniques in discrete function manipulation including decision diagram minimization, logic function synthesis, technology mapping and equivalence checking. The use of linear transformations in decision diagram size reduction is described and the relationship to the operation known as spectral translation is described. Several methods for synthesizing digital logic circuits based on a subset of spectral coefficients are described. An equivalence checking approach for functional verification is described based upon the use of matching pairs of Haar spectral coefficients.
Language
English
Pages
250
Format
Hardcover
Publisher
Springer
Release
July 31, 2001
ISBN
0792374339
ISBN 13
9780792374336

Spectral Techniques in VLSI CAD

Rolf Drechsler
0/5 ( ratings)
Read Download
Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function spectra. In the past, spectral computations for digital logic were too complex for practical implementation. The use of decision diagrams for spectral computations has greatly reduced this obstacle allowing for the development of new and useful spectral techniques for VLSI synthesis and verification. Several new algorithms for the computation of the Walsh, Reed-Muller, arithmetic and Haar spectra are described. The relation of these computational methods to traditional ones is also provided. Spectral Techniques in VLSI CAD provides a unified formalism of the representation of bit-level and word-level discrete functions in the spectral domain and as decision diagrams. An alternative and unifying interpretation of decision diagram representations is presented since it is shown that many of the different commonly used varieties of decision diagrams are merely graphical representations of various discrete function spectra. Viewing various decision diagrams as being described by specific sets of transformation functions not only illustrates the relationship between graphical and spectral representations of discrete functions, but also gives insight into how various decision diagram types are related. Spectral Techniques in VLSI CAD describes several new applications of spectral techniques in discrete function manipulation including decision diagram minimization, logic function synthesis, technology mapping and equivalence checking. The use of linear transformations in decision diagram size reduction is described and the relationship to the operation known as spectral translation is described. Several methods for synthesizing digital logic circuits based on a subset of spectral coefficients are described. An equivalence checking approach for functional verification is described based upon the use of matching pairs of Haar spectral coefficients.
Language
English
Pages
250
Format
Hardcover
Publisher
Springer
Release
July 31, 2001
ISBN
0792374339
ISBN 13
9780792374336

More books from Rolf Drechsler

Advanced BDD Optimization

0/5 ( ratings)

Test Pattern Generation Using Boolean Proof Engines

0/5 ( ratings)

Binary Decision Diagrams: Theory and Implementation

0/5 ( ratings)

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

0/5 ( ratings)

Exact Design of Digital Microfluidic Biochips

0/5 ( ratings)

Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from Fdl 2015

0/5 ( ratings)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

0/5 ( ratings)

Advanced Boolean Techniques: Selected Papers from the 13th International Workshop on Boolean Problems

0/5 ( ratings)

Formal Specification Level: Concepts, Methods, and Algorithms

0/5 ( ratings)

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

0/5 ( ratings)

Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus) (German Edition)

0/5 ( ratings)

Computer: Wie funktionieren Smartphone, Tablet & Co.? (Technik im Fokus) (German Edition)

0/5 ( ratings)

Noch analog oder lebst Du schon?: Mit Nœrdman durch die Welt von heute... und morgen (German Edition)

0/5 ( ratings)

Advanced Formal Verification

0/5 ( ratings)

Design für Testbarkeit, Fehlersuche und Zuverlässigkeit: Maßnahmen der nächsten Generation unter Verwendung formaler Techniken (German Edition)

0/5 ( ratings)

High Quality Test Pattern Generation and Boolean Satisfiability

0/5 ( ratings)

Towards One-Pass Synthesis

0/5 ( ratings)

Formal System Verification: State-of the-Art and Future Trends

0/5 ( ratings)

Rate this book!

Write a review?

loader