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 Hardware Verification Track 2006
October 23, 2006
Organized by IBM Research Lab in Haifa, Israel


Program PDF version for printing (57 KB)

09:30 Welcome,
Eyal Bin, Program Chair, IBM Haifa Research Lab; David Bernstein, Manager, Software and Verification, IBM Haifa Research Lab; Irith Hartman, Scientific Manager, Caesarea Rothschild Institute
Property Specification
Session chair: Karen Yorav, IBM Haifa Labs

10:00 Invited speaker: Sweet and Sour: Adventures in the Development of a Property Specification Language,
Cindy Eisner, IBM Haifa Research Labs

10:45 Model Checking PSL using HOL and SMV,
Thomas Tuerk, Klaus Schneider, and Mike Gordon, University of Kaiserslautern, Germany / University of Cambridge, UK

11:15 Speed Networking session and coffee break

Dynamic Verification and Testing
Session chair: : Laurent Fournier, IBM Haifa Labs

12:00 Using Linear Programming Techniques for Scheduling-based Random Test-case Generation,
Amir Nahir, Yossi Shiloach, and Avi Ziv, IBM Haifa Research Lab

12:30 Extracting a Simplified View of Design Functionality Based on Vector Simulation,
Onur Guzey, Hung-Pin (Charles) Wen, Li-C. Wang, Tao Feng, Hillel Miller and Magdy Abadir, University of California Santa Barbara, Cadence, Freescale Semiconductor

13:00 Reusable On-Chip System Level Verification for Simulation Emulation and Silicon,
Avishay Maman, Sharon Goldschlager, Hillel Miller, David Bell, Rob Slater, Oded Bin-Moshe, Nissan Levi, and Hagit Gilboa, Freescale Semiconductor Israel

13:30 Lunch

Formal Verification
Session chair: Yaron Wolfsthal, IBM Haifa Labs

15:00 Keynote: System Modeling and Formal Verification with UCLID,
Randal E. Bryant, Dean and University Professor, School of Computer Science, Carnegie Mellon University

16:00 Automatic Fault Localization for Property Checking,
Stefan Staber, G?rschwin Fey, Roderick Bloem, and Rolf Drechsler, Graz University of Technology, Austria / University of Bremen, Germany

16:30 Verification of Data Paths using Unbounded Integers: Automata Strike Back,
Alexander Tobias Schuele and Klaus Schneider, University of Kaiserslautern, Germany

17:00 Closing remarks,
Meir Nissensohn, General Manager, IBM Israel

17:30 Cocktail Party


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