[sv-bc] RE: email vote: respond by Monday Aug 29

I assume he meant something like "if the result of a logical equality comparison of".

Actually, the description in 11.4.5 of what are legal operands of the logical equality operator is not complete.

See http://www.eda.org/sv-bc/hm/10725.html.

Shalom

From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Brad Pierce
Sent: Saturday, August 27, 2011 2:39 AM
To: sv-bc@eda.org
Subject: [sv-bc] RE: email vote: respond by Monday Aug 29

What does this mean -- "if the logical equality of comparing"?

From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Rich, Dave
Sent: Friday, August 26, 2011 3:08 PM
To: Maidment, Matthew R
Cc: sv-bc@eda.org
Subject: [sv-bc] RE: email vote: respond by Monday Aug 29

SVDB 1251 _[DR] X__Yes ___No

http://www.eda.org/svdb/view.php?id=1251

SVDB 1523 ___Yes _[DR] X__No

http://www.eda.org/svdb/view.php?id=1523

[DR] I suggest the following simplified wording for the whole paragraph

For nonintegral and aggregate expressions, if cond_predicate evaluates to an ambiguous value, then:

- if the logical equality of comparing the first and second expression's value is true, it returns that value.

- if the logical equality is not true, it returns the default uninitialized value for the type of the expressions.

[DR] Also need to change an earlier paragraph:

From:

If cond_predicate is true, the operator returns the value of the first expression without evaluating the second expression; if false, it returns the value of the second expression without evaluating the first expression. If cond_predicate evaluates to an ambiguous value (x or z), then both the first expression and the second expression shall be evaluated, and their results shall be combined bit by bit using Table 11-20 to calculate the final result unless either the first or second expression is real, in which case the result shall be 0. The first and second expressions are extended to the same width, as described in 11.6.1 and 11.8.2.

To:

For all expression data types, if cond_predicate is true, the operator returns the value of the first expression without evaluating the second expression; if false, it returns the value of the second expression without evaluating the first expression. If cond_predicate evaluates to an ambiguous value (x or z), then both the first expression and the second expression shall be evaluated, their results shall be determined as follows.

For integral expression data types, their results shall be combined bit by bit using Table 11-20 to calculate the final result unless either the first or second expression is real, in which case the result shall be 0. The first and second expressions are extended to the same width, as described in 11.6.1 and 11.8.2.
---------------------------------------------------------------------
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.