Provides a comprehensive collection of classical, state-of-the-art, and prospective data structures in a tutorial manner
Explains the computational aspects of DD techniques along with new methods of advanced logic design
Addresses the central role of topological models based on decision trees and diagrams embedded in spatial structures
Explores the information theoretic approach and stochastic computing for the modeling and simulation of logic circuits
Includes emerging areas such as three-dimensional techniques for nanodevices and methods for developing new DDs
Decision diagram (DD) techniques are very popular in the electronic design automation (EDA) of integrated circuits, and for good reason. They can accurately simulate logic design, can show where to make reductions in complexity, and can be easily modified to model different scenarios.
Presenting DD techniques from an applied perspective, Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook provides a comprehensive, up-to-date collection of DD techniques. Experts with more than forty years of combined experience in both industrial and academic settings demonstrate how to apply the techniques to full advantage with more than 400 examples and illustrations. Beginning with the fundamental theory, data structures, and logic underlying DD techniques, they explore a breadth of topics from arithmetic and word-level representations to spectral techniques and event-driven analysis. The book also includes abundant references to more detailed information and additional applications.
Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook collects the theory, methods, and practical knowledge necessary to design more advanced circuits and places it at your fingertips in a single, concise reference.
Table of Contents
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