Questa®X-检查

questa x-check图标

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

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

“X”的问题

设计中关键控制节点处的未定义信号,或者寄存器意外地装载了垃圾,会很快陷入困惑,显示停止错误。不幸的是,处理“x”级信号在逻辑合成和模拟方面有所不同。在前一种情况下,“x”被视为不在乎,后一个“x”被视为未知数.这种看似微不足道的语义差异可以掩盖模拟工具检测到的“x”传播问题。再一次,如果电源隔离控制信号或关键时钟启用上出现意外的“X”,你的芯片一瞬间就能挂起来。

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

解决方案:questa x-check

自动questa x-check应用程序设计为自动使用正式的分析来彻底识别设计中的“x”传播问题。明确地,以您的RTL和初始化序列的规范作为输入请求,x-check通过使用正式的引擎来全面地识别所有x状态源(即初始化序列结束时的x状态,X作业多个驱动程序,超出范围的索引,和算术异常)。它还标记乐观或悲观初始化的寄存器。最后,应用程序还可以使用x-accurate语义查找未解析和损坏的寄存器。

特征

  • 全面识别RTL中的X源
  • 检测X乐观和X悲观行为
  • 使用x-accurate语义查找未解析和损坏的寄存器
  • 与Questa先进的互补X传播分析模拟器集成

效益

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