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.