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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 14858|回复: 20

formality中designware 的问题

[复制链接]
发表于 2009-9-29 17:26:55 | 显示全部楼层 |阅读模式

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

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

x
请问在做formal check时,大家有没有遇到这样的问题:
1. svf 文件中有multiplier reject的信息;
2. Failed points 绝大多数是跟designware DW02_tree相关的register;
3. fm中对于designware 只有如下设置:set hdlin_dwroot "/proj/caeeda/SYNOPSYS/SYN/2009.06"

ps: formality 版本2009-06-sp1,netlist里design ware 被打散了。。。



大家讨论讨论,想了半天没头绪。
 楼主| 发表于 2009-9-30 09:17:45 | 显示全部楼层
自己顶一下
发表于 2009-9-30 19:41:04 | 显示全部楼层
帮你顶一下吧
Formality怎么装?
发表于 2010-1-16 17:41:03 | 显示全部楼层
etope
发表于 2010-1-16 17:44:39 | 显示全部楼层
eetop
发表于 2010-1-16 17:46:57 | 显示全部楼层
eetop
发表于 2010-2-1 20:05:32 | 显示全部楼层
........
发表于 2010-2-1 23:31:00 | 显示全部楼层
dw也是synopsys的,formality也是synopsys的,竟然还比不过,只能说工具是垄断产物,烂啊
发表于 2010-3-6 20:45:32 | 显示全部楼层
对于乘法器,注意设置当前乘法器调用单元的ungroup和retime,
try。
发表于 2010-3-7 14:10:51 | 显示全部楼层
好东西啊,谢谢啊
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-12-23 08:12 , Processed in 0.028755 second(s), 8 queries , Gzip On, Redis On.

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