Maximize the power of formal
verification to enable innovative SoC
designs and Formal Sign-offTM!
For more information, contact:
Oski Names Craig Shirley CEO and Vigyan Singhal Chief Oski
Management expansion to address growing demand for expertise in verification sign-off
SAN JOSE, CA –– April 5, 2018 –– Oski Technology, Inc., the established and trusted leader in Formal Verification Methodology, today announced that its Board of Directors has appointed Craig Shirley as President and Chief Executive Officer and its Chairman, Vigyan Singhal, as Chief Oski. The expanded management team will allow Oski to further meet growing demand for its expertise in functional verification sign-off methodology.
Shirley is a seasoned executive in the Electronic Design Automation industry and comes from IC Manage where he served as the Vice President of Worldwide Sales. He has a strong track record for producing compound double digit growth rates while building sales and technical teams, with over $600 Million in liquidity events and a top performing IPO (Verisity). Prior to IC Manage, he served as Vice President Worldwide Sales at Apache Design Solutions (acquired by ANSYS), Vice President of Worldwide Sales at Jasper Design Automation (acquired by Cadence), and Vice President of North American sales at Verisity Design (acquired by Cadence).
“Once again, Vigyan has pioneered new Formal Verification Methodologies to accelerate coverage closure across the entire chip,” said Craig Shirley, President and CEO of Oski. “By formally verifying high-risk design features early in the design cycle and avoiding bug escapes, Oski frees up our customers’ verification teams to focus on their simulation-friendly design features. Vigyan’s enhanced dedication to tackling the most complex verification issues will bring even richer value to our customers. I’m excited about transforming Oski’s groundbreaking work into our customers’ competitive advantage.”
Vigyan Singhal was previously the founding CEO of Jasper Design Automation, a leading Formal Verification solutions provider before being acquired by Cadence Design Systems. After Jasper, Singhal founded Oski to invent new methodologies to verify complex semiconductor problems, including sign-off with formal verification and architectural formal verification. Given growing business needs, this new change enables Singhal to focus on customer engagements and solve intractable problems currently beyond the reach of today’s formal verification tools or methods.
“At Jasper, I had excellent success in bringing in a CEO who could take the company to the next level,” said Singhal, Founder and Chief Oski. “I look forward to working closely with Craig, the Oski team and our customers to achieve greater heights than ever before. Craig’s wealth of business knowledge, experience, and management skills is second to none.”
For more information about Oski’s ability to solve critical verification challenges, go to: www.oskitechnology.com
About Oski Technology
Oski Technology established itself as the unsurpassed trusted global leader in the domain of Formal Verification methodology and expertise. Founded in 2005, Oski serves six out of the top seven semiconductor design companies. Leaders in consumer electronics, communications, computing, image processing, data storage, research, defense, education, automotive, and medical turn to Oski to accelerate their verification process and produce higher quality designs than simulation alone allows. Oski has assembled the world’s largest dedicated team of experts that draws on hundreds of man-years of collective experience to provide Oski-certified verification sign-off. Oski reset the benchmark for formal verification with innovations such as its Formal Sign-off™ methodology, End-To-End Formal™ checkers and Oski Abstraction Models™. Oski’s publications, training sessions and events, such as the Decoding Formal Club, are recognized industry-wide as valuable resources of formal applications knowledge.