大規模論理関数用BDDパッケージ : H-BDD

スポンサーリンク

概要

論文の詳細を見る
論理生成、論理検証等、論理DAの各分野のプログラムにおいて、論理関数を計算機上で効率良く扱うことは不可欠である。論理関数処理の効率化を実現する論理関数の表現方法として、BDD(Binary Decision Diagram:二分決定グラフ)が近年注目され、現在まで様々な研究発表がなされている。BDDを用いると、論理関数を比較的少ないメモリ使用量で一意に表現でき、また、論理演算を高速に行うことができる。BDDをプログラム中の論理関数処理に効果的に用いるために、BDDを用いた論理関数処理用プログラムライブラリ、BDDパッケージの開発が多くの機関で行われている。今回、[1][2]の手法に基づき、大規模論理関数への適用を目的として、BDDパッケージーH-BDD-を開発した。その概要、特に論理演算結果管理に用いるテーブルのハッシュ関数の改良による処理の高速化について述べる。
一般社団法人情報処理学会の論文
1994-09-20

著者

関連論文

もっと見る

スポンサーリンク