Questa CDC 跨时钟域验证工具

制造商：Mentor Graphics
Questa CDC （原0-in CDC）是全面解决跨时钟域验证的高度自动化解决方案，避免了传统的人工检查亚稳态问题的工作，它采用多种技术发现并确认所有的跨时钟域亚稳态问题，自动分析设计并确认可能导致亚稳态问题的信号，避免跨时钟域信号传输丢失，避免由于亚稳态效应导致跨时钟域信号相位相对变化导致的功能出错，从而保证验证的完备性。

主要特性：

• 通过分析RTL设计，自动识别时钟树信息，如内部时钟和门控时钟；
• 支持结构化的，ad-hoc和用户自定义的亚稳态同步器类型；
• 通过分析RTL设计，自动识别缺失亚稳态同步器和例化了错误的亚稳态同步器问题；
• 通过分析RTL设计，针对所有跨时钟域信号，自动产生并自动例化亚稳态同步器Ь议检测器断言内容；
• 通过分析RTL设计，自动识别跨时钟域信号的再收敛问题，避免由于亚稳态效应导致跨时钟域信号相位相对变化导致的功能出错；
• 结合利用原有的验证激励自动统计CDC断言的验证覆盖率；
• 结合利用Questa Formal 形式验证引擎可以发现仿真器引擎没有发现的跨时钟域信号传输问题；