Thursday, November 20, 2008     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: CDNLive! papers/presentations - excerpts/pointers for FV topics
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
10/17/2006 4:24 PM  
Just FYI,
The Silicon Valley CDNLive! papers are available now for CDNLive! attendees.
(They will become available to all in 3 months time.)
Look for the "CDNLive!" tab at the top of the cdnusers.org page and the pull-down is labelled  "Silicon Valley 2006 Proceedings"
The URL is: 
    http://www.cdnusers.org/CDNLive/SiliconValley2006Proceedings/tabid/366/Default.aspx
(Note that the links may not work for you unless you are logged in and were a CDNLive! attendee.)


Below, I have excerpted the abstracts and links to the 2 papers that I had highlighted in earlier postings:

1) Session 2.4.1: Best known methods for using Cadence Conformal LEC at Intel
   In this presentation we will explore how to use the Cadence Conformal LEC tool capabilities to verify different types of designs. In particular, we will focus on the Conformal Ultra capability for verifying complex data-path synthesis and layout. We will use it together with the set effort 'complete' command, in order to force the Cadence Conformal LEC to compare all the aborted state points. The design we will present is a 1 Gigabit Ethernet chip with around 10 million standard cells. At first look we thought that we will need to use the divide and conquer technique and split the big design into smaller blocks in order to complete the verification. To our surprise, using the Conformal Ultra together with the effort 'complete' we managed to verify the entire design in one flat run. In this presentation we will discuss when to use the different Cadence Conformal LEC capabilities and what benefits they provide. When to use the Conformal Ultra and when not? Why you need to use the effort complete wisely? The following learning are based on using the Cadence Conformal LEC on different types of designs at Intel. This kind of information can provide a significant saving of time and increase the user productivity. We will wrap up by presenting additional tips of accelerating the design flow using the Cadence Conformal LEC. Ώ] The complexity of theorem proving procedures, S. A. Cook, Proceedings of the 3rd Annual ACM Symposium on Theory of Computing (1971), pp. 151-158.
ErikSeligman, Intel

  The Paper is at:   http://cdnusers.org/Portals/0/cdnlive/na2006/2.4.1/2.4.1_paper.pdf
  and the presentation is at: http://cdnusers.org/Portals/0/cdnlive/na2006/2.4.1/2.4.1_presentation.pdf


2) Session 2.7: Formal and Structural Analysis of Power Management Designs Using Conformal Low Power
   Low power and higher performance are two crucial requirements for mobile devices. As leakage power continue to increase in smaller process nodes, power management design must address both active and leakage power. This, however, poses a significant challenge to the design verification. The verification complexity is amplified by the fact that the majority of the low-power function is introduced into the gate netlist during synthesis and physical implementation. Electrical integrity check is limitted in gate level simulation. Silicon re-spin risk due to low-power isolation functional and electrical integrity problems is real. Texas Instruments has partnered with the Cadence Conformal team to address this challenge enabling netlist level low-power isolation functional verification to identify any electrical integrity issues. This session outlines the use of Encounter Conformal Low Power in our design flow. We will describe how Conformal Low Power allows us to run structural checks to make sure low power cells are inserted and connected correctly and to formally verify isolation function in our design.
LamHo, Texas Instruments

  The Presentation is at:  http://cdnusers.org/Portals/0/cdnlive/na2006/2.7/2.7_presentation.pdf


Thanks!
---Dave
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > CDNLive! papers/presentations - excerpts/pointers for FV topics


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.