Re: bnf update - PLEASE REVIEW

Subject: Re: bnf update - PLEASE REVIEW
From: Stuart Sutherland (stuart@sutherland-hdl.com)
Date: Tue Apr 23 2002 - 22:32:22 PDT

Stefen,

Now that the BNF has been converted to Framemaker and made part of the SystemVerilog LRM, all changes should be done in Framemaker.  It is not good to have multiple versions of the BNF floating around, some in text form, some in the LRM.  I will be scrapping the file you attached to your message.  I have no intention spending another 3 days converting it to Framemaker, and it is not possible for me to "diff" the Framemaker file and your text file to see what you might have changed.

If you have Framemaker 6.0, you are welcome to continue to "own" the BNF Annex, and make the updates.  Otherwise, it would be best if you just sent me highlighted "snippets" of any corrections, so that I can make the changes in the official document.

The area of concern that came up in yesterday's conference call is section A.4.2.2 of draft 7.  You will see the "Editor's note" in the draft, wondering whether the line that is struck out is a spurious statement, or an incomplete production.  I think it is a left over from some cutting and pasting, which is why I struck it out. 

It was also noted in the meeting that the production immediately following that note is incorrect.  It reads:

   generate_interface_named_block ::=
          begin : generate_block_identifier { generate_module_item } end
        | generate_block_identifier : generate_module_block

The correct BNF is:

   generate_interface_named_block ::=
          begin : generate_block_identifier { generate_interface_item } end [ : generate_block_identifier ]
        | generate_block_identifier : generate_module_block


It was also noted in the meeting that several productions in A.4.2.1 and A.4.2.2 are missing the optional block_identifier after the end keyword.

It was recommended in the meeting that you do a careful review of those two sections to make sure everything was captured correctly.

Stu

At 12:14 PM 4/23/2002, Stefen Boyd wrote:

I didn't see any mail from Stu (yet) detailing the changes needed
but I did go over the sections noted in the minutes. I also noticed
some typos in the process. Please review the bnf!!! I've attempted
to get it right, but I'm sure there are more problems lurking.

You will find the following changes:

- Section A.2.7: Port should be removed.

1) Removed port from prototype productions

- Section A.4.2.2: generate_interface_condition_statement wrong indentation. Option generate block identifier missing. Line looks incorrect but we need Stefens view. In general this section needs more review. Previous section as well.
ACTION: Stu to send Stefen email and Stefen to provide input

2) Fixed some typos in the generate sections
        - now have ability to put optional identifier before a block
        - fixed typo in generate_interface_named_block (changed
                "module" to "interface")

Section A.6.4: Delete comment. Add footnote explaining that this is a void function call.

3) Added footnote 7

Section A.9.3: Delete  comment. Replace with footnote

4) Added footnote 8
5) Removed transition_to_state from statement_item (should
        have been removed with transition statement)

Regards,
  Stefen

--------------------
Stefen Boyd                   Boyd Technology, Inc.
stefen@BoydTechInc.com        (408)739-BOYD
www.BoydTechInc.com          (408)739-1402 (fax)

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland                                  Sutherland HDL Inc.
stuart@sutherland-hdl.com                          22805 SW 92nd Place
phone: 503-692-0898                                Tualatin, OR 97062
www.sutherland-hdl.com
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

This archive was generated by hypermail 2b28 : Tue Apr 23 2002 - 22:36:31 PDT