[原创] 请教各位Formality中的unread的一个问题

[复制链接]

gongxiao

发表于 2013-9-6 15:03:15 | 显示全部楼层 |阅读模式

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

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

我用Formality做RTL_to_netlist的比较，最终结果是pass，但是发现有很多REF和IMP之间unmatched的unread points
，我这个设计中调用了模拟的ip库.db，也是用标准单元库.db，综合后这些肯定是BBOX，想请问各位一下，一般做FM的时候需不需要设置set verification_verify_unread_compare_points true这个命令呢？？是不是我这个结果还不算真正的pass？？

points

账号		自动登录	找回密码
密码			注册

[原创] 请教各位Formality中的unread的一个问题

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

相关帖子

浏览过的版块