Home > Community > Forums > Functional Verification > run IFV Xcheck property

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

 run IFV Xcheck property 

Last post Fri, May 24 2013 11:25 AM by TAM1. 1 replies.
Started by BharathECE 23 May 2013 10:27 PM. Topic has 1 replies and 500 views
Page 1 of 1 (2 items)
Sort Posts:
  • Thu, May 23 2013 10:27 PM

    • BharathECE
    • Not Ranked
    • Joined on Fri, Mar 22 2013
    • Hyderabad, Andhra Pradesh
    • Posts 12
    • Points 210
    run IFV Xcheck property Reply

    Hi

    Iam doing XCheck property checking.Now instead of running all the properties,I want to run only one XCheck property in IFV .

    How to prove single XCheck assertion. 

    Filed under: ,
    • Post Points: 20
  • Fri, May 24 2013 11:25 AM

    • TAM1
    • Top 75 Contributor
    • Joined on Thu, Jul 17 2008
    • HOME, PA
    • Posts 83
    • Points 1,105
    Re: run IFV Xcheck property Reply

     In IFV to run a single assertion, use the "assertion -delete" command to move all of the assertions to inactive. Then use the "assertion -add" to enable the particular assertion you want to test. Then use the "prove" command to get your results.

    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by BharathECE at 23 May 2013 10:27 PM. Topic has 1 replies.