本検証対象であるプロセッサは、1ユニットに32個の実行ユニットを持つコンフィギュラブルなアレイプロセッサです。 さらにそのコンフィギュラビリティを制御するRISCマイコンが存在しており、それらの命令の組合せだけでも天文学的な数字となります。 そこでベリフォアではそれらの膨大な数の組合せを効率的に網羅するために検証環境は制約付ランダム検証を中心とし、 具体的なメソドロジとしてVerification Methodology Manual for SystemVerilog(VMM)を全面的に採用しました。 さらに検証スピードを加速する為にグリッド環境を構築して、より効率化を図りました。

昨今のタイミングコントローラは、所謂タイミング調整のブロック、スケーラビリティに加えてパネルの特徴を引き出す為の 画像処理ブロックなどが多数含まれており、複雑さが増してきています。4Kなどの高精細パネルが対象となる場合にはデータ量が膨大となるために シミュレーションとその他の手法（エミュレーション、FPGAプロトタイピング）をどの検証工程でどのような目的・内容で 実施するかが一つのキーになります。ベリフォアは最適な検証プラン策定をはじめとして、画像入出力検証IPや各種モデルを提案・開発し、 画像処理ブロックの最適設計・検証も実施します。

数十のマスター（マルチCPU含む）及びスレーブがシステム内に存在し、複数のバスプロトコルがシステムバスに よってメモリーコントローラに接続されている構成です。このような構成の場合に検証でキーとなるのは”バス調停”と 各マスター<->スレーブ間のコミュニケーションの網羅ということになります。 そこで検証効率を考え、制約付きランダムと機能カバレッジをフルに活用し、さらに性能検証をより厳密に実施する為に 自社製のバスVIPを駆使することにより、比較的短期間で検証を完了することを可能にします。

TVと同様に扱う画素数が膨大になるとともに、センサーからの入力画像に対してのノイズ除去、拡大縮小などをはじめとする画像処理が複雑になり さらに複数フォーマット対応CODEC、複数MPU、各種ペリフェラル（高速IO含む）、より重たいトラフィックを司るシステムバス・メモリコントローラー などが主要ブロックとしてあります。ベリフォアでは各種画像処理の設計から最適な検証環境の開発を含め御提案・実施します。

検証対象は、SoC内のCPUを含む数十の各種IPコアが接続されているインターコネクト部全体であり、実動作環境に近いトラフィックを与えて、各種ブリッジ・アービタ(プロトコル検証を含む)、DRAMコントローラを含んだ動作の検証例です。検証手法は、VMMに基づくSystemVerilogによる制約付ランダム検証とダイレクト検証を採用しました。特徴としては、制約付ランダムによるトラフィック生成、スコアボードによる自動データチェック、バスモニタ・アサーションによるバスプロトコルチェック、機能カバレッジ集計、統計的性能集計、階層的検証環境による容易なダイレクトテストケース記述などが挙げられます。

検証作業の期間：4ヶ月