关注微信公众号
添加客服微信
1、基于Formal形式化技术,不需任何testbench与断言;
2、与Questa无缝连接,支持UCDB;
3、可更早发现覆盖率漏洞;
4、智能引导设计者加速代码覆盖率收敛;
5、完全自动化的流程;
6、良好的图形化分析界面;