请教形式验证的问题

lordback · 发表于 2011-6-14 20:52:25

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

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

x

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

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

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

谢谢！请教高手！

creese · 发表于 2011-6-15 06:21:13

1.你可以试一下，但是按流程来将是要将reference设为门级网表的

2.就我所经历的项目，布局布线工具是不出svf的

3.lvs具体比较的是什么？这个我不太懂，楼主介绍一下？

cocoqoo · 发表于 2011-8-15 20:50:42

这个问题还有人回答清楚点没

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

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

相关帖子

站长推荐 /1