Case Studies & Clients

Our clients’ designs are complex and so are their bugs. Oski’s Formal Verification Sign-Off Methodologies have helped leading technology companies in an array of industry domains including artificial intelligence (AI), automotive, CPU, data storage, GPUs, IP, networking, and wireless improve their chip-level, sign-off confidence and restore predictability to their processes.

High-level summaries of recent case studies:

You can access all the details on dozens of Oski case studies in two areas:

Oski Clients

Below is a partial list of Oski’s clients with joint publications.

Marvell logo