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. Chuang and S. Das, "Design of Fail-Safe Sequential Machines Using Separable Codes," in IEEE Transactions on Computers, vol. 27, no. , pp. 249-252, 1978.