Our Mission
Maximize the power of formal
verification to enable innovative SoC
designs and Formal Sign-off!
Featured Solutions
Oski Abstraction Models Offer Highest Coverage and Faster Time to Market
The value of Oski's formal verification methodology is that it uses Abstraction Models to transform...
How to Build a Complete and Effective RTL Verification Plan
Building a complete and effective RTL verification plan is based on a careful balance of two...
Oski's Plan-Verify-Measure Methodology Improves Return on Effort
The key aspects of effective formal verification are structured verification planning...
What's New
Oski Enables End-to-End Formal Verification - Enabling Formal Sign-Off
Oski Launches New "Decoding Formal" Video Series at DAC 2013, Booth #718
At #DAC2013, Oski Technology will launch its exciting new "Decoding Formal" video series where CEO Vigyan Singhal shares tips and secrets on how to make the best use of formal technology in system-on-chip (SoC) design...
Resource Library
DVCON 13: Vigyan Interview with Joe Hupcey about how careful advanced planning can substantially reduce risk in verification projects
Joseph Hupcey speaks with Vigyan Singhal, CEO and formal and ABV...
DAC 2012: Vigyan Interview with Joe Hupcey on Oski Technology's Courageous "72 hour Verification Challenge"
I've seen a lot of intriguing promotions over the years, but at DAC 2012...
DAC 2012: Vigyan Interview with Graham on Live! Verification Challenge
Vigyan Singhal, President and CEO of Oski Technology talks with Graham Bell...
