[sv-bc] Sign-extension of wildcard comparison right operand with wild sign bit

From: Brad Pierce <Brad.Pierce_at_.....>
Date: Thu Apr 13 2006 - 22:31:37 PDT
According to 8.5, "If the operands to the wild-card equality/inequality
are of unequal bit length, the operands are extended in the same manner
as for the logical equality/inequality operators."

 

That seems to say that the following comparison is true --

 

      (3'sb010 ==? 2'sb?0)

 

Is that a correct interpretation of the sentence, and, if so, is that
the intended behavior?

 

-- Brad
Received on Thu Apr 13 22:31:45 2006

This archive was generated by hypermail 2.1.8 : Thu Apr 13 2006 - 22:31:56 PDT