此外,当将coherence _check_type参数设置为reset时,Ac_conv规则会执行复位控制同步器的收敛性和一致性检查,如下图所示。 FIGURE 5. Convergence Issues of Reset Control Synchronizers 有关此类违规类型的信息,请参见Ac_conv01、Ac_conv02、Ac_conv03、Ac_conv04和Ac_conv05。 有关调试此类问题的信息,请参阅Deb...
技术标签:Spyglass数字电路spyglass跨时钟域CDC检查 文章目录 AC_cdc01a AC_datahold01a AC_conv02/04/05 AC_fifo01 AC_handshake01/02 本篇介绍CDC检查最后一个过程CDC_verify(functional cdc checks)。主要检查:a)数据完整性;b) 格雷码编码;c) FIFO上溢或下溢;d) 握手协议。 上一篇:Spyglass之CDC检查(4) ...
• Ac_sync_group Rule violations; ruleAc_unsync01(for scalar unsync) 和Ac_unsync02(for vector data unsync), 增加constraint或设置cdc_false_path,不要考waive来修,也可以定义static,quasi-static来解决. • Convergence violations: ruleAc_conv01,Ac_conv02,Ac_conv03,Ac_conv04 and Ac_conv05....
CDC checks • Verify data integrity/loss • Verify gray encoding • Verify FIFO over/underflow • Verify handshake protocol Clock_info03a Clock_info05/a/b Clock_info18 Ac_unsync01/02 Ac_sync01/02 Ar_async* Clock_sync05/06 Ac_conv01/02/03 Setup_quasi_static Ac_glitch03 Ac_cdc...