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.
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://research.ibm.com/haifa/projects/verification/RB_Homepage
Please
confirm your participation
by February 16.
