Back to results
US 9,430,595 B2Granted
Managing model checks of sequential designs
AssigneeSynopsys, Inc.
InventorsManish Pandey, Jinqing Yu
Life of this patent
Estimating the term…
Abstract
A method, system or computer usable program product for model checking a first circuit model including determining whether the first circuit model is functionally equivalent to one of a set of prior circuit models stored in persistent memory, and in response to determining functional equivalence, utilizing a processor to provide test results for the functionally equivalent prior circuit model.
Claims27
A method of model checking a first circuit model of a first circuit design comprising:
- receiving a request from a user for a model check of the first circuit model including a set of test parameters of the model check to verify the first circuit model meets a set of specifications thereby verifying the circuit design meets specifications;
- responsive to receiving the user request, utilizing a processor to generate a first signature of the requested first circuit model and a subset of the test parameters to verify the first circuit model meets the set of specifications;
- utilizing the generated first signature to identify a potentially equivalent subset of prior circuit models from a database of signatures of previously tested prior circuit models stored in memory with corresponding prior test parameters and test results for each of the previously tested prior circuit models;
- utilizing the processor to determine whether the requested first circuit model is functionally equivalent to one of the identified subset of prior circuit models;
- and
- in response to determining functional equivalence, utilizing the processor to provide the corresponding prior test results for the functionally equivalent prior circuit model to the user for use as model check results of the first circuit model.
3 more elements
A computer usable program product comprising a computer usable persistent storage medium including computer usable code for use in model checking a first circuit model, the computer usable program product comprising code for performing the steps of:
- receiving a request from a user for a model check of the first circuit model including a set of test parameters of the model check to verify the first circuit model meets a set of specifications thereby verifying the circuit design meets specifications;
- responsive to receiving the user request, utilizing a processor to generate a first signature of the requested first circuit model and a subset of the test parameters to verify the first circuit model meets the set of specifications;
- utilizing the generated first signature to identify a potentially equivalent subset of prior circuit models from a database of signatures of previously tested prior circuit models stored in memory with corresponding prior test parameters and test results for each of the previously tested prior circuit models;
- utilizing the processor to determine whether the requested first circuit model is functionally equivalent to one of the identified subset of prior circuit models;
- and
- in response to determining functional equivalence, utilizing the processor to provide the corresponding prior test results for the functionally equivalent prior circuit model to the user for use as model check results of the first circuit model.
3 more elements
A data processing system for model checking a first circuit model, the data processing system comprising:
- a processor;
- and
- a persistent memory storing program instructions which, when executed by the processor and upon receiving a request from a user for a model check of the first circuit model including a set of test parameters of the model check to verify the first circuit model meets a set of specifications thereby verifying the circuit design meets specifications, generating a first signature of the requested first circuit model and a subset of the test parameters to verify the first circuit model meets the set of specifications, utilizing the generated first signature to identify a potentially equivalent subset of prior circuit models from a database of signatures of previously tested prior circuit models stored in memory with corresponding prior test parameters and test results for each of the previously tested prior circuit models, determine whether the requested first circuit model is functionally equivalent to one of the identified subset of prior circuit models, and if functional equivalence is shown, utilizing the processor to provide the corresponding prior test results for the functionally equivalent prior circuit model to the user for use as model check results of the first circuit model.
A method of model checking a first circuit model comprising:
- receiving a request from a user for a model check of the first circuit model including a set of test parameters of the model check;
- responsive to receiving the user request, utilizing a processor to generate a first signature of the requested first circuit model and a subset of the test parameters;
- utilizing the generated first signature to identify a potentially equivalent subset of prior circuit models from a database of signatures of previously tested prior circuit models stored in memory with corresponding prior test parameters and test results for each of the previously tested prior circuit models;
- utilizing the processor to determine whether the requested first circuit model is functionally equivalent to one of the identified subset of prior circuit models;
- in response to a positive determination of functional equivalence, providing the corresponding set of prior test results stored with the functionally equivalent prior circuit model to the user;
- and
- in response to a negative determination of functional equivalence, utilizing the processor to perform a model check of the first circuit model and providing results of the model check to the user for use as model check results of the first circuit model.
4 more elements
Dependencies are inferred from the claim text.