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 Mountain View, CA with a design center in India.
Oski Technology has no featured content yet. To feature content, go to the discussion, document, or blog post you want to feature and click "Feature this" in the list of actions on the right. Anyone with rights to administer content here may feature content.
There are no discussions here currently, but as they appear they might have answers you need.