对比
Copyright © by 软服之家（苏州）科技有限公司 | 成都软服之家科技有限公司 版权所有 All Rights Reserved. 苏ICP备18061977号-3 苏ICP备18061977号-4蜀ICP备16004033号-3
苏公网安备 32059002002276号. 增值电信业务经营许可证：苏B2-20211237
苏公网安备 32059002002276号. 增值电信业务经营许可证：苏B2-20211237
Questa CoverCheck是一款代码覆盖率检查工具，既可以作为独立的形式化验证工具工作，也可以与动态仿真工具在Questa SIM高级验证平台中集成使用。能够显著提升实现代码覆盖率收敛的进程。即使在完成完备的仿真验证后，通常仍然会有一些没有被覆盖的代码。Questa CoverCheck可以定位这些问题，帮助使用者决定是否要忽略这段代码或者加强测试环境直至其被测到。
产品特点1、基于Formal形式化技术，不需任何testbench与断言；
2、与Questa无缝连接，支持UCDB；
3、可更早发现覆盖率漏洞；
4、智能引导设计者加速代码覆盖率收敛；
5、完全自动化的流程；
6、良好的图形化分析界面；
苏公网安备 32059002002276号. 增值电信业务经营许可证：苏B2-20211237
