Issue No. 02 - February (1979 vol. 28)
C. Halatsis , Digital Systems Laboratory, Computer Center, Nuclear Research Center Democritos
The correspondence deals with the fail-safe realization of synchronous sequential machines under the assumption that the next-state functions are in any positive form. This leads to new classes of assignments called positive fail-safe assignment's (PFSA) The feasibility conditions of such assignments are given and systematic procedures are presented for deriving them using k-out-of-n codes.
sequential machines, Covering set, destination set, fail-safe, k-out-of-n code, positive fail-safe assignment, positive realization, realization free
N. Gaitanis and C. Halatsis, "Positive Fail-Safe Realization of Synchronous Sequential Machines," in IEEE Transactions on Computers, vol. 28, no. , pp. 167-172, 1979.