[sv-ec] RE: SVEC cross-reference check (ch. 15-21)


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