附註:Includes bibliographical references (pages 261-278) and index.
Introduction -- Signals -- Algebraic structures for signal processing -- Further readings in discrete functions -- Spectral techniques -- Spectral transforms -- Further readings in Fourier analysis on groups -- Spectral interpretation of DD -- Further readings in decision diagrams -- DD and order of variables -- Further readings in optimization of DD by variables ordering -- Free BDD -- Further readings in free BDD -- Word-level DD -- Further readings in word-level DD and edge-valued DD -- Spectral interpretation of TDD -- Further readings in ternary DD -- Spectral interpretation of optimization of DD -- Group-theoretic approach to optimization of DD -- Further readings in DD on finite groups -- Closing remarks.
摘要:Decision diagrams (DDs) are data structures for efficient (time/space) representations of large discrete functions. In addition to their wide application in engineering practice, DDs are now a standard part of many CAD systems for logic design and a basis for severe signal processing algorithms. Spectral Interpretation of Decision Diagrams derives from attempts to classify and uniformly interpret DDs through spectral interpretation methods, relating them to different Fourier-series-like functional expressions for discrete functions and a group-theoretic approach to DD optimization. The book examines DDs found in literature and engineering practice and provides insights into relationships between DDs and different polynomial or spectral expressions for representation of discrete functions. In addition, it offers guidelines and criteria for selection of the most suitable representation in terms of space and time complexity. The work complements theory with numerous illustrative examples from practice. Moreover, the importance of DD representations to the verification and testing of arithmetic circuits is addressed, as well as problems related to various signal processing tasks.
