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