I am comparing a RTL vs Netlist using Conformal, initially i had some problems in mapping, but after fixing up the library files currently the mapping in happening correctly, but after the comparison stage almost all the compared points are reported non equivalent. In the report of the non equivalent points most of the points are stating causes for the non equivalent points are due some particular key points such as reset, clock & data. All the compared points are stating same clock, reset & data as causes for non equivalence. These key points stated in the report of the compared points does not have any relation with the stated cause key points in most of the cases. I tried with constraining these key points causing the non equivalence but does not have any effects.
Let me know if there are any constraints to be added for clocks/reset or any other issues.