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 experience in designing computing equipment, the author stresses the practical design of state machines. He clearly delineates each step of the structured and rigorous design principles that can be applied to practical applications. The book begins by reviewing the analysis of combinatorial logic and Boolean algebra, and goes on to define sequential machines and discuss traditional and alternative methods for synthesizing synchronous sequential machines. The final chapters deal with asynchronous sequential machines and pulse-mode asynchronous sequential machines. Because this volume is technology-independent, these techniques can be used in a variety of fields, such as electrical and computer engineering as well as nanotechnology.
By presenting each method in detail, expounding on several corresponding examples, and providing over 500 useful figures, Sequential Logic is an excellent tutorial on analysis and synthesis procedures.
Number Systems
Number Representations
Boolean Algebra
Minimization Techniques
Logic Symbols
Analysis of Combinational Logic
Synthesis of Combinational Logic
Multiplexers
Decoders
Encoders
Comparators
Storage Elements
Programmable Logic Devices
Problems
ANALYSIS OF SYNCHRONOUS SEQUENTIAL MACHINES
Sequential Circuits
Classes of Sequential Machines
Methods of Analysis
Complete and Incomplete Synchronous Sequential Machines
Problems
SYNTHESIS OF SYNCHRONOUS SEQUENTIAL MACHINES 1
Synthesis Procedure
Synchronous Registers
Synchronous Counters
Moore Machines
Mealy Machines
Moore-Mealy Equivalence
Output Glitches
Problems
SYNTHESIS OF SYNCHRONOUS SEQUENTIAL MACHINES 2
Multiplexers for * Next-State Logic
Decoders for * Output Logic
Programmable Logic Devices
Microprocessor-Controlled Sequential Machines
Sequential Iterative Machines
Error Detection in Synchronous Sequential Machines
Problems
ANALYSIS OF ASYNCHRONOUS SEQUENTIAL MACHINES
Introduction
Fundamental-Mode Model
Methods of Analysis
Hazards
Oscillations
Races
Problems
SYNTHESIS OF ASYNCHRONOUS SEQUENTIAL MACHINES
Introduction
Synthesis Procedure
Synthesis Examples
Problems
PULSE-MODE ASYNCHRONOUS SEQUENTIAL MACHINES
Analysis Procedure
Synthesis Procedure
Problems
APPENDIX
INDEX
Biography
Joseph Cavanagh
"By presenting each method in detail, expounding on several corresponding examples, and providing over 500 useful figures, this book is an excellent tutorial on analysis and synthesis procedures."
– In Zentralblatt Math, 2008/2009, Vol. 1131