[$ieee-1850] IEEE 1850 PSL Working Group Meeting - 12 June 2007 - Minutes

From: Erich Marschner <erichm_at_.....>
Date: Tue Jun 12 2007 - 15:29:42 PDT
IEEE 1850 PSL Working Group Meeting 
=================================== 
Location: Teleconference 
Date: 12 June 2007 

Presiding Officer: Harry Foster, Chair 
Secretary: Erich Marschner 

Website: http://www.eda.org/ieee-1850 

Members: 
======== 
  Cadence               DR: Erich Marschner;  DRA: Steve Ward 
  IBM                   DR: Avigail Orni;     DRAs: Cindy Eisner, Sitvanit Ruah, 
                                                   Dana Fisman, Dmitry Pidan 
  Mentor Graphics       DR: Harry Foster;     DRA: Tej Singh 
  Synopsys              DR: Surrendra Dudani 
  Jasper                DR: Johan Mårtenson;  DRA: open 

* Intel                 DR: Dmitry Korchemny; DRA: Alexander Levin 
* Accellera             DR: open;             DRA: open 
* Sun                   DR: Tom Thatcher 
* Nokia                 DR: open 

* membership lapsed due to missing 2 or more consecutive meetings 

Attendees: 
  Erich, Surrendra, Sami, Dana, Harry, Avigail 


Attendance Record: 
================== 
Key: 
v : member (= voting priveleges) during this meeting 
+ : present 
_ : absent 
- : absent (but optional meeting) 

Leftmost char = most recent meeting 
| : approval of IEEE 1850 PSL (22 Sep 05) 
* : official meeting - counts towards membership 
- : unofficial meeting - does not affect membership 

  (*********|*-******************) 

Members: 
v (+++++++++|++++++++++++++++++++) Cadence (DR: Erich Marschner) 
v (+++++++++|++++++++++++++++++++) IBM (DR: Avigail Orni) 
v (+++++____|++++_+++++++++++++++) Mentor Graphics (DR: Harry Foster) 
v (++++++_++|++++++++++++_+_+++++) Synopsys (DR: Surrendra Dudani) 
v (_++_+++++|++++++++++++++++++++) Jasper (DR: Johan Mårtenson) 

Pending Members:
  (+______++|+++++++++++++_++++__) Nokia (DR: Sami Maisnemi) 

(Pending members become members upon attending two successive WG meetings.)

Lapsed Members: 
  (____+++++|+++_++______________) Intel (DR: Dmitry Korchemny) 
  (_____++++|++++++_++++_+++++_++) Accellera (DR: open) 
  (_____+_++|++++++++_++_+_++++++) Sun (DR: Tom Thatcher) 

(Lapsed members are those that have missed 2 of the past 3 meetings.)

Following is a record of individual attendance, which is recorded 
separately to cope with changes in affiliation and representation,
as well as to recognize the participation of individuals who are 
"observers" rather than representatives of corporate members.

Representatives: 
  (+++++++++|++++++_++++_+++++_++) Harry Foster (Mentor Graphics) 
  (+++++++++|++++++++++++++++++++) Erich Marschner (Cadence) 
  (+++++++++|+++___++__++++++++++) Avigail Orni (IBM) 
  (++++++_++|++++++++++++_+_+++++) Surrendra Dudani (Synopsys) 
  (+________|____________________) Sami Maisniemi (Nokia) 
  (_++_+++++|++++++++++++++++++++) Johan Mårtenson (Jasper) 

Observers: 
  (_++++++++|__________++++_+__++) Sitvanit Ruah (IBM) 
  (_+++_+_++|____________________) Dmitry Pidan (IBM) 
  (_+__+++++|_++_++++++____+_+___) Cindy Eisner (IBM) 
  (_+__+___+|++___________+__+___) Makarand Joshi (Cadence) 
  (_+_______|____________________) Ramin Hojati (Averant) 
  (+_++__+_+|_+_+_______+++__++++) Dana Fisman (IBM/Weizmann Institute) 
  (___+__+++|___+_+++__________+_) Richard Wallace (Northrop Grumman) 

Inactive: 
  (____+++++|++++++++++++++++++++) Yaron Wolfsthal (IBM) 
  (____+++++|____________________) Dmitry Korchemny (Intel) 
  (____++_+_|+++_________________) Sylvain Boucher (Philips) 
  (_____+_++|++++++++_++_+_++++++) Tom Thatcher (Sun) 
  (_______++|___++_+_____++_+++++) Joseph Lu (Altera) 
  (_______++|____________________) Elaine Leingang (SanDisk) 
  (_______+_|_______+__+__+++_+__) Klaus Winkelmann (OneSpin Solutions) 
  (_______++|+++++++++++++_++++__) Jari Kalinainen ((no longer with) Nokia) 
  (________+|____+++++___++_+____) Andrea Fedeli (ST) 
  (_________|++++_+++++++++++++++) Steve Bailey (Mentor Graphics) 
  (_________|+++_++______________) Alex Levin (Intel) 
  (_________|++++_+++++_++++++++_) Tej Singh (Mentor) 
  (_________|__++_++____+_++_+++_) Andrew Seawright (Mentor) 
  (_________|__++_+_++_+_++_+++++) Mohamed-Lyes Benalycherif (ST) 
  (_________|__+__+______++__++++) Bassam Tabbara (Novas (now Synopsys)) 
  (_________|__+____________+_+__) Steve Ward (Cadence) 
  (_________|_____+++++++++++_+++) Johan Alfredson ((no longer with) Jasper) 
  (_________|______++____+_++_+__) Adriana Maggiore (OneSpin Solutions) 
  (_________|_________________+__) Limor Fix (Intel) 
  (_________|__________________++) Jin Hou (Synopsys) 
  (_________|__________________++) Peter Flake (Synopsys (now Imperas)) 
  (_________|__________________++) Ben Cohen (consultant) 
  (_________|___________________+) J. Bhasker (eSilicon) 



