[sv-ec] BNF in CH-116 for Constraints


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