对比
产品特点
1、自动化的、一键式检测所有常见的设计缺陷，如状态机的死锁/活锁、运算的异常、X态的传播
2、基于断言的形式验证技术，支持SVA、 PSL、OVL；
3、集成化的代码和功能覆盖率分析；
4、可以使用和仿真器同样的调试与纠错环境；
5、可以在仿真环境下重现由形式验证引擎发现的断言违反事件；
6、在仿真环境下使用动态形式验证技术，可以增加验证的完备性；
7、独一无二的4态引擎技术可以避免产生虚假的违反告警；
8、可以在系统级重用已有的验证环境进行调试和纠错；
苏公网安备 32059002002276号
