Share your learnings, paper reviews comments from CNDLive...
Logic Design Forums
Share your learnings, paper reviews comments from CNDLive!
over 11 years ago
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,.
Originally posted in cdnusers.org by
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