后端几个不明白的问题和不确定的问题。

yua123

看到有资料是这样说的：1.CTS之后还要做formality，是CTS之后的网表和综合之后的网表的formality。实际的项目中也是这样吗？2.DC之后要做STA，如果STA时序违规要重新综合。问题1是：这里的时序违规是要setup和hold都看还是像CTS之前的STA只看setup，毕竟hold还是比较好修的。问题2是：DC之后的STA如果有时序违规必须要重新综合吗？还有没有其他方法？

3.DC综合之后要吐出一个SDC约束文件，用于APR的需要。那么这个文件和DC综合时的输入SDC约束文件有啥区别？我的理解是没区别，所以不用输出。不知道理解对不？？
4.DC之后还要吐出一个SDF延时文件，用于DC后的STA。因为这个文件只有cell的延时信息，无net的延时信息。那DC后的STA只用了cell的延时信息吗？还是要去估算一个net的延时信息，两个信息一块才能做DC后的STA？
5.placement之后和CTS之后都要做STA吗？

希望大神帮忙回答一下。。

danzhang

我是菜鸟，简单的回答下第五个问题：placement和CTS之后都要做STA，不同的是placement之后只要做setup,这时候检查hold没什么意义，而CTS之后setup和hold都要做。一般每一个稍微重要的步骤过后都要做下STA以检查这个步骤做的怎么样。
第四个问题：DC之后的SDF文件只有cell的延迟信息，没有net的延迟信息，这时候做STA，肯定是要拿WLM来估算一下net的延时的，两者加起来一起做STA.
第三个问题：（猜的），因为SDC约束文件相当于一个时序标准，在做DC过后，如果发现这个标准不合理，可以修改下SDC输出。

yua123

回复 2# danzhang


   第四个问题后面看到有资料和你说的一样。其他两个问题我还是赞同你的回答。谢谢啦！

yua123

回复 3# yua123


   还有一个问题请教：sdf文件和spef文件的区别？我的理解是sdf文件里面只有cell的延时信息，且cell延时信息是真实的。如果要做STA的话需要的net信息是wire load估算的，但是这个估算的net信息是在SDC约束文件里面的，不在sdf文件文件里面。
但是spef文件的话，是通过starRC抽取的真实的RC参数，是包含net的延时信息，但是不包含cell的延时信息。
总结之后就是说routing之前的STA输入的cell和net延时信息要通过sdf和SDC两个文件得到，routing之后STA的延时信息要通过sdf和spef两个文件得到。  这样理解对吗？

yua123

回复 2# danzhang


      还有一个问题请教：sdf文件和spef文件的区别？我的理解是sdf文件里面只有cell的延时信息，且cell延时信息是真实的。如果要做STA的话需要的net信息是wire load估算的，但是这个估算的net信息是在SDC约束文件里面的，不在sdf文件文件里面。
但是spef文件的话，是通过starRC抽取的真实的RC参数，是包含net的延时信息，但是不包含cell的延时信息。
总结之后就是说routing之前的STA输入的cell和net延时信息要通过sdf和SDC两个文件得到，routing之后STA的延时信息要通过sdf和spef两个文件得到。  这样理解对吗？

Zongxiao

DC吐出来的sdc似乎是将约束反标到了网表里了。

skew

回复 2# danzhang

赞同。

xingyun666666

回复 2# danzhang

您好，我有个疑问：
做placement时只设置分析setup的scenario，而在CTS之前要设置分析setup和hold的scenario？是这样吗？

mnluan

在我们的signoff流程中formality是要做的。因为曾经出现过CTS时，工具加入的inv不是成对的。当时是从后仿中发现出问题了。当然这种情况只出现过一次。。

Lover_Momo

讲道理来说，每动一次网表都要做formality的。