[sv-bc] The new implication operator (->) should be short-circuiting, but 11.3.5 says it's not

When Mantis 1758 added the implication operator "->", I assumed that

       guard -> side_effector 

would be the same as

       guard ? |(side_effector) : 1'b1

According to 11.4.7

  "expression1 -> expression2 is logically equivalent to 

         (!expression1 || expression2)"

and Mantis 997 clarified that || is short-circuiting.

But Mantis 997 also added the following to 11.3.5

  "Some operators (&&, ||, and ?:) shall use short-circuit evaluation
[...] All other operators shall not use short circuit evaluation-all of
their operand expressions are always evaluated."

Shouldn't this be amended as follows?

  "Some operators (&&, ||, ->, and ?:)"


Also, according to 11.4.7, 

  "expression1 <-> expression2 is logically equivalent to
 
     ((expression1 -> expression2) && (expression2 -> expression1))"

So it should be clarified that each of the two operands is evaluated
exactly once, like the operands of the replication operator or the
expression in parentheses after 'case'.

-- Brad



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.