请教：Formality Matching 问题

请教：Formality Matching 问题做RTL与post-syn netlist比较。
在Status:Matching阶段时，始终处于该阶段，应该是Match一直没有结束，如何调试?不知道原因阿！

RTL 直接与post netlist 比较的话很麻烦的， 建议分步比较