急！！STA和形式验证都过了，后仿却报出了关于recrem的时序违例

fangwang85 · 发表于 2021-2-25 08:42:59

jake 发表于 2021-2-24 22:43
是的，经典做法

受教谢谢

马工 · 发表于 2022-2-12 14:08:35

本帖最后由马工于 2022-2-12 14:17 编辑

1111111111111111111111111111111111111

saicom · 发表于 2022-4-12 14:42:25

学习学习

easonjake333 · 发表于 2024-6-13 14:53:53

本帖最后由 easonjake333 于 2024-6-13 16:26 编辑

thjan65 发表于 2020-11-14 20:39
$recrem( posedge CDN:4000799, posedge CP:4000441, limits: (-71,706) );表示min: -71ps, max:706ps, 但 ...

这个是不是违反了recovery，应该是在复位信号到来的前706ps到前71ps之间clk不能跳变，但是这里在前358ps时钟上升沿就已经到了，所以出现了违例。（最近刚刚了解这部分知识，如有不对，还请大佬指正）

mrmx · 发表于 2024-6-20 21:12:27

jake 发表于 2020-11-15 22:07
经过两个flop, 最后出来的作为“全局”复位。这个“全局”只限同一个时钟域 -- 这两个flop用哪个时钟， ...

最近学习到的设计，确实是这样的

IC菜鸟无敌 · 发表于 2024-8-2 17:47:29

本帖最后由 IC菜鸟无敌于 2024-8-2 17:48 编辑

phoenixson 发表于 2020-11-16 08:14
除此之外还要看timing_disable_removal_recovery_check 是否已经打开，这里看应该是没有打开 ...

timing_disable_removal_recovery_check默认不打开吧，本来就是要不打开

[求助] 急！！STA和形式验证都过了，后仿却报出了关于recrem的时序违例