Accession Number : AD0731700

Title :   Fault Equivalence in Sequential Machines.

Descriptive Note : Technical rept.,

Corporate Author : STANFORD UNIV CALIF STANFORD ELECTRONICS LABS

Personal Author(s) : Boute,Raymond ; McCluskey,Edward J.

Report Date : JUN 1971

Pagination or Media Count : 55

Abstract : The paper is concerned with the relationships among faults as they affect sequential machine behavior. Of particular interest are equivalence and dominance relations. It is shown that for output faults (i.e., faults that do not affect state behavior), fault equivalence is related to the existence of an automorphism of the state table. For the same class of faults, the relation between dominance and equivalence is considered and some properties are pointed out. Another class of possible faults is also considered, namely, memory faults (i.e., faults in the logic feedback lines). These clearly affect the state behavior of the machine, and their influence on machine properties, such as being strongly connected, is discussed. It is proven that there exist classes of machines for which this property of being strongly connected is destroyed by every possible single fault. Further results on both memory and output faults are also presented. (Author)

Descriptors :   (*DIGITAL COMPUTERS, RELIABILITY(ELECTRONICS)), (*LOGIC CIRCUITS, FAILURE(ELECTRONICS)), COMPUTER LOGIC, DATA STORAGE SYSTEMS, SWITCHING CIRCUITS, THEOREMS

Subject Categories : Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE