SV-EC Meeting Minutes
16 September 2002

(--a----) Adam Krolnik (LSI Logic)
(---a-a-) Alec Stanculescu (Fintronic)
(a-aaaa-) Cliff Cummings (Sunburst)
(-aaa---) Dave Kelf (Co-Design)
(aaaaa-a) David Smith (Synopsys)
(-aaa-a-) Dennis Brophy (ModelTech)
(---aaa-) Francoise Martinolle (Cadence)
(aa-aa--) Heath Chambers (HMC)
(aaaaaaa) Karen Pieper (Synopsys)
(aaa-aaa) Kevin Cameron (National)
(---a-aa) Kurt Takara (0-in)
(--a--a-) Michael McNamara (Verisity)
(aaaapaa) Mehdi Mohtashemi (Synopsys)
(-aaaaaa) Neil Korpusik (Sun)
(aaa----) Paul Graham (Cadence)
(aapaa--) Peter Flake (Co-Design)
(a------) Roy Armoni (Intel)
(aapa-a-) Simon Davidmann (Co-Design)
(-aaaaaa) Stefen Boyd (Boyd Technology, Inc.)
(aa---a-) Steven Sharp (Cadence)
(-aaaaa-) Tom Fitzpatrick (Co-Design)
(-----a-) Tim Corcoran (WHDL)
(-----a-) Stephen Meier (Synopsys)
(-----a-) Arturo Salz (Synopsys)
(-----a-) Zeev Kirshenbaum (Verisity)
(-----aa) Brad Pierce (Synopsys)

a => Attended
p => Attended by proxy
- => Missed

Action Items:
    Old Items:
    1) Kevin: Add detailed description of requirements for Data Channels
    2) CC to develop FSM slides
    3) CC and PF to discuss FSM enhancements and implied register types.
    
    New Items:
    1) David to find members for LRM sub-committee
    2) Kevin to resend Alias proposal for review
    3) All members to review proposals for Process Control, Data Channels,
    	and Alias before next meeting. Vote on proposals at next meeting.
    4) David to update web site with all proposals and include latest issues
    	list.

1. Review and approve minutes
    Proposal to accept minutes
    	Proposed: David S.
	Second: Mehdi M. seconded
	Approved unanimously

2. Reviewed vote status
    All vote email was sent to the reflector as confirmation of votes.
    The Testbench donation has been accepted by the committee and will be used
    in the development of the 3.1 LRM.

3. Reviewed outstanding enhancement items.
    As of the 15th the only enhancements with proposals were the Process
    Control and Data Channel proposals. Kevin indicated there was an old
    Alias proposal from 3.0 and is resending it.

    Since no-one had reviewed these proposals recently the discussion will be
    delayed until next meeting. At this point we will vote on whether to
    pursue their inclusion in the 3.1 LRM.

    Since none of the other enhancements have outstanding proposals (or
    champions) we will not be pursuing them for 3.1.

4. Milestones
    The TCC chair has published the following milestones to guide our work:

    	31 October - first assembled LRM (can be partial)
	1 March - completed LRM draft
	March - LRM draft distribution at HDLCON/DEVCON
	1 April - Technology freeze date (only clarification remaining)
	1 May - Final draft to board
	DAC 2003 - Complete

5. Testbench Open Issues
    The attached spread sheet has been created from the list of open issues in
    the minutes of the 4 September meeting and from email sent in since the
    meeting.
    
    We discussed a number of the issues with some resolutions. A vote
    was taken on items REV-2, REV-3, REV-4. It was moved by David S. to remove
    the shorthand notation (REV-2), accept the concept of predefined classes
    (REV-3), and accept the extension of the typedef forward reference for
    classes (REV-4). This was seconded by Stefen B. and was passed with one
    abstention by Kevin C.

    The remainder of the discussions can be found in the accompanying issues
    list (in html).

6. Process for development of the testbench portion of the 3.1 LRM
    In order to facilitate the development of the 3.1 LRM including the
    testbench features it was proposed:
    	a. that we create a small team of 3 individuals to do the
	   documentation task of converting the Donation plus Clarification
	   document into the LRM.
	b. the three team members will consist of a technical writer, a
	   Vera-Lite expert, and a Verilog/SystemVerilog expert
	c. the team will take direction from the committee based on committee
	   decisions for any changes from the contents of the Donation and
	   Clarification documents.
	d. the LRM will then be used by the committee for detailed review of
	    content and form.
	e. the initial milestones for the team are:
	    - 30 September - present to the committee the outline of LRM
		changes with mapping of donation to existing LRM plus
		new chapters
	    - 14 October - completion of the modifications of existing LRM
		chapters for review by the committee (starting)
	    - 28 October - completion of rest of LRM modifications for review
		by the committee
	f. remaining 7 meetings before 1 March will be spent reviewing the
	    documents content and form

    A motion was proposed to accept the creation of the team to implement this
    process and for David Smith to put the team together. It was seconded by
    Kurt T. and unanimously passed.

    Voluteers were requested but none stepped forward.

7. We discussed the process for the next meeting and will proceed through the
    remaining items in the issue list looking for easy resolutions and then
    start working, in detail, through unresolved issues.

8. Meeting closed