System Design and Verification

アサーションベース検証

検証生産性やデバッグ観測性向上のためには、、ソフトウェア、言語、IP、デバッグそれにカバレッジを統一するアサーションベースの検証環境が必須です。ケイデンスのアサーションベース検証は、さまざまな設計フェーズでバグを発生源の近くで検出できるようにします。ケイデンスのシミュレーション、アクセラレーション、エミュレーション、検証計画作成と管理、統合カバレッジ、フォーマル検証のテクノロジでアサーションベース検証が利用可能です。

Open Verification Library (OVL) とIncisive Assertion Library はケイデンスのさまざまなIncisive® 検証テクノロジにおいて、SVAとPSL言語とともにサポートされています。SVAとPSLは簡潔な形で複雑な時間の条件を表現でき、シミュレーション、アクセラレーションそしてエミュレーションとエンジンの差異に関わらず利用可能です。業界標準の言語やライブラリの幅広いサポートにより、検証プロジェクトを跨って検証の完全さを確認しカバレッジとして達成率を測定することが可能となります。アサーションはまたドキュメンテーションの目的にも役立ち、このドキュメンテーションはIPを一つのプロジェクトから別のプロジェクトに再利用するときに有用です。

合成可能なテストベンチとSpeedBridge® Adaptersを使ったインサーキット・エミュレーションはIncisive Palladium やXtremeアクセラレータとエミュレータにおける一般的な使用モードです。これらの使用モードは長時間かかるシステムレベルのテストを短時間で実行できるようにします。アサーションはこの長いテストの間、デザインの動作をモニタし、これによってデバッグの生産性とデザインの状態の予測可能性を向上させるため、大変有用です。