| 講演名 | 2000/1/11 二分決定グラフの非明示的表現における節点符号化法 山内 仁, 高橋 浩光, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 二分決定グラフ(Binary Decision Diagrams;以下BDD)は, 論理関数を計算機上で効率良く表現する方法として広く用いられているが, 近年の回路の大規模化により, BDDでも記憶領域が不足するような論理関数がしばしば出現し, 問題となっている.これに対して, 著者らは論理関数を表現するBDDのグラフとしての形質を非明示的に表現するBDDの非明示的表現法(implicit representation of BDDs;以下〓BDD)を提案し, さらにその演算効率を向上させる手法を提案してきている.本稿では, 〓BDDの表現に要する記憶量を大きく左右する, 非明示的に表現しているBDDの節点に割り振る符号の符号化手法についていくつか提案する. |
| 抄録(英) | Binary Decision Diagrams(BDD)is used on computer aided design of VLSI, because of that's goodness of memory spacing on computers for representing boolean functions. Recently, though, big size boolean functions such that are not able to be represented by BDD appear on VLSI design. We presented an implicit representation of BDDs(〓BDD)which is a new representation method by representing characteristics of BDD in meaning of graph implicitly, and its improvement representation method to manipulate faster. In this paper, some node codings are presented. Codings of nodes of BDDs represented implicitly, is effective to 〓BDD's size. |
| キーワード(和) | 二分決定グラフ / ゼロサプレスBDD / 非明示的表現 / 論理関数 / 計算機援用設計 |
| キーワード(英) | BDD / zero-supressed BDD / implicit representation / boolean function / computer aided design |
| 資料番号 | VLD99-92,CPSY99-101 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 2000/1/11(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 二分決定グラフの非明示的表現における節点符号化法 |
| サブタイトル（和） | |
| タイトル（英） | Node Codings for Implicit Representation of Binary Decision Diagrams |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 二分決定グラフ / BDD |
| キーワード(2)（和/英） | ゼロサプレスBDD / zero-supressed BDD |
| キーワード(3)（和/英） | 非明示的表現 / implicit representation |
| キーワード(4)（和/英） | 論理関数 / boolean function |
| キーワード(5)（和/英） | 計算機援用設計 / computer aided design |
| 第 1 著者 氏名（和/英） | 山内 仁 / Hitoshi Yamauchi |
| 第 1 著者 所属（和/英） | 岡山県立大学情報工学部情報通信工学科 Department of Communication Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
| 第 2 著者 氏名（和/英） | 高橋 浩光 / Hiromitsu Takahashi |
| 第 2 著者 所属（和/英） | 岡山県立大学情報工学部情報通信工学科 Department of Communication Engineering, Faculty of Computer Science and System Engineering, Okayama Prefectural University |
| 発表年月日 | 2000/1/11 |
| 資料番号 | VLD99-92,CPSY99-101 |
| 巻番号（vol） | vol.99 |
| 号番号（no） | 529 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |