Home > Community > Forums > Logic Design > Share your learnings, paper reviews comments from CNDLive!

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Share your learnings, paper reviews comments from CNDLive! 

Last post Mon, Sep 18 2006 12:21 AM by archive. 0 replies.
Started by archive 18 Sep 2006 12:21 AM. Topic has 0 replies and 766 views
Page 1 of 1 (1 items)
Sort Posts:
  • Mon, Sep 18 2006 12:21 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    Share your learnings, paper reviews comments from CNDLive! Reply

    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
    • Post Points: 0
Page 1 of 1 (1 items)
Sort Posts:
Started by archive at 18 Sep 2006 12:21 AM. Topic has 0 replies.