fm loop

fangwang85 · 发表于 2023-8-22 09:00:33

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

×

请教个问题，fm的时候，出现loop导致aborted，最后fm的结果是 INCONCLUSIVE。这个一般怎么处理？

peanut_cake · 发表于 2023-8-22 09:24:38

很简单就是算不出来了；
1. 可以考虑换fm的算法模型；
2. 可以考虑在dc的时候设置verify high priority来规避运算深度较高的单元来避免fm算不出来。

jamesjie · 发表于 2023-8-22 10:50:45

在综合时候，吧这部分电路设置下set_verification_priority

账号		自动登录	找回密码
密码			注册

[求助] fm loop