formality

喃艺 · 发表于 2024-7-9 14:01:54

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

x

用formality做rtl和综合网表的等价性检查，工具在Match这一步分析svf文件，运行时间超过一天了，像这种情况该如何处理呢？

zengjia1106 · 发表于 2024-7-16 20:15:46

在复杂的逻辑电路中间插一些cutpoint，打断复杂逻辑，分段进行verify

喃艺 · 发表于 2024-7-17 15:45:49

zengjia1106 发表于 2024-7-16 20:15
在复杂的逻辑电路中间插一些cutpoint，打断复杂逻辑，分段进行verify

好的，谢谢前辈，我试试。

[原创] formality