Using traces of original model to verify a modified model
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Nov 15, 2016
Grant Date -
Nov 5, 2015
app pub date -
May 1, 2014
filing date -
May 1, 2014
priority date (Note) -
In Force
status (Latency Note)
Importance
Abstract
Method, apparatus and product for using traces of an original model to verify a modified model. The method comprising obtaining a trace exemplifying a checker failing in a model; obtaining a modified model, wherein the modified model is a modified version of the model which was modified in an attempt to resolve the checker failing in the model; re-simulating the trace in the modified model to generate a second trace, wherein said re-simulating is performed by a processor; comparing the trace and the second trace to identify a common prefix, wherein the common prefix ends immediately before a cycle in which a state according to the trace is different than a state according to the second trace; and guiding verification of the modified model using values derived from the common prefix.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully