Spectral Interpretation of Decision Diagrams PDF Download

Author: Radomir Stankovic
Publisher: Springer Science & Business Media
ISBN: 0387217347
Category : Computers
Languages : en
Pages : 297

View

Book Description
Anyone who can interpret decision diagrams using the spectral approach can advance both the utility and understanding of classical DD techniques. This approach also provides a framework for developing advanced solutions for digital design and a host of other applications. Scientists, computer science and engineering professionals, and researchers with an interest in the spectral methods of representing discrete functions, as well as the foundations of logic design, will find the book a clearly explained, well-organized, and essential resource.

Author: Radomir Stankovic
Publisher: Springer
ISBN: 9781475778724
Category :
Languages : en
Pages : 310

View

Book Description
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.

Author: Svetlana N. Yanushkevich
Publisher: CRC Press
ISBN: 1420037587
Category : Technology & Engineering
Languages : en
Pages : 952

View

Book Description
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.

Author: Mark G. Karpovsky
Publisher: John Wiley & Sons
ISBN: 047028921X
Category : Computers
Languages : en
Pages : 642

View

Book Description
Spectral techniques facilitate the design and testing of today's increasingly complex digital devices There is heightened interest in spectral techniques for the design of digital devices dictated by ever increasing demands on technology that often cannot be met by classical approaches. Spectral methods provide a uniform and consistent theoretic environment for recent achievements in this area, which appear divergent in many other approaches. Spectral Logic and Its Applications for the Design of Digital Devices gives readers a foundation for further exploration of abstract harmonic analysis over finite groups in the analysis, design, and testing of digital devices. After an introduction, this book provides the essential mathematical background for discussing spectral methods. It then delves into spectral logic and its applications, covering: * Walsh, Haar, arithmetic transform, Reed-Muller transform for binary-valued functions and Vilenkin-Chrestenson transform, generalized Haar, and other related transforms for multiple-valued functions * Polynomial expressions and decision diagram representations for switching and multiple-value functions * Spectral analysis of Boolean functions * Spectral synthesis and optimization of combinational and sequential devices * Spectral methods in analysis and synthesis of reliable devices * Spectral techniques for testing computer hardware This is the authoritative reference for computer science and engineering professionals and researchers with an interest in spectral methods of representing discrete functions and related applications in the design and testing of digital devices. It is also an excellent text for graduate students in courses covering spectral logic and its applications.

Author: Jaakko Astola
Publisher: Springer Science & Business Media
ISBN: 0387303111
Category : Technology & Engineering
Languages : en
Pages : 352

View

Book Description
Fundamentals of Switching Theory and Logic Design discusses the basics of switching theory and logic design from a slightly alternative point of view and also presents links between switching theory and related areas of signal processing and system theory. Switching theory is a branch of applied mathematic providing mathematical foundations for logic design, which can be considered as a part of digital system design concerning realizations of systems whose inputs and outputs are described by logic functions.

Author: Radomir S. Stankovic
Publisher: Springer Nature
ISBN: 303179852X
Category : Technology & Engineering
Languages : en
Pages : 154

View

Book Description
Compared to binary switching functions, the multiple-valued functions (MV) offer more compact representations of the information content of signals modeled by logic functions and, therefore, their use fits very well in the general settings of data compression attempts and approaches. The first task in dealing with such signals is to provide mathematical methods for their representation in a way that will make their application in practice feasible. Representation of Multiple-Valued Logic Functions is aimed at providing an accessible introduction to these mathematical techniques that are necessary for application of related implementation methods and tools. This book presents in a uniform way different representations of multiple-valued logic functions, including functional expressions, spectral representations on finite Abelian groups, and their graphical counterparts (various related decision diagrams). Three-valued, or ternary functions, are traditionally used as the first extension from the binary case. They have a good feature that the ratio between the number of bits and the number of different values that can be encoded with the specified number of bits is favourable for ternary functions. Four-valued functions, also called quaternary functions, are particularly attractive, since in practical realization within today prevalent binary circuits environment, they may be easy coded by binary values and realized with two-stable state circuits. At the same time, there is much more considerable advent in design of four-valued logic circuits than for other $p$-valued functions. Therefore, this book is written using a hands-on approach such that after introducing the general and necessarily abstract background theory, the presentation is based on a large number of examples for ternary and quaternary functions that should provide an intuitive understanding of various representation methods and the interconnections among them. Table of Contents: Multiple-Valued Logic Functions / Functional Expressions for Multiple-Valued Functions / Spectral Representations of Multiple-Valued Functions / Decision Diagrams for Multiple-Valued Functions / Fast Calculation Algorithms

Author: Radomir S. Stankovic
Publisher: John Wiley & Sons
ISBN: 0471745421
Category : Science
Languages : en
Pages : 230

View

