Claims Analysis
Total Claims: 8
Claim 1
Independent Claim
172 words
A method of testing each of a series of integrated logic circuits comprising (FIG. 54) the steps of analyzing (60) each type of integrated circuit and determining (61) possible logic faults therein including logic faults caused by the physical structure and relative position of the circuit elements in the integrated logic circuit and how each such logic fault would affect outputs expected to be triggered from said integrated logic circuit by a particular pattern of inputs; generating (63) and applying to inputs of each circuit at least one test vector per possible logic fault so that said vector applied to said logic circuit will trigger at least one actual output pattern which will reveal the existence of any such logic fault; comparing the actual pattern of outputs from said integrated logic circuit with said expected outputs, and indicating, for each integrated logic circuit tested, whether said actual and expected output patterns match; wherein the fault-determining step comprises the step of determining (62) cells logically equivalent to actual parts of the integrated circuit.
Claim 2
Independent Claim
172 words
A method of testing each of a series of integrated logic circuits comprising (FIG. 54) the steps of analyzing (60) each type of integrated circuit and determining (61) possible logic faults therein including logic faults caused by the physical structure and relative position of the circuit elements in the integrated logic circuit and how each such logic fault would affect outputs expected to be triggered from said integrated logic circuit by a particular pattern of inputs; generating (63) and applying to inputs of each circuit at least one test vector per possible logic fault so that said vector applied to said logic circuit will trigger at least one actual output pattern which will reveal the existence of any such logic fault; comparing the actual pattern of outputs from said integrated logic circuit with said expected outputs, and indicating, for each integrated logic circuit tested, whether said actual and expected output patterns match; wherein the fault-determining step comprises the step of determining (62) cells logically equivalent to actual parts of the integrated circuit.
Claim 3
Dependent Claim
17 words
A method according to claim 1 wherein a test vector is matched with each possible logic fault.
Claim 4
Dependent Claim
16 words
A method according to the claim 1 wherein the integrated circuit tested is a combinational circuit.
Claim 5
Dependent Claim
17 words
A method according to the claim 1 wherein the integrated circuit tested is a programmable logic array.
Claim 6
Dependent Claim
30 words
A method according to claim 1, comprising a step of determining an entire equivalent circuit diagram of the integrated circuit, said equivalent circuit diagram comprising a set of interconnected cells.
Claim 7
Dependent Claim
27 words
A method according to claim 1 wherein the logically equivalent cells are hierarchically organized, and each cell consists of a set of interconnected cells of lesser complexity.
Claim 8
Dependent Claim
62 words
A method according to claim 5 wherein the step of generating and applying a test vector to an integrated circuit, triggers a response which is affected by the presence of any logic fault in said circuit, and each test vector is set up by a conventional test vector generator (74), using the equivalent diagram of said circuit determined in said diagram-determining step.