| Add Proposal | Add Analysis | Edit Class, Environment, or Release |
| Number | 395
|
| Category | errata
|
| Synopsis | 3.9.1: content overlaps end of 3.9 + other problems
|
| State | open
|
| Class | errata-simple
|
| Arrival-Date | Jul 16 2003
|
| Originator | Shalom.Bresticker@motorola.com
|
| Release | 2001b: 3.9.1
|
| Environment |
|
| Description |
This is a follow-up to #192. 3.9.1 "Operators and real numbers": Most of this subsection talks about where reals cannot be used. This substantially overlaps the last paragraphs of 3.9 with some duplication. It does not seem to justify a separate subsection. I propose combining them, either by folding 3.9.1 into 3.9, or by moving the end of 3.9 into 3.9.1. Specific comments on the current wording of 3.9.1: 1. The 3rd bullet (reals cannot be used as indices of vector bit-selects or part-selects) seems misplaced, better placed in 4.2.1. The proposed fix to #192 indeed adds a statement there. 2. If we want to list ALL the places where reals may not appear, I suspect we will find many more situations as well, so maybe it is better not to list them at all. 3. The sentence "Real number constants and real variables are also prohibited in the following cases:" is wrong because the following cases apply only to variables. 4. The restrictions are not on the variables, but on the permitted ways to manipulate them. 5. This entire section should reference "realtime" as well as "real" variables. In fact, there are several places in the LRM where "realtime" should be added to mention of "real". And even though 3.9 says that "realtime" shall be treated synonomously with "real", nevertheless in the vast majority of places, "realtime" was still mentioned explicitly. And there are places where there IS a distinction between them. 6. "Edge descriptors" is an incorrect description of posedge and negedge. "Edge descriptors" are something else. posedge and negedge could be called "edge event controls"? By the way, the BNF does not restrict them, so this is a semantic restriction. |
| Fix |
|
| Audit-Trail |
|
| Unformatted |
|
Hosted by Boyd Technology