[sv-ec] Array variables in a covergroup_range_list

Hi all:

In reviewing 2506 Jonathan arrived and a question that we haven't been able to work out. I was wondering if anyone can help us out here. Jonathan please let me know if I have mischaracterized your concern.

It's not clear to me whether covergroup_range_list allows for arrays as part of the range. set_covergroup_expression::=covergroup_expression makes that a bit confusing, because it clearly indicates that covergroup_expression could return an array value - but is that also true for the singleton covergroup_expression in the production for covergroup_value_range?

The restrictions on covergroup_expression are:

Only constant expressions (see 11.2.1), instance constants (for an embedded covergroup), or non-ref arguments to the covergroup are allowed to be used as variables in a covergroup_expression.

So, does 11.2.1 allows arrays?

Would the following be allowed under the new restrictions? Would it be allowed in P1800-2009?

   int valid_values[3] = '{5, 7, 9};
   ...
     bins valid_set = {[1:4], valid_values};

Note: I have uploaded a new version of 2506 that has the productions mentioned above included.
 
Thanks,
Scott

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