| Add Proposal | Add Analysis | Edit Class, Environment, or Release |
| Number | 81
|
| Category | errata
|
| Synopsis | 4.1.9, 4.5.1 are not clear how && and || work
|
| State | open
|
| Class | errata-simple
|
| Arrival-Date | Jul 29 2002
|
| Originator | Paul Graham (pgraham@cadence.com)
|
| Release | 2001b, 4.1.9, 4.5.1
|
| Environment |
|
| 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. |
| Fix |
|
| Audit-Trail |
|
| Unformatted |
|
Hosted by Boyd Technology