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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 5344|回复: 10

[求助] top module formality 求助

[复制链接]
发表于 2012-9-5 14:24:43 | 显示全部楼层 |阅读模式

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

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

x
采用bottom-up 综合,其中大部分sub module已经单独做过formality verification. 在做top module formality verification时由于太大了,服务器内存都用光了,跑不了。 该怎么做,请大虾指教, 谢谢!
发表于 2012-9-5 16:24:48 | 显示全部楼层
这问题,没遇到过,学习,学习。
发表于 2012-9-12 09:51:59 | 显示全部楼层
想问下,sub module如何加入top module formality verification的环境中???
就是sub module可以当做一个IP,那么如何将这个IP加入到top module的验证环境中去?
发表于 2012-9-12 09:59:04 | 显示全部楼层
加了SVF文件没有
 楼主| 发表于 2012-9-12 10:48:24 | 显示全部楼层
加了,但我是直接把所有sub module综合时的SVF文件跟top 的SVF文件都读了进去,SUB MODULE单独综合时的层次结构跟SUB MODULE在TOP里的层次是不同的,这样直接读进去是不是有问题?
 楼主| 发表于 2012-9-14 10:32:31 | 显示全部楼层
在formality ug 里只找到这个“For each automated setup
file that you load, Formality processes the content and stores the information for use during
the name-based compare point matching period. ”还是不知道层次结构改变对工具是否会有影响,请高手解惑
发表于 2012-9-14 14:16:23 | 显示全部楼层
最直接的升级电脑配置
发表于 2012-9-14 16:30:56 | 显示全部楼层
本帖最后由 clean_water 于 2012-9-14 16:32 编辑

回复 6# hollyz


    LZ解决了嘛?我也遇到了这个问题,也是sub module和top module一起做formality
但是在ug上没找到具体的作法,但是也是读取sub svf和top svf,然后再读取sub module和top module,
但是ug上没说明,感觉做起来心里就不是很有底~~
 楼主| 发表于 2012-9-17 17:29:42 | 显示全部楼层
我还没搞定,TOP综合优化掉的一些地方报FAILED, 照理说TOP的SVF里有这些优化的信息,应该能PASS才对.楼上的这样读SVF结果怎么样? 我TOP的网表有点问题,后面收动改了一下,请问这样会不会对FV有影响?
发表于 2012-9-18 20:09:50 | 显示全部楼层
本帖最后由 clean_water 于 2012-9-18 20:10 编辑

回复 9# hollyz


    手动改的话毕竟还是不放心,读取svf文件还没试过。不过有人给我建议这个流程,由于现在项目的前端没做好,我暂时还没机会试这个流程。你可以试试,然后再交流下心得啊~~~

set_svf low.svf
set_svf top.svf -app
read_verilog -r ....
read_verilog -i ...
match
verify
debug
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

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

GMT+8, 2024-11-5 22:07 , Processed in 0.023523 second(s), 8 queries , Gzip On, Redis On.

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