Oski names CEO, Chief Oski

Oski Technology, Inc., the established and trusted provider of Formal Verification Methodology, has 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 company said.

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.

Singhal was previously the founding CEO of Jasper Design Automation, a Formal Verification solutions provider before being acquired by Cadence Design Systems.

Oski Technology established itself as the unsurpassed trusted global provider of 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.