SOURCE: Oski Technology

April 09, 2014 11:00 ET

MEDIA ALERT: Oski Technology to Host Latest Decoding Formal Club for Formal Verification Enthusiasts

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

MOUNTAIN VIEW, CA--(Marketwired - Apr 9, 2014) -

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: http://tiny.cc/aipudx.

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.

Formal Sign-off Methodology is a trademark of Oski Technology, Inc. All trademarks and registered trademarks are the property of their respective owners.

Contact Information

  • For more information, contact:
    Nanette Collins
    Public Relations for Oski Technology
    (617) 437-1822
    Email Contact