Re: [sv-bc] Is wild equality/inequality operator allowed on aggregate expression?

From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Date: Mon Oct 11 2010 - 06:52:08 PDT

Hi Shalom,
It is also written in the LRM:

The wildcard equality operator is equivalent to the logical equality operator if its operands are class objects, chandles or the literal null.

Is it not conflicting and so confusing then?

Regards
Surya

-------- Original Message  --------
Subject: Re: [sv-bc] Is wild equality/inequality operator allowed on aggregate expression?
From: Bresticker, Shalom <shalom.bresticker@intel.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>, sv-bc@eda.org <sv-bc@eda.org>
Date: Monday, October 11, 2010 7:11:01 PM

Table 11-1 says that the operand data types for the binary wildcard equality operators are 'integral'.

Shalom

-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of
Surya Pratik Saha
Sent: Monday, October 11, 2010 3:34 PM
To: sv-bc@eda.org
Subject: [sv-bc] Is wild equality/inequality operator allowed on
aggregate expression?

  Hi,
Is wild equality/inequality operator allowed on aggregate expression? I
am getting different results from different standard tools for the
following case?

typedef struct { logic l; } T;
module m;
     T i, j;
     wire o;
     assign o = (i==?j);
endmodule

I did not get any explicit answer from LRM.

--
Regards
Surya




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

---------------------------------------------------------------------
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. Received on Mon Oct 11 06:51:49 2010