用formality做RTL和netlist的形式验证顶层读入问题

用formality做RTL和netlist的形式验证，RTL是用systemverilog写的，RTL读进去后在设置顶层的时候会报这个错误，请问怎么解决呢？
有报顶层包的那个模块link不到，但是读入RTL时是成功加了这个模块的。