formality中关于black_box

sh_0119 · 发表于 2010-10-30 10:29:19

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

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

x

1.formality中为什么要将reference和impliment中的TOP顶层都要选择为black_box？
2.在使用到SRAM等器件的时候，综合的时候是直接实例化的，那么在formality中要像加载标准单元库一样将SRAM的网表文件添加进去吗？
要match，需要对SRAM做什么特殊的处理不？还是formality会自动将之认为是black_box？

请高手解答。。。

zh123456789 · 发表于 2010-10-30 12:09:35

formality中为什么要将reference和impliment中的TOP顶层都要选择为black_box？

有必要这样做吗？？？

zh123456789 · 发表于 2010-10-30 12:11:31

回复 1# sh_0119

formality中为什么要将reference和impliment中的TOP顶层都要选择为black_box？

这样做对吗？？？？？

sh_0119 · 发表于 2010-10-30 16:38:29

不好意思，我的意思是在设置顶层的时候，有涉及到将unrevoled 设为black_box或ERROR的选择，
我选择了black_box。。。但不太明白为什么

lixunwangsan · 发表于 2010-11-1 10:48:25

能设成黑盒子的就是确定它是正确的，不用去比对的，可以是Memory、Pad等。
要检查所有unrevoled的是否确实不用比对的，或者你也可以把它们的db库调进去，就不会unrevoled了。

liushutao · 发表于 2010-12-3 20:27:15

fm 默认black_box的功能是正确的不用比较，同时默认black_box的输出ref和imp的一致。
fm只比较逻辑到black_box的输入是否等价。

[求助] formality中关于black_box

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

相关帖子