1 / 3

IEEE P1850

IEEE P1850. Risks / Opens / Issues Hold election for Co-Chair Avigail Orni (IBM) Co-Chair has stepped down Sitvanit Raul (IBM) was approved by IEEE DASC as temporary Co-Chair We are currently holding election for permanent replacement

mliss
Download Presentation

IEEE P1850

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. IEEE P1850 Risks / Opens / Issues • Hold election for Co-Chair • Avigail Orni (IBM) Co-Chair has stepped down • Sitvanit Raul (IBM) was approved by IEEE DASC as temporary Co-Chair • We are currently holding election for permanent replacement • We are still trying to finalize funding for final activites within the P1850. The estimated cost is @~40,000 STATUS • Updated PAR approved by DASC (Feb 2008) • Now submitted to NesCom • Current Schedule • 2008 • Technical work scheduled to be completed by April 2008 • Begin LRM edits in April 2008, after technical work has completed • Ballot draft July/Aug 2008 • Target RevCom Q1 2009 H1’08 PLANS • Complete edits for draft LRM • Start initial balloting process

  2. P1850 Schedule Milestones Dec 2007 Complete formal semantics for local variables Dec 2007 Finish formal semantics for verification directives (assert, assume, cover, …) Feb 2008 Finish technical work on new verification units (to improve reuse) April 2008 Begin draft LRM edits from technical work Jun 2008 Complete draft LRM Jul/Aug 08 Start process leading up to balloting

  3. P1850 Contacts and links… • P1850 detailed technical work status: • October update • http://www.eda-stds.org/ieee-1850/docs/29.10.07.PSL-update.pdf • September update • http://www.eda-stds.org/ieee-1850/docs/25-9-07-Issues-SC.pdf • August update • http://www.eda-stds.org/ieee-1850/docs/6-8-07-Issues-sub.pdf • P1850 extension/Issues subcommittee website: • Detailed list of extensions and issues • http://www.eda-stds.org/ieee-1850/Issues/issues.html • Mail reflector for extensions and issues • http://www.eda.org/ieee-1850/ieee-1850-issues/hm/

More Related