【已解决】Formality Hard too complex问题

kyaaaa · 发表于 2023-12-26 10:07:37

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

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

x

本帖最后由 kyaaaa 于 2023-12-26 19:27 编辑

想问下跑完formality是Verify Inconclusive, 有一些pin报了Hard （too complex），一直verify导致超时了，想问下该怎么解决？
谢谢大家！

温柔阴影 · 发表于 2023-12-26 10:48:02

形式验证的缺点，太复杂的跑不动，只能跑仿真

kyaaaa · 发表于 2023-12-26 10:49:25

温柔阴影发表于 2023-12-26 10:48
形式验证的缺点，太复杂的跑不动，只能跑仿真

噢噢，那这种就不做formality了吗

温柔阴影 · 发表于 2023-12-26 11:58:19

kyaaaa 发表于 2023-12-26 10:49
噢噢，那这种就不做formality了吗

可以换引擎证明，效果如何就不知道了

kyaaaa · 发表于 2023-12-26 19:24:41

温柔阴影发表于 2023-12-26 11:58
可以换引擎证明，效果如何就不知道了

我这边成功解决了！我来分享一下
解决方法：dc那边修改下约束：

①在最开始加set simplified_verification_mode "true"
②在读filelist后加一个set_verification_priority，写到图里这个模块的hierarchy

目的是让dc降低优化等级，简化电路复杂度

[解决] 【已解决】Formality Hard too complex问题

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

站长推荐 /2