Claims Analysis
Total Claims: 8
Claim 1
Independent Claim
304 words
A method of reducing the simulation time and data storage requirements for a computer simulation of a logic device having a plurality of inputs and outputs, comprising the steps of: selecting an initial operating frequency for a logic device tester, said initial operating frequency having a corresponding period; selecting a sequence of input vectors to be applied to said plurality of inputs by said logic device tester for testing said logic device, wherein each input vector is to be applied for a finite duration equal to said period corresponding to said initial operating frequency, before a next input vector in said sequence is applied; associating a plurality of control bits with each of said sequence of input vectors; locating a series of redundant input vectors among said sequence of input vectors, wherein each input vector in said series is expected to generate an identical output vector on said plurality of outputs of said logic device; forming a subset to be provided to said computer simulation, of said sequence of input vectors by eliminating from said sequence of input vectors all but a first input vector of said located series of redundant input vectors; encoding a plurality of control bits associated with said first input vector of said located series; providing said computer simulation with said formed subset of input vectors along with the plurality of control bits associated with each input vector in said subset; causing said computer simulation to generate a set of simulated output vectors in response to said provided subset of input vectors; and forming a set of test vectors, wherein each test vector comprises an input vector from said formed subset of input vectors, a simulated output vector generated by said computer simulation in response to said input vector, and a plurality of control bits associated with said input vector.
Claim 2
Independent Claim
304 words
A method of reducing the simulation time and data storage requirements for a computer simulation of a logic device having a plurality of inputs and outputs, comprising the steps of: selecting an initial operating frequency for a logic device tester, said initial operating frequency having a corresponding period; selecting a sequence of input vectors to be applied to said plurality of inputs by said logic device tester for testing said logic device, wherein each input vector is to be applied for a finite duration equal to said period corresponding to said initial operating frequency, before a next input vector in said sequence is applied; associating a plurality of control bits with each of said sequence of input vectors; locating a series of redundant input vectors among said sequence of input vectors, wherein each input vector in said series is expected to generate an identical output vector on said plurality of outputs of said logic device; forming a subset to be provided to said computer simulation, of said sequence of input vectors by eliminating from said sequence of input vectors all but a first input vector of said located series of redundant input vectors; encoding a plurality of control bits associated with said first input vector of said located series; providing said computer simulation with said formed subset of input vectors along with the plurality of control bits associated with each input vector in said subset; causing said computer simulation to generate a set of simulated output vectors in response to said provided subset of input vectors; and forming a set of test vectors, wherein each test vector comprises an input vector from said formed subset of input vectors, a simulated output vector generated by said computer simulation in response to said input vector, and a plurality of control bits associated with said input vector.
Claim 3
Dependent Claim
36 words
The method as recited in claim 1, wherein said encoding step comprises the step of encoding said plurality of control bits in such a fashion as to indicate the number of redundant input vectors being eliminated.
Claim 4
Dependent Claim
56 words
The method as recited in claim 1, wherein said encoding step comprises the step of encoding said plurality of control bits in such a fashion as to indicate a type of activity being conducted while said series of redundant input vectors are being applied to said plurality of inputs of said logic device by said tester.
Claim 5
Dependent Claim
60 words
The method as recited in claim 1, further comprising the steps of: decoding each of said plurality of control bits associated with said formed set of test vectors, to locate said first input vector of said series of redundant input vectors; and forming an expanded set of test vectors by duplicating said first input vector a predetermined number of times.
Claim 6
Dependent Claim
41 words
The method as recited in claim 4, wherein said forming step for said expanded set of test vectors comprises the step of duplicating said first input vector by the number of redundant input vectors in said series of redundant input vectors.
Claim 7
Dependent Claim
115 words
The method as recited in claim 4, wherein said expanded set of test vectors forming step comprises the step of duplicating said first input vector by a predetermined number of times, and further comprising the step of generating a test program for said tester that causes said tester to apply each of said input vectors associated with each of said expanded set of test vectors to be successively applied to said plurality of inputs of said logic device for a finite duration, wherein said finite duration is initially set to said minimum period and changed to a longer period during the time that said duplicated input vectors are being applied to said plurality of inputs.
Claim 8
Dependent Claim
58 words
The method as recited in claim 6, wherein said test program generating step comprises the step of changing said finite duration to a longer period equal to said minimum period multiplied by the number of redundant input vectors in said series of redundant input vectors and divided by the number of times said first input vector is duplicated.