Skip to main content

IBM Leadership Seminars


Seminar Navigation


Hardware Formal Verification using IBM's
RuleBase Pe logo

February 23, 2010
Organized by IBM Research - Haifa

Invitation

IBM Research - Haifa cordially invites you to a seminar on Formal Verification using RuleBase PE, to be held on Tuesday, February 23, 2010. The seminar will take place at IBM Israel in Petah Tikva in the Forum conference room, from 9:30 to 13:45. For driving directions, see the attached map.

Main pop-up content

IBM Petah Tikva driving directions

Lunch and light refreshments will be served. Participation is free.

The target audience includes verification engineers, verification managers, and hardware design professionals.

Seminar Program


RuleBase PE from IBM Research
RuleBase PE is a cutting edge verification platform that allows engineers to harness the power of model checking and parallel computing, thereby enabling them to rapidly verify complex chip designs. Using RuleBase PE, a design is validated against its functional specification, as captured by user-specified assertions. The platform is based on parallel formal and semi-formal verification algorithms developed at the IBM Research Lab in Haifa, Israel.

RuleBase PE is an innovative, industrial-strength tool that gives designers and verification engineers the ability to find evasive design bugs throughout the design cycle.

Read more in: https://www.research.ibm.com/haifa/projects/verification/RB_Homepage

Please confirm your participation by February 16.

Contact Information