Stats

  • Locked Locked
  • Replies 1
  • Subscribers 61
  • Views 14873
  • Members are here 0
This discussion has been locked.
You can no longer post new replies to this discussion. If you have a question you can start a new discussion

Question about Encounter Conformal Equivalence Checker (EC)

archive

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


Originally posted in cdnusers.org by valour

  • 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


    Originally posted in cdnusers.org by yonghk

Community Guidelines

The Cadence Design Communities support Cadence users and technologists interacting to exchange ideas, news, technical information, and best practices to solve problems and get the most from Cadence technology. The community is open to everyone, and to provide the most value, we require participants to follow our Community Guidelines that facilitate a quality exchange of ideas and information. By accessing, contributing, using or downloading any materials from the site, you agree to be bound by the full Community Guidelines.