Stats

Locked Locked
Replies 0
Subscribers 61
Views 12599
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

Share your learnings, paper reviews comments from CNDLive!

If you attended CDNLive! and are willing to share your impressions, feedback, comments about any of the papers that you've seen, please feel free to post them to the cdnusers.org forum
If the topic is related to Formal Verification, please post to this forum.

If you missed Erik Seligman's presentation at CDNLive! on "Best known methods for using Cadence Conformal LEC at Intel", you'll want to look forward to the posting of his presentation slides on the CDNusers.org website.

Eric gave some great practical methods for dealing with some of the most frustrating and vexing issues that we encounter everyday when using Conformal LEC: abort points and non-equivalent points, as well as advice for auditing for false positives.

Erik suggested a number of techniques to get past abort points, including, where appropriate, using the commands/options:

> set compare effort complete
> analyze datapath -merge [-effort high]
> compare -parallel

To see more of his methods and suggestions, take a look at his presentation when its available.

If you'd like to add to these suggestions for addressing abort points or non-equivalent points or if you have other best practices. we'd like to hear from you.
Please share your comments and suggestions as well,.
Thanks!
---Dave

Originally posted in cdnusers.org by DaveG

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.