关于FORMALITY的一个问题

hetianyu2012 · 发表于 2016-3-7 16:50:08

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

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

x

各位大神好：             最近在学习FORMALITY的使用。在一个工程中，FORMAL读入RTL后出现以下的告警
         Warning:Can not link cell '/WORK/IntmemAddrGen_ID_WIDTH9/u_intMemAdrNxt' to its reference design'intMemAdrNxt'
         但是模块intMemAdrNxt在filelist里面已经包括，并且在loading的时候也没有报错，请问这个问题是什么原因导致的，非常感谢

shycat · 发表于 2016-3-8 15:32:22

贴上脚本, log上下文吧

[求助] 关于FORMALITY的一个问题

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

相关帖子

浏览过的版块

站长推荐 /2