会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 8. 发明授权
    • Methods and systems for evaluating checker quality of a verification environment
    • 用于评估验证环境的检验质量的方法和系统
    • US08359559B2
    • 2013-01-22
    • US12977376
    • 2010-12-23
    • Kai YangMichael LyonsKuo-Ching LinWei-Ting TuChih-Wen ChangTein-Chun Wei
    • Kai YangMichael LyonsKuo-Ching LinWei-Ting TuChih-Wen ChangTein-Chun Wei
    • G06F17/50G06F9/455
    • G06F17/5022G06F17/504G06F2217/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.
    • 提供了用于评估验证环境的检查器质量的方法和系统。 在一些实施例中,计算验证环境的总体灵敏度和相应检查器的个体灵敏度。 总体灵敏度是通过验证环境可以检测到传播到包括至少一个检验器的检查系统的多个有问题的设计行为的概率。 个体敏感度是通过与特定探针对应的检查器可以检测到在设计的多个探针中传播到至少一个特定探针的多个有问题的设计行为的概率。 整体检查灵敏度数字可以显示检查系统的稳健性。 单独的检查灵敏度可以指导用户哪个单独的检查器或检查器改进。