Questa®自动检查

自动检查图标

自动检测常见的RTL编码错误

QuestaAutocheck是一款完全自动的正式bug查找应用程序,它可以查找由于常见的RTL编码错误而导致的bug。自动检查可以用较低的工作量消除广泛的错误。无需提供测试台或断言,使其能够在编写RTL代码后开始正式验证设计。

设计师的验证困境

RTL设计人员不能等待测试台开始检查代码的质量,并验证他们已经开始实现的功能是否在正确的轨道上。可以使用基于断言的验证,但是,即使是标准语言(如SVA或PSL)中的基本属性也要花费大量时间来创建,调试,并保持。

自动检查
只使用RTL作为输入,questa autocheck自动派生属性并对其进行形式化分析,以识别诸如组合循环之类的常见问题,FSM死锁,FIFO溢出,以及其他难以用其他方法找到的角落案例错误。

解决方案:questa autocheck

Questa Autocheck应用程序使分类错误变得容易,否则需要花费大量时间和精力来消除这些错误,例如状态机死锁和LiveLock,算术溢出,超出范围的内存索引等等。autocheck丰富的调试环境通过示意图找出这些错误的根本原因,波形和FSM状态图,使其快速且易于使用。

特征

  • 一旦IP的RTL可用,立即读取它-不需要刺激或测试台
  • 自动生成属性以支持不断增长的各种静态和动态检查,如死代码分析,有限状态机死锁,组合循环,活力;覆盖常见的设计错误和无法想象的角落案例
  • 然后,派生属性在questa正式引擎上自动运行
  • 手动指定输入约束,并添加豁免,以故意指导工具并安全排除当前IP配置之外的区域
  • 强大的调试环境-轻松链接到相关源代码,示意图,波形和状态图

效益

  • 在设计周期的早期发现错误-一旦代码被写入或更改就开始验证
  • 节省了通过传统方法进行调试所需的时间-减少了对模拟测试失败的分类
  • 自动提高设计质量-在寄存器中查找常见的功能设计问题,FSMs总线和存储器
  • 易于使用,按钮形式验证-自动断言创建消除了为正式声明编写断言的需要
  • 查找lint检查工具将忽略的错误-探索顺序设计行为以查找角箱错误
闲聊γ 接触