Subject: Re: [sv-ec] BNF in CH-116 for Constraints
From: Stefen Boyd (stefen@boyd.com)
Date: Thu Mar 13 2003 - 10:28:51 PST
David,
I already incorporated the constraints into the bnf... so
perhaps it doesn't matter what Arturo has in CH-116. I did
notice that I had all of these correct in my bnf - except I
forgot to include "expression" in "constraint_expression"
can you create a change for this (so I can appropriately
mark the change)?
Stefen
At 09:37 AM 3/13/2003 -0800, David W. Smith wrote:
>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><?xml:namespace prefix = o ns =
>"urn:schemas-microsoft-com:office:office" />
> | <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 - 10:34:13 PST