I'm running LEC to verify that two RTLs are identical and getting a lot of unmapped points. I looked into a pair of key points, one from Golden and another from Revised, which are supposedly corresponding each other and did a further investigation to find out why they weren't mapped.. Their outputs are not being used and the tool treats them as unreachable, hence unmapped, but I still need to map them to see whether RTLs are logically 100% identical.
I used -keep_unreach option, expecting the tool to compare the logic cone to the unmapped points, but they are still unmapped and the tool doesn't seem to compare them.
How can I make the tool to compare the unmapped points due to unreachability ?
Thanks