EETOP TI社区
EETOP 赛灵思社区
TI 信号链
IC设计制造 FPGA论坛 FPGA资料 模拟IC设计 模拟IC资料 测试及验证 TI资料分享 MATLAB论坛 MATLAB资料 电源设计 电源资料
汽车电子 医疗电子 ARM论坛 ARM资料 MCU论坛 MCU资料 电路设计 电路资料 射频论坛 射频资料 LabVIEW
返回列表 发帖

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

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

跨时钟域的cdc都是如何检查的,原理是什么?

TOP

具体算法不清楚,感觉也是做了遍综合,然后就像你在dc 中 report timing path 一样,在节点和timing arc里检查cross domain
1

TOP

回复 3# arthur_wang_orz


    我们要求“跨时钟路径,没有组合逻辑单元”,不得其解。检查靠人工,没有什么工具可以解决,可以直接report的

TOP

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出身的公司都有工具检查,一抓一大把。

TOP

CDC基本上前端来查,当然也有某些做得细的牛逼公司在STA阶段也搭flow来check.原理上就是吃rtl和power domain definition, 工具会在cross-domain的地方check有没有握手/sync cell/async fifo.
差不多这样吧。

TOP

返回列表

站长推荐 关闭


TI Signal chain推荐

欢迎访问 TI Signal chain


查看