RE: [sv-ec] Mantis 1702 - queue concatenation

Brad,

Just the opposite, I think the e-mail thread supports queues as unpacked
arrays. 

In the various committees that I monitor, there has been general
consensus that unpacked arrays are one dimensional aggregates of
elements with a uniform data type. A dimension may be declared with a
variety of indexing and allocation mechanisms (i.e. fixed-sided,
dynamic, associative, and queue) and the uniform data type may be any
data type, including another unpacked array type.

So if there is any remaining text to the contrary, that should be
corrected.

> -----Original Message-----
> From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org]
On
> Behalf Of Brad Pierce
> Sent: Wednesday, November 14, 2007 12:18 PM
> To: sv-ec@server.eda.org
> Subject: RE: [sv-ec] Mantis 1702 - queue concatenation
> 
> I don't find it self-evident.  None of the examples in the current LRM
> use assignment patterns for queues, and there is support in the LRM
for
> the idea that queues are not unpacked arrays.
> 
> See http://www.eda-stds.org/sv-ec/hm/4678.html .
> 
> -- Brad
> 
> -----Original Message-----
> From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
> Jonathan Bromley
> Sent: Wednesday, November 14, 2007 11:56 AM
> To: sv-ec@eda.org
> Subject: RE: [sv-ec] Mantis 1702 - queue concatenation
> 
> I spent a while trying to work out whether the LRM permits assignment
> patterns '{} of queue type.  It seems to me that clause 7.4.2 of draft
4
> clearly treats queues as just one of several different kinds of
unpacked
> array, and therefore permits the following:
> 
>   typedef int T_Q[$];
>   T_Q  Q;
>   ...
>   Q = '{1,2,3,4};
>   Q = T_Q'{5,6,7,8};
> 
> Does anyone disagree?  Does this need specific clarification, or can
we
> take it as a self-evident consequence of the LRM?  I can't find any
> examples in the LRM of such usage.
> 
> I agree with others that the use of '{} to do queue concatenation is
> unacceptable:
> 
>   Q = '{Q, 9};  // wrong element type in assignment pattern
> 
> hence the need for a new definition for {Q, element}.
> 
> Thanks
> --
> Jonathan Bromley, Consultant
> 
> DOULOS - Developing Design Know-how
> VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services
> 
> Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24
> 1AW, UK
> Tel: +44 (0)1425 471223                   Email:
> jonathan.bromley@doulos.com
> Fax: +44 (0)1425 471573                           Web:
> http://www.doulos.com
> 
> The contents of this message may contain personal views which are not
> the views of Doulos Ltd., unless specifically stated.
> 
> --
> 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.
> 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.