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