Stats

  • Locked Locked
  • Replies 0
  • Subscribers 62
  • Views 13907
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

unmapped points with Conformal

nozuey

 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

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.