Oski Names Craig Shirley CEO and Vigyan Singhal Chief Oski

Management expansion to address growing demand for expertise in verification signoff

SAN JOSE, Calif. — (BUSINESS WIRE) — April 5, 2018Oski 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.

This press release features multimedia. View the full release here: https://www.businesswire.com/news/home/20180405005380/en/

Craig Shirley, President and CEO of Oski Technology (Photo: Business Wire)

Craig Shirley, President and CEO of Oski Technology (Photo: Business Wire)

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.

Engage with Oski at:
Website: www.oskitechnology.com
Twitter: @oskiTech
LinkedIn: https://www.linkedin.com/company/1440576/
Facebook: https://www.facebook.com/oskitechnology



Contact:

Vice President of Marketing at Oski Technology
Rob van Blommestein, 408-201-3018
Email Contact
or
Public Relations for Oski Technology
Michelle Clancy, 415-682-4552
Email Contact




Review Article Be the first to review this article
Featured Video
Latest Blog Posts
Alex Carrick, Chief Economist at ConstructConnectThe AEC Lens
by Alex Carrick, Chief Economist at ConstructConnect
12 Mid-January Economic Nuggets
VectorworksVectorworks Blog
by Vectorworks
You’re Probably Doing BIM Without Knowing It!
Jobs
Mid-Level Landscape Architect/Designer for Studio-MLA at Los Angeles, California
ASIC Architects and Hardware Engineers at D. E. Shaw Research for D. E. Shaw Research at New York, New York
GIS Specialist for City of Ithaca at ithaca, New York
GIS Specialist- GIS & Data Services for County of Macomb - GIS & Data Services at Mount Clemens, Michigan
Director, Industrial Machinery Solutions- SISW PLM for Siemens AG at Livonia, Michigan
Upcoming Events
Digital Built Week Americas at Anaheim CA - Jun 14, 2022 - Dec 31, 1969
Utopian and Sacred Architecture Studies (USAS) - 2nd Edition at University Way, Dockland Campus London, E16 2RD, UK London --Choose One-- United Kingdom - Jun 14 - 15, 2022
HxGN LIVE Global 2022 - Future of Manufacturing at Las Vegas NV - Jun 20 - 23, 2022



© 2022 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
TechJobsCafe - Technical Jobs and Resumes EDACafe - Electronic Design Automation GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise