This Article 
 Bibliographic References 
 Add to: 
April 1974 (vol. 23 no. 4)
pp. 369-374
W.W. Patterson, Rome Air Development Center, Griffiss Air Force Base
This paper examines the dynamic fault behavior of asynchronous sequential machines, specifically identifying the faults which cause critical races and hazards, and presents a state assignment technique leading to a machine that enters one of a small set of error states whenever a fault occurs. Entry into an error state can be checked by very simple check circuits; a self-testing check circuit and one requiring only two tests for fault detection are discussed. An extension of the state assignment technique to produce a machine that is fail-safe is also presented. The fail-safe design has the property that once a fault has caused the machine to malfunction and enter an error state, the machine never leaves the error state and therefore does not produce erroneous outputs. This machine detects all but a small class of multiple faults.
Index Terms:
Asynchronous sequential machines, fault behavior, fail-safe behavior, redundant state codes, state assignment.
W.W. Patterson, G. Metze, "A Fail-Safe Asynchronous Sequential Machine," IEEE Transactions on Computers, vol. 23, no. 4, pp. 369-374, April 1974, doi:10.1109/T-C.1974.223952
Usage of this product signifies your acceptance of the Terms of Use.