[sv-ac] review of 1901 (constant expression in ##)

Hi,
 
I have reviewed 1901 proposal and actually found it redundant,
 
It is claimed  that "Cycle delay for ## concatenation allows identifier
to specify the delay w/o retsricting to constant epxr"
 
The addition this proposal makes is:
 
- When an identifier is specified as in ##N, the identifier must be a
constant primary, i.e., an

elaboration-time constant.

 

currently the BNF for constant_expression is:
 
constant_expression ::=

constant_primary

| unary_operator { attribute_instance } constant_primary

| constant_expression binary_operator { attribute_instance }
constant_expression

| constant_expression ? { attribute_instance } constant_expression :
constant_expression

 

constant_primary ::=

primary_literal

| ps_parameter_identifier constant_select

...

 

(primary literal is more or less a number)

 

so when an identifier is used it must already be part of
constant_primary (parameter,genvar and etc.).

 

 

It may still be a good idea to add this sentence to make it clearer
regardless of the BNF.

 

Regards,

Yaniv

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.