errata/81: 4.1.9, 4.5.1 are not clear how && and || work

From: Shalom.Bresticker@motorola.com
Date: Mon Jul 29 2002 - 05:24:45 PDT


Precedence: bulk

>Number: 81
>Category: errata
>Originator: Paul Graham (pgraham@cadence.com)
>Description:

For details, see
http://boydtechinc.com/btf/archive/btf_2001/1687.html
http://boydtechinc.com/btf/archive/btf_2001/1689.html
http://boydtechinc.com/btf/archive/btf_2001/1690.html

But in short, 4.1.9 does not explain how && and || work.

In addition, it could be understood that the result might be
signed if the operands are signed.
4.5.1 does not clearly refer to logical operations.
Even if it did, there is no reference from 4.1.9 to 4.5.1.
Even as it is, 4.5.1 is difficult to follow.

Also, the references to 0,1,x in 4.1.9 should be
1'b1, 1'b0, 1'bx.
Otherwise, they could be understood to be the integers 0
and 1.



This archive was generated by hypermail 2.1.4 : Thu Oct 10 2002 - 09:24:26 PDT and
sponsored by Boyd Technology, Inc.