时钟域交叉(CDC)

Questa®业界最全面和最易使用的时钟和重置域交叉验证。

Questa正式验证流程
Questa正式验证流程

设计人员越来越多地使用先进的多时钟和复位信号分配架构来满足高性能的要求,低启动延迟,以及对芯片的低功耗要求。Questa®时钟域交叉(CDC)和Questa®重置检查验证解决方案侧重于时钟域或重置域之间的交互,而这些交互仅仅是基于模拟的验证技术无法处理的。

效益

  • 即时生产力:questa cdc自动识别您的时钟和时钟分配策略,最小化设置时间。只需阅读RTL设计和QuestaCDC就可以确定所有潜在的CDC问题——不需要测试台。
  • SoC级可扩展性:高性能分析可以处理1亿个门设计,其分级功能可以实现无限容量
  • Low Noise高精度:全面识别所有信号问题,在行业中产生最少的错误否定,这样你就不会浪费时间去追求非问题。
  • 易用性:全自动分析流程——不了解属性规范语言,正式的,或者需要基于断言的验证技术。调试GUI在适当的情况下利用熟悉的示意图和波形,以及具有强大控制和报告功能的TCL脚本环境。

产品

Questa时钟域交叉(CDC)

questa cdc识别与时钟域交叉相关的错误——在一个时钟域中生成并在另一个时钟域中消耗的信号(或信号组)。通过对时钟域的结构分析和识别,同步器,和低功率结构(通过UPF);并生成亚稳态模型进行再验证。

Questa重置检查

Automated Questa Reset Check应用程序旨在自动采用正式分析来全面识别设计中的重置信号结构问题。具体来说,以RTL作为输入,questa reset check自动执行详尽的,自下而上的重置树分析,然后自动生成并证明包含许多重置特定结构检查的断言。

Questa签署CDC验证

questa signoff cdc确定了与实施过程中产生的时钟域交叉问题有关的错误,即消除cdc引起的亚稳态问题所需的同步器电路中断,或信号故障引入合成逻辑。

闲聊γ 接触