用encounter布局布线， 会导致形式验证不过？？

zhq415758192

用encounter9.1做PR，突然有一次形式验证过不了，422个DFF的D不对。

Formality将我imp里面的一些DFF认成了latch，compare时就对不上。

和之前的相比，log中多了如下信息：

Match:  2(2) cycles broken in reference（implementation) design

Verify:  Exiting fast netlist verification mode. Verification progress reports may restart at a point which is less than the last reported value.

我怀疑Formality将我的设计分成两部分，分别验证了。

还望路过的大侠指点一二。

先行谢过！

wangzhen_8811

我也是新手...