RE: [sv-ec] Query for Iterator index querying

I think we have a new mantis issue here. 

The LRM does not define the type of the variable use to iterate using
the 'with' clause (although I can't see what other type it could be
other than the element type).

In mantis 978, we assumed that there are no multi dimensional arrays,
just single dimensional arrays whose elements could be arrays. Se we
removed the example showing iterating over a multi-D array. We forgot to
change the prototype of 'index', it no longer takes a dimension
argument. If you have an array of an array, you will have to nest your
iterators.

Dave


-----Original Message-----
From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Bresticker, Shalom
Sent: Monday, August 06, 2007 6:53 AM
To: Moumita; sv-bc; sv-ec
Subject: RE: [sv-ec] Query for Iterator index querying

The descriptions of the array manipulation methods at the beginning of
each of 5.15.1-5.15.3 say what types of arrays they apply to, and they
are unpacked arrays, i.e., not packed arrays.

Shalom


> -----Original Message-----
> From: owner-sv-ec@server.eda.org 
> [mailto:owner-sv-ec@server.eda.org] On Behalf Of Moumita
> Sent: Monday, August 06, 2007 2:38 PM
> To: sv-bc; sv-ec
> Subject: [sv-ec] Query for Iterator index querying
> 
> Hello,
> 
>  IEEE std 1800-2005 standard for System Verilog,sec 5.15.4  
> does not say anything about the array for index method ,so my 
> query is whether index method (Iterator index querying) can 
> be applied  to unpacked array or packed array?
> If we have -
> q = arr.find with ( item == item.index );  // item is packed 
> array or unpacked array?
> 
> Also the language "The index method of an iterator returns 
> the index value of the specified dimension." is not clear to me.
> So for the following testcase what will be value of x?
>  bit i[2:0];
>     int x;
>     initial begin
>         x = i.index();  
>     end
> 
> Thanks and regards,
> 
> Moumita
> 
> 
> 
> --
> 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.