设为首页收藏本站

eetop公众号

创芯大讲堂

创芯人才网

切换到宽版

手机号码，快捷登录

创芯云服务 : 创芯大讲堂 | 创芯人才网 | 数字IC职业培训 EETOP诚邀线上IC培训讲师!

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网)»论坛 › IC 设计及制造（半导体、微电子） › 后端设计 › 后端讨论区 › 求助formality 遇到FMR_ELAB 146 147问题

12 / 2 页下一页

发新帖

查看: 11713|回复: 11

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

发表于 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

146，147.jpg

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

相关帖子

回复

楼主| 发表于 2012-8-27 18:57:48 | 显示全部楼层

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

回复支持反对

发表于 2012-8-27 21:25:26 | 显示全部楼层

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

回复支持反对

楼主| 发表于 2012-8-28 10:01:06 | 显示全部楼层

回复 3# A1985

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

回复支持反对

发表于 2012-9-1 14:34:31 | 显示全部楼层

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

EETOP创芯人才网简历投递入口

回复支持反对

发表于 2013-1-8 16:38:12 | 显示全部楼层

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

EETOP创芯人才网职位发布入口

回复支持反对

发表于 2014-4-14 21:02:12 | 显示全部楼层

回复 4# xinqing89

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

EETOP创芯人才网简历投递入口

回复支持反对

发表于 2017-11-2 16:52:53 | 显示全部楼层

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

EETOP创芯人才网职位发布入口

回复支持反对

发表于 2017-12-14 19:39:28 | 显示全部楼层

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

EETOP创芯人才网简历投递入口

回复支持反对

发表于 2017-12-14 19:41:01 | 显示全部楼层

回复 3# A1985

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

回复支持反对

12 / 2 页下一页

发新帖

高级模式

B Color Image Link Quote Code Smilies

您需要登录后才可以回帖登录 | 注册

本版积分规则回帖后跳转到最后一页

关闭

站长推荐 /2

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

GMT+8, 2024-11-22 05:21 , Processed in 0.029637 second(s), 9 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

快速回复 返回顶部 返回列表