针对打散综合到网表，RTL2SYN formality如何才能match上

wateralways · 发表于 2012-6-19 09:55:46

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

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

x

代码层次是这样的
TOP_WRAP
   |----U_TOP
         |----U_brg1
         |----U_brg2
         |----U_fuction
综合时这样设置了：
ungroup U_TOP/U_fuction -flatten
拿得到的综合网表和RTL代码做形式验证，到matching一步就无法继续下去。我估计可能是因为U_fuction这个层次被打散了，命名规则和brg1、brg2、RTL不一致，所以无法match上。故有此求助，多谢大侠。

rk_yyf · 发表于 2012-6-19 11:28:07

如果是用DC综合，比formality时有没有读入svf文件？
要判断是否match不上，要先看下match结束后的summary report，check一下有多少是被reject，有多少点是unmatch的。

wateralways · 发表于 2012-6-19 14:11:53

回复 2# rk_yyf

svf读了。关键是fomal停在match这一步继续不下去，显示matching…….自然也没有报告生成，看log中Guidance Summary倒是有几个rejected：8个merge，1个uniquify。

yhang0 · 发表于 2012-6-19 15:32:26

打散不影响fm的，fm的match原理是从一个时序点到另外一个时序点，和模块层次无关

不过打散比较影响验证

coolmyp · 发表于 2012-6-19 16:03:09

回复 1# wateralways

尽量不要打散，要在项目开始时划分时就做好模块划分！

wateralways · 发表于 2012-6-19 17:00:37

回复 5# coolmyp

买来的IP。时序太差，不得已才打散的。

dianyubaobei · 发表于 2012-6-19 21:24:35

哈哈。。。formality的match啊。。。哥万年的恨啊。。。一个小设计能matching...一个星期都出不来。。也不报错，就卡着。。。

wateralways · 发表于 2012-6-28 10:35:15

回复 7# dianyubaobei

那么，后来怎么着了？

orphan · 发表于 2014-6-7 15:42:15

要允许tool进步

[求助] 针对打散综合到网表，RTL2SYN formality如何才能match上

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

相关帖子

站长推荐 /1