RE: Agenda for 2/10 ETF Meeting

From: Michael McNamara (mac@verisity.com)
Date: Fri Feb 07 2003 - 17:26:45 PST

  • Next message: Shalom.Bresticker@motorola.com: "today's meeting"

    Precedence: bulk

    I am double scheduled at 9:00, so will seek to get the VSG business
    completed between 8:30 and 9:00.

    -mac

    Karen Pieper writes:
    > Precedence: bulk
    >
    > Hi, all,
    >
    > We have an ETF/VSG meeting on Monday morning. The agenda for the ETF
    > meeting is:
    >
    > Minutes from the 1/27/03 meeting
    >
    > Action Items
    >
    > (Pre 11/4/02) Cliff still to analyze issue 9
    > 9 is not done. Truncation rules not defined. Experiments
    > in progress. Padding rules not clearly defined. Issue
    > with signed unsigned in context of x and z. Rhs size
    > calculations are made in the calculation of the right hand
    > side. Assignment is to same width objects.
    >
    > (11/4/02) Steven will proposing a wording to fix 172.
    >
    > (11/18/02) Gord and committee to return with a generate proposal
    > for 113, 17.
    > To be worked on after power operator worked out.
    >
    > (11/18/02) Dennis and committee to return with a power operator
    > proposal for 140
    > Discussion actual wording proposal draft.
    >
    > (11/18/02) Steven and committee to return with an @* proposal for
    > issues 22, 82, 84
    > To be resolved after power and generate.
    >
    > (11/18/02) Evaluating TBD Errata. The tasks are:
    >
    > Steven
    > 96 Errata ambiguity in 4.1.12 on the >>> operator
    > 117 19.1,19.6,19.9: `unconnected_drive and `celldefine
    > Lots of hard ones.
    >
    > Gord
    > 165 13.11.1, A.2.1.1 -- reuse task_port_type
    > 170 formatting of bnf non-terminals
    >
    > Brad
    > 189 12.1, macromodule needs clarification
    >
    > Charles
    > 197 sscanf/"string" incompatibility
    > 198 sinks should allow only constant part-selects
    >
    > (1/13/03) Shalom to submit new issue for rewording of 174
    >
    > (1/13/03) Cliff to update proposal to 13 reflecting Shalom's
    > requests.
    >
    > SV-BC Issues requiring resolution: (ETF issue number: SV-BC issue
    > number)
    > 202: 19-23
    > -237: 19-41, 19-42
    > -238: 19-45, 19-47
    > (- lack proposals)
    >
    > Issues to discuss:
    > Power operator
    > 123
    > 103
    > 116
    > 128
    > Other proposals starting at the top of the list.
    >
    >

    This archive was generated by hypermail 2.1.4 : Fri Feb 07 2003 - 17:27:46 PST and
    sponsored by Boyd Technology, Inc.