奎斯塔∈X检验

Questa X-Check图标

自动化的,详尽的X态验证

自动Questa X-Check应用程序分析RTL设计,然后使用正式引擎在引擎盖下彻底地识别RTL中的“X”传播问题。不需要了解形式或属性规范语言。

与“X”有关的问题

设计中的关键控制结处的未定义信号,或意外加载垃圾的寄存器,可以快速级联成一个迷惑,显示停止错误。不幸的是,处理“X”电平信号在逻辑综合和仿真方面是不同的。在前一种情况下,“X”被视为“不在乎,后者“X”被视为“未知数.语义上的这种看似微不足道的差异可以屏蔽“X”传播问题,使其不被仿真工具检测到。再一次,如果电源隔离控制信号或关键时钟启用出现意外的“X”,你的芯片可以马上挂起来。

奎斯塔X检验
只使用RTL和初始化序列的规范,Questa X-Check正式应用程序自动生成并分析断言,以快速识别芯片杀手X状态问题。不需要了解形式或属性规范语言。

解决方案:Questa X-Check

自动化的Questa X-Check应用程序被设计成自动使用正式分析来彻底地识别设计中的“X”传播问题。明确地,以RTL和初始化序列规范作为输入,Questa X-Check通过使用正式引擎来彻底识别所有X状态源(即,X状态源)开始分析。初始化序列末尾的X状态,X作业多个驱动程序,超出范围的索引,以及算术异常)。它还标记乐观或悲观初始化的寄存器。最后,该应用程序还使用X精确语义查找未解决和损坏的寄存器。

特征

  • 彻底识别RTL中的X源
  • 检测X乐观和X悲观行为
  • 使用X精确语义查找未解决和损坏的寄存器
  • 与Questa高级模拟器集成的互补X传播分析

效益

  • 彻底识别所有X状态问题
  • 完全自动化的分析流程——不了解属性规范语言,正式的,或者需要基于断言的验证技术
闲聊γ 接触