Questa®寄存器检查

questa寄存器检查图标

自动化的,耗尽存储器映射寄存器验证

Questa Register Check应用程序是一个完全自动化的解决方案,可根据您的csv或ip-xact注册规范全面验证控制和状态注册行为。不需要了解形式或属性规范语言。

细节上的魔鬼

即使是相对较小的IP也可以拥有数百个控制和状态寄存器,很多都有非常规的访问策略。虽然基于测试台模拟的寄存器验证方法(如uvm_reg)可以使用大多数主要用例,许多角落的箱子都没有被发现,造成无法检测到的显示阻止程序错误的风险。简而言之,自动化的,需要基于形式的解决方案来确保状态空间的完全覆盖。

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

解决方案:questa寄存器检查

导师基于正式的questa寄存器检查应用程序自动完成对控制和状态寄存器的全面验证。以寄存器规范(csv或ip-xact)和rtl作为输入,该应用程序自动派生属性并运行引擎盖下的正式引擎。寄存器行为的任何差异都以图形方式显示在详细的波形中。

特征

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

效益

  • 全面验证控制和状态寄存器
  • 应用程序根据明文规范csv或ip-xact规范自动派生正式引擎所需的属性——不需要了解正式或断言!!
闲聊γ 接触