Skip to main content
    Israel [change]    Terms of use
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Haifa Verification Conference 2008

IBM Haifa Labs


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

Emerging Challenges and Directions in Verification

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)


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research