Questa∈注销疾控中心

Questa CDC-门级验证

业界最有效的门级时钟域交叉验证解决方案

使用合成后的门级网表和在原始RTL上运行的来自Questa CDC的信息,Questa Signoff CDC验证解决方案自动生成并分析断言,以快速识别杀芯片故障和其他时钟域交叉(CDC)问题。不需要了解形式或属性规范语言。

28nm节点及以下的新风险

设计人员越来越多地使用先进的多时钟体系结构来满足其芯片的高性能和低功耗要求。具有多于一个时钟域的设计的RTL或门级仿真(即,RTL或门级仿真)。目前99%的设计)没有精确地建模与时钟域之间的数据传输相关的硅行为。结果,模拟不能准确预测硅的功能;因此,显示停止程序错误将逃逸。更糟的是,视情况而定带宽“在28nm节点处和下方减少,RTL-to-Gate合成可以创建由RTL CDC分析无法观察到的故障和CDC问题!!

明确地,RTL合成可以破坏校正电路(即。“分手”同步器添加到RTL中以消除在一个时钟域中产生而在另一个时钟域中消耗的信号组之间的CDC问题。RTL合成还可以不正确地实现相关的组合逻辑,并引入RTL级不存在的小故障。底线:在28nm以下,没有RTL和门级CDC分析,CDC病毒只有在实验室发现时才会为时已晚,需要重新旋转!!

图像
使用合成后的门级网表和在原始RTL上运行的来自Questa CDC的信息,Questa Signoff CDC验证解决方案自动生成和分析断言,以快速识别芯片杀手故障和其他时钟域交叉(CDC)问题。不需要了解形式或属性规范语言。

解决方案:Questa Signoff CDC分析

Questa Signoff CDC识别与实现过程创建的时钟域交叉问题有关的错误——或者中断同步器电路以消除CDC引起的亚稳定性问题,或者引入到合成逻辑中的信号故障。它通过优化用于栅极级分析的高级结构分析算法来完成,以及自动利用来自Questa CDC RTL分析的弃权和CDC路径信息来进行精确分析,“低噪声结果。与RTL CDC验证一样,这些问题不能通过包括仿真或静态时序分析(STA)的任何其他方法来检测。像这样的,为了安全起见,在28nm节点及其以下对每个网表掉落运行Questa Signoff CDC验证至关重要。

特征

  • 对自动生成的断言进行深入的形式化分析,集成结构,验证门级CDC结构的功能和形式化算法。将明确识别时钟选通的优化时钟分析引擎与优化的路径相关性和映射如何聚焦相结合,“低噪声结果
  • 与Questa CDC RTL验证应用程序紧密集成,重用所有在RTL级创建的CDC路径和放弃信息,以加速门级分析和显著减少“噪音”假底片
  • 自动识别在合成和实现过程中可能引入的小故障,包括静态-0,静态-1以及动态故障。此外,算法确认故障是否能够到达接收寄存器,确保仅报告功能路径上的故障
  • 集成GUI调试根源问题,与用于将CDC数据定向为定制报告的开放Tcl API相结合

效益

  • 直接生产力
    Questa Signoff CDC自动识别时钟和时钟分配策略,最小化设置时间。只需要阅读您的门级设计以及Questa CDC的RTL级结果,Questa Signoff CDC将查明所有潜在的门级CDC问题——不需要测试台。
  • 低噪声,高精度
    业界假警报最少,所以你不要浪费时间追逐无关紧要的事情,相反,可以快速根除原因和解决实际的设计缺陷
  • 简易设置
    直接重用Questa CDC RTL级别的设置信息,约束条件,放弃和结果。还支持自动SDC导入和调试以及.ty模型
  • 易用性
    自动推断时钟分组,重新分组属于CDC同步结构的逻辑,重新分组比特爆破防止多余违规报告的公交车。支持高级层次方法以最大化周转时间
  • 熟悉可视化
    以CDC为中心的分析和调试GUI适当地利用了熟悉的示意图和波形。另外,使用强大的Tcl API创建自定义报告
  • SoC级可伸缩性
    Questa CDC的高性能分析可以处理超过1亿个门设计,其分级能力允许无限的容量。
闲聊γ 接触