US5638381A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Apparatus and method for deriving correspondence between storage elements of a first circuit model and storage elements of a second circuit model
Assignee: NXP USA Inc
•
Filing: 1995-07-21
•
Granted: 1997-06-10
•
Expires: 2015-07-21
Abstract
Abstract A method and circuit for determining correspondences between storage elements of a first circuit model and storage elements of a second circuit model. A first circuit model is received (102) and a second circuit model is received (104). Next, input correspondences (106) and output correspondences (108) between the circuit models are received. Each of the circuit models include a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions. Signatures of each uncorresponded storage elements in the first circuit model (110) and the second circuit model (112) are determined. The signatures of the storage elements are compared (114). When a signature of a storage element of the first circuit model compares favorably to a signature of a storage element of the second circuit model, a correspondence is determined between the respective storage elements (116). Compatible cluster analysis may also be used in the method.
Inventors
- 👤 Hyunwoo Cho
- 👤 Carl Pixley
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-07 18:17
CPC Classifications
G; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/33
Claims Analysis
Total Claims: 30
Claim 1
Independent Claim
243 words
A method for deriving a correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the method used in circuit verification and modeling and comprising the steps of: (a) receiving a first circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) receiving a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (c) receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (d) receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (e) establishing a signature for at least some of the plurality of storage elements of the first circuit model; (f) establishing a signature for at least some of the plurality of storage elements of the second circuit model; and (g) when a signature of one of the plurality of storage elements of the first circuit model compares favorably to a signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 2
Independent Claim
243 words
A method for deriving a correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the method used in circuit verification and modeling and comprising the steps of: (a) receiving a first circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) receiving a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (c) receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (d) receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (e) establishing a signature for at least some of the plurality of storage elements of the first circuit model; (f) establishing a signature for at least some of the plurality of storage elements of the second circuit model; and (g) when a signature of one of the plurality of storage elements of the first circuit model compares favorably to a signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 3
Dependent Claim
74 words
The method of claim 1 wherein, in step (g), the signature of one of the plurality of storage elements of the first circuit model compares favorably to the signature of one of the plurality of storage elements of the second circuit model when only one of the signatures of the plurality of storage elements of the first circuit model equals only one of the signatures of the storage elements of the second circuit model.
Claim 4
Dependent Claim
151 words
The method of claim 1 wherein step (g) includes the steps of: establishing a hash table, wherein the signatures of the plurality of storage elements of the first circuit model and the signatures of the plurality of storage elements of the second circuit model serve as hash table keys, wherein the hash table has an entry for each of the signatures of the first circuit model and for each of the signatures of the second circuit model; and when exactly two hash table entries reside under a hash table key and one of the exactly two hash table entries corresponds to the first circuit model and the other of the exactly one hash table entry corresponds to the second circuit model, determining that the storage element of the first model corresponding to the hash table key corresponds to the storage element of the second model corresponding to the hash table key.
Claim 5
Dependent Claim
34 words
The method of claim 1 further comprising the step of: (h) receiving at least one correspondence between a storage element of the first circuit model and a storage element of the second circuit model.
Claim 6
Dependent Claim
135 words
The method of claim 1 wherein: in step (e), establishing a signature for the at least some of the storage elements of the first circuit model includes, for a storage element of the first circuit model, a step of establishing a support signature based on a plurality of storage elements and a plurality of inputs providing input to a logic function driving the storage element of the first circuit model; and in step (f), establishing a signature for the at least some of the storage elements of the second circuit model includes, for a storage element of the second circuit model, a step of establishing a support signature based on a plurality of storage elements and a plurality of inputs providing input to a logic function driving the storage element of the second circuit model.
Claim 7
Dependent Claim
137 words
The method of claim 1 wherein: in step (e), establishing a signature for the at least some of the storage elements of the first circuit model includes, for a storage element of the first circuit model, a step of establishing an inverse support signature based on a plurality of storage elements and a plurality of outputs receiving input from logic functions driven by the storage element of the first circuit model; and in step (f), establishing a signature for the at least some of the storage elements of the second circuit model includes, for a storage element of the second circuit model, a step of establishing an inverse support signature based on a plurality of storage elements and a plurality of outputs receiving input from logic functions driven by the storage element of the second circuit model.
Claim 8
Dependent Claim
258 words
The method of claim 1 wherein: in step (e), establishing a signature for at least some of the plurality of storage elements of the first circuit model comprises the steps of: (i) setting at least some of the storage elements of the plurality of storage elements of the first circuit model to predetermined storage element values; (ii) setting the plurality of inputs of the first circuit model to predetermined input values; and (iii) operating the first circuit model to generate a simulation signature for the storage elements of the first circuit, wherein each entry of a simulation signature of a storage element of the first circuit model is based on a respective value stored in a respective storage element at a respective point in the operation of the first circuit model; and in step (f), establishing a signature for at least some of the plurality of storage elements of the second circuit model comprises the steps of: (i) setting at least some of the storage elements of the plurality of storage elements of the second circuit model to the predetermined storage element values; (ii) setting the plurality of inputs of the second circuit model to the predetermined input values; (iii) operating the second circuit model to generate a simulation signature for the storage elements of the second circuit, wherein each entry of a simulation signature of a storage element of the second circuit model is based on a respective value stored in the respective storage element at a respective point in the operation of the second circuit model.
Claim 9
Dependent Claim
25 words
The method of claim 7 wherein, for each storage element without a corresponding storage element, setting a value of the storage element to logic one.
Claim 10
Dependent Claim
25 words
The method of claim 7 wherein, for each storage element without a corresponding storage element, setting a value of the storage element to logic zero.
Claim 11
Dependent Claim
21 words
The method of claim 7 wherein, each of a corresponding pair of storage elements is set to an identical logical value.
Claim 12
Independent Claim
355 words
A method for deriving the correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the method used in circuit verification and modeling and comprising the steps: (a) receiving a first circuit model and a second circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions, and wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (c) receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (d) establishing a first support signature for at least some of the plurality of storage elements of the first circuit model and establishing a second support signature for at least some of the plurality of storage elements of the second circuit model; (e) when the first support signature of one of the plurality of storage elements of the first circuit model compares favorably to the second support signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with a respective storage element of the second circuit model; (f) establishing a first inverse support signature for at least some of the plurality of storage elements of the first circuit model and establishing a second inverse support signature for at least some of the plurality of storage elements of the second circuit model; and (g) when the inverse support signature of one of the plurality of storage elements of the first circuit model compares favorably to the inverse support signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 13
Independent Claim
355 words
A method for deriving the correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the method used in circuit verification and modeling and comprising the steps: (a) receiving a first circuit model and a second circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions, and wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (c) receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (d) establishing a first support signature for at least some of the plurality of storage elements of the first circuit model and establishing a second support signature for at least some of the plurality of storage elements of the second circuit model; (e) when the first support signature of one of the plurality of storage elements of the first circuit model compares favorably to the second support signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with a respective storage element of the second circuit model; (f) establishing a first inverse support signature for at least some of the plurality of storage elements of the first circuit model and establishing a second inverse support signature for at least some of the plurality of storage elements of the second circuit model; and (g) when the inverse support signature of one of the plurality of storage elements of the first circuit model compares favorably to the inverse support signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 14
Dependent Claim
328 words
The method of claim 11 further comprising the steps of: (h) establishing a simulation signature for at least some of the plurality of storage elements of the first circuit, wherein establishing a simulation signature comprises the steps of: (i) setting at least some of the storage elements of the plurality of storage elements of the first circuit model to predetermined storage element values; (ii) setting the plurality of inputs of the first circuit model to predetermined input values; and (iii) operating the first circuit model to generate a simulation signature for the storage elements of the first circuit, wherein each entry of a simulation signature of a storage element of the first circuit model is based on a respective value stored in a respective storage element at a respective point in the operation of the first circuit model; and (i) establishing a simulation signature for at least some of the plurality of storage elements of the second circuit, wherein establishing a simulation signature comprises the steps of: (i) setting at least some of the storage elements of the plurality of storage elements of the second circuit model to the predetermined storage element values; (ii) setting the plurality of inputs of the second circuit model to the predetermined input values; (iii) operating the second circuit model to generate a simulation signature for the storage elements of the second circuit, wherein each entry of a simulation signature of a storage element of the second circuit model is based on a respective value stored a the respective storage element at a respective point in the operation of the second circuit model; and (j) when the simulation signature of one of the plurality of storage elements of the first circuit model compares favorably to the simulation signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 15
Independent Claim
330 words
A method for deriving the correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the method used in circuit verification and modeling and comprising the steps of: (a) receiving a first circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) receiving a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (c) receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (d) receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (e) operating the first circuit model to generate a simulation signature for at least some of the storage elements of the first circuit model, wherein each entry of a simulation signature of a storage element of the first circuit model is based on a value stored in the storage element at a respective point in the operation of the first circuit model; (f) operating the second circuit model to generate a simulation signature for at least some of the storage elements of the second circuit, wherein each entry of a simulation signature of a storage element of the second circuit model is based on a value stored in the storage element at a respective point in the operation of the second circuit model; and (g) when the simulation signature of one of the plurality of storage elements of the first circuit model compares favorably to the simulation signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with a respective storage element of the second circuit model.
Claim 16
Independent Claim
330 words
A method for deriving the correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the method used in circuit verification and modeling and comprising the steps of: (a) receiving a first circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) receiving a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (c) receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (d) receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (e) operating the first circuit model to generate a simulation signature for at least some of the storage elements of the first circuit model, wherein each entry of a simulation signature of a storage element of the first circuit model is based on a value stored in the storage element at a respective point in the operation of the first circuit model; (f) operating the second circuit model to generate a simulation signature for at least some of the storage elements of the second circuit, wherein each entry of a simulation signature of a storage element of the second circuit model is based on a value stored in the storage element at a respective point in the operation of the second circuit model; and (g) when the simulation signature of one of the plurality of storage elements of the first circuit model compares favorably to the simulation signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with a respective storage element of the second circuit model.
Claim 17
Dependent Claim
104 words
The method of claim 13 wherein: step (e) further comprises the steps of: (i) setting at least some of the storage elements of the plurality of storage elements of the first circuit model to predetermined storage element values; (ii) setting the plurality of inputs of the first circuit model to predetermined input values; and step (f) further comprises the steps of: (i) setting at least some of the storage elements of the plurality of storage elements of the second circuit model to the predetermined storage element values; and (ii) setting the plurality of inputs of the first circuit model to the predetermined input values.
Claim 18
Dependent Claim
148 words
The method of claim 13 wherein step (g) includes the steps of: establishing a hash table, wherein the simulation signatures of the plurality of storage elements of the first circuit model and the signatures of the plurality of storage elements of the second circuit model serve as hash table keys, wherein the hash table has an entry for each of the simulation signatures of the first circuit model and for each of the simulation signatures of the second circuit model; and when exactly two hash table entries reside under a hash table key and one of the hash table entries corresponds to the first circuit model and the other hash table entry corresponds to the second circuit model, determining that the storage element of the first model corresponding to the hash table key corresponds to the storage element of the second model corresponding to the hash table key.
Claim 19
Independent Claim
349 words
A method for deriving a correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the method used in circuit verification and modeling and comprising the steps of: (a) receiving a first circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) receiving a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (c) receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (d) receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (e) establishing a signature for at least some of the plurality of storage elements of the first circuit model; (f) establishing a signature for at least some of the plurality of storage elements of the second circuit model; and (g) when the signature of one of the plurality of storage elements of the first circuit model compares favorably to the signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model; (h) when at least two of the storage elements of the first circuit model and at least two of the storage elements of the second circuit model have identical signatures, determining each possible match correspondence for the storage elements having the identical signatures; (i) for each possible match correspondence, calculating a match criteria based on the plurality of logic functions of the first circuit model and the plurality of logic functions of the second circuit model; and (j) when only one of the match criterion is valid, matching the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 20
Independent Claim
349 words
A method for deriving a correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the method used in circuit verification and modeling and comprising the steps of: (a) receiving a first circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) receiving a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (c) receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (d) receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (e) establishing a signature for at least some of the plurality of storage elements of the first circuit model; (f) establishing a signature for at least some of the plurality of storage elements of the second circuit model; and (g) when the signature of one of the plurality of storage elements of the first circuit model compares favorably to the signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model; (h) when at least two of the storage elements of the first circuit model and at least two of the storage elements of the second circuit model have identical signatures, determining each possible match correspondence for the storage elements having the identical signatures; (i) for each possible match correspondence, calculating a match criteria based on the plurality of logic functions of the first circuit model and the plurality of logic functions of the second circuit model; and (j) when only one of the match criterion is valid, matching the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 21
Dependent Claim
24 words
The method of claim 16 wherein, in step (i), calculating a match criteria includes building a binary decision diagram for each possible match correspondence.
Claim 22
Dependent Claim
260 words
A computer readable medium, wherein the computer readable medium comprising: (a) a first set of instructions for receiving a first circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) a second set of instructions for receiving a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (c) a third set of instructions for receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (d) a fourth set of instructions for receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (e) a fifth set of instructions for establishing a signature for at least some of the plurality of storage elements of the first circuit model; (f) a sixth set of instructions for establishing a signature for at least some of the plurality of storage elements of the second circuit model; and (g) a seventh set of instructions for, when the signature of one of the plurality of storage elements of the first circuit model compares favorably to the signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 23
Dependent Claim
260 words
A computer readable medium, wherein the computer readable medium comprising: (a) a first set of instructions for receiving a first circuit model, wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (b) a second set of instructions for receiving a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; (c) a third set of instructions for receiving an input correspondence between the plurality of inputs of the first circuit model and the plurality of inputs of the second circuit model; (d) a fourth set of instructions for receiving an output correspondence between the plurality of outputs of the first circuit model and the plurality of outputs of the second circuit model; (e) a fifth set of instructions for establishing a signature for at least some of the plurality of storage elements of the first circuit model; (f) a sixth set of instructions for establishing a signature for at least some of the plurality of storage elements of the second circuit model; and (g) a seventh set of instructions for, when the signature of one of the plurality of storage elements of the first circuit model compares favorably to the signature of one of the plurality of storage elements of the second circuit model, determining a correspondence between the storage element of the first circuit model with the respective storage element of the second circuit model.
Claim 24
Independent Claim
261 words
An apparatus for deriving a correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the apparatus used in circuit verification and modeling, the apparatus comprising: first storage, wherein the first storage stores a first circuit model, and wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; second storage, wherein the second storage stores a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; third storage, wherein the third storage stores data equating the plurality of inputs of the first circuit model with the plurality of inputs of the second circuit model and data equating the plurality of outputs of the first circuit model with the plurality of outputs of the second circuit model; processor, wherein the processor establishes a signature for at least some of the plurality of storage elements of the first circuit model, and wherein the processor establishes a signature for at least some of the plurality of storage elements of the second circuit model; and comparator, wherein when the signature of one of the plurality of storage elements of the first circuit model compares favorably to the signature of one of the plurality of storage elements of the second circuit model, the comparator determines a correspondence between the storage element of the first circuit model and the respective storage element of the second circuit model.
Claim 25
Independent Claim
261 words
An apparatus for deriving a correspondence between storage elements of a first circuit model and storage elements of a second circuit model, the apparatus used in circuit verification and modeling, the apparatus comprising: first storage, wherein the first storage stores a first circuit model, and wherein the first circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; second storage, wherein the second storage stores a second circuit model, wherein the second circuit model includes a plurality of inputs, a plurality of outputs, a plurality of storage elements, and a plurality of logic functions; third storage, wherein the third storage stores data equating the plurality of inputs of the first circuit model with the plurality of inputs of the second circuit model and data equating the plurality of outputs of the first circuit model with the plurality of outputs of the second circuit model; processor, wherein the processor establishes a signature for at least some of the plurality of storage elements of the first circuit model, and wherein the processor establishes a signature for at least some of the plurality of storage elements of the second circuit model; and comparator, wherein when the signature of one of the plurality of storage elements of the first circuit model compares favorably to the signature of one of the plurality of storage elements of the second circuit model, the comparator determines a correspondence between the storage element of the first circuit model and the respective storage element of the second circuit model.
Claim 26
Dependent Claim
76 words
The apparatus of claim 19, wherein the comparator further comprises circuitry for determining that the signature of one of the plurality of storage elements of the first circuit compares favorably to the signature of one of the plurality of storage elements of the second circuit model when one of the signatures of the plurality of storage elements of the first circuit model equals one of the signatures of the storage elements of the second circuit model.
Claim 27
Dependent Claim
60 words
The apparatus of claim 19 wherein the processor comprises support signature circuitry, wherein the support signature circuitry establishes a support signature at least some of the plurality of storage elements of the first circuit model, and wherein the support signature circuitry establishes a support signature for at least some of a plurality of storage elements of the second circuit model.
Claim 28
Dependent Claim
66 words
The apparatus of claim 19 wherein the processor comprises inverse support signature circuitry, wherein the inverse support signature circuitry establishes an inverse support signature for at least some of the plurality of storage elements of the first circuit model, and wherein the inverse support signature circuitry establishes an inverse support signature for at least some of the plurality of storage elements of the second circuit model.
Claim 29
Dependent Claim
61 words
The apparatus of claim 19 wherein the processor comprises simulation signature circuitry, wherein the simulation signature circuitry establishes a simulation signature for at least some of a plurality of storage elements of the first circuit model, and wherein the simulation signature circuitry establishes a simulation signature for at least some of the plurality of storage elements of the second circuit model.
Claim 30
Dependent Claim
72 words
The apparatus of claim 23, wherein the simulation signature circuitry further comprises element setting circuitry, wherein the element setting circuitry sets at least some of the storage elements of the plurality of storage elements of the first circuit model to a predetermined value, and wherein the element setting circuitry sets at least some of the storage elements of the plurality of storage elements of the second circuit model to the predetermined value.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2000-06-09 | 2000-12-09 | 2001-06-10 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2004-06-09 | 2004-12-09 | 2005-06-10 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2008-06-09 | 2008-12-09 | 2009-06-10 | $7700.00 | Window Closed / Lapsed |