عنوان

Asynchronous sequential machine design and analysis

شابک

9781598296907 (electronic bk.)

کد کشور

IR

شماره

EN-57443

زبان متن نوشتاري يا گفتاري و مانند آن

انگلیسی

کشور محل نشر

IR

عنوان اصلي

Asynchronous sequential machine design and analysis

نام عام مواد

[Book]

ساير اطلاعات عنواني

:a comprehensive development of the design and analysis of clock-independent state machines and systems

نام نخستين پديدآور

/ Richard F. Tinder

محل نشرو پخش و غیره

San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA)

نام ناشر، پخش کننده و غيره

: Morgan & Claypool Publishers,

تاریخ نشرو بخش و غیره

, c2009.

نام خاص و کميت اثر

1 electronic text (xv, 235 p. ill.) , digital file.

عنوان فروست

(Synthesis lectures on digital circuits and systems,1932-3174

مشخصه جلد

; 18.)

متن يادداشت

Part of: Synthesis digital library of engineering and computer science.

متن يادداشت

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

متن يادداشت

Series from website.

متن يادداشت

Electronic

متن يادداشت

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

متن يادداشت

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.

متن يادداشت

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

عنوان

Synthesis lectures on digital circuits and systems (Online)

شماره جلد

18

عنوان گونه گون

Synthesis digital library of engineering and computer science

عنوان گونه گون

Synthesis Digital Library Collection 2

موضوع مستند نشده

Asynchronous circuits, Mathematical models

موضوع مستند نشده

Sequential circuits, Mathematical models

موضوع مستند نشده

Sequential machine theory, Mathematical models

موضوع مستند نشده

Asynchronous

موضوع مستند نشده

Sequential

موضوع مستند نشده

Sequencers

موضوع مستند نشده

Logic

موضوع مستند نشده

Machines

موضوع مستند نشده

Digital

موضوع مستند نشده

Self-timed

موضوع مستند نشده

Arbiters

شماره رده

مستند نام اشخاص تاييد نشده

Tinder, Richard F.,1930-

کشور

ایران

نام ميزبان

Asynchronous sequential machine design and analysis

شماره دسترسي

عادی

اطلاعات مختصر

عادی

نام الکترونيکي

EN-57443.pdf

بيت در ثانيه

0

ارتباط براي تسهيلات دسترسي

ایمانی

نوع فرمت الکترونيکي

متن

اندازه فايل

0

شماره کنترل رکورد

EN-57443

يادداشت عمومي

انگلیسی

وضعیت فهرست نویسی

old catalog

فرمت انتشار

e

نوع ماده

BL

پیشوند ISBD اعمال شده است

1

سطح دسترسي

a

تكميل شده

Y