Subject: RE: [sv-ec] Legal use of an inside_expression
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Tue Sep 02 2003 - 18:55:23 PDT
Neil,
Although the semantics of the 'inside' operator was defined in the
random constraints section of the 3.1 LRM, the intent was to allow
the 'inside' operator to be used anywhere in the language.
It would be clearer to relocate its definition to Section 7 for 3.1A.
-- Brad
-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org]On Behalf Of Neil
Korpusik
Sent: Tuesday, September 02, 2003 4:22 PM
To: sv-ec@eda.org
Subject: [sv-ec] Legal use of an inside_expression
Hi Brad,
I had a question on the SV3.1 BNF.
It was my understanding that an "inside_expression" was intended to only be
used within constraint blocks. The BNF seems to indicate that an
inside_expression can be used anywhere that an expression is allowed.
A.8.3 Expressions
expression::=
primary
|unary_operator{attribut_instance}primary
| inc_or_dec_expression
| ( operator_assignment )
| expression binary_operator { attribute_instance } expression
| conditional_expression
| string_literal
| inside_expression
inside_expression ::= expression inside range_list_or_array
Could you clarify this?
Neil
This archive was generated by hypermail 2b28 : Tue Sep 02 2003 - 18:57:36 PDT