| 講演名 | 1998/9/22 DECOMPOS : 論理関数分解システム 笹尾 勤, 松浦 宗寛, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 入力変数が多い場合の関数分解f(X_1, X_2)=g(h(X_1), X_2)を求めるため, 以下の三つの場合に分けて高速化を図っている.1)|X_1|=2または, |X_2|≤2の場合.2)二分解(bi-decomposition)の場合, つまり, f(X_1, X_2)=g(h_1(X_1), h_2(X_2)).3)一般の場合.1)と2)は実用回路で頻繁に生じる分解であり, 専用のアルゴリズムを用いて高速に求めることができる.3)は, 一般の場合であり, 時間がかかる.ここでは, Jacobianを用いて, 分解を生じない二分割を組織的に求めている.4000以上の関数について分解した結果を示す.また, Completely Bi-decomposable function(CBF)という新しい関数のクラスを定義する.多くのベンチマーク関数が分解可能であり, そのうち, かなりの部分がCBFであることを実証する. |
| 抄録(英) | This paper presents a system for disjoint decompositions of logic functions with many inputs. It is a combination of three different methods: 1)Disjoint decompositions with a few bound set variables; 2)Disjoint bi-decompositions; and 3)Decompositions using Jacobian. 1)and 2)are quick, but find only limited classes of decompositions, while 3)finds all disjoint decompositions by spending more time. We show the results of decompositions for more than four thousand functions. We also define a new class of functions: Completely bi-decomposable functions. Experimental results show that many practical logic functions have disjoint decompositions and some are completely bi-decomposable functions. |
| キーワード(和) | 論理関数分解 / 論理関数二分解 / Jacobian / 二分決定グラフ |
| キーワード(英) | Functional decomposition / Bi-decomposition / Jacobian / Binary decision diagram |
| 資料番号 | VLD98-57,ICD98-160,FTS98-84 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 1998/9/22(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | DECOMPOS : 論理関数分解システム |
| サブタイトル（和） | |
| タイトル（英） | DECOMPOS : An Integrated System for Functional Decomposition |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 論理関数分解 / Functional decomposition |
| キーワード(2)（和/英） | 論理関数二分解 / Bi-decomposition |
| キーワード(3)（和/英） | Jacobian / Jacobian |
| キーワード(4)（和/英） | 二分決定グラフ / Binary decision diagram |
| 第 1 著者 氏名（和/英） | 笹尾 勤 / Tsutomu SASAO |
| 第 1 著者 所属（和/英） | 九州工業大学情報工学部電子情報工学科 Department of Computer Science and Electronics Kyushu Institute of Technology |
| 第 2 著者 氏名（和/英） | 松浦 宗寛 / Munehiro MATSUURA |
| 第 2 著者 所属（和/英） | 九州工業大学情報工学部電子情報工学科 Department of Computer Science and Electronics Kyushu Institute of Technology |
| 発表年月日 | 1998/9/22 |
| 資料番号 | VLD98-57,ICD98-160,FTS98-84 |
| 巻番号（vol） | vol.98 |
| 号番号（no） | 287 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |