Skip to main content

IBM R&D Labs in Israel

Hardware Formal Verification with RuleBase-SixthSense Edition

Monday, April 2, 2012
IBM Research - Haifa, Israel

Tab navigation

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.

Driving Directions

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.

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

Seminar Organizers
Sivan Rabinovich, IBM Research - Haifa

Web Master
Yair Harry