求助：Formality 出现的奇怪问题

用同样的RTL代码，dc综合后出来两种网表：gtech netlist和gate level netlist，分别与RTL进行Formality的形式验证，均通过，但是gtech和gate level二者之间的形式验证却无法通过，有人能给点建议吗?谢谢了！

期待答案中。

查查综合的log,最好把warning都消除，有些RTL里有悬空的信号会出现formality不过的现象