[$ieee-1850] IEEE 1850 PSL Working Group Meeting - 16 November - Minutes

--
IEEE 1850 PSL Working Group Meeting
==============================
Location: Teleconference
Date: 16 Nov 2004
Presiding Officer:  Harry Foster, Chair
Secretary:  Erich Marschner
Website: http://www.eda.org/ieee-1850
Members:
========
  Accellera          DR: Harry Foster
  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
Attendance Record:
==================
  Key:
      v : member (= voting priveleges) during last meeting
      + : present (leftmost = most recent meeting)
      _ : absent
  Members:
v    (+++_++)  Accellera (DR: Harry Foster)
v    (++++++)  Cadence (DR: Erich Marschner)
v    (++++++)  IBM (DR: Yaron Wolfsthal) 
v    (++++++)  Mentor Graphics (DR: Steve Bailey) (rep. by DRA: Tej Singh)
v    (_+++++)  Synopsys (DR: Surrendra Dudani)
  Observers:
     (++++++)  Avigail Orni (IBM)
     (++++++)  Johan Mårtenson (Safelogic)
     (++_+++)  Johan Alfredson (Safelogic)
     (++++++)  Tom Thatcher (Sun)
     (+++++_)  Tej Singh (Mentor)
     (+_+++_)  Andrew Seawright (Mentor)
     (++++__)  Jari Kalinainen (Nokia)
     (++_+__)  Klaus Winkelmann (Infineon)
     (++_+__)  Adriana Maggiore (AltraVerifica)
     (+_+___)  Cindy Eisner (IBM)
     (_+++++)  Joseph Lu (NVidia)
     (_+__++)  Sitvanit Ruah (IBM)
     (_+++++)  Mohamed-Lyes Benalycherif (ST)
     (_+_+__)  Steve Ward (Cadence)
     (_+____)  Andrea Fedeli
     (__++++)  Dana Fisman (IBM/Weizmann Institute)
     (__++++)  Bassam Tabbara (Novas)
     (__+___)  Makarand Joshi (Cadence)
   Inactive:
     (___+__)  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
         - P1850 Support Services proposal summary
         - Summary of P1800 (SystemVerilog) services contract and funding approach
  Subcommittee Reports
    - Issues Subcommittee
    - Extensions Subcommittee
    - LRM Subcommittee
  New Business
  Next Meeting
  Adjourn
    - Attendance Roll Call
Call to order:
==============
The meeting was called to order at 8:05am 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 of 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: Yaron: no objections)
The minutes of the last meeting were approved.  (Motion: Erich; second: Avigail; no objections)
Old Business:
=============
1. Membership Issue Update
AI: Erich to propose revised text to clarify P&Ps [to reflect intent of membership=voting priveleges].
AI: Johan M. to work with Erich to propose such an amendment [to accelerate membership of new IEEE-SA members].
No progress on these action items since last week.
Infineon has just become a corporate member of the IEEE-SA.  According to current P&Ps, Infineon will become a Member of the working group (with voting rights) after attending two successive meetings (e.g., today's, and next week's).
2. Schedule Review
Deferred until next week.
3. IEEE Support Services
P1850 Support Services proposal summary
Harry summarized the proposal from Edward Rashba.  The total cost of the proposal is about $70K.  The proposal includes line items for 
 - Project Management 
 - Draft Document Support 
 - Process Support 
 - E-Ballot Support 
 - Publication Support 
 - Marketing 
 - Travel 
Some of these line items don't seem to be applicable (e.g., Travel - we only meet via telephone).  Some others seem to be overlapping and therefore potentially redundant (e.g., E-Ballot support and ballot comment resolution support under Draft Document Support).  Also, since our draft document is already in fairly good shape, it is not clear that we need the proposed level of support for that.
Summary of P1800 (SystemVerilog) services contract and funding approach:
Yaron presented what he learned from his review of the decisions made by the P1800 working group (SystemVerilog) relative to buying services from the IEEE.  The SV WG has determined that procuring services would be beneficial, and are likely to be paying somewhere in the order of $100K-$120K, perhaps more, for these services. In the case of P1800, the item of highest cost (near half) is technical editing, and the next highest is project management.  They are also procuring a large set of the other types of services listed by Harry.  Payment is done by assigning a progressive fee, believed to be based on revenue, to the corporate members.
Discussion:
 - this working group has substantial background in standards development, so we may not need help
 - but the time it will take (to do this with strictly volunteer effort) is an issue, if we want to get it out by DAC
 - if we end up taxing members to pay for these services, that will complicate the definition of 'member'
AI: Harry/Yaron, to find out what portion of the SystemVerilog $120K or so is being paid by Accellera directly.
AI: officers to review the proposal and identify which line items we most likely need (and which we don't)
Subcommittee Reports:
=====================
1. Issues Subcommittee (Erich)
Continuing discussion re: issue of defining the sampling semantics of PSL
Discussion of possible addition of assertion language control functions callable from testbenches
Plan to get caught up on additional issues that have been submitted by 1 Dec
Possibly another meeting by 1 Dec, after polling for prioritization and disposition opinions.
Looking into better ways of managing issues - possibly using Issues SC archive, or something similar (low tech, low overhead).
AI: Erich to look into SystemVerilog issue tracking mechanism
2. Extensions Subcommittee (Erich)
Discussed two groups of issues last week - issues and resolutions posted to the Extensions SC reflector.
Resolutions still require translation to specific LRM changes - need to decide at what point to hand off to LRM SC.
3. LRM Subcommittee (Harry)
LRM will be posted shortly on the web, in PDF form, password-protected
AI: Harry to privately distribute password to all who are subscribed to the IEEE 1850 reflector.
New Business:
=============
None.
Next Meeting:
=============
The next meeting of the working group will be held on Tuesday November 23 from 8am-10am PDT.  Agenda and teleconference information will be sent out shortly.
Adjournment
===========
Attendance was checked again, by roll call.
Motion to adjourn - (motion: Cindy; second: Johan M; no objections)
The meeting was adjourned at 8:53am PST.
(A meeting of the Extensions SC followed the WG meeting, from 8:53am until 10:05am PST.)
============================================================================