IEEE 1850 PSL Working Group Meeting =================================== Location: Teleconference Date: 5 August 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: open; DRA: open * Accellera DR: open; DRA: open * Sun DR: open * Nokia DR: open * membership lapsed due to missing 2 or more consecutive meetings Attendees: Erich, Sitvanit, John W., Avigail, Harry, Dana, 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: open) (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) (++_++__+_+|_+_+_______+++__++++) Dana Fisman (IBM/Weizmann Institute) (+_________|____________________) John Michael Williams () (__+++_+_++|____________________) Dmitry Pidan (IBM) (__+__+++++|_++_++++++____+_+___) Cindy Eisner (IBM) (__+__+___+|++___________+__+___) Makarand Joshi (Cadence) (__+_______|____________________) Ramin Hojati (Averant) (____+__+++|___+_+++__________+_) 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 http://bmsmail3.ieee.org:80/u/6719/01032689 - Approve Agenda - Approve Minutes of Last Meeting http://www.eda-stds.org/ieee-1850/hm/0253.html (minutes for 12 Jun 07) Old Business Subcommittee Reports - Issues Subcommittee update *** Please reference Sitvanit's slides at: http://www.eda-stds.org/ieee-1850/docs/6-8-07-Issues-sub.pdf 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 (12 June) were approved. (Motion: Sitvanit, second: Erich; no objections) Old Action Items: ================= Harry will invite Dmitry K. to present his LTL proposal to the IEEE 1850 WG. - Harry has invited Dmitry to make a presentation to the working group. - No response so far. - Erich mentioned some characteristics of a more recent version of Dmitry's proposal: - until, eventually, always, weak/strong operators Other Old Action Items (not discussed): ====================== Members: notify Harry when you will be available for Tuesday WG meetings in July/August. (done) 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 (i.e., whether IEEE will allow this) Old Business: ============= none Subcommittee Reports: ===================== Issues Subcommittee update Sitvanit gave a presentation regarding the topics currently being discussed in the Issues subcommittee. These include: - new architecture for vunits - formal semantics of local variables - semantics of verification directives Some discussion occurred regarding the differences between Proposal A and Proposal B for the semantics of local variables. The main difference is in the treatment of fusion and overlapping implication. Proposal A interleaves the boolean evaluations and the assignments, whereas Proposal B essentially evaluates all the booleans before any assignments are made. New Action Items: ================= None. Next Meeting: ============= The next Issues SC meeting will be held on 27 Aug at 8am PDT. Erich will try to draft the vunit proposal by 27 Aug. The next full working group meeting on 24 Sep at 8am PDT. Note: no meeting on 3 Sep due to Labor Day holiday in the US. Adjournment: ============ Erich motioned for adjournment, seconded by Sitvanit. The meeting was adjourned at approximately 9:45am PDT. Roll-call -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Aug 14 12:19:28 2007
This archive was generated by hypermail 2.1.8 : Tue Aug 14 2007 - 12:19:34 PDT