errata/154: A.1.5, attribute ambiguity in non_port_module_items

From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Tue Oct 08 2002 - 19:09:01 PDT


Precedence: bulk

>Number: 154
>Category: errata
>Originator: "Brad Pierce" <Brad.Pierce@synopsys.com>
>Environment:
>Description:

In A.1.5, there is an ambiguity regarding attribute_instances.

Specifically, in the third option of non_port_module_item --

   | {attribute_instance} module_or_generate_item

the '{attribute_instance}' should be removed, leaving simply

   | module_or_generate_item

This fixes the ambiguity. As an added benefit of that fix,
module_item could be simplified to the following --

   module_item ::=
        port_declaration
      | non_port_module_item

A more far-reaching simplification would be --

   1) remove {attribute_instance} from throughout
       port_declaration, module_or_generate_item and
       non_port_module_item

   2) simplify module_item as above

   3) modify module_declaration as follows --

         { module_item } -->
               { { attribute_instance } module_item }

         { non_port_module_item } -->
               { { attribute_instance } non_port_module_item }

-- Brad



This archive was generated by hypermail 2.1.4 : Thu Oct 10 2002 - 09:24:31 PDT and
sponsored by Boyd Technology, Inc.