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.
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
Picture from the course