LEC verification不过原因确认

huhu1

       本人最近在学习Conformal LEC ,但一直存在一个问题，LEC验证不通过存在not-map或者not-campare的情况下，从根本思考是属于我输入的两个文件本身存在不对等性，还是我的dofile存在问题。若是我的两个输入文件（RTL VS  NETLIST // NETLISET  VS  NETLIST）本身不等，我如何调整dofile都不行。是否可以参考类似于formality读取DC产生的.svf文件，有个标准。