OneSpin Solutions Japan K.K.

ワンスピン・ソリューションズは高度なフォーマル検証の先駆者です。受賞歴のある同社の技術は今日のエレクトロニクス産業における最も困難なIC検証課題のいくつかを解決するために利用されてきました。同社の製品には設計上の問題を早期に検出するための使いやすい自動化されたソリューションから、厳密なテストを行うための包括的なカバレッジドリブンのプロパティ解析、大規模なFPGAやASICのための高精度な等価性チェックまでが含まれています。多数の大手エレクトロクス企業がワンスピンの製品を使用して可能な限り最高の検証品質を最も納期の厳しい数百の設計で実現しています。