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

That would be the idea. But remember, it is just a way of explaining how the functions work, "as if" that is what was happening.

Regards,
Shalom

> -----Original Message-----
> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com]
> Sent: Tuesday, January 18, 2011 11:03 PM
> To: Bresticker, Shalom; Eduard Cerny; sv-ac@eda.org
> Subject: RE: New versions of 3036 and 3037 uploaded
>
> But the example shows that you can get the number of bits from the
> queue, but how would you use that to cast the bitstream?
> Should this work?
>
> logic [3:0] arry[$];
> typedef logic [$bits(arry)-1:0] mytype;
> ...
> and then the cast
> mytype'({>>{arry}})
>
> ?
>
> 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.

---------------------------------------------------------------------
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.