求助formality 匹配失败

sh469

问下formality 里面，在match的时候，明显的有point match错了（不是verify fail），名字都对不上，是工具自己分析出来的，有办法告诉工具断开这组match，重新手动match吗？因为网表不是综合而来的，所以没有svf文件。
在gui模式下看到可以重新手动match ref和imp，但没找到怎么断开现有的错误match。