SoC検証のためのシステムレベルの複雑なカバレッジ・ドリブンのテスト開発に費やす労力と時間にストレスを感じていませんか。Cadence® Perspec™ System Verifierはこの全プロセスを自動化して、複雑なユースケース・シナリオの開発時間を数週間から数日間に短縮します。このプラットフォームソリューションを使うと、手動のテスト開発に比べて、10倍のテストを10分の1の時間で生成できます。このプラットフォームソリューションを使うと、手動のテスト開発に比べて、10倍のテストを10分の1の時間で生成できます。さらに、統合されたデバッグ機能によって、SoCレベルの複雑なバグを再現、発見、修正してSoC全体の品質を向上できます。
Perspec System Verifierは、適切なレベルの抽象化を適用することで、SoCのパフォーマンス、機能、消費電力の検証に関する増え続ける課題に対応できます。
プラットフォームは移植可能で、以下のような再利用をサポートしています。
- ハードウェアを考慮したソフトウェアのようなIPからシステムレベルまでのSoC領域
- ドメインの専門家がモデルを作成し、シナリオを記述すると、検証エンジニアがシステム全体のテストを作成可能
- 生成したテストはすべてのケイデンス検証エンジンですぐに実行可能
Perspec System Verifierを使用することにより、機能、フロー、依存関係をカバーでき、完全な測定を十分に活用できます。さらに、知識を移行できるという利点もあります。正式なモデルベースのシステム記述は、特にハードウェア・エンジニアやソフトウェア・エンジニアなどの複数のグループ間での知識共有をサポートするからです。
主な特長
- ダウンロード可能なPSSメソドロジーとライブラリ:ライブラリのドキュメント、PSSのベストプラクティス、実用的な例、およびライブラリのPSSソースが含まれています。ダウンロードの申込
- 目標指向の正確なコンストレイント解決
- マルチプラットフォームな多言語ソリューションによる既存の基準や実証済みの手法の活用
- 高速検証エンジンを使った状態空間/タイミング探索の自動ユースケース拡張
- 移植性の高いスティミュラスを、IP、サブシステム検証向けのUVMテストベンチに接続
- カバレッジと自動カバレッジ向上機能
- 生成したCテストに組み込んだデバッグとカバレッジ・ロギングによるカバレッジ結果のデバッグと解析の時間短縮