在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 4063|回复: 9

[求助] CDC都是怎么检查的?

[复制链接]
发表于 2017-3-20 20:50:59 | 显示全部楼层 |阅读模式

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

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

x
跨时钟域的cdc都是如何检查的,原理是什么?
发表于 2017-3-20 21:58:35 | 显示全部楼层
发表于 2017-3-20 22:05:47 | 显示全部楼层
具体算法不清楚,感觉也是做了遍综合,然后就像你在dc 中 report timing path 一样,在节点和timing arc里检查cross domain
 楼主| 发表于 2017-3-21 15:34:49 | 显示全部楼层
回复 3# arthur_wang_orz


    我们要求“跨时钟路径,没有组合逻辑单元”,不得其解。检查靠人工,没有什么工具可以解决,可以直接report的
发表于 2017-3-21 21:29:24 | 显示全部楼层
The jasper_model_async_cdc_wire Proof Accelerator™ (PA) is an encrypted macro to model the effects of metastability and nondeterminism on asynchronous clock domain crossings (CDCs) in a design under verification (DUV). This modeling allows you to prove the functional correctness of your design even for cases where non-deterministic sampling of values between clock domains potentially causes problems. The PA is instantiated at the points where signals cross the clock domain boundaries and enables end-to-end (input to output) formal verification of your properties under all potential phase jitter conditions of completely asynchronous clocks.

所有Formal出身的公司都有工具检查,一抓一大把。
发表于 2017-3-21 22:14:46 | 显示全部楼层
CDC基本上前端来查,当然也有某些做得细的牛逼公司在STA阶段也搭flow来check.原理上就是吃rtl和power domain definition, 工具会在cross-domain的地方check有没有握手/sync cell/async fifo.
差不多这样吧。
发表于 2017-4-6 14:34:45 | 显示全部楼层
回复 4# 晴川

你这是检查信号是否都在本时钟域上reg out 才到异步时钟域上reg in,一般异步信号不是调用共用的同步单元来保证这个事情吗?
如果你们都是分散写的,CDC会把所有这些跨时钟域的Path都报出来的,然后你只能去一个个看了。


贡献个用DC做的思路,你试试把关注的时钟设为一个时钟group,但是不同的generated clk
然后去报彼此间的timing path,用脚本抓一下timing path里面的cell 除了buf外是否还有逻辑
 楼主| 发表于 2017-4-7 15:43:06 | 显示全部楼层
回复 7# arthur_wang_orz


    谢谢
发表于 2022-11-29 12:47:08 | 显示全部楼层
还是没有看懂
发表于 2023-3-2 05:34:14 | 显示全部楼层
ding........
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 00:35 , Processed in 0.028542 second(s), 6 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表