RE: [sv-bc] legal operators for unpacked arrays, structs, unions, classes?

I should have noted the assignment operator...
 
unpacked arrays arrays, structs, unions or classes can contain 4 state data
values, it would make
sense to have the case equality and case inequality work on these (case
operators do 4 state
comparisons). 
Wild card equality does the logical equality comparisons of the bits of the
left with the bit on the right
except when the right hand operand contains z or x which act as wild cards.
So if we allow logical equality on these unpacked data types, we should also
allow the wild card equality.
 
So I think that the summary is that all equality/inequality operators are
allowed on these unpacked data types.
Is that correct?
 
Francoise
       '
 
 


  _____  

From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Arturo
Salz
Sent: Friday, February 25, 2005 2:10 AM
To: Francoise Martinolle; sv-bc@eda.org
Subject: Re: [sv-bc] legal operators for unpacked arrays, structs, unions,
classes?


Francoise,
 
I believe you missed the assignment operator, which is supported
for unpacked data types. I don't know about the case and wildcard
operators.
 
    Arturo
 
----- Original Message ----- 
From: Francoise Martinolle <mailto:fm@cadence.com>  
To: sv-bc@eda.org 
Sent: Thursday, February 24, 2005 7:51 PM
Subject: [sv-bc] legal operators for unpacked arrays, structs, unions,
classes?

I cannot find anywhere in the LRM what are the operators which 
are allowed on unpacked structs, unpacked unions or classes.
For arrays only equality/inequality are allowed (section 5.2).
It also says that comparing aggregate expressions require that they have
equivalent types (section 8.15)
 
Presumably the only operators allowed as equality (==) and inequality (!=)
and true and false expressions of  a ternary conditional operator?
 
What about the case equality/inequality and the wild card
equality/inequality? 
Are they allowed on unpacked types?
 
Francoise
       '