Re: BTF Final Attribute Proposal

From: James A. Markevitch (jam@magic.com)
Date: Sun Feb 20 2000 - 18:38:49 PST


> Date: Fri, 18 Feb 2000 16:35:33 -0500 (EST)
> From: Steven Sharp <sharp@cadence.com>
> Message-Id: <200002182135.QAA02759@quicksand.Cadence.COM>
> To: btf@boyd.com, jam@magic.com, krolnik@lsil.com
> Subject: BTF Final Attribute Proposal
>
> The BNF also needs to be modified to match. I believe that the only places
> that attributes will be needed will be at the start of these:
> module_declaration
> udp_declaration
> module_item
> module_or_generate_item
> block_item_declaration
> task_item_declaration
> ordered_port_connection
> named_port_connection
> port_definition
> task_port_item
> function_port_list
> udp_input_declaration
> udp_output_declaration
> udp_reg_declaration
> statement
> statement_or_null
> function_statement
> function_statement_or_null
>
> at the appropriate place in
> function_call
>
> and at the appropriate places (which already exist) in
> expression
> to cover unary_operator, binary_operator and conditional operators.

The 2/13/2000 BNF looks like it supports all of the above except for
"port_definition". I believe this was changed to "port_declaration" in
recent BNF, and the attributes appear to be missing from there.
I believe the following will implement the attributes as desired:

Add "{ attribute_instance }" to each of the three productions in
port_declaration. Remove "{ attribute_instance }" from the production in
module_item which includes port_declaration. Thus, the new rules become:

port_declaration ::= { attribute_instance } inout_declaration
                   | { attribute_instance } input_declaration
                   | { attribute_instance } output_declaration

module_item ::= { attribute_instance } generated_instantiation
                ...
              | port_declaration
                ...

NOTE: As mentioned in previous e-mail, the "module_or_generate_item"
production in the module_item rules should also have the attribute_instance
removed.

James Markevitch



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:54:12 PDT and
sponsored by Boyd Technology, Inc.