Group L Issues

Discussion

The LRM Subcommittee met on Thursday 2 Dec 2004 and discussed the items that the Issues SC had identified as LRM issues. Of these, two were already being dealt with in the Extensions SC: Item 13, in Group E, and item 36, in Group I. A third (item 6) appeared to require some analysis to determine exactly what LRM changes, if any, would be required; this is now separated out under Group N.

The LRM SC decided to group the remaining items together in this group, with resolutions as follows.

Resolution

• Issue 1: This is a simple correction to the old form of the suffix implication operator. Needs to be changed in the body and in the appendix.
• Issue 2: The summary in the issues list is incorrect. The problem is not with the SERE ::= Sequence_Instance production; the problem is with Sequence ::= Sequence_Instance (which appears under 6.1.2, and A.4.6). This production was correct in the balloted version, but apparently it somehow regressed later. We need to fix the two occurrences of the production, and change the paragraph in 6.1.2 to say "The forms of Sequence are described in the following sections."
• Issue 3: This is about the equivalence of [a W b] and (a until b), which is presented in Table 4 in clause 6.2.1.8. The Table is misleading for W and U, because it just says that they are equivalent to until and until! respectively, without mentioning that the explicit bracketing of W and U requires corresponding explicit parentheses for until and until!. Since this only applies to two of the entries in the table, we should add a Note at the end of the clause explaining the need for parentheses in these two cases.
• Issue 4: In section B.1, Table 1, we need to add a colunm for SystemVerilog. Note that this will be a change to the LaTeX document in which the formal semantic definition is maintained.
• Issue 27: Interpretation of std_logic values 'H' and 'L'. We need to extend the definitions of True (3.1.51) and False (3.1.20) and extend the definition of Bit expressions in 5.1.1.
• Issue 37: This is a minor issue - capitalization of headings. We need to check compliance with the IEEE Standards Style Guide in general, and this will be part of that.

Additional Notes

• Issue 52 is also clearly an LRM issue (the need to make Appendix B non-blurry in the final form). This remains to be discussed.
• Issues 55, 57, and 60 have been added to this group since it was last discussed. These issues still need to be addressed.

LRM Changes

Harry plans to make these changes in the LRM, then post a 'diff' summary here.