US5546408A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Hierarchical pattern faults for describing logic circuit failure mechanisms
Assignee: Cadence Design Systems Inc
•
Filing: 1994-06-09
•
Granted: 1996-08-13
•
Expires: 2014-06-09
Abstract
Abstract A method and system (12) for defining and using a pattern fault file (15) having a static pattern fault and/or a dynamic pattern fault. A static pattern fault is represented as a list of required excitation nodes and their values, as well as a fault propagation point. The fault propagation point is defined to be a net or node in a circuit to be tested where the defect's effect first appears once it has been excited. A dynamic pattern fault adds to this structure an initial value list of nodes and their required initial values. The dynamic-pattern fault is employed to advantage when a two pattern sequence is required to excite a specific defect. Logical combinations (AND/OR) of specified pin excitations and fault propagation points may be employed. The excitation value list, the initial value list and the propagation point can include any of the following: input pins of an entity; output pins of the entity; nets inside of the entity; pins on usage blocks inside the entity; nets inside a usage of a lower entity; and pins inside a usage of a lower level entity. The method and system also provide a capability to define pattern faults for each entity in a hierarchial circuit definition, and thus provides a mechanism to define pattern faults for specific cells in a cell technical library (13).
Inventors
- 👤 Brion L. Keller
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-08 17:28
CPC Classifications
G; G06; G06F; G06F11/00; G06F11/22; G06F11/2257; G01; G01R; G01R31/00; G01R31/28; G01R31/317; G01R31/3181; G01R31/3183; G01R31/318342
Claims Analysis
Total Claims: 23
Claim 1
Independent Claim
129 words
A method for specifying a test sequence for a circuit, the circuit being modelled to have a plurality of external contact nodes, a plurality of internal nets, and at least one sub-circuit having input/output nodes connected to the internal nets, comprising the steps of: modelling possible first faults associated with the external contact nodes, the plurality of internal nets, and the input/output nodes of the at least one sub-circuit; modelling only specified ones of possible second faults associated with at least one of one or more of the internal nets and one or more nets that are internal to the at least one sub-circuit; and generating a specification of a sequence of test pin excitations that are predetermined to detect the presence of the possible first and second faults.
Claim 2
Independent Claim
129 words
A method for specifying a test sequence for a circuit, the circuit being modelled to have a plurality of external contact nodes, a plurality of internal nets, and at least one sub-circuit having input/output nodes connected to the internal nets, comprising the steps of: modelling possible first faults associated with the external contact nodes, the plurality of internal nets, and the input/output nodes of the at least one sub-circuit; modelling only specified ones of possible second faults associated with at least one of one or more of the internal nets and one or more nets that are internal to the at least one sub-circuit; and generating a specification of a sequence of test pin excitations that are predetermined to detect the presence of the possible first and second faults.
Claim 3
Dependent Claim
36 words
A method as set forth in claim 1 wherein the step of modelling specified ones of possible second faults includes a step of specifying a logical association between individual ones of the modeled possible second faults.
Claim 4
Dependent Claim
20 words
A method as set forth in claim 2 wherein the logical association includes an AND function and an OR function.
Claim 5
Dependent Claim
47 words
A method as set forth in claim 1 wherein the step of modelling specified ones of possible second faults includes a step of providing a pattern fault file that specifies at least one of a wired AND fault, a static pattern fault, and a dynamic pattern fault.
Claim 6
Dependent Claim
24 words
A method as set forth in claim 4 wherein for a specified wired AND fault the step of providing provides a list of nets.
Claim 7
Dependent Claim
46 words
A method as set forth in claim 4 wherein for a static pattern fault the step of providing provides a list of required excitation values for the fault to be activated and a location within the circuit where the effect of the fault will be detected.
Claim 8
Dependent Claim
46 words
A method as set forth in claim 6 wherein the step of providing the location also provides an indication of an expected logic value at the location if the fault is not present and an expected logic value at the location if the fault is present.
Claim 9
Dependent Claim
57 words
A method as set forth in claim 4 wherein for a dynamic pattern fault the step of providing provides a list of required initial excitation values, a list of required transitions from the initial excitation values for the fault to be activated, and a location within the circuit where the effect of the fault will be detected.
Claim 10
Dependent Claim
44 words
A method as set forth in claim 4 wherein the circuit has the pattern fault file associated therewith, and wherein for each instance of the circuit within a larger circuit the possible second faults that are specified by the pattern fault file are modelled.
Claim 11
Dependent Claim
87 words
A method as set forth in claim 1 wherein the step of modelling specified ones of possible second faults includes a step of specifying a first sequence of pin excitations to excite a fault, a step of specifying a second sequence of pin excitations to excite the fault, and a step of establishing a logical OR function between the first and second sequences of pin excitations such that the fault will be considered to be detected if either of the sequences of pin excitations excites the fault.
Claim 12
Dependent Claim
88 words
A method as set forth in claim 1 wherein the step of modelling specified ones of possible second faults includes a step of specifying a first sequence of pin excitations to excite a fault, a step of specifying a second sequence of pin excitations to excite the fault, and a step of establishing a logical AND function between the first and second sequences of pin excitations such that the fault will be considered to be detected only if both of the sequences of pin excitations excites the fault.
Claim 13
Dependent Claim
162 words
Apparatus for specifying a test sequence for a circuit, comprising: means, responsive to a netlist, for modelling a circuit to be tested to have a plurality of external contact nodes, a plurality of internal nets, and at least one sub-circuit having input/output nodes connected to the internal nets; first means, responsive to the modelled circuit, for modelling possible first faults associated with the external contact nodes, the plurality of internal nets, and the input/output nodes of the at least one sub-circuit; second means, responsive to a pattern fault file, for modelling specified ones of possible second faults associated with at least one of one or more of the internal nets and one or more nets that are internal to the at least one sub-circuit; and means, responsive to the operation of the first and second modelling means, for generating a specification of a sequence of test pin excitations that are predetermined to detect the presence of the possible first and second faults.
Claim 14
Dependent Claim
162 words
Apparatus for specifying a test sequence for a circuit, comprising: means, responsive to a netlist, for modelling a circuit to be tested to have a plurality of external contact nodes, a plurality of internal nets, and at least one sub-circuit having input/output nodes connected to the internal nets; first means, responsive to the modelled circuit, for modelling possible first faults associated with the external contact nodes, the plurality of internal nets, and the input/output nodes of the at least one sub-circuit; second means, responsive to a pattern fault file, for modelling specified ones of possible second faults associated with at least one of one or more of the internal nets and one or more nets that are internal to the at least one sub-circuit; and means, responsive to the operation of the first and second modelling means, for generating a specification of a sequence of test pin excitations that are predetermined to detect the presence of the possible first and second faults.
Claim 15
Dependent Claim
33 words
Apparatus as set forth in claim 12 wherein said second modelling means is responsive to the fault pattern file for specifying a logical association between individual ones of the modeled possible second faults.
Claim 16
Dependent Claim
19 words
Apparatus as set forth in claim 13 wherein the logical association includes an AND function and an OR function.
Claim 17
Dependent Claim
38 words
Apparatus as set forth in claim 12 wherein said second modelling means is responsive to a pattern fault file that specifies at least one of a wired AND fault, a static pattern fault, and a dynamic pattern fault.
Claim 18
Dependent Claim
23 words
Apparatus as set forth in claim 15 wherein for a specified wired AND fault the pattern fault file provides a list of nets.
Claim 19
Dependent Claim
74 words
Apparatus as set forth in claim 15 wherein for a static pattern fault the pattern fault file provides a list of required excitation values for the fault to be activated, a location within the circuit where the effect of the fault will be detected, and an indication of an expected logic value at the location if the fault is not present and an expected logic value at the location if the fault is present.
Claim 20
Dependent Claim
85 words
Apparatus as set forth in claim 15 wherein for a dynamic pattern fault the pattern fault file provides a list of required initial excitation values, a list of required transitions from the initial excitation values for the fault to be activated, a location within the circuit where the effect of the fault will be detected, and an indication of an expected logic value at the location if the fault is not present and an expected logic value at the location if the fault is present.
Claim 21
Independent Claim
199 words
A method for establishing a test for a circuit, the circuit being modelled to have a plurality of external contact nodes, a plurality of internal nets, and at least one sub-circuit having input/output nodes connected to the internal nets, comprising the steps of: modelling at least one of possible first faults associated with the external contact nodes, the plurality of internal nets, and the input/output nodes of the at least one sub-circuit; modelling at least one of possible second faults associated with at least one of the internal nets and one or more nets that are internal to the at least one sub-circuit; and specifying first excitations to excite a modelled fault; specifying second excitations to excite the modelled fault; and establishing at least one of (a) a logical OR function between the first and second sequences of excitations such that the modelled fault will be considered to be detected if either of the sequences of excitations excites the modelled fault, and (b) a logical AND function between the first and second sequences of excitations such that the modelled fault will be considered to be detected only if both of the sequences of pin excitations excites the modelled fault.
Claim 22
Independent Claim
199 words
A method for establishing a test for a circuit, the circuit being modelled to have a plurality of external contact nodes, a plurality of internal nets, and at least one sub-circuit having input/output nodes connected to the internal nets, comprising the steps of: modelling at least one of possible first faults associated with the external contact nodes, the plurality of internal nets, and the input/output nodes of the at least one sub-circuit; modelling at least one of possible second faults associated with at least one of the internal nets and one or more nets that are internal to the at least one sub-circuit; and specifying first excitations to excite a modelled fault; specifying second excitations to excite the modelled fault; and establishing at least one of (a) a logical OR function between the first and second sequences of excitations such that the modelled fault will be considered to be detected if either of the sequences of excitations excites the modelled fault, and (b) a logical AND function between the first and second sequences of excitations such that the modelled fault will be considered to be detected only if both of the sequences of pin excitations excites the modelled fault.
Claim 23
Dependent Claim
47 words
A method as set forth in claim 19 wherein the step of modelling at least one possible second fault includes a step of providing a pattern fault file that specifies at least one of a wired AND fault, a static pattern fault, and a dynamic pattern fault.
References Cited (Backward Citations)
US4099668A
Cited
US4059749A
Cited
US4606024A
Cited
US4785453A
Cited
US4853928A
Cited
US4802231A
Cited
US4937826A
Cited
US5099436A
Cited
US4958347A
Cited
US5018144A
Cited
US5189674A
Cited
US5220662A
Cited
US5410548A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 1999-08-13 | 2000-02-12 | 2000-08-13 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2003-08-13 | 2004-02-12 | 2004-08-13 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2007-08-13 | 2008-02-12 | 2008-08-13 | $7700.00 | Window Closed / Lapsed |