Issue No. 05 - May (1978 vol. 27)
D.K. Pradhan , Department of Electrical and Computer Engineering, Wayne State University
Techniques to construct standard state assignments that yield unate next-state functions are presented. These proposed assignments use Berger codes. It is established that for any N row flow table, it is possible to construct
upper bound on the number of state variables, Asynchronous networks, Berger codes, fault detection, fault-secure networks, self-checking checker, self-checking networks, single-transition-time assignments, unate next-state functions, unidirectional faults, universal assignments
D. Pradhan and D. Pradhan, "Asynchronous State Assignments with Unateness Properties and Fault-Secure Design," in IEEE Transactions on Computers, vol. 27, no. , pp. 396-404, 1978.