DECOMPOS : 論理関数分解システム

概要

論文の詳細を見る
入力変数が多い場合の関数分解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であることを実証する.
一般社団法人電子情報通信学会の論文
1998-09-22