Questa∈寄存器检查

Questa寄存器检查图标

自动化的,穷举内存映射寄存器验证

Questa Register Check应用程序是一个完全自动化的解决方案,用于根据CSV或IP-XACT寄存器规范全面验证控制和状态寄存器行为。不需要了解形式或属性规范语言。

细节中的魔鬼

即使相对较小的IP也可以具有数百个控制和状态寄存器,许多具有非常规的访问策略。虽然基于测试台仿真的寄存器验证方法(如UVM_REG)可以执行大多数主要用例,许多角落里的箱子没有盖上,创建显示停止程序错误未被检测的风险。简而言之,自动化的,需要基于形式化的解决方案来确保状态空间的完全覆盖。

奎斯塔寄存器检查
Questa寄存器检查应用程序读取RTL和寄存器描述文件,自动创建必要的断言,然后正式验证它们。不需要了解形式或属性规范语言。

解决方案:Questa寄存器检查

Mentor的基于正式的Questa寄存器检查应用程序自动彻底验证控制和状态寄存器。以您的寄存器规范(CSV或IP-XACT)和RTL作为输入,该应用程序自动派生属性,并在引擎盖下运行正式引擎。寄存器行为中的任何差异在图形上以详细波形显示。

特征

  • 彻底检查控件和状态寄存器的访问
  • 验证预期行为和不存在非法行为
  • 支持前后门寄存器访问
  • 支持标准(例如:R/W写入清除,只读,以及用户定义的配置模式和访问策略
  • 支持IP-XACT和CSV电阻器规范。格式

效益

  • 控制和状态寄存器的彻底验证
  • 该应用程序自动派生正式引擎所需的属性基于明文规范CSV或IP-XACT规范-没有正式或断言的知识是必需的!!
闲聊γ 接触