[已解决]formality black-box help

estyzq · 发表于 2011-8-7 17:57:54

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

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

x

本帖最后由 estyzq 于 2012-2-9 19:08 编辑

小弟最近初学formality，虽然能够验证简单的设计，但最user-guide中的black-box很好奇，但是却不理解；现有问题如下：
1.需要定义black-box的是只哪些模块，IP or PAD?
2.如何主动的定义一个module为black-box。定义之后要做哪些其他的申明？
3.我理解的black-box是指设计中的一些module只用检查ref和imp的pins，不检查功能，什么时候需要使用black-box。

icfbicfb · 发表于 2011-8-7 18:23:59

我的感觉是很多macro， ip ， pad，psychial only cell都是BB ，

这个FM 跑下就知道了，他们从.lib 里面能自动检测的，

estyzq · 发表于 2011-8-7 21:30:27

回复 2# icfbicfb

恩，我也是这样认为。但是我在跑一个带有pad的设计时，读入了两个库，分别是pad和core，那么在fm时，是否将pad生成为black-box？还有，如果一般的IP核，我调用的时候，也加入了他IP的库，那么fm会不会生成black-box？
如果芯片厂提供这样的库，那不是black-box就没什么意义了？

qiancaoyezi1988 · 发表于 2011-8-8 09:32:24

reference userguide , you will find the solution!

icfbicfb · 发表于 2011-8-8 10:05:57

对，看看 user guide
我们的感觉是读入了 .LIB ，里面有些这个模块的功能描述

如果PR 前后对模块不变的话，应该是 FM 不关心的，

[求助] [已解决]formality black-box help

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

相关帖子

浏览过的版块

站长推荐 /2