OneSpin 360™ MV: 品質と工数に妥協のない手法
200件以上の検証プロジェクトへの適用により、OneSpin 360 MV™ は以下を高い予測性で実現します。最高の品質
- 自動化された完全性解析および FormalDoublePASS™ 手法により、真の機能サインオフ達成に必要な最高の設計品質を提供
- 仕様と実装を協調検証することにより、仕様と文書のエラーや抜けを体系的に検出
- シミュレーションやアクセラレーションで使用されるテストベンチ自動化アプローチと比較してセットアップ時間が大幅に短い
- RTLコーディングと同時に検証を開始可能
- フォーマル検証プランニングのプロセスを提供することにより、チーム内で検証サブタスクを効率的に並列して実行可能
- 証明ベースの診断によりエラーを発見し、デバッグを加速
- 使いやすい対話型の"チェック-デバッグ-修正"サイクルによりエラーを排除
- 独自の自動化された完全性解析によりすべての検証の穴を発見し、修正を支援
- 完全性を達成するための手法により、検証プランニング、設計検討、プロパティ開発から、文書化を含む機能サインオフまでのプロジェクト サイクル全体を体系的に支援
- 検証済みモジュールがターゲット設計に正しく統合され、動作しているかを観測するためのモニタを生成することによりシステムレベル検証を効率化
- モジュールレベル検証をすりぬけるエラーによりしばしば引き起こされる、統合／システムレベル検証時のエラー ループを削減、解消
さらに詳しい情報：