尚未解决--PT产生的SDF文件中，hold time 没有按照lib中负值计算，不解，寻求帮助

uestc_apache · 发表于 2012-4-7 23:44:31

回复 1# haier822

我也遇到了楼主同样的问题。

1. 我用write_sdf -version 3.0 -include SETUPHOLD -context Verilog -no_edge 吐出sdf后，看到SETUPHOLD里，hold的值确实是负值。
2. 反标到netlist后，用nc跑simulation，发现NC仍然是把某个hold的负值解释为0，某个cell仍然是violation的。

何解？？
有高手能解答一下么？

michaelll · 发表于 2012-4-8 01:36:25

我想问一下，SDF反标0的话，对path上的timing有影响吗？

otogyg · 发表于 2012-4-8 04:58:57

回复 5# jun_dahai

你好，请教个问题。

个人理解，即使把hold的负值反标上去了，nc也只是在检查相应的时序时会用到这个值，
而不会在信号路径的延时里加上这一信息。

这样就导致仿真有可能的失败。

不知道是不是这样？

otogyg · 发表于 2012-4-8 05:09:45

回复 21# uestc_apache

我也是这个问题。貌似nc只是在检查时序用到这个值，我仿真nc没有报hold violation，但是功能就是不对。
然后trace到一个cell，在波形上看hold是不满足的。查pt的时候发现，该cell 的 path延时就没有把hold的
负值计算在内。

后来我就直接把库里面相应的cell中，$setuphold 给改了，加上相应的信息。

心里有点忐忑，不知道这么做合不合适啊。