lec的unmapped的extra points有什么分析方法吗

SGengiant · 发表于 2023-12-28 09:40:45

AlexS 发表于 2023-12-27 23:22
abort 问题 conformal 有时候很卡死状态，你也可以试试 svf + formality 比较试试，也许就pass了。 ...

我换成hier_compare好像没有abort了，之前一直在faltten下比较

SGengiant · 发表于 2023-12-28 16:00:26

sogo520leo 发表于 2023-12-28 10:52
对的，遇到abort是可以用lec的hier compare；也可以在flat compare中试下提高compare的effect，不过会增加 ...

ok，thanks

[求助] lec的unmapped的extra points有什么分析方法吗