Spectral Techniques in VLSI CAD

Spectral Techniques in VLSI CAD
Author :
Publisher : Springer Science & Business Media
Total Pages : 259
Release :
ISBN-10 : 9781461514251
ISBN-13 : 1461514258
Rating : 4/5 (258 Downloads)

Book Synopsis Spectral Techniques in VLSI CAD by : Mitchell Aaron Thornton

Download or read book Spectral Techniques in VLSI CAD written by Mitchell Aaron Thornton and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 259 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Spectral Techniques in VLSI CAD Related Books

Spectral Techniques in VLSI CAD
Language: en
Pages: 259
Authors: Mitchell Aaron Thornton
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

GET EBOOK

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 f
Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook
Language: en
Pages: 952
Authors: Svetlana N. Yanushkevich
Categories: Technology & Engineering
Type: BOOK - Published: 2018-10-03 - Publisher: CRC Press

GET EBOOK

Decision diagram (DD) techniques are very popular in the electronic design automation (EDA) of integrated circuits, and for good reason. They can accurately sim
Advanced Boolean Techniques
Language: en
Pages: 268
Authors: Rolf Drechsler
Categories: Technology & Engineering
Type: BOOK - Published: 2019-07-08 - Publisher: Springer

GET EBOOK

This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basi
Advances in Signal Transforms
Language: en
Pages: 425
Authors: Jaakko Astola
Categories: Electronic books
Type: BOOK - Published: 2007 - Publisher: Hindawi Publishing Corporation

GET EBOOK

"Digital signal transforms are of a fundamental value in digital signal and image processing. Their role is manifold. Transforms selected appropriately enable s
Logic Design of NanoICS
Language: en
Pages: 503
Authors: Svetlana N. Yanushkevich
Categories: Technology & Engineering
Type: BOOK - Published: 2017-12-19 - Publisher: CRC Press

GET EBOOK

Today's engineers will confront the challenge of a new computing paradigm, relying on micro- and nanoscale devices. Logic Design of NanoICs builds a foundation