CONFORMAL LEC-NON EQUIVALENT BLACK BOXES

Hi all,

I'm very new to ASIC world.I have done lec b/w a RTL & a NETLIST.I have used hierarchial comparison for this.There are some un equivalent pointsI have got some few issues and doubts regarding those

1.Two modules were unequivalent because of unequivalent blackbox(that black boxes are done by tool).When I checked the diagnose point,it showed unknown.those black boxes are not the memory libraries even and got same name in both rtl and netlist.How this happens?Why tool blackboxed that instance?Will that un equivalent blackbox cause functional mismatch?How can I resolve those?

2.I had some Abort points,but I resolved those by {analyze abort -compare} command and setting multiplier implementation and making compare effort high.Now no Abort points are there.Were they the correct method to resolve those?

3.I also have 2 modules with un equivalent CUTPOINTS,and when I started searching in internet,I came to know that cuts are made by the tool for combinational feedback loops and those are tool defined and will not be a cause of functional mismatch. Can I neglect those unequivalent CUTPOINTS?

Can anyone help me out solving all these?Since Im doing LEC for the first time I face several problems and doubts.Please do reply.........