DocumentCode
1137494
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
Issue
5
fYear
1978
fDate
5/1/1978 12:00:00 AM
Firstpage
396
Lastpage
404
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;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1978.1675118
Filename
1675118
Link To Document