David,

I checked the cross-references in sections 21-29. Mostly OK.

There were a couple that could have been more specific, for example, with a .1 suffix, but I think the LRM is better the way it is. The only ones that I wasn't sure about were --

In 26.3, "Section 8" -?-> "Section 8.6"

In 27.4.1.3, the last reference to 27.4.3 for information on

non-context tasks/functions seems to be to a section that's about

context, not non-context.

In 27.4.4, there's not much in 10.5 about function prototypes.

Additional editorial issues I ran across --

23.14, first sentence, "as described in the following sections"

doesn't fit. This phrase makes more sense in the first

place it appears, namely, the first sentence of 23.1.

23.15.2: "Cross-reference" ??

26.3: near end, "procedural assignments" -?-> "procedural continuous

assignments"

Syntax 10-3 should get the same expansion that Syntax 27-1 did.

Why is there a need for Section 10.5?

Brad

Hi David,

Below are the items that I noticed when reviewing the set of cross-references from chapters 15 through 21 of Draft 3 of the 3.1a LRM.

1. 15.10, page 190, Syntax 15-2

The last line is from a different section of the appendix than the rest

of the BNF shown in this box.

cycle_delay ::= // from annex A.6.11

2. 15.14, page 193, 3rd paragraph, event_count

event_count is used at least 5 times in the text. I don't see event_count

in the BNF.

3. 17.7.10, page 227, first paragraph, first sentence, first word, first char

The first letter is in courier font.

4. 17.10, page 237, Syntax 17-14

a. concurrent_assertion_item_declaration::=

The BNF here doesn't quite match A.2.10

b. multi_clock_property_expr::=

!multi_clock_sequence <--- in document

|multi_clock_seauence <--- should be this?

c. Same issue as b. in A.2.10

d. Same issue as b. in 17.11, Syntax 17-15, page 244

e. property_instance::=

// from Annex A.6.10 <--- in document

// from Annex A.2.10 <--- should be this?

5. 17.16, page 250, Syntax 17-16

concurrent_assertion_item::=

This BNF doesn't quite match A.2.10

6. 18.7, page 276, Syntax 18-4

a. inout_declaration::=

Doesn't quite match A.2.1.2

b. port_type::=

Doesn't quite match A.2.2.1

7. 20.4.1, Syntax 20-3, page 321

trans_set::=trans_range_list->=>trans_range_list{->=>trans_range_list}

a. I see a right arrow in the syntax (shown as -> above). There are two

of them. I don't believe these should be there.

b. This same syntax is shown in A.2.11

8. 20.6, Syntax 20-?, page 330,

a. // not in Annex A <--- this is in the syntax box

b. There is no title for this syntax box

9. 20.6.1, Syntax 20-?, page 332

a. // not in Annex A <--- this is in the syntax box

b. There is no title for this syntax box

10. 21.2, Syntax 21-1, page 336

a. // from <--- shown in syntax box

// from Annex A.2.4 <--- should be this

b. // from <--- shown in syntax box

// from Annex A.1.4 <--- should be this

Neil