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

Yes, that's right, but in a way doing explicitly using the existing functions (LRM) should also work then, right?
ed

> -----Original Message-----
> From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
> Sent: Tuesday, January 18, 2011 4:05 PM
> To: Eduard Cerny; sv-ac@eda.org
> Subject: 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.