論理設計検証テストプログラム生成ツールの開発と評価方式

スポンサーリンク

概要

論文の詳細を見る
プロセッサの多機能化や高性能化によって論理設計が複雑になっており,設計者があらゆる実行状況を設定して論理シミュレーションを行い検証することは不可能である.そこで,プロセッサの実装を進める上で必要となる,プロセッサの論理設計を検証するためのテストプログラムの開発を行った.また,テストプログラムによる検証をより効率の良いものにするため,テストプログラムの評価方法について検討を行った.今回開発した 2 種類のランダムテストを用いることで全体の検証率の向上が期待できることが示された.ハードウェア内の制御信号に着目するという評価方式は,テストプログラムを評価する上で良い指標になることがわかった.さらに,設計ソース,制御信号の遷移状態を解析することで状態数の上限値を算出し,テストプログラムが全体の何割程度検証できたかを求めることができるようになることがわかった.
一般社団法人情報処理学会の論文
2009-07-28

著者

関連論文

もっと見る

スポンサーリンク