RE: [sv-ec] apologies and 1702

From: Jonathan Bromley <jonathan.bromley_at_.....>
Date: Thu Dec 13 2007 - 02:38:59 PST
Neil, thanks for the update.

> In the Dec 10th conference call the SV-EC passed the proposal
> for 1702 with a friendly amendment.
> 
>     From: "When any form of assignment updates a queue, 
>           references to any element of the original queue
>           shall become outdated."
>       To: "When the target of an assignment is an entire 
>           queue, references to any element of the original
>           queue shall become outdated."

OK, I'll implement that and upload a new version alongside the
existing one.  I agree that the new wording is clearer.
However, it doesn't address a problem that I mentioned in an
earlier mail: what happens if I write to a slice of a queue?

  Q = {0,1,2,3,4};
  #5 Q[1:2] = {11,12};

My intuition tells me that references to elements Q[1] and Q[2] 
go stale, but the others don't.  Your new wording explicitly
avoids this possibility.  Do we want to outlaw it?  Or should
we add a new stipulation, something like

   When the target of an assignment is an element or slice of
   an existing queue, references to the element(s) that are
   so assigned shall become outdated.

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.
Received on Thu Dec 13 03:07:33 2007

This archive was generated by hypermail 2.1.8 : Thu Dec 13 2007 - 03:08:08 PST