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

IBM Tools Track 2006
October 24, 2006
Organized by IBM Research Lab in Haifa, Israel


Program PDF version for printing (54 KB)

Tools for Modeling and Static Analysis
Session chair: Avi Ziv, IBM Haifa Labs

09:30 Smart-lint: Improving the Verification Flow,
Itai Yarom and Viji Patil, Intel

10:00 Model-Driven Development with the jABC,
Bernhard Steffen, Tiziana Margaria, Ralf Nagel, Sven Joerges, and Christian Kubczak, University of Dortmund, Germany / University of Potsdam, Germany

10:30 Detecting Design Flaws in UML State Charts for Embedded Software,
Janees Elamkulam, Sandeep Kohli, Gururaja Kowlali, Satish Chandra Gupta, Sai Dattathrani, Ziv Glazberg, Ishai Rabinovitz, and Claudio Paniagua Macia, IBM

11:00 Seqver: A Sequential Equivalence Verifier for Hardware Designs,
Daher Kaiss, Silvian Goldenberg, Ziyad Hanna, and Zurab Khasidashvili, Intel

11:30 Break

Moderator: Shmuel Ur, IBM Haifa Labs

12:00 Unpaved Road between Hardware Verification and Software Testing Techniques

13:30 Lunch

Tools for Dynamic Methods
Session chair: Gadi Auerbach, IBM Haifa Labs

15:00 Invited speaker: Practical Methods in Coverage-oriented Verification of the Merom Microprocessor,
Alon Gluska, Intel

15:45 Invited speaker: Increasing Predictability in the Design Verification Process,
Andrew Piziali, Cadence

16:30 An Open Source Simulation Model of Software Testing,
Shmuel Ur, Elad Yom-Tov, and Paul Wernick, IBM

17:00 Conclusion


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