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

I agree, as long as each element of the unpacked operator allows those
operators.

 

Dave

 

 

________________________________

From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
Francoise Martinolle
Sent: Monday, February 28, 2005 8:34 AM
To: 'Arturo Salz'; 'Francoise Martinolle'; sv-bc@eda.org
Subject: 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

	       '