RE: [sv-ec] email ballot: response due by 11:59pm Thursday June 11 2009

From: <jonathan.bromley_at_.....>
Date: Thu Jun 11 2009 - 01:06:55 PDT
Arturo

> I find the verbiage redefining element somewhat confusing. I would 
> propose the following friendly amendment.
[...]
> * the source and target shall have the same number of unpacked 
dimensions
> * if the target is a fixed-size array or a slice, all dimensions of 
> the source array shall have the same length as the target.
> The slowest-varying dimension may itself  be an unpacked array. 
> Consequently, for two arrays to be assignment compatible it is 
> necessary (but not sufficient) that they
> have the same number of unpacked dimensions.

I see your point, but I was trying to get away from anything 
that smells of multi-dimensional arrays.  As we've 
discussed before, the whole thing would be way easier to 
understand and describe if we were to accept that SV has 
only one-dimensional arrays, whose elements can be of
array type.  So I worked hard to ensure that I only ever
spoke of "the slowest-varying dimension", which is really
the one and only dimension (although I admit I did mention 
the *number* of dimensions).  As soon as you start talking 
about the other dimensions, things get messy.  For example,
your phrase

   all dimensions of the source array shall 
   have the same length as the target

seems a little vague to me - it probably needs to be

   every unpacked dimension of the source array
   shall have the same length as the corresponding
   dimension of the target

But that's just a consequence of the rules for
element equivalence, isn't it?

I'm happy to make the change if others feel it's
the right thing to do, but my personal preference
would be to leave it as it is.
-- 
Jonathan Bromley
Consultant

Doulos - Developing Design Know-how
VHDL * Verilog * SystemVerilog * SystemC * PSL * Perl * Tcl/Tk * Project 
Services

Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24 1AW, 
UK
Tel:  + 44 (0)1425 471223                       Email: 
jonathan.bromley@doulos.com 
Fax:  +44 (0)1425 471573                        http://www.doulos.com

--------------------------------------------------------------------------------
Doulos Ltd is registered in England and Wales with company no. 3723454
Its registered office is 4 Brackley Close, Bournemouth International 
Airport,
        Christchurch, BH23 6SE, UK. 

This message (and associated files) may contain information that is 
confidential, 
proprietary, privileged, or subject to copyright. It is intended solely 
for the use
of the individual to whom it is addressed and others authorised to receive 
it. If
you have received this email in error, please notify the sender and delete 
all
copies. This message may contain personal views which are not the views of
Doulos, unless specifically stated.


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Jun 11 02:29:04 2009

This archive was generated by hypermail 2.1.8 : Thu Jun 11 2009 - 02:29:26 PDT