后仿sdf反标recrem违例

anpengfei · 发表于 2021-2-2 16:01:21

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

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

x

求助大佬们，后仿时出现recrem违例：

sdf中：

库.v：

波形：

从波形看CLKA和CLKB是同步的，是不是就不用检查recovery和removal？综合或者PT时把它们当成异步的了？这该怎么分析呢？

fhy420462303 · 发表于 2021-2-3 10:36:46

本帖最后由 fhy420462303 于 2021-2-3 10:38 编辑

一般情况下recrem检测的是时钟和复位的关系，不是check你两个时钟之间的问题的。顺便问一下 PT的时候removal_recovery_check有打开吗？？？

anpengfei · 发表于 2021-2-3 10:39:56

fhy420462303 发表于 2021-2-3 10:36
recrem检测的是时钟和复位的关系，不是check你两个时钟之间的问题的。顺便问一下 PT的时候removal_recovery ...

PT后端做的，我也不清楚有没有打开，我回头问下，哦哦recrem是检测时钟和复位的，但是这里为啥是CLKA和CLKB？

fhy420462303 · 发表于 2021-2-3 10:50:09

你这个应该是MEM的需求吧，看起来check的是CLKA上升沿和CLKB&&BbeforeA之间的时序关系！
意思就是在CLKA上升沿的时候会检测BbeforeA为高且CLKB上升沿的关系。
也可以理解为BbeforeA为高的时候会check CLKA上升沿和CLKB上升沿的关系。
需要check一下会不会出现这种情况！

anpengfei · 发表于 2021-2-3 11:06:13

fhy420462303 发表于 2021-2-3 10:50
你这个应该是MEM的需求吧，看起来check的是CLKA上升沿和CLKB&&BbeforeA之间的时序关系！
意思就是在CLKA上 ...

‘嗯是个dpram，我去check下需不需要recrem检查，谢谢大佬

anpengfei · 发表于 2021-2-3 12:06:03

fhy420462303 发表于 2021-2-3 10:50
你这个应该是MEM的需求吧，看起来check的是CLKA上升沿和CLKB&&BbeforeA之间的时序关系！
意思就是在CLKA上 ...

看了代码，设计把dpram用成了sdpram，所以mem里这块CLKA和CLKB的recrem检查应该可以ignore

garails · 发表于 2024-3-29 17:13:44

anpengfei 发表于 2021-2-3 12:06
看了代码，设计把dpram用成了sdpram，所以mem里这块CLKA和CLKB的recrem检查应该可以ignore
...

大佬，所以是sram不用做这个clka和clkb的recrem检查？

anpengfei · 发表于 2024-4-2 10:37:45

garails 发表于 2024-3-29 17:13
大佬，所以是sram不用做这个clka和clkb的recrem检查？

不是啊，我这个是dual-port ram设计成了single-port ram，所以clk_A和clk_B是同一个时钟，它们两之间的检查肯定可以忽略
而且recrem是检查reset和clk之间的关系，我不清楚为啥我这里会报两个clk之间，可能是后端弄错了？

sram的recrem肯定要检查的

[求助] 后仿sdf反标recrem违例

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

站长推荐 /2