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


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

Review Article Be the first to review this article

 Advanced Asembly

Featured Video
Latest Blog Posts
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
You’re Invited! CEO Outlook May 18
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Automating the UVM Register Abstraction Layer (RAL)
Test and Measurement System Architect for Xilinx at San Jose, California
Business Operations Planner for Global Foundaries at Santa Clara, California
Electronics Engineer for Lockheed Martin at Sunnyvale, California
Senior Staff Field Application Engineer for Global Foundaries at Santa Clara, California
Technical Product Manager- SISW-EDA 238452 for Siemens AG at Fremont, California
Circuit Design & Layout Simulation Engineer - Co-Op (Spring 2021) for Global Foundaries at Santa Clara, California
Upcoming Events
Virtual ASMC 2021 at United States - May 10 - 12, 2021
DVCon China 2021 at Shanghai China - May 26, 2021
CadenceLIVE Americas 2021 at United States - Jun 8 - 9, 2021
DesignCon 2021 at San Jose McEnery Convention Center San Jose, CA San Jose CA - Aug 16 - 18, 2021
Verific: SystemVerilog & VHDL Parsers

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