Re: [sv-ec] Re: [sv-bc] coverage_type_option_assignment

From: Paul Graham <pgraham_at_.....>
Date: Mon Aug 08 2005 - 11:22:00 PDT
> The "not in Annex A" specialization style is used in a dozen syntax
> boxes in the SV LRM.  Where's an example of the italicized prefix style
> in the SV LRM?

I was thinking of section 1.4 in the LRM Overview where it says:

    -- If the name of any category starts with an italicized part ...

This convention is followed in the vhdl lrm, but I guess
it's a no-op for verilog.  Too bad, for it is a useful
convention.  It greatly reduces the number of significant
non-terminals that you have have to keep track of.

Well, can I suggest that we add a clause in section 1.4 that says:

    The presence of the comment "not in Annex A" in a syntax
    box means that at least one grammatical category of the
    form xxx_yyy is equivalent to a category yyy.

To match this rule, the category for 18-6 should be changed to
coverage_option_blocking_assignment.

Paul
Received on Mon Aug 8 11:22:02 2005

This archive was generated by hypermail 2.1.8 : Mon Aug 08 2005 - 11:22:06 PDT