| 講演名 | 2002/11/29 組合せ論理回路のセルフテスティング性の形式的検証とその並列化 岡本 晋侍, 川久保 和雄, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では、組合せ論理回路のセルフテスティング性の検証について、二分決定グラフ(BDD)及び拡張二分決定グラフ(XBDD)を用いた論理関数処理による方法を示し、またそれらの並列化手法について提案する。まず、組合せ論理回路のセルフテスティング性の形式的検証を、回路の入力と出力の符号語の特徴関数を利用した判定関数の充足可能性判定問題に帰着し、それをBDDを用いて解く方法を示す。次に、より少ない節点数で論理関数を表現できるXBDDを利用する方法を示し、さらに故障並列などの手法を用いた並列化により高速化をはかり、実際にMPIを用いてワークステーションクラスタに実装して実験した結果により、その有効性を示す。 |
| 抄録(英) | In this paper we describe methods of formal verification of self-testing (ST) property of combinational circuits using logic function manipulation and propose their parallelization. First, we describe that the problem of verification of ST property can be transformed to a satisfiability problem of a decision function formed from characteristic functions of a circuit's output code words. The problem can be solved using binary decision diagrams (BDD). Next, we introduce extended BDD (XBDD), by which logic functions can be represented using less nodes than BDD, and show XBDD can be used for the verification method. Finally we propose methods of parallel verification using MPI and show the effectiveness of the proposed methods by experimental results. |
| キーワード(和) | 形式的検証 / セルフテスティング性 / 二分決定グラフ / 並列化 |
| キーワード(英) | formal verification / self-testing / BDD / parallelization |
| 資料番号 | DC2002-72 |
| 発行日 |
| 研究会情報 | |
| 研究会 | DC |
|---|---|
| 開催期間 | 2002/11/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Dependable Computing (DC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 組合せ論理回路のセルフテスティング性の形式的検証とその並列化 |
| サブタイトル（和） | |
| タイトル（英） | Formal Verification of Self-Testing Property of Combinational Circuits and its Parallelization |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 形式的検証 / formal verification |
| キーワード(2)（和/英） | セルフテスティング性 / self-testing |
| キーワード(3)（和/英） | 二分決定グラフ / BDD |
| キーワード(4)（和/英） | 並列化 / parallelization |
| 第 1 著者 氏名（和/英） | 岡本 晋侍 / Shinji OKAMOTO |
| 第 1 著者 所属（和/英） | 福山大学工学部 Faculty of Engineering, Fukuyama University |
| 第 2 著者 氏名（和/英） | 川久保 和雄 / Kazuo KAWAKUBO |
| 第 2 著者 所属（和/英） | 福山大学工学部 Faculty of Engineering, Fukuyama University |
| 発表年月日 | 2002/11/29 |
| 資料番号 | DC2002-72 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 492 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |