Questa CoverCheck是一款代码覆盖率检查工具，既可以作为独立的形式化验证工具工作，也可以与动态仿真工具在Questa SIM高级验证平台中集成使用。能够显著提升实现代码覆盖率收敛的进程。即使在完成完备的仿真验证后，通常仍然会有一些没有被覆盖的代码。Questa CoverCheck可以定位这些问题，帮助使用者决定是否要忽略这段代码或者加强测试环境直至其被测到。
制造商 Siemens Digital Industries Software 西门子数字化工业软件 Siemens Digital Industries Software 西门子数字化工业软件
德国 > 慕尼黑
主要功能 PCB设计
软件类型 商业软件
部署方式 本地部署
操作系统 Windows

icon特点与优势

1、基于Formal形式化技术，不需任何testbench与断言；

2、与Questa无缝连接，支持UCDB；

3、可更早发现覆盖率漏洞；

4、智能引导设计者加速代码覆盖率收敛；

5、完全自动化的流程；

6、良好的图形化分析界面；

发表一下对此产品的看法吧~ 我要评价
心中疑惑就问问用过此产品的同学吧~ 我要提问
icon 产品推荐
获取报价
人工客服
AI助手
返回顶部