公开(公告)号：US20110302541A1

公开(公告)日：2011-12-08

申请号：US12977376

申请日：2010-12-23

申请人： Kai Yang ,  Michael Lyons ,  Kuo-Ching Lin ,  Wei-Ting Tu ,  Chih-Wen Chang ,  Tein-Chun Wei

发明人： Kai Yang ,  Michael Lyons ,  Kuo-Ching Lin ,  Wei-Ting Tu ,  Chih-Wen Chang ,  Tein-Chun Wei

IPC分类号： G06F17/50

CPC分类号： G06F17/5022 ,  G06F17/504 ,  G06F2217/10

摘要： 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.

摘要翻译： 提供了用于评估验证环境的检查器质量的方法和系统。 在一些实施例中，计算验证环境的总体灵敏度和相应检查器的个体灵敏度。 总体灵敏度是通过验证环境可以检测到传播到包括至少一个检验器的检查系统的多个有问题的设计行为的概率。 个体敏感度是通过与特定探针对应的检查器可以检测到在设计的多个探针中传播到至少一个特定探针的多个有问题的设计行为的概率。 整体检查灵敏度数字可以显示检查系统的稳健性。 单独的检查灵敏度可以指导用户哪个单独的检查器或检查器改进。

公开(公告)号：US08359559B2

公开(公告)日：2013-01-22

申请号：US12977376

申请日：2010-12-23

申请人： Kai Yang ,  Michael Lyons ,  Kuo-Ching Lin ,  Wei-Ting Tu ,  Chih-Wen Chang ,  Tein-Chun Wei

发明人： Kai Yang ,  Michael Lyons ,  Kuo-Ching Lin ,  Wei-Ting Tu ,  Chih-Wen Chang ,  Tein-Chun Wei

IPC分类号： G06F17/50 ,  G06F9/455

CPC分类号： G06F17/5022 ,  G06F17/504 ,  G06F2217/10

摘要： 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.

摘要翻译： 提供了用于评估验证环境的检查器质量的方法和系统。 在一些实施例中，计算验证环境的总体灵敏度和相应检查器的个体灵敏度。 总体灵敏度是通过验证环境可以检测到传播到包括至少一个检验器的检查系统的多个有问题的设计行为的概率。 个体敏感度是通过与特定探针对应的检查器可以检测到在设计的多个探针中传播到至少一个特定探针的多个有问题的设计行为的概率。 整体检查灵敏度数字可以显示检查系统的稳健性。 单独的检查灵敏度可以指导用户哪个单独的检查器或检查器改进。