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 - 07:08:22 PDT

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>
To: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Cc: "sv-bc@eda.org" <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
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>
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.

 

---------------------------------------------------------------------
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 07:07:59 2010