| 講演名 | 2001/11/22 不完全定義関数を表現するPKDDの簡単化法 松浦 宗寛, 笹尾 勤, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 論理関数を表現する方法の一つとして, 疑似クロネッカ決定グラフ(PKDD)がある.PKDDは二分決定グラフ(BDD)を一般化したものであり, その節点数はBDDよりも多くならず, 多くの場合より少ない節点数で表現できる.本稿では, ドント・ケアを含む不完全定義関数をPKDDを用いて表現することを考える.実用時間内に少ない節点数のPKDDを導くヒューリスティック法を開発した.MCNCベンチマーク関数のうちドント・ケアを含む関数に対してPKDDの生成を行い, 約14%節点数を削減できた. |
| 抄録(英) | Pseudo-Kronecker decision diagram (PKDD) is a generalization of binary decision diagram (BDD). A PKDD requires not more nodes than a BDD to represent the same function. In this paper, we consider a method to represent incompletely specified functions by using PKDDs. We developed a heuristic method to obtain PKDDs. Many PKDDs for MCNC benchmark functions with don't cares are simplified. Experimpntal results show that the number of nodes of PKDD can be reduced by 14% by considering don't cares. |
| キーワード(和) | 不完全定義関数 / 二分決定グラフ(BDD) / 擬似クロネッカ決定グラフ(PKDD) / EXOR / ドントケア |
| キーワード(英) | Incompletely specified function / Binary decision diagram / Pseudo-Kronecker decision diagram / EXOR / Don't care |
| 資料番号 | VLD2001-98,ICD2001-143,FTS2001-45 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 2001/11/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 不完全定義関数を表現するPKDDの簡単化法 |
| サブタイトル（和） | |
| タイトル（英） | A Method to Minimize The Pseudo-Kronecker Decision Diagrams for Incompletely Specified Functions |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 不完全定義関数 / Incompletely specified function |
| キーワード(2)（和/英） | 二分決定グラフ(BDD) / Binary decision diagram |
| キーワード(3)（和/英） | 擬似クロネッカ決定グラフ(PKDD) / Pseudo-Kronecker decision diagram |
| キーワード(4)（和/英） | EXOR / EXOR |
| キーワード(5)（和/英） | ドントケア / Don't care |
| 第 1 著者 氏名（和/英） | 松浦 宗寛 / Munehiro MATSUURA |
| 第 1 著者 所属（和/英） | 九州工業大学情報工学部 Department of Computer Science and Electronics, Kyushu Institute of Technology |
| 第 2 著者 氏名（和/英） | 笹尾 勤 / Tsutomu SASAO |
| 第 2 著者 所属（和/英） | 九州工業大学情報工学部:九州工業大学マイクロ化総合技術センター Department of Computer Science and Electronics, Kyushu Institute of Technology:Center for Microelectronic Systems, Kyushu Institute of Technology |
| 発表年月日 | 2001/11/22 |
| 資料番号 | VLD2001-98,ICD2001-143,FTS2001-45 |
| 巻番号（vol） | vol.101 |
| 号番号（no） | 467 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |