Algebraic Properties of Faults in Logic Networks

Front Cover
Department of Electrical Engineering, Stanford University., 1970 - Logic, Symbolic and mathematical - 140 pages
0 Reviews
The work describes a general study of the effects of so-called 'stuck-at' faults on the structural and functional characteristics of combinational logic networks. It is shown that some of the possible faults which can occur in a given network bear relations to certain other possible faults in that network. Knowledge of these relations greatly facilitates consideration of networks in the presence of failures. The two types of relations considered are those of covering and equivalence. The covering relations introduced reflect the mechanisms whereby the presence of certain faults in a network renders the occurrence of other failures to some extent unobservable. The equivalence relations which are presented reflect the varying degrees which distinct faults in a network can be indistinguishable. A modelling technique is presented whereby the structure of a given network is represented by a labelled, directed graph. The effects of faults on this structure are modelled by appropriate transformations applied to this graph. These models and the associated algebraic techniques which are developed provide a particularly convenient means of characterizing the relations between, and other aspects of, the faults which can occur in a network. Key theorems establish necessary and sufficient conditions for the existence of the various covering and equivalence relations which permit one to determine these relations directly from a systematic inspection the network under study. (Author).

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

INTRODUCTION
1
FAULTS AND THEIR EFFECTS
22
k TWO MODELS OF THE EFFECTS OF STUCKAT FAULTS
30

2 other sections not shown

Common terms and phrases

Bibliographic information