Title :
Asynchronous State Assignments with Unateness Properties and Fault-Secure Design
Author :
Pradhan, D.K. ; Pradhan, Dhiraj K.
Author_Institution :
Department of Electrical and Computer Engineering, Wayne State University
fDate :
5/1/1978 12:00:00 AM
Abstract :
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
Keywords :
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; upper bound on the number of state variables; Circuit faults; Computer science; DH-HEMTs; Education; Electrical engineering; Fault detection; Information science; Laboratories; Machinery; Switching circuits; 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; upper bound on the number of state variables;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1978.1675118
