Encounter插入了时钟树后怎样反标注到DC进行STA？

xujie06023613 · 发表于 2011-4-22 17:29:26

貌似可以的，没试过~~~

power9 · 发表于 2011-5-12 11:28:24

学习。。。。

愚人ぅ林 · 发表于 2011-5-13 22:22:06

lvs比对的是版图和网表的一致性，你需要的寄生参数，可以由pr工具提取然后跑一遍PT,至于你说的自己和自己比对的问题，你可以跑一变formality...

wsysm525 · 发表于 2011-9-13 16:40:01

spef文件如何得到？

icfbicfb · 发表于 2011-9-13 17:05:39

dc只管综合吧，到了place&route之后，基本靠pt分析timing了，

就是encounter 后面道出post layout verilog(经过了很多时序优化，cts等），

然后qrc,fire&ice , starxt 抽取 spef 寄生参数文件，

pt 读入这个.v , spef 进行post layout STA ，

formal verification也是基于这个.v 和 pre-pr 的.v 比（即做综合之后的），

lvs 可能比这个.v 更多东西，比如一些physical only cell ,只要有gate的，也含在该网表里面，
比如decap , dummy cell等

joemool · 发表于 2011-9-24 16:21:47

Formality？

Langjityb · 发表于 2011-10-1 14:21:38

学习学习！

混乱三千年 · 发表于 2011-10-18 19:30:24

用formality吧

小鱼咕噜咕 · 发表于 2016-11-9 17:23:27

xuexixuexi

[求助] Encounter插入了时钟树后怎样反标注到DC进行STA？

浏览过的版块

站长推荐 /1