关于spyglass检查CDC的问题

ltdxes · 发表于 2018-1-30 17:07:40

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

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

x

本帖最后由 ltdxes 于 2018-1-30 17:09 编辑

未命名1517302807.png

小白刚用两天spyglass，在做CDC检查时，出现如图的情况，spyglass检测到存在跨时钟域的电路，而toggle_sync_dest本身就是一个同步器，请问这种情况可以通过qualifier这个命令消除吗？

churchmice · 发表于 2018-1-30 18:14:29

正确的做法应该是首先告诉spyglass哪些是sync cell，不然一个个撸太麻烦

ltdxes · 发表于 2018-1-30 21:28:28

回复 2# churchmice

我查了下，好像综合后可以用sync_cell 告诉spyglass，还有一种需要用qualifier约束，我是这样写的：qualifier -name "top.*.toggle_sync_dest" -from_clk "clk1" -to_clk "clk2"，但spyglass好像没有识别这个cell，请问这种用法有没有问题

秋水有恒 · 发表于 2022-6-9 14:19:49

ltdxes 发表于 2018-1-30 21:28
回复 2# churchmice

请问一下，你这个问题后来解决了吗？我也试了qualifier 但是好像没有生效，是怎么回事？

zywttt · 发表于 2024-9-16 23:17:20

设计是不正确的，存在问题，不能有rtlc_138这个与门

西梅 · 发表于 2024-9-17 13:37:01

同意楼上，跨时钟域输入信号最好是寄存器输出，不能是组合逻辑信号

IC_Kun · 发表于 2024-9-21 16:38:00

我做CDC也比较少，但看起来qualifier约束的对象层次好像只有目的时钟域，源时钟域没包含进来，是不是要改成wrptr_2_rd_syn2r

[求助] 关于spyglass检查CDC的问题

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

站长推荐 /2