DC优化导致formality verify不过！！求助

scutlee · 发表于 2023-10-30 16:36:54

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

x

有写寄存器因为固定数值被DC优化，导致formality verify不通过，如何是好呢？？？？已经读取了svf了

zero_0 · 发表于 2023-10-30 17:43:26

unmatched跟failing没有直接关系，这里29个failing全都是matched的，可以用analyze_points -failing分析一下

amazingpang · 发表于 2023-10-31 11:18:27

追下不等的root cause

voiluce · 发表于 2023-10-31 11:28:22

追一下逻辑 ~~~

scutlee · 发表于 2023-11-6 22:09:28

voiluce 发表于 2023-10-31 11:28
追一下逻辑 ~~~

怎么操作？？用gui？？

scutlee · 发表于 2023-11-6 22:10:33

zero_0 发表于 2023-10-30 17:43
unmatched跟failing没有直接关系，这里29个failing全都是matched的，可以用analyze_points -failing分析一 ...

怎么操作？？用gui？？

voiluce · 发表于 2023-11-6 23:07:27

差不多，起gui，对比逻辑。

[讨论] DC优化导致formality verify不过！！求助