• 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