[$ieee-1850] IEEE 1850 PSL Working Group Meeting - 27 March 2007 - Minutes - Resent to fix formatting

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. 

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