Subject: Re: [sv-bc] Dan Jacobi's ARs from 15/01/03
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Sat Jan 18 2003 - 12:38:53 PST
I support Dan's proposal, but I think it doesn't go far enough.
We should also take issues SV-BC-19-54 and SV-BC-38 into account.
The combined effect of issues SV-BC-19-54 and SV-BC38 is --
variable_lvalue ::= variable_lvalue_item
The variable_lvalue_item nonterminal is rendered superfluous.
(There is no such nonterminal in V2K.)
I propose that we delete variable_lvalue_item and define
variable_lvalue as what Dan has proposed as the definition
of variable_lvalue_item. Specifically,
variable_lvalue ::=
hierarchical_variable_identifier { '[' expression ']' }
[ '[' range_expression ']' ]
| '{' variable_lvalue { ',' variable_lvalue } '}'
-- Brad
This archive was generated by hypermail 2b28 : Sat Jan 18 2003 - 12:39:23 PST