Fault secure multiple-valued logic networks

Fault secure multiple-valued logic networks have their outputs encoded in an error-detecting code so that assumed failures either result in no output error or in a detectable (noncode) output. In this paper we discuss a way of constructing fault secure combinational networks as well as a generalization that we define to be “strongly fault secure.” The only constraint on the networks themselves is that they be made of positive unate gates and use unordered output encodings. > The fault assumptions are quite general; they include stuck-at faults as well as many other failures which seem reasonable in a multiple-valued technology. Protection is provided against both permanent and intermittent faults. Various unordered codes and their properties are discussed as is the construction of check circuits that are themselves fault secure or strongly fault secure.

[1]  Jay M. Berger.  A Note on Error Detection Codes for Asymmetric Channels , 1961, Inf. Control..

[2]  William C. Carter,et al.  Design of dynamically checked computers , 1968, IFIP Congress.

[3]  James E. Smith,et al.  Strongly Fault Secure Logic Networks , 1978, IEEE Transactions on Computers.

[4]  Gernot Metze,et al.  Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes , 1973, IEEE Transactions on Computers.

[5]  S. M. Reddy.  Note on Self-Checking Checkers , 1974, IEEE Transactions on Computers.

[6]  James Edward Smith.  The design of totally self-checking combinational circuits. , 1976 .

[7]  M. J. Ashjaee,et al.  Totally-self-checking check circuits for separable codes , 1976 .

[8]  J. C. Cluley,et al.  Probabilistic Reliability: an Engineering Approach , 1968 .

[9]  D. A. Anderson,et al.  Design of self-checking digital networks using coding techniques , 1971 .

[10]  Emil L. Post.  Introduction to a General Theory of Elementary Propositions , 1921 .

[11]  Paul C. Rosenbloom,et al.  Post algebras I. Postulates and general theory , 1942 .

[12]  K. Grace,et al.  Probabilistic Reliability: An Engineering Approach , 1968 .

[13]  Douglas B. Armstrong,et al.  On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic Nets , 1966, IEEE Trans. Electron. Comput..

[14]  D. C. King.  Diagnosis and reliable design of digital systems , 1977 .

[15]  Jean Andre Dussault.  On the Design of Self-Checking Systems under Various Fault Models. , 1977 .