有个疑问求助：Sypglass CDC的Warning:Gray encoding check: 'Partially-Proved'

宋晨 · 发表于 2016-12-9 18:20:42

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

最近在用Spyglass做一个模块的CDC检查，
在异步FIFO的指针，Clock Domain Crossing的时候，
已经使用了Gray Code.
但是，SpyGlass还是会报Ac_conv02，Convergence 的Warning：
Gray encoding check: 'Partially-Proved'
Gray码被部分证明？？

宋晨 · 发表于 2016-12-9 18:25:50

走过路过，留下你的足迹~~~

宋晨 · 发表于 2016-12-12 09:12:36

顶一下~~~

宋晨 · 发表于 2016-12-13 17:48:56

再顶一下~~~

prabakaran_1234 · 发表于 2019-5-19 01:23:14

I dont know the answer

prabakaran_1234 · 发表于 2019-5-19 02:15:44

thanks for the attachment

DDQ01 · 发表于 2020-2-12 16:08:14

楼主解决了吗？我也遇到这个问题

宋晨 · 发表于 2022-2-13 19:11:25

DDQ01 发表于 2020-2-12 16:08
楼主解决了吗？我也遇到这个问题

没有解决

夏尔 · 发表于 2022-2-14 17:23:48

宋晨发表于 2022-2-13 19:11
没有解决

这么多年过去了还没有解决么

宋晨 · 发表于 2022-3-1 21:45:21

夏尔发表于 2022-2-14 17:23
这么多年过去了还没有解决么

是。以前的公司不care这些工具的结果，我们自己从设计的角度看到，是没有问题的

[求助] 有个疑问求助：Sypglass CDC的Warning:Gray encoding check: 'Partially-Proved'

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

站长推荐 /2