ieee p1850 n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
IEEE P1850 PowerPoint Presentation
Download Presentation
IEEE P1850

Loading in 2 Seconds...

play fullscreen
1 / 3

IEEE P1850 - PowerPoint PPT Presentation


  • 129 Views
  • Uploaded on

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

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'IEEE P1850' - mliss


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
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
  • 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
p1850 schedule milestones
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

p1850 contacts and links
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/