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