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: TIP OF THE MONTH – Sept. 2007: Set-Up Automation
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
vincep
Posts: 1
Online: User is Offline
9/07/2007 10:05 AM  
One requirement in running Equivalence Checking [EC] is to have a proper set-up. This is because, with an incomplete or incorrect set-up users would see false-negative EC result - in other words, non-equivalency and/or abort due to incorrect design/constraints set-up. Thus, users would need to spend some time to debug, understand the cause, and perhaps provide additional set-up if needed.

To prevent and resolve set-up related issues, Conformal EC XL 7.1 has a new algorithm targeted to analyze certain differences in structure and optimization between the Golden and then Revised designs, and then be able to identify what the set-up should be.
 

--------------------------------------------------------------------------------------

Syntax :

       SET ANalyze Option

       [-NOAUTO | -AUTO]

       (Setup Mode)

 

Description :

       Automatically determines the best place to run the ANALYZE SETUP com-

       mand. In addition, the Conformal software automatically runs the ANA-

       LYZE ABORT command whenever the comparison returns abort points but no

       non-equivalent points.   Note: This is a Conformal 7.1 XL command.

 

Parameters:

       -NOAUTO        Disables automatic analysis. This is the default.

       -AUTO          Enables automatic analysis.

 

Example:

// Command: set analyze option -auto

// Command: set system mode lec

…

// Running automatic setup...

// Remodeled 1 gated-clock DFF/DLAT(s)

// Automatic setup finished

 

In this example, command “set analyze option –auto” enables Conformal to automatically recognize that synthesis tool has performed clock-gating as part of power optimization process. Thus, it specifies Conformal to remodel the gated-clock structure, allowing a successful verification of RTL versus synthesized gate netlist.

--------------------------------------------------------------------------------------

Notice that the tool infers the set-up based only on what is present in the 2 designs. No information is otherwise passed between implementation and verification of the implementation. This is very important to preserve our independent audit and ensure that your EC tool will not miss a common mode error, a critical Conformal philosophy since the beginning. A false-positive EC result - an equivalent result when it should not be - is obviously very undesirable.
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > TIP OF THE MONTH – Sept. 2007: Set-Up Automation


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.