アレイプロセッサ

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