Questa®签署CDC

Questa CDC–门级验证

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

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

28纳米及以下节点的新风险

设计人员越来越多地使用先进的多时钟结构来满足芯片的高性能和低功耗要求。具有多个时钟域(即目前99%的设计)没有准确地模拟与时钟域之间数据传输相关的硅行为。因此,模拟不能准确预测硅的功能性;因此显示阻止程序的错误会逃逸。更糟的是,作为可用的”带宽“在28nm及以下节点处减小,RTL-to-gate合成可以产生故障和CDC问题,这些问题在RTL-CDC分析中是不可观察的!!

明确地,RTL合成可以破坏校正电路(即“分手”同步器添加到RTL中以消除在一个时钟域中生成并在另一个时钟域中消耗的信号组之间的CDC问题)。RTL合成还可以不正确地实现相关的组合逻辑,并引入RTL层次上不存在的问题。底线:28纳米及以下,没有RTL和门级CDC分析,CDC的错误只有在实验室里发现的时候,它太晚了,需要重新旋转!!

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

解决方案:Questa签署CDC分析

questa signoff cdc识别出与实施过程中产生的时钟域交叉问题有关的错误——或者破坏消除cdc引起的亚稳态问题所需的同步器电路,或信号故障引入合成逻辑。它采用了先进的结构分析算法,优化了门级分析,以及自动利用Questa CDC RTL分析中的弃权和CDC路径信息进行严格分析,“低噪声结果。与RTL CDC验证一样,这些问题不能被任何其他方法检测到,包括模拟或静态定时分析(STA)。像这样的,在28纳米节点及其下方,对每个netlist放置点进行questa签准cdc验证是非常重要的,以确保安全。

特征

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

效益

  • 即时生产力
    Questa Signoff CDC自动识别时钟和时钟分配策略,最小化设置时间。只需阅读你的门级设计以及Questa CDC的RTL级结果,Questa签核CDC将确定所有潜在的门级CDC问题——不需要测试台。
  • 低噪声,高精度
    行业中错误警报最少,所以你不会浪费时间去追求非问题,相反,它可以快速找到原因并解决实际的设计缺陷
  • 简易设置
    直接重复使用questa cdc rtl级别设置信息,约束条件,弃权和结果。还支持自动SDC导入和调试以及Liberty模型。
  • 易用性
    自动推断时钟分组,属于CDC同步结构的重新分组逻辑,重新分组任何“比特爆破用于防止冗余违规报告的总线。支持先进的分层方法,最大限度地延长周转时间
  • 熟悉的可视化
    以CDC为中心的分析和调试图形用户界面在适当的情况下利用熟悉的原理图和波形。另外,使用强大的TCL API创建自定义报告
  • SoC级可扩展性
    Questa CDC的高性能分析可以处理超过1亿个门设计,其层次结构功能可以实现无限容量。
闲聊γ 接触