求助formality 遇到FMR_ELAB 146 147问题

xinqing89 · 发表于 2012-8-27 12:25:48

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

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

x

在进行DC网表和RTL的形式验证时，formality读入rtl文件发生了以下warning FMR_ELAB146 FMR_ELAB147，并导致后续错误，开始我采用set hdlin_warn_on_mismatch_message "FMR_ELAB-146 FMR_ELAB-147"的方法解决，担心这样做会导致一些mismatch失察，各位有没有什么好的解决方法，一同分享一下，在此谢过了,我将error和warning以及可能导致错误的部分rtl粘贴如下，各位参考一下

146，147.jpg

reg [7:0] mem [514:0]

xinqing89 · 发表于 2012-8-27 18:57:48

额没人关注，人工置顶一下

A1985 · 发表于 2012-8-27 21:25:26

这个只是报你的代码不规范。。。。是个check。

xinqing89 · 发表于 2012-8-28 10:01:06

回复 3# A1985

嗯嗯 thanks ，解决了，就是mem索引长度和mem长度不匹配造成的

fjmwu · 发表于 2012-9-1 14:34:31

偶也遇到了这个问题， top设置不了。。。

sunrisewu · 发表于 2013-1-8 16:38:12

看手册，上面有方法的。
有你SCRIPTS中加上set hdlin_warn_on_mismatch_message FMR_ELAB-147即可

ysn012345 · 发表于 2014-4-14 21:02:12

回复 4# xinqing89

请问怎么改啊，，，我这好多这个错误，根本一点都读不进formality？？？求回复

魔力 · 发表于 2017-11-2 16:52:53

谢谢楼主，今天遇到同样的问题啦！

Anne_xiyuan · 发表于 2017-12-14 19:39:28

请问出现FMR_VLOG-481 ,是什么错？我已知是语法出错，但不知道错在哪？报错内容是：input in input

Anne_xiyuan · 发表于 2017-12-14 19:41:01

回复 3# A1985

请问出现“input” in “input”是什么错？错误代码：FMR_VOLG-481

[求助] 求助formality 遇到FMR_ELAB 146 147问题

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

相关帖子

站长推荐 /1