Subject: [sv-ec] RE: SVEC cross-reference check (ch. 15-21)
From: David W. Smith (david.smith@synopsys.com)
Date: Wed Jan 21 2004 - 16:07:58 PST
Thank you Neil. As we discussed in the meeting I will go ahead and implement
these changes. If there are any objections or disagreements please let me
know.
Regards
David
-----Original Message-----
From: Neil Korpusik [mailto:neil@ha1sun-mail1.sun.com]
Sent: Wednesday, January 21, 2004 3:39 PM
To: david.smith@Synopsys.COM
Cc: Neil.Korpusik@Sun.COM
Subject: SVEC cross-reference check (ch. 15-21)
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
This archive was generated by hypermail 2b28 : Wed Jan 21 2004 - 16:16:32 PST