[sv-bc] RE: Assignment compatibility of packed arrays of enums

6.22.2(c) says,

"Packed arrays, packed structures, packed unions, and built-in integral types are equivalent if they contain the same number of total bits, are either all 2-state or all 4-state, and are either all signed or all unsigned.

typedef bit signed [7:0] BYTE;                       // equivalent to the byte type
typedef struct packed signed {bit[3:0] a, b;} uint8; // equivalent to the byte type"

Doesn't this cover the situation?

Shalom

> -----Original Message-----
> From: owner-sv-bc@server.eda.org 
> [mailto:owner-sv-bc@server.eda.org] On Behalf Of Brad Pierce
> Sent: Friday, October 02, 2009 8:17 PM
> To: sv-bc@eda.org
> Subject: [sv-bc] Assignment compatibility of packed arrays of enums
> 
> 2009 makes it legal to create packed arrays of enums.  Is it 
> legal to assign a data object of such a type with a value 
> that is not a packed array of the same kind of enums?
> 
> In the following element-by-element assignment, the explicit 
> cast is required
> 
> typedef enum logic {FALSE, TRUE} Boolean;
> 
> module test1
> (   input  logic   [5:0] in
> ,   output Boolean [5:0] out
> );
>   for (genvar I = 0; I < 6; I++) begin
>      assign out[I] = Boolean'(in[I]);
>   end
> endmodule
> 
> But are both of the following assignments legal?
> 
> typedef enum logic {STOP, GO} NotBoolean;
> 
> module test2
> (  input  logic      [5:0] in1
> ,  input  NotBoolean [5:0] in2
> ,  output Boolean    [5:0] out1, out2
> );
>   assign out1 = in1;
>   assign out2 = in2;
> endmodule
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.


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