閲覧可能ファイル 

ファイル	フォーマット	サイズ	閲覧回数	説明
63_joh32_77	pdf	1.82 MB	1,262

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

アクセス権	open access
URI	https://hdl.handle.net/2115/47491
タイトル	論理関数の共有二分決定グラフによる表現とその効率的処理手法
	Shared Binary Decision Diagrams for Efficient Boolean Function Manipulation
著者	湊, 真一 ; 石浦, 菜岐佐 ; 矢島, 脩三
e-Rad_Researcher 10374612 著者名 湊, 真一 MINATO, SHIN-ICHI
著者名 石浦, 菜岐佐 ISHIURA, NAGISA
著者名 矢島, 脩三 YAJIMA, SHUZO
言語	日本語
発行日	1991-01-15
出版者	情報処理学会
収録物名	情報処理学会論文誌
巻(号)	32(1)
ページ	77-85
抄録	論理関数を効率よく表現し,論理演算を高速に行うことは,論理設計支援システムを実現する上で重要な問題である.AkersやBryantが提案した二分決定グラフによる表現法は,入力変数の順序を固定することにより論理関数を一意に表すことができ,また,多くの実用的な関数を比較的コンパクトに表現できる.さらに,複数の関数を同時に効率良く表現できるように改良したものを共有二分決定グラフと呼ぶ.本論文では,共有二分決定グラフを用いた論理関数の処理手法について述べ,その効率化手法として,否定エッジ,入力反転エッジ,変数シフトエッジの3種類の属性エッジを用いて記憶量や処理時間を削減する方法を提案する.共有二分決定グラフにおいては,入力変数の順序づけはグラフの大きさに著しい影響を与えるため,この問題について考察し,効率のよい順序づけを行う動的重みづけ法を提案する.さらに,不完全指定論理関数(Don't careを含む関数)について考察し,D変数を導入した表現法を提案する.最後に,本論文で提案した手法の効果を調べるため,実用的な論理回路を共有二分決定グラフで表現する実験を行い,本論文の手法が有効であることを示す.
資源タイプ	学術雑誌論文
出版タイプ	Version of Record
権利情報	ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。
PISSN	0387-5806

ホームへ戻る