pending/8: zero-extension of relational and equality operators

From: Paul Graham (pgraham@cadence.com)
Date: Tue Jul 31 2001 - 11:21:50 PDT


>Number: 8
>Category: pending
>Originator: Paul Graham <pgraham@cadence.com>
>Description:

Section 4.1.7 says that when a relational operator has two operands of
different sizes, then the smaller operand is zero-extended. This makes no
intuitive sense for signed operands, and it conflicts with the general rules
for determining sign given at the end of chapter 4. It also conflicts with
the behavior of Verilog-XL and NC-Verilog.

<p>Likewise, 4.1.8 says that the smaller operand to an equality operator is
zero-extended, which I also believe is wrong.

<p>Paul



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:54:43 PDT and
sponsored by Boyd Technology, Inc.