Questa®盖罩检查

questa covercheck图标

自动关闭代码覆盖率

QuestaCoverCheck是一个自动的正式解决方案,可以更快地实现代码覆盖关闭。该工具解决了一个不可辩驳的验证事实:无论使用的技术组合如何,即使在进行了一系列详尽的测试之后,未发现的代码的一部分总是保留下来。

代码覆盖率'最后一英里问题

对于D&V工程师,在验证中,很少有事情比观察代码覆盖率评分平台远远低于覆盖率规范更令人沮丧。不管你写了多少聪明的定向测试,不管你尝试了多少种不同的随机种子,覆盖率的得分仅仅是平线。并行地,指定放弃故意从分析中排除未使用的IP配置可能是一个冗长且容易出错的手动过程。

Questa封面检查
questa covercheck自动遍历被测设备的状态空间并识别不可到达的区域,允许用户“放弃“/排除将来分析中的项目,并将所有结果传输到统一覆盖数据库(UCDB)中,以便将其包含在Questa验证管理分析和进度报告中。

解决方案:questa covercheck

QuestaCoverCheck是实现代码覆盖率关闭的自动正式解决方案。明确地,CoverCheck通过UCDB从模拟中读取代码覆盖率结果,并针对覆盖孔。结果包括:

  • 可以安全地忽略代码的正式证明。在这种情况下,自动生成豁免以优化代码覆盖率结果。
  • 利用发动机罩下的正式发动机生成波形,显示如何到达覆盖点,因此,指导用户如何增强他们的模拟测试台来覆盖这些项目。
  • 标记代码覆盖项,这些项很难通过正式的技术到达,并且在模拟中没有被击中;从而为验证复杂性提供了一个有价值的度量。这指导工程师改变他们的设计,使他们更容易验证。

特征

  • 详尽地识别死代码区域
  • 可以生成“证人痕迹显示如何在模拟中达到特定覆盖点的波形
  • 易于使用的弃权创建标志”“合法死亡”区域(由于故意不使用IP配置模式,等)用于下游工具
  • 通过questa高级模拟器和questa验证管理进行的覆盖测量将自动排除这些区域。
  • 支持所有流行的代码覆盖形式:行/语句,分支,切换,有条件的,表达式,有限状态机,覆盖群
  • 强大的调试环境-轻松链接到相关源代码,示意图,波形和状态图

效益

  • 没有时间浪费在做梦测试上,试图覆盖不可访问的代码。
  • 通过彻底查找死代码区域,自动提高设计质量并可能节省模具区域
闲聊γ 接触