Super Scalar MPUの論理検証
スポンサーリンク
概要
- 論文の詳細を見る
ハードウェアモデルを使った論理シミュレーションではテストベクターおよび各種検証プログラムを走行し論理設計を検証することが一般的である.その検証プログラムの中でもランダムに生成されたプログラムやOSカーネルあるいはアプリケーションプログラムに効果があることは周知の事実であり、我々もいくつかのランダム検証プログラムを開発した.しかし、この種のプログラムの運用では、膨大な実行サイクルとチェックアビリティの問題を解決しなければならなかった.我々は64ビットSPARCプロセッサとして開発したHALプロセッサの論理シミュレーション・システムにシグネチャ比較とアサーション・チェックを導入することでこの問題を解決し検証効率を向上した.
- 1995-10-19