Book Description
Discover applications of Fourier analysis on finite non-Abeliangroups The majority of publications in spectral techniques considerFourier transform on Abelian groups. However, non-Abelian groupsprovide notable advantages in efficient implementations of spectralmethods. Fourier Analysis on Finite Groups with Applications in SignalProcessing and System Design examines aspects of Fourieranalysis on finite non-Abelian groups and discusses differentmethods used to determine compact representations for discretefunctions providing for their efficient realizations and relatedapplications. Switching functions are included as an example ofdiscrete functions in engineering practice. Additionally,consideration is given to the polynomial expressions and decisiondiagrams defined in terms of Fourier transform on finitenon-Abelian groups. A solid foundation of this complex topic is provided bybeginning with a review of signals and their mathematical modelsand Fourier analysis. Next, the book examines recent achievementsand discoveries in: Matrix interpretation of the fast Fourier transform Optimization of decision diagrams Functional expressions on quaternion groups Gibbs derivatives on finite groups Linear systems on finite non-Abelian groups Hilbert transform on finite groups Among the highlights is an in-depth coverage of applications ofabstract harmonic analysis on finite non-Abelian groups in compactrepresentations of discrete functions and related tasks in signalprocessing and system design, including logic design. All chaptersare self-contained, each with a list of references to facilitatethe development of specialized courses or self-study. With nearly 100 illustrative figures and fifty tables, this isan excellent textbook for graduate-level students and researchersin signal processing, logic design, and system theory-as well asthe more general topics of computer science and appliedmathematics.

Author: Mitchell Aaron Thornton
Publisher: Springer Science & Business Media
ISBN: 1461514258
Category : Computers
Languages : en
Pages : 259

View

Book Description
Spectral Techniques in VLSI CAD have become a subject of renewed interest in the design automation community due to the emergence of new and efficient methods for the computation of discrete function spectra. In the past, spectral computations for digital logic were too complex for practical implementation. The use of decision diagrams for spectral computations has greatly reduced this obstacle allowing for the development of new and useful spectral techniques for VLSI synthesis and verification. Several new algorithms for the computation of the Walsh, Reed-Muller, arithmetic and Haar spectra are described. The relation of these computational methods to traditional ones is also provided. Spectral Techniques in VLSI CAD provides a unified formalism of the representation of bit-level and word-level discrete functions in the spectral domain and as decision diagrams. An alternative and unifying interpretation of decision diagram representations is presented since it is shown that many of the different commonly used varieties of decision diagrams are merely graphical representations of various discrete function spectra. Viewing various decision diagrams as being described by specific sets of transformation functions not only illustrates the relationship between graphical and spectral representations of discrete functions, but also gives insight into how various decision diagram types are related. Spectral Techniques in VLSI CAD describes several new applications of spectral techniques in discrete function manipulation including decision diagram minimization, logic function synthesis, technology mapping and equivalence checking. The use of linear transformations in decision diagram size reduction is described and the relationship to the operation known as spectral translation is described. Several methods for synthesizing digital logic circuits based on a subset of spectral coefficients are described. An equivalence checking approach for functional verification is described based upon the use of matching pairs of Haar spectral coefficients.

Author: Svetlana N. Yanushkevich
Publisher: CRC Press
ISBN: 1420060953
Category : Computers
Languages : en
Pages : 720

View

Book Description
With an abundance of insightful examples, problems, and computer experiments, Introduction to Logic Design provides a balanced, easy-to-read treatment of the fundamental theory of logic functions and applications to the design of digital devices and systems. Requiring no prior knowledge of electrical circuits or electronics, it supplies the

Author: Jaakko Astola
Publisher: Hindawi Publishing Corporation
ISBN: 9775945550
Category : Electronic books
Languages : en
Pages : 425

View

Book Description
"Digital signal transforms are of a fundamental value in digital signal and image processing. Their role is manifold. Transforms selected appropriately enable substantial compressing signals and images for storage and transmission. No signal recovery, image reconstruction and restoration task can be efficiently solved without using digital signal transforms. Transforms are successfully used for logic design and digital data encryption. Fast transforms are the main tools for acceleration of computations in digital signal and image processing. The volume collects in one book most recent developments in the theory and practice of the design and usage of transforms in digital signal and image processing. It emerged from the series of reports published by Tampere International Centre for Signal Processing, Tampere University of Technology. For the volume, all contributions are appropriately updated to represent the state of the art in the field and to cover the most recent developments in different aspects of the theory and applications of transforms. The book consists of two parts that represent two major directions in the field: development of new transforms and development of transform based signal and image processing algorithms. The first part contains four chapters devoted to recent advances in transforms for image compression and switching and logic design and to new fast transforms for digital holography and tomography. In the second part, advanced transform based signal and image algorithms are considered: signal and image local adaptive restoration methods and two complementing families of signal and image re-sampling algorithms, fast transform based discrete sinc-interpolation and spline theory based ones."--Publisher.