Re: [sv-ec] Question Regrading the Open value range list with Covergroup bins

From: Steven Sharp <sharp_at_.....>
Date: Fri Apr 04 2008 - 16:51:57 PDT
>          " The open_range_list used to specify the set of values associated 
with
>            a bin shall be *constant* *expressions* (see 11.2.1), instance 
constants
>            (for classes only), or non-ref arguments to the coverage group."
>
>         But the  BNF is as shown below.
>
>        open_range_list ::= open_value_range { , open_value_range }
>        open_value_range ::= value_range
>        value_range ::= expression | [ expression : expression ]
>
>       I feel that here it should be "constant_expression" and not "expression"
>       and should be corrected.

If the BNF only allowed constant_expressions, then the language would
only allow constant expressions.  But from the text you quoted, it allows
instance constants for classes, and non-ref arguments to the coverage group.
To allow these, the BNF must allow them.

It might be possible to restrict this a little more with the BNF, but it
is simpler to use the general production and restrict it with the semantic
rules you quoted.

Steven Sharp
sharp@cadence.com


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Apr 4 16:53:32 2008

This archive was generated by hypermail 2.1.8 : Fri Apr 04 2008 - 16:53:40 PDT