[$ieee-1850] IEEE 1850 PSL Working Group Meeting - 27 March 2007 - Minutes

IEEE 1850 PSL Working Group Meeting 
===================================
Location: Teleconference 
Date: 27 March 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 
  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, Harry, Cindy, Dmitry P., Surrendra, Avigail, Johan, Sitvanit, 
  Ramin, Makarand


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) 

Lapsed Members:
  (___+++++|+++_++______________) Intel (DR: Dmitry Korchemny)
  (____++++|++++++_++++_+++++_++) Accellera (DR: open) 
  (____+_++|++++++++_++_+_++++++) Sun (DR: Tom Thatcher) 
  (______++|+++++++++++++_++++__) Nokia (DR: open) 

Note: The attendance record has been corrected to show that Harry Foster
has represented Mentor starting with the 24 October 2006 meeting.  Also,
the record now shows attendance of the individuals, as well as the 
attendance of Members (represented by individuals), in order to better
cope with changes in affiliation and representation.

Representatives:
  (++++++++|++++++_++++_+++++_++) Harry Foster (Mentor Graphics)
  (++++++++|++++++++++++++++++++) Erich Marschner (Cadence)
  (++++++++|+++___++__++++++++++) Avigail Orni (IBM) 
  (+++++_++|++++++++++++_+_+++++) Surrendra Dudani (Synopsys) 
  (++_+++++|++++++++++++++++++++) Johan Mårtenson (Jasper) 
  (____+_++|++++++++_++_+_++++++) Tom Thatcher (Sun) 

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) 
  (___+++++|++++++++++++++++++++) Yaron Wolfsthal (IBM)
  (___+++++|____________________) Dmitry Korchemny (Intel)
  (___++_+_|+++_________________) Sylvain Boucher (Philips) 

Inactive: 
  (______++|___++_+_____++_+++++) 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: 
======= 

Agenda:
   Call to order
     - Attendance Roll Call
     - Patent Policy 
       (at some point, need to discuss new policy)
     - Approve Agenda
     - Approve Minutes of Last Meeting
   New Business
     - Update on recent IEEE DASC meeting (Harry)
     - Overview of recent work on SVA (Surrendra)
     - Review of schedule
   Old Business
   Subcommittee Reports
     - Issues Subcommittee update (Sitvanit)
   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 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: Sitvanit; no objections)

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

Old Action Items: 
================= 
none

New Action Items: 
================= 
none

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

Update on recent IEEE DASC meeting (Harry)
- slides at 
  http://www.verilog.org/ieee-1850/docs/Mar-27-PSL-WG-Meeting.pdf
- working on DASC P&Ps
- draft schedule - targetting Sept 2008 approval
   - LRM work starting June 2007
   - Change proposals by October 2007
   - Ballot start by Feb 2008

Overview of recent work on SVA (Surrendra)
- slides at 
  http://www.eda-stds.org/ieee-1850/hm/0248.html
- LRM semantics clarifications
- Extensions to existing features
- New proposed features
- Future proposals

We discussed the potential for more coordination between the PSL and SVA.
It may be appropriate to share more information (both ways).
Harry will invite Dmitry K. to present his LTL proposal to the IEEE 1850 WG.


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

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

Issues Subcommittee update (Sitvanit)
- slides at 
  http://www.verilog.org/ieee-1850/docs/Mar-27-PSL-WG-Meeting.pdf
- Use Models
- Architecture of Vunits
- Assertion Control Capabilities
- Local Variables


Next Meeting: 
============= 
The next full working group meeting will occur on Tuesday 29 May 2007, at 8am PDT.  
The next meeting of the Issues subcommittee will occur on 10 April 2007, at 8am PDT.

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

Roll-call

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




-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.