Oski Technology’s formal verification services and training offers a way for anyone, with or without prior experience, to become expert in the strategic deployment of this methodology. OneSpin is delighted to partner with Oski Technology, to deliver unique verification solutions and execute on the proven Oski formal methodology, enabling our mutual customers to reduce their verification schedules with this powerful approach.

raikRaik Brinkmann
CEO, OneSpin Solutions

Oski developed a very impressive capability focused on formal verification technology deployment that is benefiting our mutual customers.


Lawrence Loh
VP World Wide Applications,
Jasper Design Automation