Abstract A device and a method are used to test integrated circuits, especially P.L.A.s. The possible faults of a circuit to be tested are determined including logic faults caused by the physical structure and relative position of the circuit elements in the integrated logic circuit. On the basis of the faults, a set of test vectors is determined, each fault modifying at least one of the test vectors applied to the circuit to be tested. It is possible to use test vectors which are modified by the greatest number of possible faults. By determining the test vectors on the basis of the faults which are to be detected, the tests can use a small number of vectors while, at the same time, there is certainty that it will be possible to detect all the faults in a given circuit. Advantageously, a hierarchically-organized set of cells is determined with certain cells consisting of small cells. The method and device can be used to test P.L.A.s by using a small number of test vectors, and are applicable to testing integrated circuits and P.L.A.s.
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.