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

From: Surya Pratik Saha <spsaha@cal.interrasystems.com>
Date: Tue Oct 12 2010 - 04:52:31 PDT
Hi,
I have filed Mantis 3229 for the enhancement.

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:41:54 PM

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>
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.

 

---------------------------------------------------------------------
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 Tue Oct 12 04:52:37 2010

This archive was generated by hypermail 2.1.8 : Tue Oct 12 2010 - 04:55:00 PDT