spyglass关于cdc检测的一处bug

最近在使用22版spyglass的cdc检测功能,发现struct_check的cdc检测实际时存在一些bug的。

构造如下电路,当qualifier和destination信号汇聚时,如果des信号完全将qualifier gate住,sg仍然会报ac_sync。当然此问题可以通过后续function_check的ac_datahold rule检测出来。但是个人认为报ac_sync仍然是不合理的。


其中q02为同步后的qualifier,des为desnation时钟域信号,src为源时钟域clk0的信号。

上面电路,sig0 = q02  || des || !des为常值1,那么src信号永远不能被gate住。sg却报了同步,个人认为时不合理的,是一处隐患。

上一篇:江协科技STM32学习- P21 ADC模数转换器


下一篇:MySQL 篇 - 深入了解视图与 SQL 优化