在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 6075|回复: 8

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

[复制链接]
发表于 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上。故有此求助,多谢大侠。
发表于 2012-6-19 11:28:07 | 显示全部楼层
如果是用DC综合,比formality时有没有读入svf文件?
要判断是否match不上,要先看下match结束后的summary report,check一下有多少是被reject,有多少点是unmatch的。
 楼主| 发表于 2012-6-19 14:11:53 | 显示全部楼层
回复 2# rk_yyf


    svf读了。关键是fomal停在match这一步继续不下去,显示matching…….自然也没有报告生成,看log中Guidance Summary倒是有几个rejected:8个merge,1个uniquify。
发表于 2012-6-19 15:32:26 | 显示全部楼层
打散不影响fm的,fm的match原理是从一个时序点到另外一个时序点,和模块层次无关

不过打散比较影响验证
发表于 2012-6-19 16:03:09 | 显示全部楼层
回复 1# wateralways

尽量不要打散,要在项目开始时划分时就做好模块划分!
 楼主| 发表于 2012-6-19 17:00:37 | 显示全部楼层
回复 5# coolmyp


    买来的IP。时序太差,不得已才打散的。
发表于 2012-6-19 21:24:35 | 显示全部楼层
哈哈。。。formality的match啊。。。哥万年的恨啊。。。一个小设计能matching...一个星期都出不来。。也不报错,就卡着。。。
 楼主| 发表于 2012-6-28 10:35:15 | 显示全部楼层
回复 7# dianyubaobei


    那么,后来怎么着了?
发表于 2014-6-7 15:42:15 | 显示全部楼层
要允许tool进步
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条


小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-11-8 11:09 , Processed in 0.024871 second(s), 7 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表