新手请教关于形式验证的问题

hit0821201 · 发表于 2013-6-14 08:33:36

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

x

综合后做形式验证，导入参考设计的时候报如下错误，并且无法设置顶层，请教各位是什么原因？怎么解决。综合没有问题的啊，所有的设计也都读进去了。

登录/注册后可看大图

my2817 · 发表于 2013-6-14 11:20:36

read man page for FE-LINK-2
似乎是你的lib库里没有smic18_outpad这个cell造成的，好像可以把这东西设成black box，或者让工具忽略掉这个，warning,

hit0821201 · 发表于 2013-6-14 21:52:20

回复 2# my2817

哦，明白。我再试试，谢谢您!

[求助] 新手请教关于形式验证的问题