Home > Community > Forums > Functional Verification > question about SVA

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 SVA 

Last post Mon, Apr 16 2012 11:52 PM by jxker. 2 replies.
Started by jxker 16 Apr 2012 02:50 AM. Topic has 2 replies and 1561 views
Page 1 of 1 (3 items)
Sort Posts:
  • Mon, Apr 16 2012 2:50 AM

    • jxker
    • Not Ranked
    • Joined on Tue, Mar 13 2012
    • beijing, Beijing
    • Posts 13
    • Points 140
    question about SVA Reply

    Hi all,

    I write a vunit file with SVA, I want to check a var every negedge clk, but it seems that it just check on the first negedge. Can you help me please?

    following is my code:   "test_var" is a constant, and it always equals to 1

    my command: ncvlog -sv -propfile vunit.v module_name.v;   ncelab -coverage all module_name;    ncsim -covoverwrite module_name

    vunit vunit_assertion(module_name) {

                                                          property test; @(negedge clk) ( test_var == 1 ) ;  endproperty

                                                          cover_test: cover property(test) $display(" hit ");

                                                        }

    • Post Points: 5
  • Mon, Apr 16 2012 8:51 PM

    • jxker
    • Not Ranked
    • Joined on Tue, Mar 13 2012
    • beijing, Beijing
    • Posts 13
    • Points 140
    Re: question about SVA Reply

    Hi all,

    I think I made a mistake. I find that once "cover" hit for the first time, it will not check anymore. So in the coverage report, it just hit once.

    I want to know how to make it checking during all the simulation, so the covereage report will show how many times it hits.

    Thank you very much!

    • Post Points: 5
  • Mon, Apr 16 2012 11:52 PM

    • jxker
    • Not Ranked
    • Joined on Tue, Mar 13 2012
    • beijing, Beijing
    • Posts 13
    • Points 140
    Re: question about SVA Reply

    Hi all,

    I find the problem. I should add "-abvrecordcoverall" option in ncsim command line, this enables reporting of all finish counts for cover properties. And by default, IES reports one finish for each cover property instance.

    • Post Points: 5
Page 1 of 1 (3 items)
Sort Posts:
Started by jxker at 16 Apr 2012 02:50 AM. Topic has 2 replies.