Methods and systems for evaluating checker quality of a verification environment
US8359559B2 · kind B2 · utility
Assignees
Inventors
Key dates
| Filing date | Dec 23, 2010 |
| Grant date | Jan 22, 2013 |
| Priority date | — |
| Expiry date | Mar 11, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F2111/08
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Methods and systems for evaluating checker quality of a verification environment are provided. In some embodiments, an overall sensitivity for the verification environment and an individual sensitivity for a respective checker are calculated. The overall sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to a checker system including at least one checker, can be detected by the verification environment. The individual sensitivity is a probability that a plurality of problematic design behaviors, which are propagated to at least one specific probe among a plurality of probes of a design, can be detected by the checker corresponding to the specific probe. The overall checker sensitivity numbers can show the robustness of the check system. The individual checker sensitivity can guide the user which individual checker or checkers to improve.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.