アルゴンストリームは HEVC 規格の完全なカバレッジを提供する唯一のテスト·ビットストリーム・セットです。フォーマル検証手法に基づいたビットストリームは、ユーザのデコーダが規格に完全準拠し、現在および将来のエンコーダ技術との互換性に確信をもつことができます。特徴完全なカバレッジを提供する唯一のビットストリーム・セット仕様内のすべての式のフォーマル検証厳格なテストスイートを使用したデコーダ設計のエラーをすべて検索 HEVC への対応量産時、デコーダの完全規格準拠に確信フルインタラクティブ・カバレッジ・レポート HEVC は、最新のビデオ符号化規格です。H.264 を拡張し、帯域幅を半減し、新機能やあらゆるエンコード·アーキテクチャをサポートする柔軟性を持っています。標準テスト・ビットストリーム比、１０倍高速新たな拡張により、デコーダの他デバイスとの互換性を確認することがより困難になっています。大手 IP および半導体企業で使用中フォーマル検証手法を使い、証明可能な完全なカバレッジを提供できるよう、規格書から直接アルゴンストリームを作成しました。その動作 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 設計に特化し、実績を持つハイテクコンサルタントです。フォーマル検証に基づく高い基準、実績のあるテスト•カバレッジでの作業に長けており、ビデオデコーダをテストするために同様のアプローチを採用し、お客様へ競争上の優位性を提供しています。