Questa∈正式验证应用程序

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

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

基于Questa的形式化技术提供了广泛的形式化解决方案和应用,在许多关键领域对仿真进行了补充。Questa Formal Verification Apps通过彻底解决传统方法难以完成的验证任务来提高验证效率和设计质量,然而,不要求有正式的或基于断言的验证经验。

甚至最精心设计的UVM测试台本身也是不完整的,因为受限随机方法不能击中每个角落。这意味着,即使实现了100%的功能覆盖率,仍然可能存在隐藏在未想象的状态空间中的showstopperbug。因此,形式化验证在当今复杂设计的验证中扮演着重要的角色。形式化的工具静态地分析设计相对于给定属性集的行为,以广度优先搜索方式穷尽地探索所有可能的输入序列,以发现否则将遗漏的设计错误。

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

利益与亮点

  • 尽早发现bug——Questa Formal Verification Apps允许在设计阶段的早期开始验证,在仿真测试台准备好之前
  • 提高功能验证质量-使用Questa Formal Verification Apps来改进带有覆盖关闭自动化解决方案的验证过程,X检查,以及寄存器验证
  • 完成,准确的,使用传统方法难以或不可能验证的特定设计方面的按钮自动验证
  • Questa正式验证应用程序集成有模拟仿真奎斯塔验证解决方案具有验证管理等共同特征,编译器,调试器和SystemVerilog的语言支持,VerilogVHDL,UPF,更多,支持从底层引擎抽象验证过程和目标的解决方案
  • 高性能:致力于应用研究和工程投资,持续改进壁钟运行时性能,内存使用情况,Questa Formal的核心技术——以及隐藏在引擎盖下的专用应用程序引擎——的存储消耗经常超过客户要求的可伸缩性和计算资源期望。
闲聊| 接触