Home > Community > Forums > Logic Design > Question about Encounter Conformal Equivalence Checker (EC)

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 Question about Encounter Conformal Equivalence Checker (EC) 

Last post Wed, Oct 26 2005 7:31 AM by archive. 1 replies.
Started by archive 26 Oct 2005 07:31 AM. Topic has 1 replies and 1665 views
Page 1 of 1 (2 items)
Sort Posts:
  • Wed, Oct 26 2005 7:31 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    Question about Encounter Conformal Equivalence Checker (EC) Reply

    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
    • Post Points: 0
  • Fri, Oct 28 2005 11:49 AM

    • archive
    • Top 75 Contributor
    • Joined on Fri, Jul 4 2008
    • Posts 88
    • Points 4,930
    RE: Question about Encounter Conformal Equivalence Checker (EC) Reply

    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
    • Post Points: 0
Page 1 of 1 (2 items)
Sort Posts:
Started by archive at 26 Oct 2005 07:31 AM. Topic has 1 replies.