Questa®正式验证应用程序

详尽的,针对复杂验证挑战的自动化解决方案

Questa正式验证应用程序
Questa正式验证应用程序

Questa基于形式的技术提供了广泛的形式化解决方案和应用,这些解决方案和应用补充了许多关键领域的模拟。Questa正式的验证应用程序通过详尽地解决传统方法难以完成的验证任务,提高了验证效率和设计质量,但不需要正式或基于断言的验证经验。

即使是最精心设计的uvm测试台本身也是不完整的,因为约束随机方法不能满足每个角落的情况。不幸的是,这意味着即使在实现了100%的功能覆盖之后,仍然可能有ShowStopper bug隐藏在无法想象的状态空间中。因此,形式验证在当今复杂设计的验证中起着至关重要的作用。形式化工具静态地分析与给定属性集相关的设计行为,以广度优先的搜索方式详尽地搜索所有可能的输入序列,以发现设计错误,否则将被忽略。

Questa Formula为熟悉正式和基于断言的方法的设计和验证工程师提供了强大的正式分析功能。Mentor Graphics创建了一系列针对当今验证挑战的正式验证应用程序,但是,这些都是自动化的,使非专家能够以最少的指导来利用这项技术。

优点和亮点

  • 及早发现缺陷——Questa正式的验证应用程序能够在设计阶段的早期开始验证,在模拟试验台准备就绪之前
  • 提高功能验证质量-使用Questa正式验证应用程序,通过覆盖关闭自动化解决方案改进验证过程,X检查,和注册验证
  • 完成,准确,使用传统方法难以或不可能验证的特定设计方面的按钮自动验证
  • Questa正式验证应用程序与模拟仿真Questa验证解决方案具有验证管理等共同特点,编译程序,SystemVerilog的调试程序和语言支持,verilog,VHDL语言UPF,还有更多,使解决方案能够从基础引擎中抽象出验证过程和目标
  • 高性能:致力于应用研究和工程投资,不断提高墙上时钟的运行时间性能,内存使用,而Questa正式版的核心技术——以及引擎盖下的专用应用程序引擎——的存储消耗经常超过客户要求的可扩展性和计算资源期望。
聊天γ 联系人