Yanushkevich / Miller / Shmerko Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook

1. Auflage 2010
ISBN: 978-1-4200-3758-6
Verlag: Taylor & Francis
Format: PDF
Kopierschutz: Adobe DRM (»Systemvoraussetzungen)

E-Book, Englisch, 952 Seiten

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.

Zielgruppe

Electrical, computer, and electronics engineers; researchers in nanotechnology, nanocomputing, computer architecture, logic design, circuits and devices, and optimization.

Autoren/Hrsg.

Yanushkevich, Svetlana N.

Miller, D. Michael

Shmerko, Vlad P.

Stankovic, Radomir S.

Fachgebiete

• Technische Wissenschaften Technik Allgemein Technik: Allgemeines

Inhaltsverzeichnis

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