icon基础信息
功能分类 EDA电子设计自动化 - - -
产品简介

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

 - - -
制造商Siemens Digital Industries Software 西门子数字工业软件 - - -
原产地德国 > 慕尼黑 - - -
授权方式 - - - -
发布时间2023年 - - -
详情
查看详情 > 
 - - -

icon功能配置
功能模块- - - -
展开 

icon参考价格
价格- - - -

icon软件界面
界面- - - -

icon特点优势
特点

1、通过分析RTL设计，自动识别时钟树信息，如内部时钟和门控时钟；

2、支持结构化的，ad-hoc和用户自定义的亚稳态同步器类型；

3、通过分析RTL设计，自动识别缺失亚稳态同步器和例化了错误的亚稳态同步器问题；

4、通过分析RTL设计，针对所有跨时钟域信号，自动产生并自动例化亚稳态同步器Ь议检测器断言内容；

5、通过分析RTL设计，自动识别跨时钟域信号的再收敛问题，避免由于亚稳态效应导致跨时钟域信号相位相对变化导致的功能出错；

6、结合利用原有的验证激励自动统计CDC断言的验证覆盖率；结合利用Questa Formal 形式验证引擎可以发现仿真器引擎没有发现的跨时钟域信号传输问题；

 - - -
展开 

icon典型客户
客户- - - -

icon软件供应商
供应商 - - -

注：软件功能配置信息仅供参考，实际功能配置信息以真实软件为准，解释权归软件制造商所有。