Subject: [sv-cc] Resolution of open vs dynamic arrays
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Wed Apr 16 2003 - 14:05:43 PDT
For SV 3.1 draft 5, the resolution of the open vs dynamic array issue will be
as follows:
Change section 26.1.2
FROM:
A formal argument is an open array when a range of one or more of its dimensions,
packed or unpacked, is unspecified (denoted by using empty square brackets ([])).
TO:
A formal argument is an open array when a range of one or more of its dimensions,
packed or unpacked, is unspecified. An unpacked open array is a multi-dimensional
dynamic array formal and is thus denoted using the same syntax as dynamic arrays.
This agreement was reached after discussions between Arturo, David and myself.
Basically, for this revision we went with Doug's choice no. 1; however, sv-ec
has already started talking about relaxing the number of dimensions on dynamic
arrays (dynamic array of dynamic arrays), which may lead us to a variant of
choice no. 4.
BTW, also please note that dynamic array formals in SV are really *dynamic* arrays;
if a static array actual is given to a formal actual, the a new dyamic array is
created and the contents of the static array are copied into it. From inside the
function new elements can be added to the formal, elements removed or even the
entire dynamic array deleted and/or reallocated (not that most users would do
this, but they *could*)
Joao
==============================================================================
Joao Geada, PhD Principal Engineer Verif Tech Group
Synopsys, Inc TEL: (508) 263-8083
377 Simarano Drive, Suite 300, FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================
This archive was generated by hypermail 2b28 : Wed Apr 16 2003 - 14:08:15 PDT