IEEE 1850 PSL Working Group Meeting ============================== Location: Teleconference Date: 11 October 2005 Presiding Officer: Harry Foster, Chair Secretary: Erich Marschner Website: http://www.eda.org/ieee-1850 Members: ======== Accellera DR: Harry Foster DRA: Victor Berman 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 Nokia DR: Jari Kalinainen Jasper DR: Johan Mårtenson; DR: Johan Alfredsson Sun DR: Tom Thatcher Intel DR: Alexander Levin Attendees: Erich, Richard, Jari, Sitvanit, Noelle, Dmitry, Harry, Cindy, Yaron, Surrendra, Avigail, Johan M., Dmitri (IBM), Elaine, Andrea, Tom, Makarand, Joseph, 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 (+|++++++_++++_+++++_++) Accellera (DR: Harry Foster) v (+|++++++++++++++++++++) Cadence (DR: Erich Marschner) (rep. by DRA: Steve Ward) v (+|++++++++++++++++++++) IBM (DR: Yaron Wolfsthal) v (_|++++_+++++++++++++++) Mentor Graphics (DR: Steve Bailey) (rep. by DRA: Tej Singh) v (+|++++++++++++_+_+++++) Synopsys (DR: Surrendra Dudani) v (+|+++++++++++++_++++__) Nokia (DR: Jari Kalinainen) v (+|++++++++++++++++++++) Jasper (DR: Johan Mårtenson) v (+|++++++++_++_+_++++++) Sun (DR: Tom Thatcher) v (+|+++_++______________) Intel (DR: Alex Levin) (DRA: Dmitry Korchemny) Observers: (+|_++_++++++____+_+___) Cindy Eisner (IBM) (+|+++___++__++++++++++) Avigail Orni (IBM) (+|_+_+_______+++__++++) Dana Fisman (IBM/Weizmann Institute) (+|++___________+__+___) Makarand Joshi (Cadence) (+|___++_+_____++_+++++) Joseph Lu (NVidia) (+|___+_+++__________+_) Richard Wallace (Northrop Grumman) (+|____+++++___++_+____) Andrea Fedeli (ST) (+|__________++++_+__++) Sitvanit Ruah (IBM) (+|____________________) Dmitry Korchemny (Intel) (+|____________________) Dmitri ??? (IBM) (+|____________________) Elaine Leingang (SanDisk) (_|++++_+++++_++++++++_) Tej Singh (Mentor) (_|+++_________________) Sylvain Boucher (Philips) (_|__++_++____+_++_+++_) Andrew Seawright (Mentor) (_|__++_+_++_+_++_+++++) Mohamed-Lyes Benalycherif (ST) (_|__+__+______++__++++) Bassam Tabbara (Novas) (_|__+____________+_+__) Steve Ward (Cadence) Inactive: (_|_____+++++++++++_+++) Johan Alfredson (Jasper) (_|______++____+_++_+__) Adriana Maggiore (AltraVerifica) (_|_______+__+__+++_+__) Infineon (DR: Klaus Winkelmann) (_|_________________+__) Limor Fix (Intel) (_|__________________++) Jin Hou (Synopsys) (_|__________________++) Peter Flake (Synopsys) (_|__________________++) Ben Cohen (consultant) (_|___________________+) J. Bhasker (eSilicon) Agenda: ======= Call to order - Attendance Roll Call - Patent Policy - Approve Agenda - Approve Minutes of Last Meeting Old Business - Status Review - RevCom Approval - LRM Editorial Work Subcommittee Reports New Business - Election of Officers - Planning for Next Revision - Outstanding Issues - Goals (Content, Schedule) - Process Review - Meeting Schedule/Day/Time Next Meeting Adjourn - Attendance Roll Call Call to order: ============== The meeting was called to order at 8:10am 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 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: Cindy; second: Richard; no objections) The minutes of the last meeting (12 Apr 05) were approved. (Motion: Cindy, second: Erich; no objections) Old Action Items: ================= none. New Action Items: ================= none. Old Business: ============= - Status Review RevCom met on 22 Sep 05 and approved the submission. Harry is working with the IEEE editor to finalize the LRM for publication. Harry and Dana just finished adjusting Annex B formatting to match the rest of the document. The LRM should be published within the next week or so. The IEEE will send a PDF of the final published version to the DR for each entity. This includes anyone mentioned in the LRM as a member of the working group. Going forward, the IEEE will provide us with a copy labeled for working group use only. Harry suggested that we issue 'draft 0' of the next version as a working copy ... Subcommittee Reports: ===================== none. Harry will update web page to report status. New Business: ============= - Election of Officers The working group reviewed P&Ps section 6.1 Election of officers. It was noted that the term of office is 2 years, so elections are not required at this point. However, the officers asked if the working group would like to consider electing new officers as we begin the next round of work on the standard. No one expressed any interest in holding elections or standing for office. The issue was tabled until next meeting. - Planning for Next Revision - Outstanding Issues A survey of participants' opinions about what to do next was taken: Erich: conservative - fix problems, etc. - but address a few specific issues (vunit semantics, reusable IP, forall/for/local vars) Richard: some concerns about compabitility with VHDL 200x Jari:stability is important - but address need for reusable verification IP Sitvanit: <present, but could not be heard - technical difficulties on the phone line?> Dmitry (Intel): no comment Harry: not looking for large changes, but make vunits more usable (e.g., parameters) for verification IP use Cindy: don't neet to make big changes, but perhaps some areas need clarification (vunits in particular) Yaron: stability, but some extensions - e.g., action blocks Surrendra: agree that vunit improvements for IP would help Avigail: vunits and reusable IP, but we people will want extensions - e.g., embedded PSL de facto usage, another flavor Johan M: agree that verification IP and vunits, parameterization is an issue; also perhaps SVA features (local vars, first-match) Dmitri (IBM): no comment Elaine: current tools don't implement everything anyway; better support for reusable VIP Andrea: need to be able to mix and match vunit flavors with HDL flavors Tom: vunit improvements, and also first-match Dmitry (BM): note that there are problems with local vars; we should not Dana: need to avoid committing to any solutions before we finish investigating requirements Makarand: facilitate adoption of the existing language (e.g., modeling guidelines along with LRM) Joseph: need for dynamic binding of verification units in a big design General opinion seems to be to focus on a few specific issues--vunit semantics, reusable IP, a few SVA features that users might want to see--but not to make major changes in the next round. Start up Issues SC Harry to chair the SC will start in early November - one meeting per month Harry will send out email request for participants - Goals (Content, Schedule) Harry - would prefer not be schedule-driven Cindy, Erich - agree Richard - would it be useful to make information available at DAC in any case, to get feedback from tool developers? Harry, Erich - we should plan for a public update on direction, status at next DAC Noelle - this is allowed if the P&Ps allow it - we can control it - Process Review Briefly discussed what process extensions we might make to - collect questions, issues, bug reports (and provide answers) - promote adoption Deferred until next meeting. - Meeting Schedule/Day/Time Decided to maintain Tuesday 8am PDT schedule. Next Meeting: ============= November 8 Tuesday 8am PDT. This will be a working group meeting followed by an Issues SC meeting. Adjournment =========== Richard, Cindy motioned for adjournment. The meeting was adjourned at approximately 9:15am PDT. Roll-call ============================================================================Received on Tue Oct 11 18:41:39 2005
This archive was generated by hypermail 2.1.8 : Tue Oct 11 2005 - 18:42:01 PDT