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

this is not my issue my issue is using "singular" in my quotation
Unpacked struct is not singular so how can array of unpacked struct be
used in inside.
The whole idea is ok - I think that wrong words were used to describe it.

DANiel

On 12/22/2011 1:34 PM, Lavva, Irina wrote:
>
> 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.