Responses to Editor's Notes EN-11 through EN-15, EN36, and EN-37,

on LRM for System Verilog 3.1a/draft 3

John Havlicek, January 20, 2004

David:

Below are my responses to the editor's notes.

Best regards,

John H.

===============================

1. 17.7.11, p. 228. The editor's change is fine with me.

2. 17.10, p. 238. The editor's change is fine with me.

3. 17.11.2, p. 247.

a. First sentence on the page. Change

then clause

to

{\courierboldkeyword if} clause

b. Second sentence on the page. Change

then and else clause

to

{\courierboldkeyword if} and {\courierboldkeyword else} clause

4. 17.11.3. The editor changed italic font to courier font. c,d,v,w,x,y,z

are not signal names. c,d represent clocking event expressions.

v,w,x,y,z represent sequence expressions with no clocking events.

See the first two sentences of the subsection.

I think the editor's changes are not good.

5. 17.11.3, pp. 247-248. In the sentence that crosses the page break,

change

then and else clause

to

{\courierboldkeyword if} and {\courierboldkeyword else} clause

6. 17.13.1, p. 269. I disagree with the editor.

The editor changed italic font to courier font. s,s_1,s_2,p,p_1,p_2,etc.

are not signal names. s,s_1,s_2 represent sequence expressions without

clocking events; p,p_1,p_2 represent property expressions without

clocking events; etc. See the beginning of the subsection.

I think the editor's changes are not good.

7. H.3.1, p. 487. No change is needed.

8. H.4.1, p. 492. The editor's assumption is correct.

David:

I have just realized that there is a problem with I said about the editor's note

> 8. H.4.1, p. 492. The editor's assumption is correct.

The editor made the correct assumption about what symbol "|=="

is supposed to mean, but, unfortunately, I typed the symbol "|==" in the text version of the LRM changes by mistake. So this symbol needs to be changed back to what it was before, "|=".

I can write an erratum for this if necessary.

Best regards,

John H.