ﾎｰﾑｺﾝﾀｸﾄ会社情報ｻｲﾄﾏｯﾌﾟ

データシートを入手

成功事例

ネットワーク プロセッサ

OneSpinの技術は、様々なアプリケーションで使用される複雑なコンテキスト切り替えを含むネットワーク プロセッサの完全な検証を行い 、検証から漏れている機能が存在しないことを確認しました。 さらに、開発人月をそれまでのシミュレーション ベースのプロジェクトと比較して約40%削減することができました。

自動車用32ビット コントローラ

360 MVソリューションは現在、様々なRISC、DSPおよびコントロール命令を含む先端32ビット、スーパースカラー型マイクロコントローラの機能サインオフに利用されています。 このチップには、複雑な相互動作を持った複数のパイプライン、コプロセッサ インターフェイス、ならびに複雑なメモリ管理機能が含まれています。 この最先端検証プロジェクトの成果は、OneSpin の提供する手法およびソリューションの品質と生産性を実証しています。

フェイルセーフ型マルチプロセッサ システム向けオンチップ周辺回路

ある大手半導体メーカーは、新しい周辺回路の開発にあたって360 MV の True Functional Sign-Off 手法を使ってフォーマル検証を行いました。 これらの周辺回路は複数回インスタンス化され、2個のASIC（各400万ゲート）に統合されて大規模なマルチプロセッサ システムの中心的部品となりました。 その後、実装工程で高い品質レベルを維持するために360 ECが使用されました。 どちらのASICも1回で正しく動作し、厳しいプロジェクト スケジュールを達成することにより事業の成功に大きく貢献しました。

ベースバンド チップ向けオンチップ周辺回路

OneSpinの技術はあるベースバンド チップ二世代に渡って適用され、バスブリッジ、アービタ、複雑な周辺回路を含む重要なモジュールの検証に使用されました。 チップレベル シミュレーション開始時には、すべてのモジュールからバグが取り除かれており、システムレベル検証期間を大幅に削減するとともに、従来の検証手法でしばしば必要となった再設計のコストを回避することができました。