Specification Coverage

Coverage of the SuperSpeed USB 3.0 specification

PureSpec-USB3.0 は USB3.0 仕様において、最も広く使われている検証IPです。次の特長を含みます。

• USB 仕様のフル･タイミングのバス機能モデリング
• ホスト、デバイス、およびハブのモデリング
• 全てのレイヤ (フレームワーク、プロトコル、リンク、物理) をサポート
• パワー管理をサポート
• 半二重、4本の差動信号 および 8b/10b インタフェースをサポート
• SuperSpeed USB、Full、または High Speed モードでの動作
• 詳細にわたる累積的な機能カバレッジ
• 完全な USB エニュメレーション

Fabric Topography

PureSpec-SuperSpeed USB は、ホスト、デバイス、ハブなど、トポロジ内のすべてのUSB 3.0コンポーネントを完全にモデリングしています。共通のUSB 3.0コンポーネント･コンフィギュレーションのライブラリは、デナリからオンラインで入手できます。

Architecture

PureSpec は、複雑なインターフェイス･プロトコルへのコンプライアンスと互換性を検証するための包括的な検証IPソリューションです。

• 検証作業を軽減する構成可能なテストプラン
• ビルトインされたカバレッジ および シーケンス・ライブラリ
• サードパーティの検証プランニングツールにシームレスに統合可能
• コンプライアンス・テスト･スイート「 PureSuite USB3.0 」

Additional features:

• 数千のランタイム・チェックを行う完全なアサーションライブラリ
• コンフィギュレーション可能なバス機能モデルとプロトコル・モニタ
• 制約付きランダムトラフィック生成
• 定義済みのシーケンス・ライブラリ
• 検証カバレッジを向上させるビルトイン・ライブラリ
• 相互運用性テストのモニタ
• 強力なエラー挿入機能
• 累積的な機能カバレッジ･レポート

Data Generation/Coverage

Constrained Random Data Generation and Coverage Driven Verification

PureSpec-USB 3.0 には、定義済みの疑似ランダム･バス･トラフィックをすべてのレイヤで駆動するための高性能データ生成エンジンが用意されています。挿入されたエラーおよびエラー状態にはフラグが付けられ、USB 3.0 仕様に従って修復されます。累積的なカバレッジ･データベース機能では、テスト･プラン全体でのDUTの十分な実行が保証されます。PureSpec-USB 3.0 は、ピン･レベルで対話できるだけでなく、メモリ･イメージの直接ロードおよび保存、メモリ･ワードのリード/ライト、トランザクション･レベルでのコールバックの始動を行う手続き型インタフェースも持っています。

• 定義済みのプロトコル特有の制約
  • PureSpec USB 3.0は、SuperSpeed USB 3.0仕様に準拠している組み込み済みの制約ライブラリをサポートしています。それによって、制約のあるランダム･スティミュラス生成を可能にし、最大限の柔軟性を実現します。
• 定義済みテスト･シーケンスライブラリ
  • PureSpec USB 3.0は、SuperSpeed USBコンプライアンスのスティミュラスを生成する、定義済みテスト･シーケンスをサポートします。テスト･シーケンス･ライブラリを使用すると、ユーザはさまざまなテスト･シナリオをすばやく作成できます。
• カバレッジ・ドリブン検証を有効にするカバレッジ･ライブラリ
  • PureSpec USB 3.0は、定義済みカバレッジ･ライブラリをサポートしており、カバレッジ･ドリブン検証をすぐに実現できます。ライブラリには、さまざまなSuperSpeed USB特有のカバレッジ･ポイントが含まれています。これによって、検証プロセス時に機能カバレッジを測定できます。