Patent
1994-06-10
1996-08-20
Nguyen, Hoa T.
39518313, 39518315, G01R 3128
Patent
active
055487157
ABSTRACT:
This invention teaches a system (10) and method for analyzing a fault within a model of a logic circuit. The method includes the computer executed steps of (a) building a fault model of the circuit model; (b) for each modelled fault that is determined to be untestable, (b) building a discrete node set comprised of nodes of the circuit model that are relevant to the untestable fault; and (c) outputting the discrete node set for analysis. The step of building a fault model includes a step of classifying the untestable faults into at least three categories including unobservable faults, excitation conflict faults, and reverse and forward implication (RFI) conflict faults. Faults from each of these three classifications are processed differently so as to build a relevant discrete node set for subsequent analysis.
REFERENCES:
patent: 3775598 (1973-11-01), Chao et al.
patent: 4204633 (1980-05-01), Goel
patent: 4551815 (1985-11-01), Moore et al.
patent: 4967347 (1990-10-01), Smith et al.
patent: 5184308 (1993-02-01), Nagi et al.
patent: 5224102 (1993-06-01), Plus et al.
patent: 5241645 (1993-08-01), Cimral et al.
patent: 5251159 (1993-10-01), Rowson
patent: 5291495 (1994-03-01), Udell, Jr.
Maloney William B.
Mesnard Robert M.
Swenton Joseph M.
International Business Machines - Corporation
Nguyen Hoa T.
LandOfFree
Analysis of untestable faults using discrete node sets does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Analysis of untestable faults using discrete node sets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Analysis of untestable faults using discrete node sets will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2337201