问下关于formality的问题~~关于verify过程

Jason_Odysseus

这种没有卡死，持续在跑，Formal的verify进度不增加的情况我也遇到了。
我这边是涉及Hard (too complex)，逻辑锥太大，有的point比不过或者比很久，参考了先前的楼层和其他帖子，set了timeout，datapath_effort后感觉效果也不是很好，想知道有没有更好的方法。

只爱搞钱的帆帆

Jason_Odysseus 发表于 2024-12-7 11:00
这种没有卡死，持续在跑，Formal的verify进度不增加的情况我也遇到了。
我这边是涉及Hard (too complex)， ...

你好，有遇到过%100 SVF completed这里会卡很久的情况吗

Jason_Odysseus

只爱搞钱的帆帆 发表于 2025-5-16 14:44
你好，有遇到过%100 SVF completed这里会卡很久的情况吗

没遇到过。是你的SVF命令有问题，还是SVF之后的某个配置/步骤走不动呢？