欢迎来到尧图网

客户服务 关于我们

您的位置:首页 > 财经 > 产业 > spyglass关于cdc检测的一处bug

spyglass关于cdc检测的一处bug

2024/10/27 12:17:25 来源:https://blog.csdn.net/weixin_47349046/article/details/143243949  浏览:    关键词: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却报了同步,个人认为时不合理的,是一处隐患。

版权声明:

本网仅为发布的内容提供存储空间,不对发表、转载的内容提供任何形式的保证。凡本网注明“来源:XXX网络”的作品,均转载自其它媒体,著作权归作者所有,商业转载请联系作者获得授权,非商业转载请注明出处。

我们尊重并感谢每一位作者,均已注明文章来源和作者。如因作品内容、版权或其它问题,请及时与我们联系,联系邮箱:809451989@qq.com,投稿邮箱:809451989@qq.com