Re: [sv-bc] Question on 'Unpacked array concatenation'

Hi Dave,
So then do you mean, that 'x = {y, y};' is illegal?

Also, about your 2nd comment, yes it is still concatenation, but not the 
normal concatenation. And distiguishing two types of concatenation is 
too much complex to do the semantic check etc. if hierarchical 
reference/ forward typedefs etc. involved. I am very much concerned 
about that.

Regards
Surya



-------- Original Message  --------
Subject: Re:[sv-bc] Question on 'Unpacked array concatenation'
From: Rich, Dave <Dave_Rich@mentor.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>, sv-bc@eda.org
Date: Thursday, December 11, 2008 10:46:15 AM
> Surya,
>
> The consensus here has been that there are only one-dimensional arrays
> in SystemVerilog, yet there may be arrays of arrays.
>
> The syntax is not context dependent. {} is always a concatenation. It's
> just that the operator is overloaded.
>
> Dave
>
>
> -----Original Message-----
> From: owner-sv-bc@server.eda.org [mailto:owner-sv-bc@server.eda.org] On
> Behalf Of Surya Pratik Saha
> Sent: Wednesday, December 10, 2008 8:27 PM
> To: sv-bc@server.eda.org
> Subject: [sv-bc] Question on 'Unpacked array concatenation'
>
> Hi,
> I have following question on 'Unpacked array concatenation'. Does it 
> apply only on one dimensional unpacked array, or more than one 
> dimensional array also can be assigned? For e.g.
>
> int x[1:0][2:0];
> int y[2:0];
> x = {y, y}; // is it valid?
>
> Also do we consider 'Unpacked array concatenation' as aggregate 
> expression? LRM is not clear enough on that.
>
> I feel 'Unpacked array concatenation' concept is too much context 
> dependent having similar syntax with concatenation, which will make very
>
> complex to implement semantic checks/ expression evaluation etc. for the
>
> vendors when hierarchical reference/ forward typedefs etc. will be 
> involved. Can we not use different syntax to support it?
>
>   




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