请教形式验证的问题

lordback · 发表于 2011-6-14 21:44:50

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

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

x

1、formality可不可以这样用：
reference：门级网表
implement：布局布线后的网表
倒过来比行不行？
reference：布局布线后的网表
implement：门级网表
如果前者比较时比过，是不是后者也一定能比过？

2、布局布线工具能不能出svf文件呢，如果没有svf文件上面这种比法可能比不过吧？因为布局布线工具还是会对设计做一些优化和改变的动作。

3、这么比有意义吗？布局布线工具应该会做LVS吧，LVS应该会保证版图和网表的一致，这样由布局布线工具吐出的网表和门级网表的功能肯定是一致的吧？

谢谢！请教高手！

papertiger · 发表于 2011-6-15 15:39:02

都可以。gate-to-gate 不用svf 也能过

[求助] 请教形式验证的问题

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

相关帖子

站长推荐 /2