Spectral Interpretation of Decision Diagrams

2003
ISBN: 978-0-387-95545-2
Verlag: Springer

Buch, Englisch, 286 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 1360 g

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.

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Astola, Jaakko T.

Stankovic, Radomir

Fachgebiete

• Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computer-Aided Design (CAD)
• Technische Wissenschaften Technik Allgemein Computeranwendungen in der Technik
• Technische Wissenschaften Technik Allgemein Konstruktionslehre und -technik
• Mathematik | Informatik EDV | Informatik Angewandte Informatik Computeranwendungen in Wissenschaft & Technologie
• Mathematik | Informatik EDV | Informatik Daten / Datenbanken
• Mathematik | Informatik EDV | Informatik Technische Informatik Hochleistungsrechnen, Supercomputer
• Geisteswissenschaften Design Produktdesign, Industriedesign
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten

Inhaltsverzeichnis

Signals.- Algebraic Structures for Signal Processing.- Spectral Techniques.- Fourier Analysis on Groups.- Spectral Interpretation of Decision Diagrams.- Advanced Topics in Decision Trees and Diagrams.- Optimization of Decision Diagrams.- Word-Level Decision Diagrams.- Spectral Interpretation of Edge-Valued Decision Diagrams.- Spectral Interpretation of Ternary Decision Diagrams.- Group Theoretic Approach to Optimization of Decision Diagrams.- Closing Remarks.