Decision Diagram Techniques for Micro- And Nanoelectronic Design Handbook (Hardcover)

FUNDAMENTALS OF DECISION DIAGRAM TECHNIQUES
Introduction
Data Structures
Graphical Data Structures
AND-EXOR Expressions, Trees, and Diagrams
Arithmetic Representations
Word-Level Representations
Spectral Techniques
Information-Theoretical Measures
Event-Driven Analysis
DECISION DIAGRAM TECHNIQUES FOR SWITCHING FUNCTIONS
Introduction
Classification of Decision Diagrams
Variable Ordering in Decision Diagrams
Spectral Decision Diagrams
Linearly Transformed Decision Diagrams
Decision Diagrams for Arithmetic Circuits
Edge-Valued Decision Diagrams
Word-Level Decision Diagrams
Minimization via Decision Diagrams
Decision Diagrams for Incompletely Specified Functions
Probabilistic Decision Diagram Techniques
Power Consumption Analysis using Decision Diagrams
Formal Verification of Circuits
Ternary Decision Diagrams
Information-Theoretical Measures in Decision Diagrams
Decomposition Using Decision Diagrams
Complexity of Decision Diagrams
Programming of Decision Diagrams
DECISION DIAGRAM TECHNIQUES FOR MULTIVALUED FUNCTIONS
Introduction
Multivalued Functions
Spectral Transforms of Multivalued Functions
Classification of Multivalued Decision Diagrams
Event-Driven Analysis in Multivalued Systems
SELECTED TOPICS OF DECISION DIAGRAM TECHNIQUES
Introduction
Three-Dimensional Techniques
Decision Diagrams in Reversible Logic
Decision Diagrams on Quaternion Groups
Linear Word-Level Decision Diagrams
Fibonacci Decision Diagrams
Techniques of Computing via Taylor-Like Expansions
Developing New Decision Diagrams
Historical Perspectives and Open Problems
APPENDICES
Appendix A: Algebraic Structures for the Fourier Transform on Finite Groups
Appendix B: Fourier Analysis on Groups
Appendix C: Discrete Walsh Functions
Appendix D: The Basic Operations for Ternary and Quaternary Logic
INDEX