unresolved points at post route LEC : 大家快来看看这两种结构是等价的吗？

Ms_kitt

大家好，我们公司项目最近马上要tape out了，但是项目中我的模块跑post route LEC 需要很长世间，一跑就是好几天，跑完了也没有返现什么异常，结论是“no difference found”， 但是有“unresolved points", 为什么？ 这是我的第一个项目，一头雾水，着实很捉急呀，各种慌。。。各位兄弟姐妹请大家看看这两个点是等价的吗？你们平时都是怎么让LEC 等价的呢？
非常感谢大家提供自己的想法，思路！

post-dft 的unresolved 点的结构：

dft.v

post-route的unresolved点的结构：

这个图片里：是一个锁存器后面跟一个buffer,
还有的points是：锁存器后面跟inverter（如图），这样的话，结果是不是跟之前的反了，两个点是不是不等价的？ 如果真的是不等价的话，这种错误是怎么发生的呢？


再次感谢大家！！！