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

Probably because Table 6-9 lists the set of operators on strings. It includes ==, but not ===.

Shalom

From: Surya Pratik Saha [mailto:spsaha@cal.interrasystems.com]
Sent: Monday, October 11, 2010 4:08 PM
To: Bresticker, Shalom
Cc: sv-bc@eda.org
Subject: Re: [sv-bc] Is wild equality/inequality operator allowed on aggregate expression?

In my opinion, since case equality/inequality operators are allowed on any operand, then wild equality/inequality should operate in same way. I am not sure about string operand though, as for the following case all tools fail.

module m;
    string i, j;
    wire o;
    assign o = (i===j);
endmodule

I am not sure why.

Regards

Surya

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

Good point.

The statement you quote was added in Mantis 1594.
The table entry I quoted was earlier, so Mantis 1594 should be considered to take precedence.
However, what about other non-intergral operands?

Shalom

From: Surya Pratik Saha [mailto:spsaha@cal.interrasystems.com]
Sent: Monday, October 11, 2010 3:52 PM
To: Bresticker, Shalom
Cc: sv-bc@eda.org<mailto:sv-bc@eda.org>
Subject: Re: [sv-bc] Is wild equality/inequality operator allowed on aggregate expression?

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><mailto:shalom.bresticker@intel.com>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com><mailto:spsaha@cal.interrasystems.com>, sv-bc@eda.org<mailto:sv-bc@eda.org> <sv-bc@eda.org><mailto: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> [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<mailto: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.
---------------------------------------------------------------------
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.
---------------------------------------------------------------------
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.