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

From: Arturo Salz <Arturo.Salz_at_.....>
Date: Wed Sep 09 2009 - 11:46:51 PDT
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.



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Sep 9 11:48:01 2009

This archive was generated by hypermail 2.1.8 : Wed Sep 09 2009 - 11:48:57 PDT