[sv-bc] RE: 1800-2012.pdf, sec 7.5 Dynamic Arrays - question. errata?

I agree as well.  This was my interpretation:

The upper dimension of:
mem is a fixed-size unpacked array, as the comment says.

The lower dimensions of:
mem[0] and mem[1] are dynamic subarrays.


-Tom

From: owner-sv-ec@eda.org [mailto:owner-sv-ec@eda.org] On Behalf Of Tipp, Brandon P
Sent: Tuesday, May 07, 2013 7:58 AM
To: Bresticker, Shalom; Maidment, Matthew R; linc jepson; sv-bc@eda.org
Cc: sv-ec@eda.org; Tipp, Brandon P
Subject: [sv-ec] RE: 1800-2012.pdf, sec 7.5 Dynamic Arrays - question. errata?

While I agree with Shalom, that the wording is correct, I think that this "note" is adding confusion to something that would otherwise be obvious.  Therefore, I'd suggest that the entire statement should be removed.

-Brandon

From: owner-sv-ec@eda.org<mailto:owner-sv-ec@eda.org> [mailto:owner-sv-ec@eda.org] On Behalf Of Bresticker, Shalom
Sent: Monday, May 06, 2013 1:11 PM
To: Maidment, Matthew R; linc jepson; sv-bc@eda.org<mailto:sv-bc@eda.org>
Cc: sv-ec@eda.org<mailto:sv-ec@eda.org>
Subject: [sv-ec] RE: 1800-2012.pdf, sec 7.5 Dynamic Arrays - question. errata?

I think leftmost is correct.

In the example Matt quotes, mem is a fixed-size unpacked array, as the comment says.

mem[0] and mem[1] are dynamic subarrays.

The sentence Linc quotes refers to using the bare, unindexed name of the array, mem in this case.

Shalom
From: owner-sv-ec@eda.org<mailto:owner-sv-ec@eda.org> [mailto:owner-sv-ec@eda.org] On Behalf Of Maidment, Matthew R
Sent: Monday, May 06, 2013 22:56
To: linc jepson; sv-bc@eda.org<mailto:sv-bc@eda.org>
Cc: sv-ec@eda.org<mailto:sv-ec@eda.org>
Subject: [sv-ec] RE: 1800-2012.pdf, sec 7.5 Dynamic Arrays - question. errata?

Hi Linc.

The resolution of Mantis 1447 introduced that wording:

http://www.eda.org/svdb/view.php?id=1447

It was handled by SV-EC sub-committee.

I, too, am a bit confused by the working, but I wonder if the comment on this declaration may be informative:

integer mem[2][]; // Fixed-size unpacked array composed
       ^^^^^^&&  // of 2 dynamic subarrays of integers


In this case, there are 2 unpacked arrays (^^) and their leftmost unpacked array dimension (&&) is a dynamic array dimension.

I've cc'ed the sv-ec for clarification.

Matt
--
Matt Maidment
mmaidmen@ichips.intel.com<mailto:mmaidmen@ichips.intel.com>

From: linc jepson [mailto:linc@74ze.com]
Sent: Monday, May 06, 2013 12:29 PM
To: sv-bc@eda.org<mailto:sv-bc@eda.org>; mmaidmen@ichips.intel.com<mailto:mmaidmen@ichips.intel.com>
Subject: 1800-2012.pdf, sec 7.5 Dynamic Arrays - question. errata?

Matt/SV-Team,

I wasn't sure whom to send this to, so....

Spec question.  Error?
1800-2012.pdf, sec 7.5 Dynamic Arrays

"Note, that in order for an identifier to represent a dynamic array, it must be declared with a dynamic array
dimension as the leftmost unpacked dimension."

Should this be "rightmost unpacked dimension"?



I was just about to post this on an Accellera forum, and then only saw a UVM forum on Accellera (no pure SV one) and realized IEEE:SV::Accellera:UVM.  But I didn't find a comparable forum for SV on the IEEE site.  If there is one, please let me know.


all the best,
Linc Jepson



http://eda.org/sv-bc/


--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, 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<http://www.mailscanner.info/>, and is
believed to be clean.

--
This message has been scanned for viruses and
dangerous content by MailScanner<http://www.mailscanner.info/>, and is
believed to be clean.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.