US5910958A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Automatic generation of test vectors for sequential circuits
Assignee: Philips Semiconductors Inc
•
Filing: 1995-10-06
•
Granted: 1999-06-08
•
Expires: 2015-10-06
Abstract
Abstract The disclosure concerns the automatic generation of test vectors for a sequential circuit which is expressible as a finite state machine having a combinatorial part and sequential elements. A functional generation of test vectors is performed using a high level functional specification of the finite state machine. Fault simulation may be used to provide a list of possible faults not covered by the vectors generated functionally. A structural generation performed on the combinatorial part in respect of the listed faults provides test vectors for all the remaining faults except those which are due to redundancy in the circuit. The high level specification can be modified for the purpose of test generation without modifying its functionality to add transitions corresponding to the structurally generated vectors and the functional generation may be performed on the modified specification to provided a final set of test vectors. The disclosed method enables the automatic generation of text vectors without any design modification and providing a high fault coverage with fewer design constraints.
Inventors
- 👤 Christian Y. Jay
- 👤 Franck J. Poirot
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-08 12:54
CPC Classifications
G; G01; G01R; G01R31/00; G01R31/28; G01R31/317; G01R31/3181; G01R31/3183; G01R31/318392
Claims Analysis
Total Claims: 11
Claim 1
Independent Claim
146 words
A method of automatically generating test vectors for testing a sequential circuit, said sequential circuit implementing a finite state machine which comprises a combinatorial part and sequential elements, said method comprising the steps of: providing a functional specification of the sequential circuit, said functional specification defining said finite state machine; generating automatically a first set of test vectors from said functional specification, said first set of vectors enabling testing of less than all possible faults in said circuit; synthesizing automatically the functional specification of the sequential circuit; and applying automatically to said combinatorial part a structural algorithm to generate a second set of test vectors, the test vectors in said second set of test vectors enabling testing of at least a portion of the faults which can occur in said circuit and which are not testable by test vectors in said first set of test vectors.
Claim 2
Independent Claim
146 words
A method of automatically generating test vectors for testing a sequential circuit, said sequential circuit implementing a finite state machine which comprises a combinatorial part and sequential elements, said method comprising the steps of: providing a functional specification of the sequential circuit, said functional specification defining said finite state machine; generating automatically a first set of test vectors from said functional specification, said first set of vectors enabling testing of less than all possible faults in said circuit; synthesizing automatically the functional specification of the sequential circuit; and applying automatically to said combinatorial part a structural algorithm to generate a second set of test vectors, the test vectors in said second set of test vectors enabling testing of at least a portion of the faults which can occur in said circuit and which are not testable by test vectors in said first set of test vectors.
Claim 3
Independent Claim
164 words
A method of automatically generating test vectors for testing a sequential circuit, said sequential circuit implementing a finite state machine comprising a combinatorial part and sequential elements, said method comprising the steps of: providing a functional specification of the sequential circuit, said functional specification defining said finite state machine; generating automatically a first set of test vectors from said functional specification, said test vectors in said first set of test vectors enabling testing of less than all possible faults in said sequential circuit; synthesizing automatically from said functional specification of said finite state machine; determining automatically a set of possible faults which can be exhibited in the circuit and which are not testable by any test vector in said first set of test vectors; and applying automatically to said combinatorial part a structural algorithm to generate a second set of test vectors, the test vectors in said second set of test vectors enabling testing of at least some of said set of possible faults.
Claim 4
Independent Claim
164 words
A method of automatically generating test vectors for testing a sequential circuit, said sequential circuit implementing a finite state machine comprising a combinatorial part and sequential elements, said method comprising the steps of: providing a functional specification of the sequential circuit, said functional specification defining said finite state machine; generating automatically a first set of test vectors from said functional specification, said test vectors in said first set of test vectors enabling testing of less than all possible faults in said sequential circuit; synthesizing automatically from said functional specification of said finite state machine; determining automatically a set of possible faults which can be exhibited in the circuit and which are not testable by any test vector in said first set of test vectors; and applying automatically to said combinatorial part a structural algorithm to generate a second set of test vectors, the test vectors in said second set of test vectors enabling testing of at least some of said set of possible faults.
Claim 5
Dependent Claim
97 words
A method according to claim 2 further comprising: establishing automatically for each test vector in said second set of test vectors a respective transitional state for said finite state machine; modifying automatically said functional specification by adding each said respective transitional state to said functional specification to produce a modified specification which includes each said respective transitional state; and generating automatically from said modified specification a third set of test vectors functionally equivalent to the first and second sets of test vectors whereby to minimize the total number of test vectors required for testing said sequential circuit.
Claim 6
Dependent Claim
52 words
A method according to claim 2 wherein for each of said possible faults which can be exhibited in the circuit, said structural algorithm generates a test vector of said second set of test vectors by detecting whether the respective possible fault condition can be propagated to an output of the combinatorial part.
Claim 7
Dependent Claim
59 words
A method according to claim 4 wherein the finite state machine has a multiplicity of states not equal to 2** SV! wherein SSV! is the cardinality of the set of state variables for the machine and wherein the input space for the algorithm is constrained to exclude input signal values which cannot validly be applied to the combinatorial part.
Claim 8
Dependent Claim
32 words
A method according to claim 2 and further comprising: fabricating an integrated circuit including said sequential circuit; and testing the fabricated circuit with test vectors obtained from said generating and applying steps.
Claim 9
Dependent Claim
90 words
A method according to claim 6 further comprising: establishing automatically for each test vector in said second set of test vectors a respective transitional state for said finite state machine; modifying automatically said functional specification by adding each said respective transitional state to said functional specification to produce a modified specification; and generating automatically from said modified specification a third set of test vectors functionally equivalent to the first and second sets of test vectors whereby to minimize the total number of test vectors required for testing said sequential circuit.
Claim 10
Dependent Claim
62 words
A method according to claim 6 wherein the step of performing a structural generation comprises applying an algorithm which for each of said possible faults which can be exhibited in the circuit, provides a test vector of said second set of test vectors by detecting whether if the respective possible fault condition can be propagated to an output of the combinatorial part.
Claim 11
Dependent Claim
59 words
A method according to claim 8 wherein the finite state machine has a multiplicity of states not equal to 2** SV! wherein SV! is the cardinality of the set of state variables for the machine and wherein the input space for the algorithm is constrained to exclude input signal values which cannot validly be applied to the combinatorial part.
References Cited (Backward Citations)
US4627057A
Cited
US4625310A
Cited
US5257268A
Cited
US4969148A
Cited
US4991176A
Cited
US5163016A
Cited
US5291495A
Cited
US5297066A
Cited
US5588008A
Cited
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2002-06-07 | 2002-12-07 | 2003-06-08 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2006-06-07 | 2006-12-07 | 2007-06-08 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2010-06-07 | 2010-12-07 | 2011-06-08 | $7700.00 | Window Closed / Lapsed |