[$ieee-1850] More errors found in the LRM (draft 11 Apr)

Hi all,

After some more scrutiny of the PSL LRM, I came across some more errors.

1) Page 41, line 29
    ended(s@c) is not syntactically correct PSL. It should be
    ended({s}@c) instead -- the relevant production is
         Clocked_SERE ::= Braced_SERE @ Clock_Expression

2) Page 58, Informal semantics: The problem above is visible here also
    regarding sequences R@C1 and S@C3, which should be {R}@C1 and {S}@C3
    respectively.

3) Page 59, first NOTE. Four more occurrances of the same symptom. These
    were in there already in the PSL 1.1 LRM. These seems to have slipped
    through the review back then.

4) Page 59. Some references to "SERE" and "multiply-clocked SERE" where
    it should possibly be "sequence" and "multiply-clocked sequence"
    instead.

5) Page 61, line 39. "sequence S@C3" should be "sequence {S}@C3"

Best regards,

Johan Alfredsson             Mobile:       +46 706 39 12 58
Software Architect           Direct:       +46 31 745 19 07
Jasper Design Automation     Office:       +46 31 745 19 00
Arvid Hedvalls Backe 4       johan.alfredsson@jasper-da.com
411 33 Göteborg, Sweden      www.jasper-da.com