Error Tolerant Sequential Circuit Design Using Error Correcting Codes

Error-tolerant Sequential Circuit Design Using Error-correcting Codes

Redundancy is an important technique in the design of error-tolerant electronic computers. Many redundant schemes have been proposed and developed for combinational circuits; this study is directed toward redundant schemes for general computing circuits, specifically, sequential circuits. The design of error-tolerant sequential circuits using error-correcting codes is approached from a practical as well as theoretical viewpoint with the language of sequential machine theory and coding theory being unified into a foundation for error-tolerant sequential machine theory. Various synthesis procedures are presented for synchronous sequential circuits which tolerate transient errors and permanent failures. The effectiveness of these procedures is evaluated in detail for a simple example, the eight-state binary counter. Using exponential failure distributions, it is shown that reliability is significantly improved for mission times of long duration for this example. (Author).

Self-Checking and Fault-Tolerant Digital Design

With VLSI chip transistors getting smaller and smaller, today's digital systems are more complex than ever before. This increased complexity leads to more cross-talk, noise, and other sources of transient errors during normal operation. Traditional off-line testing strategies cannot guarantee detection of these transient faults. And with critical applications relying on faster, more powerful chips, fault-tolerant, self-checking mechanisms must be built in to assure reliable operation. Self-Checking and Fault-Tolerant Digital Design deals extensively with self-checking design techniques and is the only book that emphasizes major techniques for hardware fault tolerance. Graduate students in VLSI design courses as well as practicing designers will appreciate this balanced treatment of the concepts and theory underlying fault tolerance along with the practical techniques used to create fault-tolerant systems. Features: Introduces reliability theory and the importance of maintainability Presents coding and the construction of several error detecting and correcting codes Discusses in depth, the available techniques for fail-safe design of combinational circuits Details checker design techniques for detecting erroneous bits and encoding output of self-checking circuits Demonstrates how to design self-checking sequential circuits, including a technique for fail-safe state machine design

Scientific and Technical Aerospace Reports