論理関数のbi-decompositionを行なうボトムアップアルゴリズムについて
スポンサーリンク
概要
- 論文の詳細を見る
論理関数fが,f(X)=h(g_1(X_1),g_2(X_2))(h(y_1,y_2)は任意の二入力関数)という形で表される時,この関数はbi-decompositionを持つと言う.さらに,2つの部分関数g_1およびg_2が互いに独立な場合(すなわち,X_1∩X_2=φ),そのような分割をdisjoint bi-decompositionと呼ぶ.本稿では,論理関数がこのような分解を持つかどうかを高速に判定するアルゴリズムについて提案を行なう.また,このアルゴリズムを効率良く実行するためのデータ構造として,Factored BDDと呼ばれる二分決定グラフの拡張についても提案を行なう.このアルゴリズムは,関数に対して再帰的にShannon展開を行なうことで関数分解を行なうもので,二分決定グラフ(BDD)の節点数に比例した手間で処理を行なうことができる.
- 1997-03-06
著者
関連論文
- 状態変数の動的削除を用いた状態数え上げの効率化
- 等価状態の部分的抽出による大規模順序回路の簡単化
- 不完全指定有限状態機械に対する高速な状態数簡単化アルゴリズム
- 2分決定グラフを用いた推移的閉包計算アルゴリズムと形式的検証への応用
- Boolean Relationからの多段論理回路の合成
- Rectangular Dualに基づくマクロセル配置手法
- 多段論理合成における二段論理式簡単化の一手法
- 大規模回路の多段論理簡単化について
- 順序回路の簡単化について
- 2分決定グラフのための変数順決定アルゴリズムとその評価
- 2分決定グラフを利用したトランスダクション法の改良
- 不完全指定有限状態機械に対する高速な状態数簡単化アルゴリズム
- 論理合成システムにおける遅延時間最適化手法
- 複数クロックを考慮したタイミング制約生成手法
- 複数クロックを考慮したタイミング制約生成手法
- 1.ハードウェア/ソフトウェア協調設計のコンピュータ支援における問題および方法について (ハードウェア/ソフトウェア・コデザイン)
- Satisfiability Don't Caresを用いた多段論理回路の簡単化
- 論理関数のbi-decompositionを行なうボトムアップアルゴリズムについて
- 論理関数のbi-decompositionを行なうボトムアップアルゴリズムについて
- 非明示的列挙を用いたパタンマッチングについて (機能論理設計, アーキテクチャ設計支援と一般)
- 関数分解を用いたLUT型FPGA用ブーリアンマッチングアルゴリズムについて
- 関数分解を用いたLUT型FPGA用ブーリアンマッチングアルゴリズムについて
- 関数分解を用いたLUT型FPGA用ブーリアンマッチングアルゴリズムについて
- 直交でない関数分解の効率的な列挙手法
- 直交でない関数分解の効率的な列挙手法
- 複数の制約条件を考慮したテクノロジマッピングのアルゴリズムについて (デザインガイア'99--システム設計とCAD技術及び一般)
- 複数の制約条件を考慮したテクノロジマッピングのアルゴリズムについて
- 複数の制約条件を考慮したテクノロジマッピングのアルゴリズムについて
- 高速な直交分解アルゴリズムと論理合成への応用
- 高速な直交分解アルゴリズムと論理合成への応用
- 高速な直交分解アルゴリズムと論理合成への応用
- テクノロジマッピングにおけるパタンマッチングの高速化について
- テクノロジマッピングにおけるパタンマッチングの高速化について
- テクノロジマッピングにおけるパタンマッチングの高速化について
- 非明示的列挙を用いたパタンマッチングについて (機能論理設計, アーキテクチャ設計支援と一般)
- 論理関数のXOR分解アルゴリズムについて