RE: [sv-ec] rand in struct with union members

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Wed Sep 09 2009 - 13:24:38 PDT
I think that is what he meant. reals are thus implicitly excluded. the same for unpacked unions.

shalom 

> -----Original Message-----
> From: Arturo Salz [mailto:Arturo.Salz@synopsys.com] 
> Sent: Wednesday, September 09, 2009 9:47 PM
> To: Daniel Mlynek; 'Steven Sharp'; Bresticker, Shalom; sv-ec@eda.org
> Subject: RE: [sv-ec] rand in struct with union members
> 
> That is not correct: real types are excluded. The LRM 
> explicitly limits random variables to be integral types.
> 
>         Arturo
> 
> -----Original Message-----
> From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On 
> Behalf Of Daniel Mlynek
> Sent: Tuesday, September 08, 2009 11:36 PM
> To: 'Steven Sharp'; shalom.bresticker@intel.com; sv-ec@eda.org
> Subject: RE: [sv-ec] rand in struct with union members
> 
> In LRM ther is a list of types allowed to be random variable 
> there is no
> unpacked unions among them so why to add this explisit statement.
> There is no such statement ie for reals.
> 
> DANiel
> 
> -----Original Message-----
> From: Steven Sharp [mailto:sharp@cadence.com]
> Sent: 9 września 2009 03:05
> To: shalom.bresticker@intel.com; sharp@cadence.com; sv-ec@eda.org;
> daniel.mlynek@aldec.com
> Subject: RE: [sv-ec] rand in struct with union members
> 
> 
> >From: "Daniel Mlynek" <daniel.mlynek@aldec.com>
> 
> >So you are saying that only unpacked unions cannot be made random. If
> >so then the whole sentence from which we started the discussion is
> >redundand and mention about unions should be removed.
> 
> We could change that sentence to say "unpacked union" instead 
> of "union",
> but we cannot remove it unless we add something else that 
> plugs the loophole
> and ensures that unpacked unions cannot be made rand.  Unless 
> we do that,
> the sentence is not redundant.
> 
> 
> >From Steven email I think that LRM was  saying that packed 
> union cannot
> >be made random if nested in unpacked struct - but this restriction is
> >controversial.
> 
> I don't see a technical reason for it, and have no problem 
> relaxing it.
> 
> 
> Steven Sharp
> sharp@cadence.com
> 
> 
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, 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 Wed Sep 9 13:25:42 2009

This archive was generated by hypermail 2.1.8 : Wed Sep 09 2009 - 13:26:29 PDT