RE: [sv-ec] Array assignment compatibility

From: Jonathan Bromley <jonathan.bromley_at_.....>
Date: Tue Jun 24 2008 - 00:56:50 PDT
Arturo,

> The rules for unpacked array concatenation can help in simple
> situations, but will generally not work with multi-dimensional arrays.

Agreed.  Nor do I see any reasonable way to fix that; 
unpacked array concatenation is very clearly intended to 
deal with only one dimension at a time.

> And, if this is the prescribed way to deal with these 
> situations then it would be helpful 
> to add note in the LRM stating this explicitly along
> with an example (perhaps the simple one below).

Depending on the outcome of this issue, it might be worth
a note or example, yes.  It wasn't my intent to make this
the "prescribed" or even recommended way - it's just
something that happened to fall out of Mantis 1702.  And,
as you say, it works only for one dimension.

> I agree that there is a type checking inconsistency between fixed size
> and dynamic arrays. They should all be either equivalent or assignment
> compatible. I see good arguments in favor of either.

Yes.
 
> We also seem to be in agreement that the rules for array 
> casting - other
> than bit stream casting - are undefined. And, if we are going to live
> with this, shouldn't we make them illegal or risk running into more
> implementation divergences?

I'm becoming increasingly troubled about this.  The definition of
bit-stream casting is so wide that it hijacks the cast operation,
making it effectively unusable for anything unpacked unless you
really want bit-streaming.  Bit-stream casting can do some 
"interesting" reshaping operations on multi-dimensional 
unpacked arrays.  I can imagine that giving users some nasty
surprises, particularly if they have done creative things 
with type parameters.

> As to my last example...

Thanks for the clarification about the SV-BC emails.  It looks
as though everyone agrees that the RHS gets evaluated first
before anything is done to the LHS.  Of course that's sensible.
It ought to be in the LRM, but in view of the wide agreement
with common-sense it's probably something that should be filed
as a Mantis for correction in a future LRM revision.
-- 
Jonathan Bromley, Consultant

DOULOS - Developing Design Know-how
VHDL * Verilog * SystemC * e * 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                           Web: http://www.doulos.com

This message may contain personal views which 
are not the views of Doulos Ltd., unless specifically stated.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Jun 24 00:57:55 2008

This archive was generated by hypermail 2.1.8 : Tue Jun 24 2008 - 00:58:36 PDT