[$ieee-1850] IEEE 1850 PSL Working Group Meeting - 21 December - Minutes

From: Erich Marschner <erichm@cadence.com>
Date: Tue Dec 21 2004 - 14:34:33 PST

--
IEEE 1850 PSL Working Group Meeting
==============================
Location: Teleconference
Date: 21 Dec 2004
Presiding Officer:  Harry Foster, Chair
Secretary:  Erich Marschner
Website: http://www.eda.org/ieee-1850
Members:
========
  Accellera          DR: Harry Foster           DRA: Victor Berman
  Cadence            DR: Erich Marschner;       DRA: Steve Ward
  IBM                DR: Yaron Wolfsthal;       DRAs: Avigail Orni, Cindy Eisner, 
                                                      Sitvanit Ruah, Dana Fisman
  Mentor Graphics    DR: Steve Bailey;          DRA: Tej Singh
  Synopsys           DR: Surrendra Dudani;      DRA: Oz Levia
New:
  Nokia              DR: Jari Kalinainen
Lapsed:
=======
  Infineon           DR: Klaus Winkelmann
Attendance Record:
==================
  Key:
      v : member (= voting priveleges) during this meeting
      + : present (leftmost = most recent meeting)
      _ : absent
  Members:
v    (++_+++++_++)  Accellera (DR: Harry Foster) 
v    (+++++++++++)  Cadence (DR: Erich Marschner)
v    (+++++++++++)  IBM (DR: Yaron Wolfsthal) (rep. by DRA: Cindy Eisner)
v    (+++++++++++)  Mentor Graphics (DR: Steve Bailey) (rep. by DRA: Tej Singh)
v    (+++_+_+++++)  Synopsys (DR: Surrendra Dudani)
v    (++++_++++__)  Nokia (DR: Jari Kalinainen)
     (_+__+++_+__)  Infineon (DR: Klaus Winkelmann)
  Observers:
     (+++++++++++)  Johan Mårtenson (Safelogic)
     (+++++++_+++)  Johan Alfredson (Safelogic)
     (++_+_++++++)  Tom Thatcher (Sun)
     (+_++++++++_)  Tej Singh (Mentor)
     (+____+_+___)  Cindy Eisner (IBM)
     (_++++++++++)  Avigail Orni (IBM)
     (_++++_+__++)  Sitvanit Ruah (IBM)
     (_+_++_+++++)  Mohamed-Lyes Benalycherif (ST)
     (__+++__++++)  Dana Fisman (IBM/Weizmann Institute)
     (__+_++_+++_)  Andrew Seawright (Mentor)
   Inactive:
     (___++_+++++)  Joseph Lu (NVidia)
     (___++_+____)  Andrea Fedeli
     (___++__++++)  Bassam Tabbara (Novas)
     (___+_++_+__)  Adriana Maggiore (AltraVerifica)
     (____+__+___)  Makarand Joshi (Cadence)
     (______+_+__)  Steve Ward (Cadence)
     (________+__)  Limor Fix (Intel)
     (_________++)  Jin Hou (Synopsys)
     (_________++)  Peter Flake (Synopsys)
     (_________++)  Ben Cohen (consultant)
     (_________+_)  Richard Wallace (Northrop Grumman)
     (__________+)  J. Bhasker (eSilicon)
Agenda:
=======
Agenda: 
  Call to order 
    - Attendance Roll Call 
    - Patent Policy and Letters of Assurance 
    - Approve Agenda 
    - Approve Minutes of Last Meeting 
  Old Business 
    - Membership Issue Update 
    - Schedule Review 
    - IEEE Support Services Update 
    - Coordination with Other IEEE Working Groups 
  Subcommittee Reports 
    - Issues Subcommittee 
    - Extensions Subcommittee 
    - LRM Subcommittee 
  New Business 
  Next Meeting 
  Adjourn 
    - Attendance Roll Call 
