status: checkpoint SVF operation 51018 verifying

wangjiahao · 发表于 2020-2-3 11:38:40

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

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

x

我在dc综合后进行formality,读入svf,rtl,ip,netlist,std后，进行match,
处于百分之73这一步1天了，
18w行代码，
软件版本dc:2016 03 formality:2018 05（ps:自己弄的异步fifo可以验证成功）
这是卡在数学运算了还是组合loop还是有的简化设置需要设置?（目前只设置set Synopsys auto setup true)

yangxuchen · 发表于 2023-1-28 16:56:45

兄弟，你后面怎么解决的？

[求助] status: checkpoint SVF operation 51018 verifying

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

浏览过的版块

站长推荐 /2