Home > Community > Forums > Functional Verification > need help in formal verification with IEV tool

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: *

 need help in formal verification with IEV tool 

Last post Fri, Apr 12 2013 3:12 AM by StephenH. 1 replies.
Started by BharathECE 12 Apr 2013 12:06 AM. Topic has 1 replies and 757 views
Page 1 of 1 (2 items)
Sort Posts:
  • Fri, Apr 12 2013 12:06 AM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    need help in formal verification with IEV tool Reply

    Hi Iam using IFV 12.20.007.Iam trying to pass constraint for a design,What is the procedure to give give constraint such if statement.

     

    Ex:  i have condition to be satisfied iam using if statement for that if(my condition are true) then constraint should be given 

     

    Thanks

    Bharath 

    Filed under: , ,
    • Post Points: 20
  • Fri, Apr 12 2013 3:12 AM

    • StephenH
    • Top 25 Contributor
    • Joined on Tue, Sep 2 2008
    • Bristol, Avon
    • Posts 268
    • Points 4,325
    Re: need help in formal verification with IEV tool Reply

    Use an implication (trigger) clause, like you would for an assertion.

    assume always (condition) -> (rest-of-constraint);

     

    Steve Hobbs / Applications Engineer / Cadence Functional Verification
    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by BharathECE at 12 Apr 2013 12:06 AM. Topic has 1 replies.