In accordance with the IEEE 1850 WG's Policies and Procedures, the following notice was provided as part of the agenda, regarding potential actions (votes) to be taken in this meeting: 
Potential actions: 
  - vote to approve proposed revisions of the P&Ps (see http://www.eda.org/ieee-1850/hm/0092.html). 
  - vote to approve a proposal for an annual membership fee (see http://www.eda.org/ieee-1850/hm/0093.html). 
Call to order:
==============
The meeting was called to order at 8:06am PST.  
Attendance was recorded via roll call.
The IEEE patent policy slides were presented.  The working group was advised that the IEEE's Patent Policy is consistent with the ANSI patent policy; that early disclosure of patents which may be essential for the use of standards under development is encouraged; that such disclosures may not be exhaustive; and that the IEEE, the working group, and the working group chair cannot ensure the accuracy or completeness of any disclosure.  An opportunity was provided for the working group members to disclose patents that might be essential for use of PSL.  No patents were disclosed.
The agenda was approved. (Motion: Erich; second: Tej: no objections)
The minutes of the last meeting were approved.  (Motion: Erich; second: Tej; no objections)
Old Business:
=============
1. Membership Issue Update
As of the end of last meeting, Synopsys membership was restored after attendance at two successive meetings.  
All current members are represented in this meeting.  (Cindy Eisner is DRA for IBM.  Tej Singh is DRA for Mentor.)
Erich briefly summarized the proposed changes to the IEEE 1850 WG Policies and Procedures (see  http://www.eda.org/ieee-1850/hm/0092.html), which is intended to clarify the definition of membership and also to acellerate membership for WG participants whose companies become IEEE-SA corporate members.  There was no discussion.  Cindy motioned to approve the proposal; Surrendra seconded.  Erich noted that we need a formal roll-call vote, and a 75% approval to pass this measure.
Roll call:
 Cadence - approve
 IBM - approve
 Mentor - approve
 Synopsys - approve
Result: unanimous, so the proposal is adopted.  (Note that Accellera's DR, Harry, did not vote in this ballot because as Chair, he can only vote in the case of a tie.)
The acelleration clause of this proposal affects participants whose companies become corporate IEEE-SA members.  This applies to Nokia, which just joined IEEE-SA today, and to Sun, which is in the process of joining IEEE-SA.  As a result of approval of this proposal, Nokia becomes a member of the WG immediately.
Action Items:
 - Erich to update P&Ps and post update
 - Harry to ask sponsors to review them
2. Schedule Review
The schedule spreadsheet is posted on the web, at: 
  http://www.eda.org/ieee-1850/docs/P1850-Schedule.xls 
Draft LRM changes were due by December 15, and final changes are due by December 30.  We have some draft changes in hand, but others are still pending.
Jari suggested that we hold a 2-day face-to-face meeting to get closure on the remaining issues.  We also need to understand what the overall deadline is.  Harry still needs to close with Andy Ickowicz regarding our overall schedule.  We also need to decide when to cut off input to the June LRM.
3. IEEE Support Services
Erich reported that Accellera has 15K budgeted for IEEE funded services in support of IEEE 1850 (according to Victor Berman, who reported discussing this with Dennis Brophy).  This implies that we need to raise approximately $25K rather than $20K to pay for the rest of the currently proposed IEEE services.
Erich summarized the proposal (see http://www.eda.org/ieee-1850/hm/0093.html) to institute an annual IEEE 1850 WG membership fee to provide funding for IEEE support for the standardization process.  Three options were proposed: low, medium, and high.  In the discussion that followed, it became apparent that all members (including new member Nokia) would support the medium option, and that this option would probably generate sufficient funding (about $23K), given the probability that Sun and Jasper Design Automation would both become members soon.
The medium option is as follows:
===================================
Option 2: 
======= 
This fee structure has been increased as suggested in the working group meeting, while keeping the ratios and revenue breakpoints the same. This would allow us to build up a small surplus in the first year, to handle unexpected costs in 2005 or to roll over into support services for the next version. 
Revenue    %     $      Members assumed in each category 
==================================================================== 
>$1B     100%  $4.0K   Cadence, IBM, Infineon, Nokia, Synopsys 
>$100M    60%  $2.4K   Mentor 
>$10M     20%  $0.8K   SafeLogic 
<$10M      0%  $0.0 
If the assumptions about member participation are correct, this option would generate $23.2K in each calendar year. 
===================================
Erich motioned for approval of Option 2 (the medium option); Cindy/Tej seconded.  Erich noted that our P&Ps require a roll-call vote for this motion, and 75% approval.
Roll-Call
 Cadence - approve
 IBM - approve
 Mentor - approve
 Synopsys - approve
 Nokia - approve
Result: unanimous, so the proposal is adopted.  
4. Coordination with Other IEEE Working Groups
Coordination with IEEE 1666 SystemC
 - no update
Coordination with IEEE 1800 SystemVerilog
 - Surrendra to send out an email on what changes have occurred in SVA (still pending)
Coordination with IEEE 1076 VHDL
 - no update
Subcommittee Reports:
=====================
1. Issues Subcommittee (Erich)
The Issues List (at http://www.eda.org/ieee-1850/Issues/Issues.html) has not been updated since last week.  Additional issues reported this week include:
- possible change to syntax of prev() (Sitvanit)
- problem with explanation of vunit example (Johan)
- possible addition of synchronous abort (Erich)
2. Extensions Subcommittee (Erich)
Continuing to discuss Group I: forall issues, in particular, regarding parameterized and/or operators, and applications of for/forall to the cover directive.
Recent updates to proposed LRM changes for Group A and Group B issues.
Avigail sent out a proposal for Group J: nondeterminism.
3. LRM Subcommittee (Harry)
No activity in the LRM SC this past week.
New Business:
=============
None.
Next Meeting:
=============
The next meeting of the Extensions SC will be held on Tuesday December 28 from 8am-10am PDT.  Agenda and teleconference information will be sent out shortly.  Note that there will be no working group meeting, so the Extensions SC will start right at 8am PDT.
The next meeting of the working group will be held on Tuesday January 4, 2005 starting at 8am PDT, with an Extensions SC meeting continuing afterwards until 10am PDT.  Agenda and teleconference information will be sent out by 30 Dec 2004.
Adjournment
===========
Attendance was checked again, by roll call.
Motion to adjourn - (motion: Cindy; second: Surrendra; no objections)
The meeting was adjourned at approximately 8:39am PST.
(A meeting of the Extensions SC followed the WG meeting, from 8:40am until 10:00am PST.)
============================================================================
Received on Tue Dec 21 14:34:44 2004

This archive was generated by hypermail 2.1.8 : Tue Dec 21 2004 - 14:34:47 PST