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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 3190|回复: 3

[求助] formality问题求助!!

[复制链接]
发表于 2015-5-2 16:22:35 | 显示全部楼层 |阅读模式

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

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

x
客户给出了一个IP的DDC文件,在综合时直接读入该ddc,写出whole chip的netlist文件。
在做formality时,将我们设计的RTL和客户的DDC读入作为ref,将综合出的netlist做为imp,
进行到verify时,总是报如下错误:
Error: The reference container has DDC design (s) with unmapped operators. (FM-396).

另:为了检查客户的DDC,用dc_shell读入该ddc后,直接写出verilog文件,可以看出是gtech格式的,包含
GTECH_OR2, SEQGEN, SELECT_OP......。怀疑是用到了DesignWare的内容。是不是在formality时需要设置参数啊?

请大拿指点迷津啊!
发表于 2015-6-5 22:54:36 | 显示全部楼层
lib里没包括dw吧。。
发表于 2015-12-16 17:10:05 | 显示全部楼层
楼主问题解决了嘛
发表于 2020-7-28 17:53:46 | 显示全部楼层
遇到同样问题,请问怎么解决的
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

×

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

GMT+8, 2024-5-3 01:10 , Processed in 0.022954 second(s), 8 queries , Gzip On, Redis On.

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