Dr. Jin Zhang
Jin Zhang has over 15 years of experience working in EDA, driving the effort of bringing new products and services to market. At Oski Technology, she is responsible for Oski’s overall marketing strategy as well as business development in Asia Pacific. Prior to that, she was the General Manager at … More »
Cooley’s Report: Only Half The Story?
May 23rd, 2014 by Dr. Jin Zhang
Every year John Cooley publishes a DAC “must-see” list – a veritable treasure map of good stories. While this list has served DAC attendees in the past, in recent years it has continued to miss an important segment of the ecosystem: the growing number of service providers.
Oski Technology is one such service provider. In fact Oski is the only service provider in the formal verification space, and plays an important role in promoting formal adoption in the industry. Formal can improve verification efficiency and productivity, lead to reduced project cost and shorten time-to-market. Since 2005 we have partnered with many leading semiconductor companies to tape out mission-critical designs and build up their internal formal expertise.
Each year at DAC, Oski continues to host exciting activities that few companies would dare to take on:
1. At DAC 2012, we put ourselves to a formidable live formal verification challenge and formally verified a design from NVIDIA sight-unseen, live at DAC. In just 72 hours we found 3 corner case bugs that were missed by simulation. A compelling story that garnered much attention and interest. John was invited to stop by and see the action first hand, and yet this event did not make it to Cooley’s “must see” list.
2. At DAC 2013, we turned the tables and put tough formal questions to engineers and managers. Participants and spectators enjoyed ice cream and popcorn and winners took home trophies.
3. This year at DAC 2014, our focus this DAC is on Formal Test Planning: