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

Haifa Verification Conference 2007

IBM Haifa Labs


October 23 - 25, 2007
Organized by IBM Haifa Research Lab

Verification 101 - The basics of Hardware Verification and Software Testing
Monday October 22, 2007

Hardware verification and software testing are the processes of demonstrating that the intent of an application is preserved in its implementation. These processes are the main bottlenecks of the design and implementation processes, consuming 50% to 70% of the total development effort.

This tutorial teaches the audience the basics of hardware verification and software testing. We start by defining what hardware verification and software testing are all about, and how they fit in the development of hardware and software systems. We then describe the main approaches for hardware verification and software testing, namely formal and dynamic verification / testing. For each approach, we provide the main technologies and methodologies used in it and highlight its strengths and weaknesses.

Although the software testing and hardware verification communities share the same goals and face similar issues and challenges, they use different philosophies in their approaches. The same is true also for formal and dynamic verification. The tutorial will pay special attention to the commonalities and differences between the various verification/testing communities and describe migration of methodologies and technologies between the communities. The tutorial will also touch on cross-discipline technologies that combine more than one approach, such as hybrid verification.

Target audience
The tutorial is designed for non-experts who want to know what verification is all about and for people with knowledge in one aspect of verification (e.g., software testing) who want to become familiar with other aspects (e.g., formal verification).

One of the main goals of the tutorial is to give you the tools to better understand the talks that will be presented at the conference. The main hurdle in understanding technical talks is the jargon. Each academic community has its own set of phrases and terms that help communicate common knowledge in the field. Moreover, the same phrase can often mean different things in different jargons. For example, the word "simulation" has a very different meaning in the formal and non-formal worlds. Want to know more about it? Come to the tutorial!

The event will take place at the Caesarea Rothschild Institute (CRI) in the University of Haifa Education Building, room 570 (on the 5th floor). The official language of the tutorial is English. Participation is free, though registration is required.

  • Cindy Eisner
  • Shmuel Ur
  • Avi Ziv

Avi Ziv (

08:30 Registration
09:00 Introduction
09:30 Dynamic verification for hardware
11:00 Break
11:30 Formal Verification
13:00 Lunch
14:00 Hybrid techniques
14:30 Software testing
15:30 Break
16:00 Cross-fertilization between hardware verification and software testing
16:45 Wrap up and summary


    About IBMPrivacyContact
Caesarea Rothschild Institute (CRI) IBM Research