Hi Daniel,
If I will look into BNF rules, the "s inside {arr}" expression is ok ,
"open_range_list" may be a single "expression" according the following BNF rules:
inside_expression ::= expression inside { open_range_list }
open_range_list ::= open_value_range { , open_value_range }
open_value_range ::= value_range23
value_range ::=
expression
| [ expression : expression ]
Thanks,
Irina Lavva
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Daniel Mlynek
Sent: Thursday, December 22, 2011 13:22
To: sv-ec@eda.org
Subject: [sv-ec] isnide for array of unpacked structs
There is a mistake in LRM in inside definition:
"If an expression in the list is an unpacked array, its elements are traversed by descending into the array until reaching a singular value."
what if it is array of unpacked struct - we should be descending into the array until reaching non-array bcos unpacked struct is not singular.
module top;
typedef struct{ real re; int i;} T;
T arr[10];
T s;
initial assert (s inside (arr));//nonsne according to LRM
endmodule
DANiel
-- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. --------------------------------------------------------------------- Intel Israel (74) Limited This e-mail and any attachments may contain confidential material for the sole use of the intended recipient(s). Any review or distribution by others is strictly prohibited. If you are not the intended recipient, please contact the sender and delete all copies. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Dec 22 04:36:11 2011
This archive was generated by hypermail 2.1.8 : Thu Dec 22 2011 - 04:36:15 PST