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

                    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.
Received on Mon Nov 15 09:38:50 2004