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