| Number | 125
|
| Category | errata
|
| Synopsis | 3.5 Implicit Declarations (cont.)
|
| State | lrmdraft
|
| Class | errata-discuss
|
| Arrival-Date | Sep 25 2002
|
| Originator | Shalom.Bresticker@motorola.com
|
| Release | 2001b, 3.5
|
| Environment |
Related to Issue 5, 144 |
| Description |
This is a continuation of errata/5, which noted that implicit declarations of the LHS of continuous assignments was omitted from 3.5. The exact text we added is: "If an identifier appears on the left-hand side of a continuous assignment statement, and that identifier has not been declared previously, an implicit scalar net declaration of the default net type is assumed." Note that errata/79 also fixes a problem in 3.5. A. Anyway, I propose that the line we added to 3.5 as the fix to errata/5 also include a pointer to 6.1.2. Specifically, I propose to add the following sentence: "See 6.1.2 for a discussion of continuous assignment statements." B. Since the left-hand side of a continuous assignment can be a net, net bit-select, net part-select, or concatenation of the above, I think it is necessary to clarify in 3.5 what happens if the left-hand side is a bit-select or part-select of an undeclared identifier or if it is a concatenation which contains one or more undeclared identifiers. Also what happens if a declaration appears AFTER the continuous assignment. Note that is relevant also to the case of an identifier which appears in the terminal list of a primitive or module instance. C. The last item in 3.5 contains the sentence "See Clause 19 for a discussion of control of the type for implicitly declared nets with the `default_nettype compiler directive." Since this sentence is equally relevant for all three listed circumstances, I propose to separate this sentence to a separate paragraph following the list, and also change "Clause 19" to "19.2". Shalom |
| Fix |
Section 3.5: Add following sentence to the end of the third bullet: See 6.1.2 for a discussion of continuous assignment statements. Remove last sentence of second bullet. Add paragraph after bullets: See 19.2 for a discussion of control of the type for implicitly declared nets with the `default_nettype compiler directive. |
| Audit-Trail |
|
| Unformatted |
|
Hosted by Boyd Technology