アルゴンストリームは HEVC 規格の完全な
カバレッジを提供する唯一のテスト·ビッ
トストリーム・セットです。フォーマル検
証手法に基づいたビットストリームは、ユ
ーザのデコーダが規格に完全準拠し、現在
および将来のエンコーダ技術との互換性に
確信をもつことができます。
特徴
完全なカバレッジを提供する唯一のビット
ストリーム・セット
仕様内のすべての式のフォーマル検証
厳格なテストスイートを使用したデコーダ
設計のエラーをすべて検索
量産時、デコーダの完全規格準拠に確信
フルインタラクティブ・カバレッジ・レポート
標準テスト・ビットストリーム比、１０倍高速
シミュレーション
大手 IP および半導体企業で使用中
HEVC への対応
HEVC は、最新のビデオ符号化規格です。H.264 を拡張し、
帯域幅を半減し、新機能やあらゆるエンコード·アーキテク
チャをサポートする柔軟性を持っています。
新たな拡張により、デコーダの他デバイスとの互換性を確
認することがより困難になっています。
フォーマル検証手法を使い、証明可能な完全なカバレッジ
を提供できるよう、規格書から直接アルゴンストリームを
作成しました。
その動作
Argon Design 社では、規格の擬似コード用コンパイラを作
成しました。このコンパイラは HEVC 規格の数式から直接
作られ、符号化処理の完全な数学的モデルに翻訳します。
コンパイラからビットストリーム生成とカバレッジツール
という二種類の製品を用意しました。
ビットストリーム生成を使って、有効な HEVC ビットスト
リームの全空間を利用し、一連の乱数を使ってビットスト
リーム生成、ランダムなビットストリーム群を作成しまし
た。
カバレッジ·ツールで、ビットストリームが、HEVC 規格の
すべての式、構文要素と指定の値をテストすることができ
ます。
Argon Streams
アルゴンストリームには Main, Main10, Main12, Main10
4:2:2 と Main12 4:2:2 プロファイルの個別ビットストリー
ムのセットが含まれています。各プロファイル用のビット
ストリームは、すべての機能を少なくとも一回テストする
圧縮したセット（約 200 ビットストリーム）と、拡張テス
トのための追加的なランダムテストを含む拡張セットに
分割しました。
シミュレーションにおいてデコーダのテストとデバッグ
を高速化するために、ほとんどのビットストリームは 5〜
40 フレームの短い配列で構成しています。このため、アル
ゴンストリームは基準ビットストリームよりも最大 10倍、
高速にシミュレーションを実行することが可能です。
各フレームには、SEI チェックサムが埋め込まれており、
YUV 出力ファイル用に MD5 ダイジェストも提供します。
Argon Coverage Tool
アルゴンカバレッジツールは、テスト・ビットストリーム
を分析し、規格を満足している部分とその数値幅を正確に
示すインタラクティブなカバレッジレポートを生成しま
す。
カバレッジレポートは、HEVC 規格とリンクしていて、ビ
ットストリームがテストした規格のどの仕様またはその
値を容易に確認することができます。
理論的にも、実際的にも
標準テスト・ビットストリームをカバレッジ分析を実行し
たところ、数百ものテストされなかったケースが見つかり
ました。アルゴンストリームを使用することで、これらもテ
ストできます。
標準化団体が開発した基準デコーダで HEVC 仕様をアル
ゴンストリームで確認したところ、85 以上の規格や基準デ
コーダに関する問題が見つかりました。
Argon Design 社について
Argon Design 社は、複雑な IP およびカスタム•プロセッ
サ、ビデオ•コーデックや 2D/3D グラフィックスエンジン
を含む ASIC 設計に特化し、実績を持つハイテクコンサル
タントです。フォーマル検証に基づく高い基準、実績のあ
るテスト•カバレッジでの作業に長けており、ビデオデコ
ーダをテストするために同様のアプローチを採用し、お客
様へ競争上の優位性を提供しています。
/