عنوان

Spectral Techniques in VLSI CAD

شابک

1461514258

شابک

9781461514251

شماره

b551282

عنوان اصلي

Spectral Techniques in VLSI CAD

نام عام مواد

[Book]

نام نخستين پديدآور

by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.

محل نشرو پخش و غیره

Boston, MA

نام ناشر، پخش کننده و غيره

Springer US

تاریخ نشرو بخش و غیره

2001

نام خاص و کميت اثر

(xiii, 250 pages)

متن يادداشت

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.

متن يادداشت

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.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Computer-aided design.

موضوع مستند نشده

Electronic data processing.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

by Mitchell Aaron Thornton, Rolf Drechsler, D. Michael Miller.

مستند نام اشخاص تاييد نشده

D Michael Miller

مستند نام اشخاص تاييد نشده

Mitchell Aaron Thornton

مستند نام اشخاص تاييد نشده

Rolf Drechsler

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y