The Logic of Digital Circuits
This manuscript is divided into two parts: Chapters One through Five discuss the theory and applications of decision diagrams, while Chapters Six through Nine concentrates on the theory and applications of logic correlations between circuit signals.
Chapter Five contains the results on the BDD of a special type (SP-BDD) and their applications to the analysis and optimization of digital CMOS circuits.
The second part contains the results on the theory and applications of logic correlations between circuit signals (logic implications). The following applications are considered: noise analysis of digital circuits (both functional and delay noise), timing analysis with detecting false paths, and digital circuit obfuscation.
Chapter Nine explains the use of TDD (Ternary Decision Diagrams) in digital CMOS simulation with uncertainty—in particular, with power simulation—and both with and without accounting for logic implications. The principal audiences for the book are mathematicians and software developers, primarily working in microelectronics CAD. (Imprint: Nova)
Table of Contents
Preface
Chapter 1. Introduction to Binary Decision Diagrams
Chapter 2. Boolean Algebras and Boolean Functions
Chapter 3. BDD: Data Structure and Algorithms for Operation with Boolean Functions
Chapter 4. BDD Efficient Implementation
Chapter 5. Series-Parallel BDD: Theory and Applications
Chapter 6. Simple Logic Implications (SLI) and False-Noise Analysis
Chapter 7. Detecting False Paths in Static Timing Analysis Basing on Logic Implications
Chapter 8. Obfuscation of Digital Circuits Based on Use of Logic Implications
Chapter 9. Simulation of Digital CMOS Circuits Using Ternary Decision Diagrams and Simple Logic Implications
Index
Reviews
There are no reviews yet.