Sequential Logic Synthesis

✍ Scribed by Pranav Ashar, Srinivas Devadas, A. Richard Newton (auth.)

Publisher: Springer US
Year: 1992
Tongue: English
Leaves: 237
Series: The Kluwer International Series in Engineering and Computer Science 162
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying Encoding Constraints . . . . . . . 32 3. 3. 1 Definitions . . . . . . . . . . . . . . . 32 3. 3. 2 Column-Based Constraint Satisfaction 33 3. 3. 3 Row-Based Constraint Satisfaction . . 37 3. 3. 4 Constraint Satisfaction Using Dichotomies . 38 3. 3. 5 Simulated Annealing for Constraint Satisfaction 41 3. 4 Input Encoding Targeting Multilevel Logic. . 43 3. 4. 1 Kernels and Kernel Intersections . . . 44 3. 4. 2 Kernels and Multiple-Valued Variables 46 3. 4. 3 Multiple-Valued Factorization. . . . . 48 3. 4. 4 Size Estimation in Algebraic Decomposition . 53 3. 4. 5 The Encoding Step . 54 3. 5 Conclusion . . . . . . . . . 55 4 Encoding of Symbolic Outputs 57 4. 1 Heuristic Output Encoding Targeting Two-Level Logic. 59 4. 1. 1 Dominance Relations. . . . . . . . . . . . . . . . 59 4. 1. 2 Output Encoding by the Derivation of Dominance Relations . . . . . . . . . . . . . . . . . . . . . 60 . . 4. 1. 3 Heuristics to Minimize the Number of Encoding Bits . . . . . . . . . . . . 64 4. 1. 4 Disjunctive Relationships . . . . . . . . . . . 65 4. 1. 5 Summary . . . . . . . . . . . . . . . . . . 66 . . 4. 2 Exact Output Encoding Targeting Two-Level Logic. 66 4. 2. 1 Generation of Generalized Prime Implicants . 68 4. 2. 2 Selecting a Minimum Encodeable Cover . . . 68 4. 2. 3 Dominance and Disjunctive Relationships to S- isfy Constraints . . . . . . . . . . . 70 4. 2. 4 Constructing the Optimized Cover 73 4. 2. 5 Correctness of the Procedure . . 73 4. 2. 6 Multiple Symbolic Outputs . . .

✦ Table of Contents

Front Matter....Pages i-1
Introduction....Pages 3-16
Basic Definitions and Concepts....Pages 17-23
Encoding of Symbolic Inputs....Pages 25-56
Encoding of Symbolic Outputs....Pages 57-85
State Encoding....Pages 87-116
Finite State Machine Decomposition....Pages 117-168
Sequential Don’t Cares....Pages 169-201
Conclusions and Directions for Future Work....Pages 203-208
Back Matter....Pages 209-225

✦ Subjects

Circuits and Systems; Electrical Engineering; Computer-Aided Engineering (CAD, CAE) and Design

📜 SIMILAR VOLUMES

Sequential Logic: Analysis and Synthesis

📁 Sequential Logic: Analysis and Synthesis

✍ Joseph Cavanagh 📂 Library 📅 2006 🏛 CRC Press 🌐 English

Until now, there was no single resource for actual digital system design. Using both basic and advanced concepts, Sequential Logic: Analysis and Synthesis offers a thorough exposition of the analysis and synthesis of both synchronous and asynchronous sequential machines. With 25 years of exp

Asynchronous Operators of Sequential Log

📁 Asynchronous Operators of Sequential Logic: Venjunction & Sequention: Digital Circuit Analysis and Design

✍ Vadim Vasyukevich (auth.) 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book is dedicated to new mathematical instruments assigned for logical modeling of the memory of digital devices. The case in point is logic-dynamical operation named venjunction and venjunctive function as well as sequention and sequentional function. Venjunction and sequention operate w

📁 sequential circuit synthesis

📂 Library 🌐 English

Sequential Logic Testing and Verificatio

📁 Sequential Logic Testing and Verification

✍ Abhijit Ghosh, Srinivas Devadas, A. Richard Newton (auth.) 📂 Library 📅 1992 🏛 Springer US 🌐 English

In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the

Advanced Logic Synthesis

📁 Advanced Logic Synthesis

✍ André Inácio Reis, Rolf Drechsler (eds.) 📂 Library 📅 2018 🏛 Springer International Publishing 🌐 English

This book provides a single-source reference to the state-of-the-art in logic synthesis. Readers will benefit from the authors’ expert perspectives on new technologies and logic synthesis, new data structures, big data and logic synthesis, and convergent logic synthesis. The authors describe t

Logic Synthesis with VHDL Combinational

📁 Logic Synthesis with VHDL Combinational Logic

✍ Reese B. 📂 Library 🌐 English

Reese B. Logic Synthesis with VHDL Combinational Logic. Учебное пособие на английском языке. Mississippi State University.-1995. - 46p Без оглавления. Use of Logic Synthesis has become common industrial practice.The advantages are many: -Technology portability - Design Documentat