Questa Covercheck代码覆盖率检查工具

Questa CoverCheck是一款代码覆盖率检查工具，既可以作为独立的形式化验证工具工作，也可以与动态仿真工具在Questa SIM高级验证平台中集成使用。能够显著提升实现代码覆盖率收敛的进程。即使在完成完备的仿真验证后，通常仍然会有一些没有被覆盖的代码。Questa CoverCheck可以定位这些问题，帮助使用者决定是否要忽略这段代码或者加强测试环境直至其被测到。