形式验证中出现的困扰问题，求助！望各位大侠，指点一二，万分感谢！

jn10212141 · 发表于 2012-11-19 17:47:00

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

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

x

我做形式验证时，各个子模块单独验证都能够通过，可在顶层中调用这些模块却通过不了（顶层中除了调用这些已验证通过的模块外，还有两个IP模块），并且不通过的点就在单独验证可以通过的子模块中！现在我将各个模块的.svf文件（逻辑综合时自动生成的）连同顶层的.svf一起读入，则验证就通过了！
这是不是就说明顶层之所以验证通过不了，是因为其.svf的问题？
还有，现在虽然能通过了，但能不能说明网表是通过验证的，正确的呢？
希望各位知道的能给于指点，非常感谢！！

A1985 · 发表于 2012-11-19 21:26:52

没问题。pass的。

jn10212141 · 发表于 2012-11-20 10:31:03

真的这样就可以pass了？谢谢~~

205207033 · 发表于 2012-11-20 14:18:30

pass了. svf记录一些综合的动作，做fm的时候是一定要读的。

[求助] 形式验证中出现的困扰问题，求助！望各位大侠，指点一二，万分感谢！

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

相关帖子

站长推荐 /2