Method and apparatus for isolating faults in a digital logic circuit
First Claim
1. A method of generating a list of circuit elements for use in isolating faults in a logic circuit, the logic circuit having a plurality of circuit elements and a plurality of test points at the outputs of predetermined ones of the circuit elements, the circuit elements interconnected in successive stages to form a plurality of signal paths extending upstream from the test points, the logic circuit performing operations in accordance with a plurality of successive clock cycles, the method comprising the steps of:
- (a) simulating the execution of a diagnostic procedure on the logic circuit to perform a predetermined operation of the logic circuit using a logic model including simulated circuit elements and simulated test points corresponding to the logic circuit elements and logic circuit test points;
(b) storing the logic states of the simulated test points at a plurality of clock cycles during the simulated execution of the diagnostic procedure;
(c) specifying subsets of the stored logic states as seed signals at which a malfunction of the predetermined operation can be detected;
(e) examining the simulated circuit elements generating each seed signal to identify signal paths being supplied as inputs to the examined simulated circuit elements;
(f) evaluating the simulated circuit elements generating the seed signals based on predetermined criteria to eliminate signal paths and simulated circuit elements thereof which are incapable of causing the malfunction indicated by the seed signals;
(g) recursively evaluating the simulated circuit elements of successive upstream stages of non-eliminated signal paths and simulated circuit elements thereof according to the predetermined criteria; and
(h) storing the non-eliminated circuit elements as candidates capable of causing the malfunctions.
1 Assignment
0 Petitions
Accused Products
Abstract
The method and apparatus for isolating faults in circuitry of a digital computer includes the use of a fault isolation generation program which provides a data base containing a list of possible faulty components for each cycle of the computer'"'"'s clock for execution by a service processor of the actual computer during testing. The fault isolation generation program is generated by using a simulator loaded with a mathematical model of the actual computer in connection with the execution of the diagnostic program executed on the actual computer during testing. The fault isolation program generates a list of circuit elements capable of generating fault indications, excluding circuit elements not capable of generating such fault indications.
-
Citations
7 Claims
-
1. A method of generating a list of circuit elements for use in isolating faults in a logic circuit, the logic circuit having a plurality of circuit elements and a plurality of test points at the outputs of predetermined ones of the circuit elements, the circuit elements interconnected in successive stages to form a plurality of signal paths extending upstream from the test points, the logic circuit performing operations in accordance with a plurality of successive clock cycles, the method comprising the steps of:
-
(a) simulating the execution of a diagnostic procedure on the logic circuit to perform a predetermined operation of the logic circuit using a logic model including simulated circuit elements and simulated test points corresponding to the logic circuit elements and logic circuit test points; (b) storing the logic states of the simulated test points at a plurality of clock cycles during the simulated execution of the diagnostic procedure; (c) specifying subsets of the stored logic states as seed signals at which a malfunction of the predetermined operation can be detected; (e) examining the simulated circuit elements generating each seed signal to identify signal paths being supplied as inputs to the examined simulated circuit elements; (f) evaluating the simulated circuit elements generating the seed signals based on predetermined criteria to eliminate signal paths and simulated circuit elements thereof which are incapable of causing the malfunction indicated by the seed signals; (g) recursively evaluating the simulated circuit elements of successive upstream stages of non-eliminated signal paths and simulated circuit elements thereof according to the predetermined criteria; and (h) storing the non-eliminated circuit elements as candidates capable of causing the malfunctions. - View Dependent Claims (2, 3, 4, 5)
-
-
6. A method for isolating faults in a logic circuit having a plurality of circuit elements interconnected in successive stages to form a plurality of signal paths and a plurality of test points at the outputs of predetermined ones of the circuit elements, and executing instructions in accordance with the successive clock cycles, the method comprising the steps of:
-
(a) executing a diagnostic procedure on the logic circuit to detect faulty operation of the logic circuit; (b) storing a list of circuit elements capable of generating a fault indication at predetermined ones of the test points activated by the diagnostic procedure at predetermined ones of the clock cycles and excluding circuit elements not capable of causing such fault indications; (c) executing a fault isolation procedure to examine the logic states of the predetermined test points; (d) comparing the examined logic states to the logic states of the predetermined test points during normal operation of the logic circuit; and (e) outputting a list of circuit elements contained in the fault isolation procedure which correspond to the logic states identified by the comparison step. - View Dependent Claims (7)
-
Specification