Knowledge Center

Knowledge Center ➜ Entity
Oski Technology
Formal services company
popularity

Description:

Oski Technology is a formal verification services company. The company was founded in 2005 by Vigyan Singhal.

Oski believes that to successfully apply formal verification, the formal tools needed to be complemented with a methodology. Oski has focused on developing a formal verification methodology and Oski Abstraction Models which it has applied to solve verification problems.

The company is headquartered in Mountain View, CA with a design center in India.

  • Founded by: Vigyan Singhal in 2005
  • HQ: Mountain View, CA, USA
  • Known for: formal verification, services
  • Web: URL
  • Other names: Oski
  • Entity Type: Company

Suggestions?

We want to hear from you. If you have any comments or suggestions about this page, please send us your feedback.