RE: [sv-ec] isnide for array of unpacked structs

From: Lavva, Irina <irina.lavva@intel.com>
Date: Thu Dec 22 2011 - 04:34:37 PST

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