講演名 1998/9/22
論理関数分解の高速化について
笹尾 勤,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 論理関数fがf=g(h(X_1), X_2)の形で表現できるとき, fは関数分解可能であるという.ここで, {X_1}と{X_2}は, 共通部分をもたない変数の集合である.本論文では, 分解不可能な部分関数を検出し, それから, fの関数分解を生じない二分割の集合を効率よく求める方法を示す.これにより, 探索空間を極めて効率よく削減できる.3~4変数の分解不可能な関数を予め求めておき, 表に格納しておくことにより, BDDと索表を用いて, 高速な分解システムが構成できる.
抄録(英) A function f(X) has a simple disjoint decomposition if f is represented as f(X_1, X_2)=g(h(X_1), X_2). The problem of functional decomposition is to find a bipartition (X_1, X_2) of X such that f(X_1, X_2)=g(h(X_1), X_2). This paper shows an efficient method to detect bipartitions (X_1, X_2) that do not produce decompositions for f(X). It quickly reduces the search space for the decompositions by using a look-up table for undecomposable functions. A systematic method to find simple disjoint decompositions by using BDDs is presented.
キーワード(和) 論理関数分解 / 二分決定グラフ / 対称関数
キーワード(英) Functional decomposition / Binary decision diagram / Symmetric function
資料番号 VLD98-58,ICD98-161,FTS98-85
発行日

研究会情報
研究会 VLD
開催期間 1998/9/22(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 VLSI Design Technologies (VLD)
本文の言語 ENG
タイトル(和) 論理関数分解の高速化について
サブタイトル(和)
タイトル(英) On a Method to Accelerate Functional Decompositions
サブタイトル(和)
キーワード(1)(和/英) 論理関数分解 / Functional decomposition
キーワード(2)(和/英) 二分決定グラフ / Binary decision diagram
キーワード(3)(和/英) 対称関数 / Symmetric function
第 1 著者 氏名(和/英) 笹尾 勤 / Tsutomu SASAO
第 1 著者 所属(和/英) 九州工業大学情報工学部電子情報工学科
Department of Computer Science and Electronics Kyushu Institute of Technology
発表年月日 1998/9/22
資料番号 VLD98-58,ICD98-161,FTS98-85
巻番号(vol) vol.98
号番号(no) 287
ページ範囲 pp.-
ページ数 7
発行日