Re: [sv-ec] get_coverage() used on coverage group item with :: operator

From: David Scott <david_scott_at_.....>
Date: Mon Jun 25 2007 - 09:42:12 PDT

I think the answer is clearly yes, it must be valid.

Table 18-5 Predefined Coverage Methods in IEEE Std 1800-2005 shows "Yes" and "Yes" for coverpoint and cross scopes.  That's in Section 18.7 on page 323.

The corresponding table in P1800 2008 Draft 3a is 18-32 on page 441.  (I see for some reason tables are numbered globally, not per chapter, in Draft 3a.  Is that right?)

-- Dave Scott, Mentor Graphics


Surya Pratik Saha wrote:

Hi,
As per SV 1800 LRM (18.7 Predefined coverage methods):
The get_coverage() method returns the cumulative (or type) coverage, which considers the contribution of all instances of a particular coverage item; and it is a static method that is available on both types (via the:: operator) and instances (using the . operator).

Does it mean, get_coverage can be called by :: operator on coverage group item also, or only on coverage group?
Is the following e.g. valid?
module m1;
    bit a_var, b_var;

    covergroup gc;
        A : coverpoint a_var;
    endgroup

    gc gc_Inst = new;

    real getCov;
    int coveredBins;
    int totalBins;
    initial begin
        getCov = gc::A::get_coverage();
    end
endmodule

Different standard simulators behaves differently on this case.

-- 
Regards
Surya
  

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

--
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean. Received on Mon Jun 25 09:42:38 2007