icon基础信息
功能分类 EDA电子设计自动化 - - -
产品简介

Questa Formal是一款代码覆盖率检查工具，可以深度穷举分析设计的行为，从而可以探测到响应检查器断言违反的复杂错误和触发条件，发现验证激励的漏洞，提高验证的完备性。对于关键的控制模块，Questa Formal验证可以确保设计在任何情况下均能正常工作。 其Autocheck 特性无需手动编写任何Assertion，并可以在仿真验证平台准备好之前发现一些设计上的潜在问题。

 - - -
制造商Siemens Digital Industries Software 西门子数字工业软件 - - -
原产地德国 > 慕尼黑 - - -
授权方式 - - - -
发布时间2023年 - - -
详情
查看详情 > 
 - - -

icon功能配置
功能模块- - - -
展开 

icon参考价格
价格- - - -

icon软件界面
界面- - - -

icon特点优势
特点

1、自动化的、一键式检测所有常见的设计缺陷，如状态机的死锁/活锁、运算的异常、X态的传播

2、基于断言的形式验证技术，支持SVA、 PSL、OVL；

3、集成化的代码和功能覆盖率分析；

4、可以使用和仿真器同样的调试与纠错环境；

5、可以在仿真环境下重现由形式验证引擎发现的断言违反事件；

6、在仿真环境下使用动态形式验证技术，可以增加验证的完备性；

7、独一无二的4态引擎技术可以避免产生虚假的违反告警；

8、可以在系统级重用已有的验证环境进行调试和纠错；

 - - -
展开 

icon典型客户
客户- - - -

icon软件供应商
供应商
共有6个厂商 查看更多 >
 		- - -

注：软件功能配置信息仅供参考，实际功能配置信息以真实软件为准，解释权归软件制造商所有。