[sv-ec] Feedback on grammar change for 2506

Hi Brad:

In the most recent SV-EC meeting the group determined that a grammar change to create a single grammar item where a set of semantic restrictions exist would be preferable to creating/maintaining a list of grammar items where these restrictions exist. Gord suggested we run this type of grammar change by you before proceeding. I have included a version of the proposal which includes the grammar update (covergroup_constant_expression is added which induces several other changes). I also left the previous solution of the list of grammar items (you can find this at the top of page 4). In the process of making the grammar change I determined that the previous list is incomplete and some items would be difficult to describe without some sort of grammar change. Would you object to the grammar change shown here?

Also, we have an outstanding question for you from your previous Champion's feedback on 2506. We would appreciate a response.

Regarding your feedback below:

3) Is there more than one way in the standard to understand "evaluates to true"?
   Why do we need to say "The truth value of the with clause expression is
   interpreted in the same way an expression is interpreted in the condition of
   a procedural if statement(Sec. 12.4).?

In my initial revision, I stated:

[SL] That statement was intended to be a clarification. Questions have been raised about it before. I have removed that sentence.

In the SV-EC meeting yesterday the group felt that the clarification is useful and the sentence should stay. Steven pointed to mantis 1251 as an example of the potential confusion regarding the use of "evaluates to true". Based on this information are you okay if we leave in the sentence in question?

Thanks,
Scott

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