formality形式验证出现进度条停滞

时间：10-02 整理：3721RD 点击：

请教高手，我在做formality的时候出现了25个unmatch的点其中23个都是恒为0的寄存器我感觉这23个点没什么问题。但是有两个点是寄存器，我觉得他们可能存在问题。因为我不管这些unmatch的点直接verify的话进度条一直停在98%，99%这里。请问这里unmatch的点该怎么解决呢?进度条怎么样才能前进呢?

unmatch如下图所示