RE: [sv-bc] SV-BC 291 is uploaded and ready

Hi Surrendra,

I assume you meant P254, not P245. Doug actually meant P111, not P11.

I think you are confusing assignment compatibility for each element of
an array constructor with the allowed operations on an unpacked array,
which require type equivalence. This is required by P111, which passed
in April by Accellera and again in October by P1800.

Dave

________________________________

From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
Surrendra Dudani
Sent: Wednesday, November 10, 2004 10:23 AM
To: sv-bc@eda.org
Subject: Re: [sv-bc] SV-BC 291 is uploaded and ready

Hi Doug,
Your proposal changes assignment compatible to equivalent type for
elements of arrays when unpacked arrays are assigned to each other. Can
you provide reasoning behind it? Proposal for 245 only requires
assignment compatibility.
"When using braces the context of the braces shall also be determined by
the target type. SystemVerilog extends the concatenation and replication
syntax of Verilog-2001 to support the construction of unpacked arrays,
as well as of SystemVerilog structures and multidimensional packed
arrays (see Sections 7.13 and 7.14). In these aggregate constructors
each member expression shall be assignment compatible with the type of
the corresponding structure field or array element and shall be
evaluated as if it were the right-hand value of an assignment to a
variable of that type."

Surrendra
At 11:17 AM 11/9/2004 -0800, you wrote:

Matt, Brad, SV-BC,

I have amended SV-BC 291 to be fully compatible with 254,
which we passed yesterday. As before, 291 supersedes 11
by incorporating its changes into 291. (Actually, some
changes in 3.14 were incorporated into 254 already)

A new proposal has been uploaded.
See http://www.eda.org/svdb/bug_view_page.php?bug_id=0000291.

Regards,
Doug

**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752

Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
Received on Wed Nov 10 14:26:46 2004