Formality时out of range错误怎么解决？

CunjieSong · 发表于 2010-5-14 16:53:16

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

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

x

今天做形式验证时遇到一个错误，
Warning: Index may take values outside array bound, may cause simulation mismatch ..
因为设计中有一个ram的模型
reg [7:0] ram [12'h063F:12'h040];

而ram的地址索引addr是[11:0]的。
在综合时，就报了一个警告，但综合还是通过了。

但是formality时，就通过不了了
我看formality的workshop上也提出过这种仿真/综合不一致的情况，
但是跟我的好像又不太一样
请问这个问题应该怎么解决啊？

CunjieSong · 发表于 2010-5-14 20:19:26

自己顶自己啊？

helte320 · 发表于 2010-6-30 09:43:00

还是在代码里面改一下比较好啊。到了后面问题就难解决了

[求助] Formality时out of range错误怎么解决？

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

相关帖子

站长推荐 /2