Super Scalar MPU の論理検証

スポンサーリンク

概要

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

著者

関連論文

スポンサーリンク