Authors:
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Authors and Affiliations
-
Mississippi State University, USA
Mitchell Aaron Thornton
-
Siemens AG, Germany
Rolf Drechsler
-
University of Victoria, Canada
D. Michael Miller
Bibliographic Information
Book Title: Spectral Techniques in VLSI CAD
Authors: Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller
DOI: https://doi.org/10.1007/978-1-4615-1425-1
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2001
Hardcover ISBN: 978-0-7923-7433-6Published: 31 July 2001
Softcover ISBN: 978-1-4613-5547-2Published: 24 October 2012
eBook ISBN: 978-1-4615-1425-1Published: 06 December 2012
Edition Number: 1
Number of Pages: XIII, 250
Topics: Computer-Aided Engineering (CAD, CAE) and Design, Electrical Engineering, Artificial Intelligence, Abstract Harmonic Analysis