formality存在warning

sunny_yangfeng · 发表于 2013-7-6 11:12:49

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

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

x

formality中在进行reference和implementation这两步时均出现了如下图所示的warning，请问有没有问题，对结果会不会有什么影响？？

sunny_yangfeng · 发表于 2013-7-6 17:15:53

求助哦

bsbs525 · 发表于 2013-7-7 00:02:44

黑盒子。要消除，请把lib库加全

sunny_yangfeng · 发表于 2013-7-9 17:00:43

lib加全了哦，图片上提到的那个库已经加了，还是报warning

michaelzhang561 · 发表于 2013-8-9 11:55:00

the same as you

forestimber · 发表于 2013-8-9 16:25:46

我设计中使用一些模拟IP的话会遇到类似问题
有的lib/*unread*自动变黑盒子
还有synopsys的dwc比如那个minmax的模块会自动黑盒子
但是一般这些黑盒子的input仍会被比较，而如果这些黑盒子的output没有驱动其他被比较逻辑，则不会有任何影响。
你的结果pass吗？如果有different，debug看看源头是否来自black box的output，然后强制其 equal

[求助] formality存在warning

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

相关帖子

站长推荐 /2