DocumentCode
964026
Title
A Note on Strongly Fault-Secure Sequential Circuits
Author
Nanya, Takashi ; Kawamura, Toshiaki
Author_Institution
Department of Computer Science, Tokyo Institute of Technology, Tokyo, 152 Japan.
Issue
9
fYear
1987
Firstpage
1121
Lastpage
1123
Abstract
It is proved that any sequential circuit with its next-state function d and output function w is strongly fault secure for unidirectional faults in d and w if i) the outputs of w are encoded in an unordered code, and ii) d and w are implemented with inverter-free circuits.
Keywords
Built-in self-test; Circuit faults; Combinational circuits; Design methodology; Electrical fault detection; Encoding; Fault detection; Feedback circuits; Logic circuits; Sequential circuits; Concurrent fault detection; fail-safe; sequential circuits; strongly fault secure; totally self-checking;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/TC.1987.5009545
Filename
5009545
Link To Document