I have a big design and after running LEC i got some Nop mapped key points. Can you please tell me, how can we map the Not-Mapped key points..
Having a few more not-mapped in the golden than in the revised is not unusual. They'll usually be found 'extra' post-compare.
Please create a Service Request at http://support.cadence.com so someone from Customer Support can look at your log and at 'report unmapped points -not'.