Questa®正式验证

补充基于仿真的RTL设计验证

Questa®正式验证工具通过分析设计的所有可能行为来检测任何可到达的错误状态,从而补充基于仿真的RTL设计验证。这种详尽的分析可确保关键控制块在所有情况下都能正常工作,并找出在模拟中可能遗漏的设计错误。

在集成之前,只要设计完成,就可以使用形式验证来调试块,并在模拟测试环境可用之前发现潜在的错误。与Questa模拟器共享公共语言前端,并利用与统一覆盖数据库(UCDB)的集成,questa正式验证是加速错误检测的完美工具,纠错和覆盖范围关闭。

概述

Questa正式验证的工作原理

questa形式验证分析设计的行为,以识别从初始状态可以到达的所有设计状态。这种分析允许questa形式验证以广度优先的方式探索整个状态空间,与模拟中使用的深度优先方法不同。

因此,Questa正式验证能够发现任何可能发生的设计错误,不需要特定的刺激来检测缺陷。这可以确保验证的设计在所有合法输入场景中都是无缺陷的。同时,这种方法本质上识别了无法到达的覆盖点,这有助于加快覆盖率的关闭。

自动按钮解决方案

Questa正式验证解决方案提供了易于使用的,用于检查许多常见设计错误的下一代自动应用程序。例如,questa x-check解决方案使用形式算法彻底解决了由于设计中的x值(未知信号电平)而产生的x-乐观和x-悲观的两个问题;发现传统的基于仿真的验证技术无法发现的错误。

闲聊γ 接触