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

liuyangqwin2

回复 5# jun_dahai


    您好，您所说的我有点不明白，限制值是什么意识？还有您是如何确认“SETUP和HOLD这两个时序描述符不支持负值，如果限制值是负值的话，仿真工具会直接当成0处理”？仿真工具会直接当成0处理？

jun_dahai

回复 11# haier822


    第一个问题，能写出来不代表就是支持，关于$setup、$hold和$setuphold（或者$recovery、$removal和$recrem）是如何描述时序关系的，请参阅相应语法，这个就是常规规定，不是我要说它支持或者不支持的

    第二个问题，我习惯的用法是astro工具导出spef文件，使用star-rc工具提取sdf

jun_dahai

回复 12# liuyangqwin2


    比如说，library中规定DFFX1单元时钟的建立时间为2ns，那么该单元setup time limit value is 2ns

    关于当成0处理，可以查看仿真的log file，应该是工具的默认处理方式

walliamaa

   

首先，SETUP和HOLD这两个时序描述符不支持负值，如果限制值是负值的话，仿真工具会直接当成0处理

其次， ...
jun_dahai 发表于 2012-1-20 10:06

                               
登录/注册后可看大图

    五楼正解，学习了

apachee

5楼很强大，正解！

uestc_apache

回复 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

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

otogyg

回复 5# jun_dahai


    你好，请教个问题。

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

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

不知道是不是这样？

otogyg

回复 21# uestc_apache


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

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

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

jun_dahai

回复 21# uestc_apache


    试试VCS