アレイプロセッサ検証環境

検証環境の特徴としては、制約付ランダム検証によりセグメント生成(1ユニット単位の命令-最大7168万命令を自動生成)、 内部トラフィックの生成及び例外発生の実現、スコアボードによる自動データチェック、機能カバレッジ集計、同じ検証環境で 制約付ランダム検証とダイレクト検証の両方をサポート、階層的検証環境による容易な ダイレクトテストケース記述、自己開発による豊富なメッセージによる容易なデバッグ環境の構築などが挙げられます。