[sv-ec] covergroups - wildcard bins for enums 3269

From: Daniel Mlynek <daniel.mlynek@aldec.com.pl>
Date: Tue Oct 26 2010 - 02:00:32 PDT

The problem is that there is no definite explanation in LRM about
wildcard bins for enums.
The question is:
1. Is it a proper way - to specify wildcard bins for coverpoints of enum
types?
2. What is an expected behaviour for them: should the
wildcard expression in open range list be treated as an expression of
base enum type?
3. Target domain of wildcard expression:
      - all numeric values possible for base type satisfying wildcard
     or
     - all declared enumeration labels, whose values satisfy wildcard

for example,

*module top ();***
* enum bit [1:0] {r = 2'b01, g = 2'b10,b = 2'b11} a;*
*covergroup g1;**
          coverpoint a**{*
* wildcard bins b1[] = {2'b1?}; // is such form allowed
for enum bins? what is an expected behaviour?*
* }*
* endgroup*
*g1 g1_1 = new();***
*endmodule
*

*
I've reported this as clarification :
http://www.verilog.org/mantis/view.php?id=3269
*

*DANiel
*

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Oct 26 02:01:03 2010

This archive was generated by hypermail 2.1.8 : Tue Oct 26 2010 - 02:01:31 PDT