formality中designware 的问题

llot · 发表于 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 被打散了。。。

大家讨论讨论，想了半天没头绪。

llot · 发表于 2009-9-30 09:17:45

自己顶一下

detonator · 发表于 2009-9-30 19:41:04

帮你顶一下吧
Formality怎么装？

kajaljain · 发表于 2010-1-16 17:41:03

etope

kajaljain · 发表于 2010-1-16 17:44:39

eetop

kajaljain · 发表于 2010-1-16 17:46:57

eetop

bx2008 · 发表于 2010-2-1 20:05:32

........

阿基里奥斯 · 发表于 2010-2-1 23:31:00

dw也是synopsys的，formality也是synopsys的，竟然还比不过，只能说工具是垄断产物，烂啊

bluegge · 发表于 2010-3-6 20:45:32

对于乘法器，注意设置当前乘法器调用单元的ungroup和retime，
try。

cstpope · 发表于 2010-3-7 14:10:51

好东西啊，谢谢啊

formality中designware 的问题

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

相关帖子

站长推荐 /2