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 learningexperience. Five productivity tools are made available specifically for use with this text and briefly discussed in the Preface. Table of Contents: I: Background Fundamentals for Design and Analysis of Asynchronous State Machines / Introduction and Background / Simple FSM Design and Initialization / Detection and Elimination of Timing Defects in Asynchronous FSMs / Design of Single Transition Time Machines / Design of One-Hot Asynchronous FSMs / Design of Pulse Mode FSMs / Analysis of Asynchronous FSMs / II: Self-Timed Systems/ Programmable Sequencers, and Arbiters / Externally Asynchronous/Internally Clocked Systems / Cascadable Asynchronous Programmable Sequencers (CAPS) and Time-Shared System Design / Asynchronous One-Hot Programmable Sequencer Systems / Arbiter Modules
Professor Richard Tinders teaching interests have been highly varied over his tenure at Washington State University (WSU). They have included crystallography, thermodynamics of solids (both equilibrium and irreversible thermodynamics), solid state electronics, tensor properties of crystals, dislocation theory, solid state direct energy conversion (mainly solar cell theory, thermoelectric effects, and fuel cells), general materials science, electromagnetics, and analog and digital circuit theory. For more than 20 years, he taught logic design at the entry, intermediate, and advanced levels and has published a major text in the area titled Engineering Digital Design, 2nd Ed. Revised. He has conducted research and published in the areas of tensor properties of solids, surface physics, shock dynamics of solids, milli-micro plastic flow in metallic single crystals, high-speed asynchronous (clock-independent) state machine design, and Boolean algebra (specifically XOR algebra and graphics). Recently, he has published two books: Relativistic Flight Mechanics and Space Travel and Tensor Properties of Solids - Phenomenological Development of the Tensor Properties of Crystals. Professor Tinder received his bachelors, masters, and doctoral degrees from the University of California, Berkeley. In the early 1970s, he spent one year as a visiting faculty member at the University of California, Davis, in what was then the Department of Mechanical Engineering and Materials Science. There, he continued teaching materials science including solid state thermodynamics and advanced reaction kinetics. Following his return to WSU, he taught logic design and conducted research in that area until retirement in 2004. Currently, he is Professor Emeritus of the School of Electrical Engineering and Computer Science at WSU.
