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却报了同步,个人认为时不合理的,是一处隐患。