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
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
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
> compare -parallel
To see more of his
methods and suggestions, take a look at his presentation when its
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 DaveG