パストランジスタ論理合成のための Free BDDの厳密最小化手法

畠田 宏司 (9751086)


従来のパストランジスタ論理の設計手法として, OBDDを用いたものがある. 本論文ではOBDDより制約の少ないFBDDを用いてより小さな回路を構成する手法について考察する. そのためにFBDDの最小化プログラムを実装し, 5変数までの全関数についての, OBDDとFBDDの最小サイズについて, 5変数関数の全関数について統計データを求め, OBDDよりもFBDDが小さくなる関数が56%あることについて確認した. さらに最小化アルゴリズムをハードウェア化することにより, 処理の高速化を計る. そのためにFPGA上への実装方法について考察する.