Agenda: 
======= 

   Call to order 
     - Attendance Roll Call 
     - Review Patent Policy 
          http://standards.ieee.org/board/pat/pat-slideset.ppt 
     - Approve Agenda 
          http://www.eda-stds.org/ieee-1850/hm/0252.html (agenda for 12 June 07) 
     - Approve Minutes of Last Meeting 
          http://www.eda-stds.org/ieee-1850/hm/0250.html (minutes for 27 Mar 07) 
   Old Business 
   Subcommittee Reports 
     - Issues Subcommittee update 
   New Business 
     - Issue Prioritization and Goals for next release 
     - Work schedule discussion 
     - External reviews of proposed changes for user feedback 
   Next Meeting 
   Adjourn 
     - Attendance Roll Call 


Call to order: 
============== 
The meeting was called to order at 9:05am PST. 

Attendance was recorded via roll call. 

The IEEE patent policy was 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: Avigail; second: Erich; no objections) 

The minutes of the last meeting (27 March) were approved.  
(Motion: Erich, second: Avigail; no objections) 


Old Action Items: 
================= 
Harry will invite Dmitry K. to present his LTL proposal to the IEEE 1850 WG. 


Old Business: 
============= 
none 


Subcommittee Reports: 
===================== 

Issues Subcommittee update

Sitvanit was not present.  Erich gave a brief summary of the work on vunit 
architecture, and the current state of that discussion.  Surrendra asked
whether the proposed changes would be backward compatible.  Erich replied
that they would be, except for proposed restrictions on the interaction
between binding and inheritance, but that these restrictions largely
prohibit only meaningless or non-portable constructions, so practically
speaking they would not likely inhibit existing usages.

A slide presentation regarding the vunit work is available on the web page, at 
http://www.eda-stds.org/ieee-1850/docs/Verification%20Units%20-%2027Mar07.pdf.


New Business: 
============= 

1. Issue Prioritization and Goals for next release 

This item was addressed in conjunction with the following item.

2. Work schedule discussion 

Harry asks that committee members send him an email regarding their vacation 
schedule this summer (July-August), to help plan when WG meetings will occur.

Harry gave an overview of the schedule:
 - goal is new version by Fall 2008
 - which implies that balloting begin in March/April 2008
 - which implies that LRM writing begin by December 2008
 - which implies that we wrap up technical work by December 2008
Harry will propose a (revised) schedule reflecting the above dates.

Avigail suggested that Sitvanit should review the Issues list, propose
an overall schedule for the remaining work, and identify which issues we
would be willing to leave unaddressed in this version, if necessary.

We discussed whether we will need editorial support at all this time. This 
probably depends upon the extent of changes, which remains to be seen.


3. External reviews of proposed changes for user feedback 

We discussed a proposal to hold external reviews of proposed language changes,
to get user feedback before committing the changes to the LRM.  This would also
be an opportunity to encourage users to participate in the working group.

Harry suggested a WebEx meeting as a venue for this.  The goal would be to 
understand how users feel about (a) the importance of each change we are
considering, (b) whether the change will address user requirements, and (c)
whether there are alternative, workable proposals that might be considered
instead.

We discussed the schedule for such an event.  The earliest date considered
was sometime in July.  An alternative - one event in September, a second in
November - was also suggested.  It was noted that a fair amount of preparation
will be necessary, to complete proposals for language changes, draft LRM 
language, and create presentations.  At the same time, it would be good to 
get early feedback on direction, for issues for which we don't yet have 
detailed proposals.  It was noted that we need to strike a balance between
these two.

Dana raised a concern about the possibility that external reviewers would 
object to a proposal they don't like, but would not contribute to resolving
their objections.  We discussed the need to set participants' expectations
correctly, and to encourage them to participate in the working group, 
especially if they would like to see the language evolve in a direction 
that is different from what we are proposing.

We agreed that the next Issues SC meeting should look into the overall status 
of issues currently being addressed, to determine what could be presented when.
To that end, and also as part of the normal process, we need to document 
issue resolutions of various issues, and post them on the web.

We agreed that we will need to have a small group focus on planning for one 
or more external reviews.  The IEEE 1850 officers should be involved, but 
working group participants are also welcome.  Harry will send out a call for
participation in this effort.

Erich raised a question about whether IEEE rules might inhibit our ability
to hold an external review.  Harry will ask Victor Berman about this.


New Action Items: 
================= 
Members: notify Harry when you will be available for Tuesday WG meetings in July/August. 
Sitvanit: review Issues list and propose schedule for remaining Issues work
Harry: propose a (revised) schedule through the Fall 2008 target date.
Harry: send out a call for participation in the External Review planning subcommittee
Harry: check with Victor regarding public review of proposed changes


Next Meeting: 
============= 
The next full working group meeting will occur in July.  The date remains to be 
determined, based on participants' availability.
  
The next meeting of the Issues subcommittee will occur on 19 June 2007, at 9am PDT. 


Adjournment: 
============ 
Avigail motioned for adjournment, seconded by Erich. 
The meeting was adjourned at approximately 9:49am PDT. 

Roll-call 

============================================================================ 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Jun 12 15:30:23 2007

This archive was generated by hypermail 2.1.8 : Tue Jun 12 2007 - 15:30:34 PDT