Questa Covercheck代码覆盖率检查工具

制造商：Mentor Graphics
Questa CoverCheck显著提升了实现代码覆盖率收敛的进程。即使在完成完备的仿真验证后，通常仍然会有一些没有被覆盖的代码。Questa CoverCheck可以定位这些问题，帮助使用者决定是否要忽略这段代码或者加强测试环境直至其被测到。

Questa CoverCheck使用形式化方法来定位仿真器无法探查到的代码。

主要特点：

• 基于Formal形式化技术，不需任何testbench与断言；
• 与Questa无缝连接，支持UCDB；
• 可更早发现覆盖率漏洞；
• 智能引导设计者加速代码覆盖率收敛；
• 完全自动化的流程；
• 良好的图形化分析界面；

Questa CoverCheck在仿真完成后，读取保存在统一覆盖率数据库（UCDB）中的代码覆盖率结果，然后使用形式化方法来特别定位无法探查的代码。一种可能 性是：Questa CoverCheck可以证明目标代码实际上完全不会被执行。另一种可能性是：如果代码能被形式化方法探查到，则Questa CoverCheck通过显示激励波形，给设计者提供必要的指导以加强其编写测试向量并在下次的仿真中检查这一部分设计。Questa CoverCheck通过形式化技术标记仿真中难以探查的代码覆盖率，因此其提供了一个有价值的验证方法。Questa CoverCheck既可以作为独立的形式化验证工具工作，也可以与动态仿真工具在Questa SIM高级验证平台中集成使用。