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

Haifa verification conference 2006

IBM Haifa Labs

Invitation Registration

October 23 - 26, 2006
Organized by IBM Research Lab in Haifa, Israel

The Haifa Verification Conference 2006 is over - Click here for 2007


The second annual Haifa Verification Conference provides a forum for academia, industry, and the research and development community to share their work, exchange ideas, and discuss challenges and future research directions. The conference includes three full day sessions on verification technologies, verification tools, and software testing. Another half-day tutorial will follow the conference.

Trends in semiconductor technology scaling are presenting fundamental challenges for functional verification and software testing. The scope of the Haifa verification international conference ranges from conventional methods for stimuli generation to novel methods of guided simulation, formal methods and new hybrid techniques that incorporate dynamic and static functional verification, coverage methods, and new approaches for software testing together with coverage directed stimuli generation. The scope of the conference this year clusters technologies, tools and methodologies.

The conference will involve the presentation of original, peer reviewed, technical papers and lectures by invited industrial and academic guests. Technical papers will be published in a Springer Lecture Notes in Computer Science book (LNCS). The event will take place at the IBM Research Lab in Haifa, located on the University of Haifa campus, Mount Carmel, Haifa, Israel. The conference is sponsored by the IBM Haifa Research Lab and the Caesarea Rothschild Institute (CRI) at the University of Haifa.

The official language of the conference is English and participation is free.

  • Call for Papers and Tools

    Day 1 (Oct 23, 2006) Day 2 (Oct 24, 2006) Day 3 (Oct 25, 2006) Day 4 (Oct 26, 2006)
    Hardware Verification Track Topics - (Program) Tools Track Topics - (Program) Software Testing Track Topics - (Program) PSL tutorial


    Related Conference Links
    Visitors information  
    Formal Verification in HRL  
    Verification and Testing Solutions in HRL  
    Simulation based methods in HRL  
    IBM Verification Conference 2005  
    IBM Verification Seminar 2004  
    IBM Verification Seminar 2003  
    IBM Verification Seminar 2002  

    Proceedings publication: Springer Lecture Notes in Computer Science

        About IBMPrivacyContact
    Caesarea Rothschild Institute (CRI) IBM Research