Oski Technology is the world’s first and only formal verification services company, and has the largest dedicated formal verification team in the industry. The company was founded in 2005 by Vigyan Singhal who did his PhD thesis at UC Berkeley in formal methods of verification. Vigyan later went on to develop Cadence’s first-generation formal verification tool, and was the founder of Jasper Design Automation.

With an expertise both in formal tool algorithms and SoC designs, Oski came to the realization that in order to successfully apply formal verification, the formal tools needed to be complemented with a methodology. Since its founding, Oski has focused on developing a unique formal verification methodology and Oski Abstraction Models which it has successfully applied to solve some its customers’ most challenging verification problems. Oski’s formal methods have brought a higher level of productivity to customers than with traditional simulation and formal verification approaches. Oski has built a team which today is comprised of the world’s foremost experts in formal verification.

The company is headquartered in San Jose, CA with a design center in India.