发明名称 |
Measure of analysis performed in property checking |
摘要 |
The amount of analysis performed in determining the validity of a property of a digital circuit is measured concurrent with performance of the analysis, and provided as an output when a true/false answer cannot be provided e.g. when stopped due to resource constraints. In some embodiments, a measure of value N indicates that a given property that is being checked will not be violated within a distance N from an initial state from which the analysis started. Therefore, in such embodiments, a measure of value N indicates that the analysis has implicitly or explicitly covered every possible excursion of length N from the initial state, and formally proved that no counter-example is possible within this length N.
|
申请公布号 |
US7890897(B2) |
申请公布日期 |
2011.02.15 |
申请号 |
US20070939485 |
申请日期 |
2007.11.13 |
申请人 |
MENTOR GRAPHICS CORPORATION |
发明人 |
LEVITT JEREMY RUTLEDGE;GAUTHRON CHRISTOPHE;HO CHIAN-MIN RICHARD;YEUNG PING FAI;MULAM KALYANA C.;SATHIANATHAN RAMESH |
分类号 |
G06F17/50;G06F7/60;G06F9/45;G06F17/10 |
主分类号 |
G06F17/50 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|