|
Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Information Science and Technology / Faculty of Information Science and Technology >
Peer-reviewed Journal Articles, etc >
論理関数の共有二分決定グラフによる表現とその効率的処理手法
Title: | 論理関数の共有二分決定グラフによる表現とその効率的処理手法 |
Other Titles: | Shared Binary Decision Diagrams for Efficient Boolean Function Manipulation |
Authors: | 湊, 真一1 Browse this author →KAKEN DB | 石浦, 菜岐佐2 Browse this author | 矢島, 脩三3 Browse this author |
Authors(alt): | MINATO, SHIN-ICHI1 | ISHIURA, NAGISA2 | YAJIMA, SHUZO3 |
Issue Date: | 15-Jan-1991 |
Publisher: | 情報処理学会 |
Journal Title: | 情報処理学会論文誌 |
Volume: | 32 |
Issue: | 1 |
Start Page: | 77 |
End Page: | 85 |
Abstract: | 論理関数を効率よく表現し,論理演算を高速に行うことは,論理設計支援システムを実現する上で重要な問題である.AkersやBryantが提案した二分決定グラフによる表現法は,入力変数の順序を固定することにより論理関数を一意に表すことができ,また,多くの実用的な関数を比較的コンパクトに表現できる.さらに,複数の関数を同時に効率良く表現できるように改良したものを共有二分決定グラフと呼ぶ.本論文では,共有二分決定グラフを用いた論理関数の処理手法について述べ,その効率化手法として,否定エッジ,入力反転エッジ,変数シフトエッジの3種類の属性エッジを用いて記憶量や処理時間を削減する方法を提案する.共有二分決定グラフにおいては,入力変数の順序づけはグラフの大きさに著しい影響を与えるため,この問題について考察し,効率のよい順序づけを行う動的重みづけ法を提案する.さらに,不完全指定論理関数(Don't careを含む関数)について考察し,D変数を導入した表現法を提案する.最後に,本論文で提案した手法の効果を調べるため,実用的な論理回路を共有二分決定グラフで表現する実験を行い,本論文の手法が有効であることを示す. |
Rights: | ここに掲載した著作物の利用に関する注意 本著作物の著作権は情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 |
Type: | article |
URI: | http://hdl.handle.net/2115/47491 |
Appears in Collections: | 情報科学院・情報科学研究院 (Graduate School of Information Science and Technology / Faculty of Information Science and Technology) > 雑誌発表論文等 (Peer-reviewed Journal Articles, etc)
|
Submitter: 湊 真一
|