Oski独自のフォーマル検証サービスは、最も複雑なコーナーケースのバグを突き止めるために、設計を深く掘り下げることによって、開発サイクルの早い段階でピークサインオフの信頼性を実現します。

​

Oskiのアプローチは徹底的にバグがないことを検証するフォーマル検証アプローチは、今までのシミュレーションと比較し、より高い生産性をもたらします。

​

2005年以来、Oskiはリスクの高いブロックの認識とサインオフ、システムレベルのアーキテクチャのサインオフ、およびポストシリコンのバグの迅速な解決のための包括的なフォーマル検証のメソドロジーの開発に注力してきました。

​

Oskiは、世界最大のフォーマル検証のエキスパートを育て、創設者であり、OskiのチーフであるVigyan Singhalは、カリフォルニア大学バークレー校でフォーマル検証のメソドロジーで博士論文を出しています。 VigyanはCadenceの第一世代のフォーマル検証ツールを開発し、さらに後にCadenceに買収されたJasper Design Automationの創設者です。

​

本社はカリフォルニア州サンノゼにあり、デザインセンターはインドのグルグラムにあります。

2099 Gateway Place, Suite 560
San Jose, CA 95110

USA