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: Question about Encounter Conformal Equivalence Checker (EC)
Posting to forums is available to community members only.
Login or Register
Rate this topic:
   
Author Messages
valour
Posts: 2
Online: User is Offline
10/26/2005 7:31 AM  
Hello, colleagues.
I use your CAD system for formal verification.

I’ve got a question:
When I change names of interface signals in golden version of design
(but save it’s structure and behavior) and save changed file as revised,
what command shall I use in my Conformal dofile to establish equivalence?

I try to get equivalence but all my attempts resulted in follows:

Warning: Primary input ‘signal_name' in Revised has no correspondence in Golden

What have I do?
Could you help me?
Or maybe any good idea to resolve this problem or
any useful links where I can get an answer?

Thanks.

Best regards,
Valery Kartashev
yonghk
Posts: 0
Online: User is Offline
10/28/2005 11:49 AM  
Hi Valery,

In order to map primary inputs, the names have to match because that is the only way the tool is able to map primary inputs. If you change the name of the primary input on one side, you need to use renaming rule to match the name on the otherside. So, as an example if you have:

golden: IN_test
revised: IN_test_r

you can do
add renaming rule rule1 "IN_test" "IN_test_r" -golden
map key point

This will allow Conformal to map primary input pin IN_test to revised primary input pin IN_test_r. You can also do "help add renaming rule -verbose" to get detail help on this command. I hope this answers your question.

Yong Kim
Posting to forums is available to community members only.
Login or Register
Forums > Digital IC > Formal verification > Question about Encounter Conformal Equivalence Checker (EC)


ActiveForums 3.6
     
Copyright 2006 Cadence Design Systems, Inc.