| Add Proposal | Add Analysis | Edit Class, Environment, or Release |
| Number | 494
|
| Category | errata
|
| Synopsis | 4.2.2: out-of-range or x/z index to array of reals
|
| State | open
|
| Class | errata-discuss
|
| Arrival-Date | Oct 17 2003
|
| Originator | Steven Sharp <sharp@cadence.com>
|
| Release | 2001b: 4.2.2
|
| Description |
[I tried to enter this at the web page, but the way I have done this in the past was not working. I don't know if there is a subject syntax that would allow me to file a new erratum via email.] Section 4.2.2 states that for an array reference, if the index is out of bounds or any bit in the address is x or z, the value of the reference shall be x. But we have now allowed arrays of reals, which can't be x, so there is no value specified for that. One possibility would be to have the reference be 0.0, since that is the initialization value for reals the same way that x is the initialization value for non-reals. Another possibility would be NaN, though that has not been used in any other such situations (e.g. initialization). Steven Sharp sharp@cadence.com |
| Fix |
Unknown |
| Unformatted |
|
Hosted by Boyd Technology