Questa®时钟域交叉(CDC)验证

奎斯塔疾病预防控制中心图标

业界最全面、最易使用的时钟域交叉验证解决方案

多时钟信号混合产生的亚稳态并没有通过仿真模拟得到。除非你充分利用,自动时钟域交叉(CDC)分析以识别和纠正问题区域,当芯片样本从晶圆厂返回时,不可避免地会遇到不可预测的行为。底线:自动CDC验证解决方案对于多时钟设计是强制性的。

好钟坏了

设计人员越来越多地使用先进的多时钟结构来满足芯片的高性能和低功耗要求。具有多个时钟域的设计的RTL或门级模拟无法准确捕获与时钟域之间数据传输相关的时间。因此,模拟不能准确预测硅的行为,关键的错误可能会逃过验证过程。

奎斯塔疾病预防控制中心
仅使用RTL(和UPF电源意向文件),Questa CDC解决方案自动生成和分析断言,以快速识别芯片杀死时钟域交叉(CDC)问题。结果也可以通过UCDB传输到主验证进度数据库。不需要了解形式或属性规范语言。

解决方案:Questa CDC验证

questa cdc解决方案识别与时钟域交叉点有关的错误——在一个时钟域中生成并在另一个时钟域中消耗的信号(或信号组)。通过对时钟域的结构分析和识别,同步器,和低功率结构(通过UPF);并生成亚稳态模型进行再验证。该技术检查所有潜在的故障模式,并向用户展示熟悉的示意图和波形显示。此外,与仿真相结合,该技术可用于将亚稳态注入到功能仿真中,以验证DUT正确处理异步时钟。

特征

  • 静态验证所有跨越异步时钟域边界的信号都由CDC同步器保护。
  • 检查设计中时钟域交叉(CDC)路径的完整性
  • 支持一组广泛的预定义和用户定义的CDC方案
  • 全面验证结构,所有方案的协议和再确认
  • 使用questa cdc和upf power intent文件验证引入低功率电路不会引入cdc问题。
  • 集成图形用户界面调试
  • 与Questa正式版紧密结合
  • 与IEEE标准UCBD集成/结果报告,以电子方式将进展和成功传达到主验证数据库中(通过验证经理

效益

  • 即时生产力:questa cdc自动识别您的时钟和时钟分配策略,最小化设置时间。只需阅读RTL设计和QuestaCDC就可以确定所有潜在的CDC问题——不需要测试台。
  • 易用性:Questa CDC支持Synopsys设计约束(SDC)格式约束用于时钟和端口域设置,并包括一个具有强大控制和报告功能的TCL脚本环境。
  • Low Noise高精度:行业中错误否定最少,所以你不会浪费时间去追求非问题。
  • 熟悉的可视化:以CDC为中心的分析和调试图形用户界面在适当的情况下利用熟悉的原理图和波形。
  • 低功率意向意识:在不修改的情况下重用UPF文件,以确保低功耗电路不会引入与CDC相关的问题。
  • SoC级可扩展性:QuestaCDC的高性能分析可以处理1亿个门设计,它的分级功能可以实现无限容量。
  • 与仿真的集中集成:专利权,自动亚稳态注射是发现复杂疾病控制中心再确认缺陷的唯一方法。
  • 验证管理:CDC协议和再确认验证(通过UCDB)的自动覆盖报告使您能够测量CDC验证进度和测试台相对于CDC协议的质量,有效管理整个验证过程。

注释

如果用户熟悉形式验证和SVA语法,他们想用Questa正式版更深入地调查特定的疾病预防控制中心问题,Questa正式版和Questa CDC之间的无缝集成正好支持这种详细的分析。最后,通过IEEE标准统一覆盖数据库(UCDB)的结果报告允许Questa CDC用户通过电子方式将他们的进展和成功与CDC分析交流到主验证数据库(VIA验证经理

闲聊γ 接触