| 講演名 | 1998/4/23 ハードウェアによるZBDD処理の実現に関する研究 石垣 壮, 米田 友洋, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | BDDやZBDDに基づくシンボリックな状態探索により, かなりの規模の回路まで形式的検証が可能となったが, 大規模回路においては非常に多くの処理時間を必要とする, そこで本研究では, ZBDD演算を高速に行うための専用ハードウェアについて検討する.まず, ZBDD演算アルゴリズムのハードウェアへの実装法を示し, 次にリザルトキャッシュの並列化など, ハードウェアに適した高速化手法を提案する.また, シミュレータを作成し, ハードウェア処理に必要なクロック数をある程度厳密に評価して提案する手法の有効性について検討する. |
| 抄録(英) | We are now able to formally verify practical sizes of circuits even on personal computers implicitly representing state spaces by BDDs or ZBDDs. However, such an approach still takes lots of time for large circuits. In this work, in order to accelerate formal veification based on ZBDDs, we propose implementing ZBDD operations by hardware. Although the basic algorithms for ZBDD operations are implemented rather starightforward, we propose several hardware oriented implementation techniques such as parallel result caches. We have developed a RTL model of the proposed hardware, and expressed it by C language so that we can count the number of clocks needed for each ZBDD operation. The experimental results show that the hardware implementation of ZBDD operations is an effective approach. |
| キーワード(和) | ZBDD / 専用ハードウェア / 形式的検証 / シミュレーション |
| キーワード(英) | ZBDD / hardware implementation / formal verification / simulation |
| 資料番号 | |
| 発行日 |
| 研究会情報 | |
| 研究会 | ICD |
|---|---|
| 開催期間 | 1998/4/23(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Integrated Circuits and Devices (ICD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ハードウェアによるZBDD処理の実現に関する研究 |
| サブタイトル（和） | |
| タイトル（英） | Study on hardware implementation a ZBDD operations |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ZBDD / ZBDD |
| キーワード(2)（和/英） | 専用ハードウェア / hardware implementation |
| キーワード(3)（和/英） | 形式的検証 / formal verification |
| キーワード(4)（和/英） | シミュレーション / simulation |
| 第 1 著者 氏名（和/英） | 石垣 壮 / Takeshi Ishigaki |
| 第 1 著者 所属（和/英） | 東京工業大学大学院理工学研究科電気・電子工学専攻 Graduate School of Science and Engineering, Depatment of Electrical and Electronic Engineering |
| 第 2 著者 氏名（和/英） | 米田 友洋 / Tomohiro Yoneda |
| 第 2 著者 所属（和/英） | 東京工業大学大学院情報理工学研究科計算工学専攻 Graduate School of Information Science and Engineering, Department of Computer Science Tokyo Institute of Technology |
| 発表年月日 | 1998/4/23 |
| 資料番号 | |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 22 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |