Who We Are

Oski Technology is the established and trusted leader in Formal Verification Methodology and expertise. We have 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 which was acquired by Cadence. 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.

What We Do

Oski has focused on developing a unique formal verification methodology and Oski Abstraction Models which it has successfully applied to solve its clients’ most challenging verification problems. Oski helps clients achieve predictable verification sign-off by employing its unique, deep end-to-end formal methodology to root out all bugs including simulation-resistant superbugs.

What Drives Us

Our clients continue to develop the most sophisticated and exquisite designs to keep pace with and often exceed demands for performance and power. In order to do this, our clients have had to develop and employ innovative parallelism and concurrency techniques to improve throughput and decrease compute response time. These heroic efforts, however, have led to the rise of superbugs: functional bugs that are resistant to detection during simulation and even emulation.

Like our clients, we are committed to developing verification methodologies and techniques that are designed to exhaustively capture all bugs including these simulation-resistant superbugs. We are committed to providing our clients with cutting-edge hands-on expertise to give them the predictable verification sign-off and confidence needed to continually push the boundaries of what’s is possible.

What Is Unique About Us

Oski’s team of formal verification experts is the largest in the industry and is led by renowned formal verification authorities. Oski has developed its unique Oski Formal Verification Methodology that dives deep into design behavior in order to track down the most complex corner-case bugs earlier in the verification process to get our clients to predictable sign-off faster and with confidence.