Issue No.03 - March (1978 vol.27)
H.Y.H. Chuang , Department of Computer Science, University of Pittsburgh
A method for realization of fail-safe sequential machines, using a class of separable codes called Berger codes in the state assignment, has been presented. The separability property is desirable in certain applications. Both on-set and off-set realizations are used for the next-state functions and this has the advantage over the methods using only on-set realization in that the checker is simpler. Realization of the output circuit is also considered.
synchronous machine, Berger code, fail-safe logic, monotone functions, separable code, state assignment
H.Y.H. Chuang, S. Das, "Design of Fail-Safe Sequential Machines Using Separable Codes", IEEE Transactions on Computers, vol.27, no. 3, pp. 249-252, March 1978, doi:10.1109/TC.1978.1675078