关于formality分层次验证的问题

xzq0206 · 发表于 2014-7-9 21:32:54

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

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

x

因为设计比较大，我dc综合是分层次综合的做形式验证的时候我就也分层次验证了底层per_bus验证通过再做top层验证的时候我读的是top.svf文件然后把per_bus设置为黑盒子验证时 match倒是没有问题但verify时总是有88个比较点fail 但这88个失败点倒是和per_bus无关;我要是不设置per_bus为黑盒子把top.svf和per_bus.svf文件都读进来那原来验证通过的底层也验证失败好像是per_bus.svf失效了。我不知道是不是我验证的策略不对还是确实是综合出问题了照理说rtl到门级网表的验证应该没有问题才对，请坛里的大侠帮忙分析一下如果我的验证策略不对请大侠帮忙给出正确的方案非常感谢！

icfbicfb · 发表于 2014-7-9 21:41:41

换lec的hier 比较看看，

xzq0206 · 发表于 2014-7-9 21:46:58

手边没有lec

xzq0206 · 发表于 2014-7-10 22:19:55

没人回复？

kingxrainy · 发表于 2024-9-3 21:13:10

楼主解决了吗？

[求助] 关于formality分层次验证的问题

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

相关帖子