[sv-ac] RE: New versions of 3036 and 3037 uploaded

Ed,

That is not strictly correct. The $bits function can be used as an elaboration constant only when its argument is a fixed-size expression (or type). When the expression is a dynamic array, $bits returns the size (in bits) allocated by the array. But, I can see why this is confusing since the LRM contains several seemingly contradictory statements regarding this.

        Arturo

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Eduard Cerny
Sent: Tuesday, January 18, 2011 11:51 AM
To: Bresticker, Shalom; Eduard Cerny; sv-ac@eda.org
Subject: [sv-ac] RE: New versions of 3036 and 3037 uploaded

But $bits is only elab time function, you cannot use it on a dynamic array (only on its element if it is bounded).
ed

> -----Original Message-----
> From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
> Sent: Tuesday, January 18, 2011 1:37 PM
> To: Eduard Cerny; sv-ac@eda.org
> Subject: RE: New versions of 3036 and 3037 uploaded
>
> You could talk about it being cast to an N-bit vector, where N is the
> number of bits in 'expression', i.e., $bits(expression).
>
> Shalom
>
>
> > -----Original Message-----
> > From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
> > Sent: Tuesday, January 18, 2011 7:59 PM
> > To: Bresticker, Shalom; sv-ac@eda.org
> > Subject: RE: New versions of 3036 and 3037 uploaded
> >
> > I could not find a way to do this casting for dynamic arrays.
> > ed
> >
> >
> > > -----Original Message-----
> > > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> > > Bresticker, Shalom
> > > Sent: Tuesday, January 18, 2011 12:56 PM
> > > To: sv-ac@eda.org
> > > Subject: [sv-ac] FW: New versions of 3036 and 3037 uploaded
> > >
> > >
> > >
> > > -----Original Message-----
> > > From: Brad Pierce [mailto:Brad.Pierce@synopsys.com]
> > > Sent: Tuesday, January 18, 2011 7:53 PM
> > > To: Bresticker, Shalom
> > > Subject: RE: New versions of 3036 and 3037 uploaded
> > >
> > > > More problematic is that 11.4.14.1 says, "It shall be an error to
> > use
> > > a streaming_concatenation as an operand in an expression without
> > first
> > > casting it to a bit-stream type."
> > >
> > > 11.4.14, not 11.4.14.1, via
> http://www.eda-twiki.org/svdb/view.php?id=1707
> > .
> > >
> > > -- Brad
> > >
> > >
> > > -------------------------------------------------------------------
> --
> > > 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.
> > >
>
> ---------------------------------------------------------------------
> 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.
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.