論理検証のためのモジュール間インタフェース仕様記述とその利用法
スポンサーリンク
概要
- 論文の詳細を見る
ハードウェアモジュールの網羅的な論理検証のためには, モジュール間のインタフェースを数学的に規定する仕様記述が必要である.さらに, その仕様記述を様々な検証技術で共通して利用できる枠組みの実現が望まれている.本文では, モジュール間インタフェースに適した仕様記述方式を提案し, 仕様記述からそれに対応した順序機械への変換によりポータビリティの高い検証モデルを実現するアプローチを, 実設計への適用例を交えて紹介している.
- 一般社団法人情報処理学会の論文
- 2001-05-17
著者
-
古渡 聡
富士通研究所
-
岩下 洋哲
富士通研究所
-
岩下 洋哲
株式会社富士通研究所
-
長井 寛志
富士通
-
古渡 聡
富士通
-
岩下 洋哲
科学技術振興機構ERATO湊離散構造処理系プロジェクト|北海道大学大学院情報科学研究科
関連論文
- ハードウエアユニット検証環境の自動生成 : バスブリッジ設計での実証(システム設計及び一般)
- ハードウエアユニット検証環境の自動生成 : バスブリッジ設計での実証(検証/最適化,システム設計及び一般)
- 大規模論理装置に対する高速設計検証システム
- 論理シミュレーションをベースとしたプロセサ制御の効率的検証手法
- パイプラインプロセサの制御論理自動合成
- プロセッサのパイプラインを対象としたテストプログラム自動生成
- パイプライン制御を対象としたテストプログラム自動生成
- プロセッサのパイプライン制御に関する動作レベル設計/検証支援
- 仕様書から検証シナリオを生成する手法(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 仕様書から検証シナリオを生成する手法(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 仕様書から検証シナリオを生成する手法(検証,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 論理検証のためのモジュール間インタフェース仕様記述とその利用法
- 論理検証のためのモジュール間インターフェイス仕様記述とその利用法
- 記号モデル検査システム「BINGO」の適用事例 (特集 電子機器・LSI設計CAD)
- 論理シミュレーションをベースとしたプロセサ制御の効率的検証手法
- パイプライン制御を対象としたテストプログラム自動生成
- パイプライン制御を対象としたテストプログラム自動生成
- カバレッジ指向IPマクロインタフェース検証手法 (特集:システムLSI) -- (設計手法)
- 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