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

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

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

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

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

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

软件供应商和服务商