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.
You can access dozens of Oski case studies in two areas:
Below is a partial list of Oski’s clients.