Asynchronous sequential machine design and analysis
Subtitle: a comprehensive development of the design and analysis of clock-independent state machines and systems
By: Richard F. Tinder
Series: Synthesis lectures on digital circuits and systems -- # 18
Publisher: Morgan & Claypool Publishers
Published: 2009
Place of publication: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA)
Language: eng
Format: [electronic resource] :
ISBN-13: 9781598296907; 9781598296891
Subjects: Sequential circuits; Mathematical models; Sequential machine theory; Asynchronous circuits
Other titles: Synthesis digital library of engineering and computer science.
Description: Asynchronous Sequential Machine Design and Analysis provides a lucid, in-depth treatment of asynchronous state machine design and analysis presented in two parts: Part I on the background fundamentals related to asynchronous sequential logic circuits generally, and Part II on self-timed systems, high-performance asynchronous programmable sequencers, and arbiters. Part I provides a detailed review of the background fundamentals for the design and analysis of asynchronous finite state machines (FSMs). Included are the basic models, use of fully documented state diagrams, and the design and characteristics of basic memory cells and Muller C-elements. Simple FSMs using C-elements illustrate the design process. The detection and elimination of timing defects in asynchronous FSMs are covered in detail. This is followed by the array algebraic approach to the design of single-transition-time machines and use of CAD software for that purpose, one-hot asynchronous FSMs, and pulse mode FSMs.^

Part I concludes with the analysis procedures for asynchronous state machines. Part II is concerned mainly with self-timed systems, programmable sequencers, and arbiters. It begins with a detailed treatment of externally asynchronous/internally clocked (or pausable) systems that are delay-insensitive and metastability-hardened. This is followed by defect-free cascadable asynchronous sequencers, and defect-free one-hot asynchronous programmable sequencers--their characteristics, design, and applications. Part II concludes with arbiter modules of various types, those with and without metastability protection, together with applications. Presented in the appendices are brief reviews covering mixed-logic gate symbology, Boolean algebra, and entered-variable K-map minimization. End-of-chapter problems and a glossary of terms, expressions, and abbreviations contribute to the reader's learning experience.^

Five productivity tools are made available specifically for use with this text and briefly discussed in this front matter.
Notes: Part of: Synthesis digital library of engineering and computer science.

Title from PDF t.p. (viewed on March 9, 2009).

Series from website.

Includes bibliographical references (p. 201-202) and index.

Abstract freely available; full-text restricted to subscribers or individual document purchasers.

Also available in print.

Mode of access: World Wide Web.

System requirements: Adobe Acrobat reader.
Table of contents: title: Background fundaments for design and analysis of asynchronous state machines; title: Introduction and background; title: Features of and need for asynchronous finite state machines; title: Fundamental mode of operation and lumped path delay models; title: Stability criteria and the excitation table for LPD models; title: Nested set-reset element models for asynchronous sequential machines; title: Fully documented state diagram, sum rule and mutually exclusive requirement; title: The mapping algorithm; title: Application of the mapping algorithm to simple LPD model designs; title: Mixed-logic notation and the cardinal rule; title: Design of basic memory elements and their characteristics; title: Basic SR cells; title: Muller C-elements; title: Summary of the excitation tables; title: Huffman vs. Muller asynchronous FSMs; title: Simple FSM design and initialization; title: The extended Y-SR mapping algorithm; title: Application to FSM design with C-elements; title: Initialization of asynchronous FSMs; title: Sanity circuits, design and applications; title: ^; title: Detection and elimination of timing defects in asynchronous FSMs; title: Endless cycles; title: Races and critical races; title: Static hazards in the NS and output forming logic; title: Detection and elimination of static hazards in the NS forming logic; title: Detection and elimination of static hazards in the output forming logic; title: Dynamic hazards and function hazards; title: Output race glitches, detection and elimination; title: Essential hazards, detection and elimination; title: Minimum requirements for E-hazard and D-trio formation; title: A simple example; title: Metastable conditions in C-elements; title: Design of single transition time machines; title: The array algebraic approach; title: Design example using C-elements; title: Essential hazard analysis in STT FSMs; title: Computer aided STT FSM design; title: Summary of hazard effects and their elimination in STT FSM designs; title: Design of one-hot asynchronous FSMs; title: Introduction to the one-hot approach; title: Characteristics of the one-hot method; title: Design example using C-elements; title: ^; title: ^^; title: Essential hazards in one-hot asynchronous FSMs; title: Design of pulse mode FSMs; title: Models and characteristics of the pulse mode; title: Requirements and characteristics of the pulse mode approach; title: Toggle modules as the memory elements; title: A design example; title: Other memory elements suitable for pulse mode design; title: Debouncing circuits; title: Analysis of asynchronous FSMs; title: Procedure for analyzing any asynchronous FSM; title: Example of an LPD model FSM analysis; title: E-hazard and D-trio analyses of the PGM; title: Example of an STT FSM analysis; title: Example of a one-hot FSM analysis; title: Example of a pulse mode FSM analysis; title: Self-timed systems, programmable sequencers, and arbiters; title: Externally asynchronous/internally clocked systems; title: Basic architecture and system characteristics; title: DFLOP memory element design with C-elements; title: D-trio analysis of the resolver FSM; title: Simple example of an EAIC FSM design; title: The metastable detection stage; title: Frequency characteristics and NS logic constraints of EAIC systems; title: ^; title: ^^; title: Parallel/serial processing with cascaded EAIC microcontrollers; title: Characteristics; title: Summary of the salient features of EAIC systems; title: Cascadable asynchronous programmable sequencers (CAPS) and time-shared system design; title: Microprogrammable asynchronous controller modules; title: MAC module characteristics for use with CAPS system architecture; title: C-element design of a 2 x 2 MAC module; title: Stepwise operation of the MAC module; title: Cascading the MAC modules; title: Programming the MAC module, four examples; title: Time-shared FSM operation by using cascaded MAC modules; title: Asynchronous one-hot programmable sequencer systems; title: General architecture; title: Design of one-hot sequencers; title: Time-shared multiple FSM operation by a single A-OPS; title: A-OPS software capabilities used in this text; title: Arbiter modules; title: Bus arbiter module; title: Multiple input bus arbiters; title: Priority stand-alone arbiters; title: Handshake arbiters with acknowledgment (done) signals; title: Rotating token arbiters; title: Applications; title: Appendix A; title: ^; title: ^^; title: Brief reviews; title: A.1 Mixed-logic gate symbology and conjugate gate forms; title: A.2 And/or laws and the EQV/XOR laws of Boolean algebra (dual relations); title: A.3 Entered variable K-map compression and minimization; title: A.3.1 Incompletely specified functions; title: Appendix B End-of-chapter problems; title: Endnotes; title: General background directly supporting material in this text; title: Alternative approaches to asynchronous state machine design and analysis; title: Important historical contributions to asynchronous circuit synthesis; title: Sources related to the subject of EAIC systems discussed in this text; title: Glossary of terms, expressions, and abbreviations; title: Author biography; title: Index.; title: ^^