OneSpin Solutionsは機能的に正しく、安全、セキュアかつ信頼性の高い集積回路を開発するための、認証IC完全性検証ソリューションのリーディングプロバイダです。本社はドイツ、ミュンヘン市にあり、自動車および産業用アプリケーション、防衛、航空、AIおよび機械学習、コンシューマエレクトロニクス、ならびに通信向けのSoC、ASIC、FPGAの完全性を検証するために世界中のIC開発企業と連携しています。
OneSpinの先端的ソリューションは幅広く利用されているOneSpin独自のフォーマル検証技術に基づくものであり、ヘテロジニアスコンピューティングプラットフォームの開発、プログラマブルロジックの使用、およびRISC-Vのようなプロセッサコアの設計および統合に理想的です。お客様の成功に対するコミットメントによりOneSpinはお客様と共に成長してまいりました。DSForumでは弊社ブースへご来場になりOneSpinがお客様のICの完全性検証にどのように役立つか詳しくご確認ください。
製品概要
OneSpin SolutionsはSoC設計フロー全体をカバーするIC完全性検証ソリューションを提供しています。設計が機能的に正しく、安全であり、厳しい安全性基準を満たし、高い信頼性とセキュリティが確保されていることを保証します。これらは4つのカテゴリに分類されます。
■設計検証:
ブロックからチップまで、独自のフォーマル技術を使用した厳密なカバレッジドリブン検証
■等価性チェック:
設計ツール(論理合成等)により発生したシステマチックエラーの自動検証により、RTLと合成後ネットリストおよび最終配置配線との網羅的な等価性検証
■機能安全性:
自動車向けISO 26262、産業用IEC 61508、航空装備品向けDO-254等の機能安全性規格に対する厳密な認証要件を満たす安全性解析
■信頼性とセキュリティ:
RTLトロイおよび敵対的攻撃に対するハードウェア脆弱性の自動検知
~付加価値の高い独自のテクノロジには次が含まれます~
FPGA等価性チェック:
OneSpin 360 EC-FPGAは厳しい消費電力、性能および面積目標を達成するための高度な最適化の結果、設計の機能が変更されていないことを保証します。また、予期しない機能、フローエラーによる意図しないロジック挿入、さまざまなハードウェアトロイや意図的に挿入された悪意あるロジックなどを検知することができます。
GapFreeVerification:
この独自のアプローチは設計がアサーションセットを満足するかどうかの検証にとどまらず、アサーションセットが設計をカバーするのに十分であるかどうかを検証し、未検証のRTL機能がないことも確認できます。仕様の漏れやエラー、検証プランの穴、未検証のRTLファンクションなどを自動的に検知します。
PortableCoverage:
フォーマル検証のカバレッジ解析/アサーション結果とシミュレーションのカバレッジ指標/結果をオープンなプラットフォームで統合します。カバレッジの状況を明確に把握することによりカバレッジの穴を特定し、検証の進捗の全体像を提供します。
高位検証:
高位合成は特にデータドリブンの設計(自動車、AI、機械学習、5G等)において普及しつつあります。C++/SystemC向けの網羅的フォーマル自動検証を提供しているのはOneSpinだけです。
接続性:
7nm、数十億ゲート規模の数百万の接続を含む設計を網羅的に検証できる唯一のソリューションです。
FMEDA: 故障シミュレーションの必要性を最小限にする自動化されたFMEDAフローを提供します。
OneSpinの提供するソリューションは高価値な差別化された各種製品および目的に特化したフォーマルアプリケーションで構成されています。