ソリューション > 概要

OneSpin 検証ソリューション概要

OneSpin ASIC、FPGA フローに対応した機能検証、等価チェックのための画期的なフォーマル検証ソリューションを提供しています。これらはスタンドアロンでも、既存のフローに統合した形でも使用でき、ユニークかつシームレスなフォーマル検証フローを構築できます。このフローは仕様、RTL、ゲートレベルで最高の品質を達成すると同時に、検証生産性の大幅な向上が可能です。共通の技術基盤に基づいて構築されたこれらのソリューションは、数百件の実設計でその効果が実証されています。

OneSpin 360™ Module Verifierは、幅広いペリフェラル、プロセッサ、サブシステムに対してエラーのない機能動作を効率的に達成し、維持することが可能な業界初、唯一の機能検証ソリューションで数千行規模のRTLコードに対応しています。独自の完全性自動解析により、あらゆる検証の穴を発見、修正し、検証の計画から最終的なドキュメント作成を含めた真の機能サインオフ達成まで、高い予測性でエンジニアを支援します。

OneSpin 360™ Equivalence Checker は設計表現間の機能的等価性をチェックするための自動化された検証ソリューションです。スタンドアロンで使用することによりASIC、FPGAフローの両方に対して実装設計の等価性をフルチップで検証できる他、360 Module Verifierと組み合わせて使用することにより、モジュール検証以降の実装および最適化段階においても最高の設計品質を保証することが可能になります。

OneSpin 360 の統合された検証フロー

OneSpin 360 を使ったフローを使用することにより、独自開発あるいはサードパーティ製 IP の設計、統合、再利用をエラーなく実現する上で不可欠な最高の設計品質を複数の抽象度で達成し、維持することが可能です。 360 MV と360 EC の統合により、それぞれのソリューションの機能を活用するとともに以下のようなシナジー効果も得られます。

2 つのツールを結合した手法により "True Functional Sign-Off "品質を達成し、維持
共通のユーザーインターフェイスにより習得が容易
共通の検証基盤により、フロー全体を通じて結果を直接再利用可能。
スタンドアロンツールを統合する際に課題となるインターフェイスの問題がない
高度なシーケンシャルデバッグおよび診断機能

True Functional Sign-Off

360 EC と 360 MV はどちらも同じ高精度なフォーマル設計モデリング手法を採用しており、ASIC ならびに FPGA フローにおいて信頼性の高い一貫した検証結果が保証されます。 360 MV ソリューションは RTL レベルでのエラーのない機能動作を可能にし、真の機能サインオフを達成します。 360 EC ソリューションは、360 MV で達成された機能サインオフ品質が以降の ASIC および FPGA 実装工程でも維持されることを保証します。

高速な検証

OneSpin 360™ フローの Tcl シェルおよび GUI は効率的な結果の共有および再利用を行っており、特別なツール間のインターフェイス、再コンパイル、再証明を行う必要がなく、検証生産性の向上が可能です。 360 EC での非等価な設計表現のデバッグは、360 MV の高度なシーケンシャル診断機能を使って高速化することが可能です。さらに、360 MV が内部信号とステート制約をチェックすることで、360 EC の解析を実際の動作に集中することができ、時間の無駄を招く false-negative を生じる実現不可能なシナリオを排除することができます。このような 360 MV による制約の証明は必要に応じて実行することも、完全なモジュール検証の副産物として生成することも可能です。後者は 360 EC で使用する環境制約条件も検証します。

高度な設計条件設定

統合されたフローに対してはオプションで、幅広い設計一貫性チェックを行う"design conditioning"工程を付け加えることもできます。これらのチェックは RTL コーディングエラーおよび合成とシミュレーションのミスマッチを設計の早い段階で発見、修正し、以降の設計検証工程で使用できる解析データを提供することにより設計の繰り返しを回避します。