AT DECODING FORMAL CLUB MEETING, MOUNTAIN VIEW, CALIF. THURSDAY, JANUARY 23
MEDIA ALERT: Oski Technology to Host Decoding Formal Club for Formal Verification Enthusiasts
April 21 Agenda Includes Panel on Building Formal Team, Presentation on Formal Test Planning
MOUNTAIN VIEW, CALIF. –– April 9, 2013 –– (reminder April 16)
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
About Oski Technology
Oski Technology is a formal verification services company with expertise in deploying formal verification on complex, digital designs. Oski Technology has developed a unique formal verification methodology and Oski Abstraction Models to solve challenging capacity problems with formal verification. Its formal methods bring a higher level of productivity than traditional simulation and formal verification approaches. Oski Technology, headquartered in Mountain View, Calif., with a design center in India, has built a team of the world’s foremost experts in formal verification. More information about Oski Technology can be found at: www.oskitechnology.com.