Oski works with a wide array of semiconductor and IP companies.
Oski Technology formal verification methodology: Customers include Xilinx, Cisco, NVIDIA, Cisco, Rambus, and Tabula.
What Our Customers Say
Without their involvement, we would not have attempted the scale of projects that we were able to do, using Formal.”
Manager, CiscoSpacetime™ is a unique programmable logic technology, and Oski came up with innovative strategies to deliver a comprehensive verification methodology for this breakthrough architecture.”
Vice President, Software Development, TabulaReliable design and verification services partner in implementing complex SoC developments”
Director IC Engineering, CentilliumOne of the best design services company I have ever dealt with. They are our vendor of choice.”
VP SoC Development, BeceemDeep knowledge of formal methods, and the person to consult for successful deployment in chip design projects.”
Sr. Manager HW Engineering, NVIDIA