找回密码
 注册

手机号码,快捷登录

手机号码,快捷登录

查看: 7894|回复: 5

[求助] 同样的dc 和formality脚本, 综合两个design ,formality一个ok,一个fail。为何??

[复制链接]
发表于 2010-9-27 17:03:30 | 显示全部楼层 |阅读模式

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

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

×
我用同样的dc 和formality脚本, 综合两个design ,formality一个ok,一个fail。为何??

fm通过的没有做postsim。
fm未通过的做postsim, 功能不对。


我猜想可能是dc中的一些命令导致的:
1,我用的是compile_ultra.而不是 compile
2,dc里面用了:simplify_constants -boundary_optimization
3,remove_unconnected_ports [get_cells -hier *]
remove_unconnected_ports [get_cells -hier *] -blast_buses

请问这些会造成综合处问题吗??
发表于 2010-10-19 10:52:25 | 显示全部楼层
具体问题具体对待,你得通过fm找到为什么通不过的原因,像compile_ultra之类的命令是没有问题的,我也使用过。
回复 支持 反对

使用道具 举报

发表于 2010-10-19 14:58:01 | 显示全部楼层
我是菜鸟
回复 支持 反对

使用道具 举报

发表于 2010-10-22 13:42:54 | 显示全部楼层
要读入svf
回复 支持 反对

使用道具 举报

发表于 2011-8-19 15:13:04 | 显示全部楼层
你的compile_ultra的license是买的吗?
回复 支持 反对

使用道具 举报

发表于 2013-2-27 18:14:03 | 显示全部楼层
问题表述的不清楚~是对两个design进行比对,还是各自进行代码和网表比较~哪些命令没什么问题,不知道你的意思是对什么产生影响,dc不是都通过了么
回复 支持 1 反对 0

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

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

GMT+8, 2026-1-16 08:45 , Processed in 0.056068 second(s), 7 queries , Gzip On, Redis On.

Powered by Discuz! X3.5

© 2001-2026 Discuz! Team.

快速回复 返回顶部 返回列表