アルゴン・ストリームは VP9 規格の完全な
カバレッジを提供する唯一のテスト·ビッ
トストリーム・セットです。フォーマル検
証手法に基づいたビットストリームは、ユ
ーザのデコーダが規格に完全準拠し、現在
および将来のエンコーダ技術との互換性に
確信をもつことができます。
特徴
完全なカバレッジを提供する唯一の VP9 テスト・
ビットストリーム・セット
VP9 規格標準コードとのフォーマル検証
厳格なテストスイートを使用したデコーダ設計の
エラーをすべて検索
カバレッジを損なわずシミュレーションを短縮
ビデオデコーダチップ設計のリスクを軽減
デコーダの完全な規格準拠に確信を持って量産
フルインタラクティブカバレッジ・レポート
他のテスト・ビットストリームと比べ高速シミュレー
ション
大手 IP および半導体企業で使用中
アルゴンストリームの必要性
VP9 は、限られたチャネル帯域幅で高 HD ビデオストリーミ
ングを可能にするために、従来のビデオコーデックよりも高
いビデオ圧縮率を提供します。しかし、この優位性は IP およ
び半導体設計者にとって、より複雑でリスクを伴います。
アルゴンストリームはフォーマル検 証 手法 に 基 づ い て
Google VP9 ビデオコーデック規格用のテスト·ビットストリ
ームです。ユーザは、デコーダが完全に規格と現在および将来
の VP9 ビットストリームエンコーダ技術と完全な互換性を満
足することを確信できます。
その動作
VP9 は、Google が開発したオープンでフリーなビデオ圧
縮規格です。低い帯域幅要件と相まって、より高い解像度
のビデオをサポートし、既にユーチューブによって選択さ
れており、高 HD ビデオのインターネットストリーミング
のための将来の技術とみなされている。
しかし、VP9 は、より複雑なビデオコーデック、ビデオデ
コーダは、互換性を確保するために厳格な検証プロセスが
必要になりますです。
アルゴンストリームは、フォーマル検証技術を使用し、そ
のデコーダの完全なテストカバレッジを設計者に提供す
る唯一の製品です。
その動作
VP9 Google の参照コードに基づいて、Argon Design 社は
VP9 の数学的に正確な擬似コードの規格と、この擬似コー
ドを解釈し VP9 符号化処理のモデルを含むコンパイラを
作成しました。コンパイラは、擬似コード式を使用し、ビ
ットストリーム生成部とカバレッジツールを生成します。
制御された確率分布による乱数を種として、ビットストリ
ームを生成すると、有効な VP9 ビットストリームの全空
間を調べるビットストリームが生成されます。
カバレッジ·ツールを使って、最小のビットストリーム数
で完全なカバレッジを提供する簡潔なセットになるよう
ビットストリームを選択し、最適化します。そして、Google
の参照コードに対しビットストリームを検証します。この
閉じたシステムはテストケースの完全性や参照コード、擬
似コード規格とビットストリームの間での互換性を保証
します。
Argon Design 社について
Argon Design 社は、複雑な IP およびカスタム•プロセッ
サ、ビデオ•コーデックや 2D/3D グラフィックスエンジン
を含む ASIC 設計に特化し、実績を持つハイテクコンサル
タントです。フォーマル検証に基づく高い基準、実績のあ
るテスト•カバレッジでの作業に長けており、ビデオデコ
ーダをテストするための同様のアプローチを採用し、お客
様のために競争上の優位性を提供しています。
-
1
-
2
