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

Right, I got led the wrong way since it is included as a constant function too.
So it applies to a queue, would it also to a regular dynamic array? I guess yes...

Thanks,
ed

> -----Original Message-----
> From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
> Sent: Tuesday, January 18, 2011 2:55 PM
> To: Eduard Cerny; sv-ac@eda.org
> Subject: RE: New versions of 3036 and 3037 uploaded
>
> No.
>
> See for example the end of 9.4.2:
>
> byte stream[$]; // queue of bytes
>
> initial wait($bits(stream) > 60)...; // waits for total number of bits
> in stream greater than 60
>
> Shalom
>
>
> > -----Original Message-----
> > From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
> > Sent: Tuesday, January 18, 2011 9:51 PM
> > To: Bresticker, Shalom; Eduard Cerny; sv-ac@eda.org
> > Subject: 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.
>
> ---------------------------------------------------------------------
> 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.