Haifa Verification Conference 2008
Call for Papers
Important Dates
Submission
Accepted Papers
Registration
Program
Tutorials
HVC Award
Organization
Venue and Travel
Accommodation
Shuttles to HVC Site
Local Information
Social Events
Excursions
Photo Gallery

Contact Information

Proceedings publication: Springer Lecture Notes in Computer Science

Haifa Verification Conference 2008

IBM Haifa Labs

Tutorials

October 27-30, 2008
Organized by IBM Haifa Research Lab

October 27, 2008, IBM Haifa

Tutorial PDF version for printing (397 KB)

09:30-10:00 Registration, Coffee

10:00-11:30 Verification Challenges of Low-Power Design,
Karen Yorav, IBM HRL (Presentation)

11:30-12:00 Break

12:00-13:30 When Multicore is Not Just About Architecture and Silicon Technology,
Vladimir Tsymbal, Intel Corp

13:30-14:30 Lunch

14:30-16:00 Design and Verification Aspects of Soft Errors,
Ilan Beer, IBM HRL (Presentation)

16:00-16:30 Break

16:30-18:00 Moore's Law v. Verification Complexity,
Jason Baumgartner (Presentation)