[sv-bc] DataTypes: 11/11/04 Meeting Minutes

From: Kathy McKinley (mckinley@cadence.com)
Date: Mon Nov 15 2004 - 09:38:45 PST

  • Next message: Kathy McKinley: "[sv-bc] DataTypes: 11/11/04 Meeting Minutes II"

                        11/11/04 Meeting Minutes (8:30 am PST)

    Attendees:

        Jonathan Bradford
        Kevin Cameron
        Mark Hartoog
        Neil Korpusik
        Kathy McKinley
        Karen Pieper
        Brad Pierce
        Dave Rich
        Steven Sharp
        Stuart Sutherland

    Summary:

    The minutes from our last meeting were approved, with the following
    amendment:

        The change that we approved for section 4.7 eliminates
        the exception for arrays of wires assigned to arrays of variables.
        Instead, the type equivalence rules will apply.

    Some alternative ways of handling the grammar changes in the BNF were
    discussed, but we agreed that our goal should be to propose the minimal
    set of grammar changes needed for this particular extension. A better BNF
    can be discussed at the BC level, if the syntax extensions are accepted.
    The proposed grammar changes were approved, with one abstention.

    A new section has been added to the SystemVerilog LRM, so what is
    section 5.8.1 in 3.1a will be 5.8.2 in the new LRM. The new section
    on matching types will need to have the same kind of changes
    that we approved for equivalent types. The proposed changes
    to section 5 were approved with this amendment.

    Erratum 254 modifies the same part of section 7.16 that we propose to
    modify. The changes are compatible with one another.

    Steven will make some minor edits to the proposed changes in section 18,
    such as changing "net and data type" to "net type and data type".
    He will make the example more specific to the case that it is intended
    to illustrate, rather than covering a broader range of cases. The examples
    should be renumbered, but that is not an issue that is specific to our
    proposal, and should be handled with an erratum. The proposed changes
    to section 18 were approved with the edits noted above.

    The proposed changes sent by Kathy in the mail with subject line
    "Minor LRM edits" were approved.

    We unanimously rejected the proposed changes to section 24 as unnecessary.

    Due to the need to get this proposal out today, we did not feel
    comfortable trying to classify the changes as "critical" or "optional".
    We decided to send the proposal as a single document, with the most
    important changes first (grammar, plus parts of sections 3, 5, and 18)
    followed by the rest.

    There is still some confusion about what is a data type and what is
    a data object. Which key words belong in which category? A picture
    and possibly some tables would help. Kathy will throw one together
    and mail it out right after the meeting. Kathy will also piece
    together some high-level introductory matter from existing mails
    and send that out too.

    We will meet again in two hours to go over the new mails and
    complete the review of proposed changes.

    Our next meeting is today at 12:00 pm PST.

    This archive was generated by hypermail 2.1.4 : Mon Nov 15 2004 - 09:26:37 PST and
    sponsored by Boyd Technology, Inc.