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.
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.
Please confirm your participation by February 16.