IBM Research - Haifa cordially invites you to a seminar on formal verification using RuleBase-SixthSense edition (RBSE), to be held on Monday, April 2, 2012. The seminar will take place at IBM Israel in Petah Tikva in the Forum conference room, from 9:30 to 13:30. For driving directions, see the attached map.

RBSE is a comprehensive industrial-strength FV platform with 10 years of experience in verifying IBM servers and hardware for leading semiconductor companies. RBSE quickly finds design defect and evasive bugs, alongside checking design performance. It is designed for beginners and experts, with a gentle learning curve for both designers and verification engineers.

At this seminar we will briefly cover the essentials of formal verification, introduce the new generation of the tool, and conclude with a talk by our application experts.

Participation is free of charge. A light lunch and refreshments will be served.

Please confirm your participation by March 25, 2012.

This seminar is relevant for verification engineers, verification managers, and hardware design professionals.

Program
Seminar's Program
PDF version for printing (46 KB)

Seminar Organizers
Sivan Rabinovich, IBM Research - Haifa

Web Master
Yair Harry