From: Dennis Marsa (drm@xilinx.com)
Date: Thu Oct 18 2001 - 08:00:01 PDT
Precedence: bulk
The following reply was made to PR errata/53; it has been noted by GNATS.
From: Dennis Marsa <drm@xilinx.com>
To: Shalom Bresticker <Shalom.Bresticker@motorola.com>
Cc: btf-bugs@boyd.com
Subject: Re: errata/53: net_lvalue BNF allows {x[i]}
Date: Thu, 18 Oct 2001 08:51:42 -0600
> From: Shalom Bresticker <Shalom.Bresticker@motorola.com>
> To: Dennis Marsa <drm@xilinx.com>
> Cc: btf-bugs@boyd.com
> Subject: Re: errata/53: net_lvalue BNF allows {x[i]}
> Date: Thu, 18 Oct 2001 15:14:39 +0200
>
> --------------CCBF3B3171D307A8B8E54E9C
> Content-Type: text/plain; charset=us-ascii
> Content-Transfer-Encoding: 7bit
>
> Yes, that looks excellent.
>
> By the way, this discussion found for me two mssing hypertext links in my hypertexted BNF,
> so I will send a corrected version in a moment.
>
> My BNF still contains the existing definitions of net_lvalue and variable_lvalue.
>
> Shalom
Great.
Here is one minor correction to the "variable_lvalue" production. It
should reference "hierarchical_variable_identifier" instead of
"hierarchical_net_identifier".
variable_lvalue ::= hierarchical_variable_identifier
| hierarchical_variable_identifier '[' expression ']' { '[' expression ']' }
| hierarchical_variable_identifier '[' expression ']' { '[' expression ']' } '[' range_expression ']'
| hierarchical_variable_identifier '[' range_expression ']'
| '{' variable_lvalue { ',' variable_lvalue } '}'
Dennis Marsa
Xilinx, Inc.
> Dennis Marsa wrote:
>
> > > The above seems vague to me on what exactly the proposed fix to the BNF
> > > should be:
> > >
> > > Here's my interpretation, please correct if I am wrong:
> > >
> > > * New productions for net_lvalue and variable_lvalue (only last alternative
> > > in each is different)
> > >
> > > net_lvalue ::= hierarchical_net_identifier
> > > | hierarchical_net_identifier '[' constant_expression ']' { '[' constant_expression ']' }
> > > | hierarchical_net_identifier '[' constant_expression ']' { '[' constant_expression ']' } '[' constant_range_expression ']'
> > > | hierarchical_net_identifier '[' constant_range_expression ']'
> > > | '{' net_lvalue { ',' net_lvalue } '}'
> > >
=====> See corrected version of "variable_lvalue" above...
> > > variable_lvalue ::= hierarchical_net_identifier
> > > | hierarchical_net_identifier '[' expression ']' { '[' expression ']' }
> > > | hierarchical_net_identifier '[' expression ']' { '[' expression ']' } '[' range_expression ']'
> > > | hierarchical_net_identifier '[' range_expression ']'
> > > | '{' variable_lvalue { ',' variable_lvalue } '}'
> > >
> > > * Eliminate productions:
> > >
> > > net_concatenation
> > > net_concatenation_value
> > > variable_concatenation
> > > variable_concatenation_value
This archive was generated by hypermail 2.1.4
: Mon Jul 08 2002 - 12:54:47 PDT
and
sponsored by Boyd Technology, Inc.