comformal验证中遇到的问题，菜鸟求助！

86497689 · 发表于 2011-1-27 13:55:28

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

x

设计中调用了一个SRAM模块，同时也加上了： Add notranslate module *SRAM* -both

但是还是报错：
Error: top.v:216 Module 'SRAM' is referenced but not defined.

请问什么原因呢？

sdwsh · 发表于 2011-1-27 16:02:05

应该可以设置成black box

86497689 · 发表于 2011-1-27 16:21:45

谢谢，可能是其他方面写错了。再查一下

86497689 · 发表于 2011-1-27 16:56:08

回复 2# sdwsh

又查了一下资料，虽然脚本中设置了add notranslate module……
但是没有添加内容为空的sram module,添加后错误消失，
是不是这个原因呢？第一次做没有经验

kaku817 · 发表于 2011-1-29 11:52:29

回复 4# 86497689

yes. you are right!

"add blackbox" is used to skip these compare points inside blackbox.
it can save processing time.

[求助] comformal验证中遇到的问题，菜鸟求助！