April 21 Agenda Includes Panel on Building Formal Team, Presentation on Formal Test Planning

WHO : Oski Technology, Inc., the only dedicated formal verification service provider

WHAT : Will host the Decoding Formal Club, the latest in a series of meetings dedicated to fostering formal idea sharing among formal verification enthusiasts. It will include a panel moderated by Harry Foster, chief verification scientist at Mentor Graphics, titled, “Building a Formal Team.”Also on the agenda, which includes lunch, is a presentation from Oski on “Formal Test Planning” and a self-guided tour of the Computer History Museum.

WHEN : Monday, April 21, from 10 a.m. until 2 p.m.

WHERE : Computer History Museum, Mountain View, Calif. Pre-registration is required because space is limited.

To register for the Decoding Formal Club, visit: www.oskitechnology.com/decodingformal.

More information about Oski Technology can be found at: www.oskitechnology.com