Subject: [sv-ec] BNF in CH-116 for Constraints
From: David W. Smith (david.smith@synopsys.com)
Date: Thu Mar 13 2003 - 09:37:46 PST
Arturo found two mistakes in the BNF that is included in CH-116. I have
updated CH-116 with the following changes to the BNF:
<expression> ::= <verilog_expression> // Add <inside> to
<expression>
| <inside>
<inside> ::= <expression> 'inside' <range_list_or_array>
and
<constraints> ::= <constraint>
| '{' { <constraint> } '}'
The original versions were (with changes shown in red):
<inside> ::= <expression> 'inside' '{' <range_list_or_array> '}'
<expression> ::= <verilog_expression>
| <inside>
| '!' '(' <inside> ')' // outside
and
<constraints> ::= <constraint> | '{' { <constraints> } '}'
The changes are consistent with Chapter 20.
If you have already voted on email-5 and this makes any difference to your
vote please re-vote.
Regards
David
This archive was generated by hypermail 2b28 : Thu Mar 13 2003 - 09:38:10 PST