RE: [sv-ec] foreach iterates over unpacked arrays

From: Rich, Dave <Dave_Rich_at_.....>
Date: Tue Jan 17 2006 - 16:18:36 PST
OK, then how about just removing the parenthetical clause (fixed-size,
dynamic, or associative)

which is in fact the different forms of an unpacked array, minus queues.
There is no reason this clause should be there.

 

Regarding index variables, an empty variable usually refers to the
contents of that variable. You can have unspecified index variables, or
empty index variable arguments. Any other ideas?

 

Dave

 

 

 

________________________________

From: Arturo Salz [mailto:Arturo.Salz@synopsys.com] 
Sent: Tuesday, January 17, 2006 3:51 PM
To: Rich, Dave; Steven Sharp; sv-ec@eda.org
Subject: RE: [sv-ec] foreach iterates over unpacked arrays

 

Dave,

 

I'm sorry but adding "packed or unpacked" is a silly suggestion.

The LRM currently says "any type of array", which is a non-restrictive
clause so

adding "packed or unpacked" is completely superfluous.

 

Better wording for the two sentences may be in order, but I believe your
proposal 

Needs more work. I think that saying "index variables may be up to" is
even less 

clear than the existing wording.

 

            Arturo

 

-----Original Message-----
From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of
Rich, Dave
Sent: Tuesday, January 17, 2006 3:18 PM
To: Rich, Dave; Steven Sharp; sv-ec@eda.org
Subject: RE: [sv-ec] foreach iterates over unpacked arrays

 

I'll change the proposal to explicitly say 'packed or unpacked array'

 

and I'll also change the wording to say that the number of index

variables may be 'up to' then number of dimensions instead of

'matching'. (I think 0 indexes will be OK, it will just be a nop).

 

Again, my apologies for trying to rush this through; I was being too

quick.

 

Dave

 

 

> -----Original Message-----

> From: Rich, Dave

> Sent: Tuesday, January 17, 2006 3:01 PM

> To: Rich, Dave; Steven Sharp; sv-ec@eda.org

> Subject: RE: [sv-ec] foreach iterates over unpacked arrays

> 

> Sorry, I have to take it all back.

> 

> The wording at the intro to the section does not match the rest of the

> description and is contradictory. It shouldn't say that the number of

loop

> variables must mach the number of dimensions, and then later say that

you

> can omit them.

> 

> Dave

> 

> 

> 

> > -----Original Message-----

> > From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of

> Rich,

> > Dave

> > Sent: Tuesday, January 17, 2006 2:38 PM

> > To: Steven Sharp; sv-ec@eda.org

> > Subject: RE: [sv-ec] foreach iterates over unpacked arrays

> >

> > Yes, there are good reasons. Packed objects are usually dealt with

as a

> > whole (integral) expression and we are usually trying to iterate

over

> > the elements we can't operate on as a whole. If we iterated over the

> > packed dimension, we would always be iterating bit-by bit.

> >

> > Also, foreach was added primarily for iterating over dynamically

sized

> > array dimensions, and especially associative array dimensions, where

> > there is no other way to iterate.

> >

> > And also, foreach should match functionally with the semantics of

random

> > constraints, which want to iterate stopping at integral values.

> >

> > Dave

> >

> >

> > > -----Original Message-----

> > > From: Steven Sharp [mailto:sharp@cadence.com]

> > > Sent: Tuesday, January 17, 2006 1:51 PM

> > > To: sv-ec@eda.org; Rich, Dave

> > > Subject: Re: [sv-ec] foreach iterates over unpacked arrays

> > >

> > >

> > > >From: "Rich, Dave" <Dave_Rich@mentor.com>

> > >

> > > >The LRM does not explicitly say the foreach statement iterates of

> > > unpacked

> > > arrays and not packed arrays. The wording suggests that, but could

be

> > made

> > > stronger. Mantis 1306 added with proposal.

> > >

> > > And is there some technical reason why a foreach statement

shouldn't

> > be

> > > allowed to iterate over packed dimensions?

> > >

> > > Steven Sharp

> > > sharp@cadence.com

> >

 

 
Received on Tue Jan 17 16:19:00 2006

This archive was generated by hypermail 2.1.8 : Tue Jan 17 2006 - 16:19:45 PST