RE: [sv-bc] Mantis 2170

The LRM says this about the equality operators:
 
For the logical equality and logical inequality operators (== and !=),
if, due to unknown or high-impedance

bits in the operands, the relation is ambiguous, then the result shall
be a 1-bit unknown value (x).

 
I thought this is pretty clear. The issue you mention is more how to
relate to a condition that appears by itself, as in if(condition) or in
the conditional operator. I thought that should be a separate Mantis.
 
Regards,
Shalom


________________________________

	From: owner-sv-bc@server.eda.org
[mailto:owner-sv-bc@server.eda.org] On Behalf Of Rich, Dave
	Sent: Friday, November 09, 2007 5:29 PM
	To: Bresticker, Shalom; sv-bc@server.eda.org
	Subject: RE: [sv-bc] Mantis 2170
	
	
	Can you also include the issue defining bit by bit comparison?
i.e. anding the results of each bit for equality and oring the results
of each bit for inequality 
	 

________________________________

	From: owner-sv-bc@server.eda.org on behalf of Bresticker, Shalom
	Sent: Fri 11/9/2007 5:16 AM
	To: sv-bc@server.eda.org
	Subject: [sv-bc] Mantis 2170
	
	

	<<2170_D4_equality.htm>> 
	I wrote a proposal for Mantis 2170 on the inaccuracy of the
description of the equality operators with respect to size extension of
their operands and their signing. Since the description of the
relational operators seems ok, I basically copied and modified that.

	This is separate from fixing the description of how
if-conditions and other conditions are evaluated. 

	Please review. 

	Thanks, 
	Shalom 

	Shalom Bresticker 
	Intel Jerusalem LAD DA 
	+972 2 589-6582 
	+972 54 721-1033 

	
---------------------------------------------------------------------
	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 <http://www.mailscanner.info/>
, and is 
	believed to be clean. 

	-- 
	This message has been scanned for viruses and 
	dangerous content by MailScanner <http://www.mailscanner.info/>
, 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.