IBM Logo
IBM Research Lab in Haifa
Introduction
Agenda 
Participants 
FV Research in HRL 
Advanced RuleBase Course
January 16-18 2001
IBM Haifa Research Laboratory

The 3rd Advanced-Level RuleBase Course has been held in Haifa in January 16-18, 2001. The course has included a combination of theoretical issues and practical, hands-on experience, which overall aimed at enhancing abilities of participants to address complex, large-scale verification problems. The course audience included engineers and researchers from IBM, ASIC companies Galileo and Mellanox, and verification companies Valiosys (France) and NoBugs Inc. (US/Romania).

Course Staff

      C. Eisner - Organizer and Lecturer
      I. Beer - Lecturer
      S. Ben-David - Lecturer
      A. Gringauze - Lecturer
      T. Heyman - Lecturer
      A. Orni - Lecturer
      O. Shtrichman - Lecturer
      T. Yogev - Administrative Assistant

More information

      Agenda
      Participants
      Picture from the course