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

Jason_Odysseus

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