DVCon: Oski Technology Booth at #DVCon 2011

Vigyan Singhal and Philippa Slayton of Oski Technology talk formal verification with a prospect at DVCon 2011

Oski CEO Vigyan Singhal Video on Formal Verification

Oski Technology CEO Vigyan Singhal was recently interviewed at DVCon 2011 by Joe Hupcey III for Cadence’s Team Verify, a channel dedicated to formal users.

About Oski Technology

Oski Technology has over 20 years of experience in formal verification. Oski has pioneered and perfected a proprietary methodology in the Oski Abstraction Methods to deliver complete verification coverage for complex SOC designs, and used it to solve the toughest design verification problems with dramatic results: Oski’s unique formal methods have found twice as many bugs in half the verification schedule, including corner case bugs that are almost impossible to detect in a simulation environment. Oski’s customers include Cisco, Cypress, NVIDIA, Rambus, Xilinx. More information about Oski’s core services and verification solutions, is here: www.oskitech.com.

The Cadence Team Verify blog post is here: here.