Questa®重置检查

Questa重置检查图标

重置域交叉问题的详尽验证

复位信号分配变得比以往任何时候都复杂,创建二阶,“重置域交叉”未通过RTL模拟建模的效果。与Questa模拟器共享公共语言前端,利用正式的基础,高性能Questa CDC算法在引擎盖下,Questa重置检查是识别和修复意外情况的完美工具,芯片杀伤复位域交叉问题。

新的芯片杀手:重置域交叉

随着设备中出现多个重设域,重设信令复杂性的增加正在创造新的验证挑战,RTL模拟无法解决这些挑战。明确地,独立的重置域可以通过复杂的重置序列或重置结构创建,或者IP与不同的重置模式混合,所有这些都可能导致亚稳态和信号再确认问题,类似于异步时钟域交叉(CDC)中出现的故障。像这样的,和疾病预防控制中心一样,这些异步重设域交叉所引起的亚稳态不能通过模拟来模拟。当样品从晶圆厂返回时,让设计人员面临不可预测的芯片行为的巨大风险。

Questa重置检查
只使用RTL作为输入,Questa Reset Check应用程序自动生成并分析断言,以快速详尽地识别芯片杀戮复位域交叉问题。

解决方案:Questa重置检查

Questa Reset Check应用程序设计为自动使用正式分析来全面识别设计中的重设域交叉问题。明确地,以RTL作为输入,questa reset check自动执行详尽的,自下而上的重置树分析,然后自动生成并证明涵盖许多重置域特定结构检查的断言。

特征

  • 识别同一时钟域内相关寄存器的重设域交叉(RDC)信号
  • 导出整个设计的重置结构和域,包括选通和控制逻辑
  • 报告同步性,所有重置树寄存器节点的极性和设置/重置功能
  • 以矩阵形式报告时钟和重置信号的关系

效益

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