RE: [sv-bc] Mantis 1702 - queue concatenation - proposal

Jonathan, 

You should be looking at 1447 as well.

Shalom 

> -----Original Message-----
> From: owner-sv-bc@server.eda.org 
> [mailto:owner-sv-bc@server.eda.org] On Behalf Of Jonathan Bromley
> Sent: Monday, November 19, 2007 1:19 AM
> To: sv-bc@server.eda.org
> Subject: [sv-bc] Mantis 1702 - queue concatenation - proposal
> 
> hi EC,
> 
> I've uploaded proposal-1702-1.pdf to Mantis.  Please review - 
> especially Steven and Françoise, who kindly agreed to keep an 
> eye on what I did :-)
> 
> Copied to BC because the generalization of array behaviour is 
> on their patch.  In reality I think it's just clarification 
> of de-facto behavior, but it's always better to check...
> 
> I am somewhat troubled that I don't understand how to define 
> clearly the notion - explained previously by Dave Rich and 
> others - that references to a queue element don't go stale 
> when that element is moved around in the queue.  I don't see 
> any clear definition in the present LRM, and I don't see 
> exactly how it can be maintained in cases like this:
> 
>   task T(ref int I);
>     #5 ...
>   endtask
>   int Q[$];
>   initial begin
>     Q =  = '{1,2,3,4);
>     fork T(Q[3]); join_none
>     Q = {Q[0:1], Q[3], Q, Q[$]};  // 3 copies of Q[3]
>   end
>   // What does T.I now reference???
> 
> Otherwise I'm fairly happy that I've been able to generalize 
> queue expressions in the way I'd hoped.
> 
> 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.
> 
---------------------------------------------------------------------
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.