Saturday, February 04, 2012     Register | Login | Search | Contact Us
     
   
     
     

Many of you already received communications about the move of the Cadence user community into cadence.com. And many of you have already joined, with over 4000 registrations in the first two weeks.

The new Cadence Community enhances the ability of Cadence users to connect and collaborate. In addition to moving the community into cadence.com -- enabling single sign-on for community, Sourcelink and Cadence events -- the new site is organized around nine technology segments, giving you easy access to product information, training, forums and blogs. Some of the new features include:
  • Ability to respond to posts via e-mail
  • Technology-specific blogs
  • Latest Web 2.0 social networking capabilities
  • Public profile options
  • Private messaging
  • Friends lists
Visit the new Cadence Community today at www.cadence.com/community and join the discussions!

Registration note: Due to the scope of the enhancements and the new SSO registration system, we were not able to migrate existing cdnusers.org member accounts. So new registrations are required, but this enables a broader set of functionality we think you'll enjoy.

Forum note: Under the guidance of forum moderators, we have taken the 20+ cdnusers.org forums and consolidated them into 11 forums on the new site. Posts have been brought over so you can leverage that posting history. CDNusers forums will be set to read only starting 7/30, and cdnusers.org will be redirected to the new community on 8/4.

Best regards,
Mike and Tom

Michael A. Catrambone - Steering Committee Chairman
Distinguished Engineer
PCB/Mechanical
UTStarcom, Inc.

Tom Diederich
Cadence Community Manager
Home
Forums
Forums > Digital IC > Formal verification

Subject: Share your learnings, paper reviews comments from CNDLive!
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
DaveG
Moderator
Posts: 4
Online: User is Offline
9/18/2006 12:21 AM  
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
 
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > Share your learnings, paper reviews comments from CNDLive!


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.