paramset syntax

I believe the following is the syntax necessary for paramsets.
(localparams must also be added, following V2001)

paramset_declaration ::=
        {attribute_instance} paramset paramset_identifier module_identifier ;
        paramset_item_declaration {paramset_item_declaration}
        paramset_assignment { paramset_assignment }
        endparamset
paramset_item_declaration ::=
          {attribute_instance} parameter_declaration
        | {attribute_instance} local_parameter_declaration
        | {attribute_instance} string_parameter_declaration
        | {attribute_instance} local_string_parameter_declaration
        | aliasparam_declaration
        | {attribute_instance} integer_declaration
        | {attribute_instance} real_declaration
paramset_assigment ::=
          .parameter_identifier = expression ;
        | statement

The rest of the paramset proposal is, I believe, semantic, and
will be described in Section 7 (hierarchical structures).

-Geoffrey
Received on Tue Jun 1 14:10:59 2004