Issue No.06 - June (1976 vol.25)
H.Y.H. Chuang , Department of Computer Science, University of Pittsburgh
Several synthesis methods for fail-safe asynchronous sequential machines have been reported recently. All of these methods solve the race problem by using noncritical race state assignments. This approach generally results in large number of state variables, relatively complicated design, and the limitation of single-input change.
Asynchronous machine, fail-safe logic, fault-tolerant computing, reliable design, sequential machine.
H.Y.H. Chuang, "Fail-Safe Asynchronous Machines with Multiple-Input Changes", IEEE Transactions on Computers, vol.25, no. 6, pp. 637-642, June 1976, doi:10.1109/TC.1976.1674664