IBM Leadership Seminars

Hardware Formal Verification using IBM's


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.

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://research.ibm.com/haifa/projects/verification/RB_Homepage

Please confirm your participation by February 16.

• Sivan Rabinovich

  Seminar Chair

• Vered Aharon

  Local Arrangements

• Efrat Maimon

  Webmaster