不完全定義多出力論理関数を表現するBDDとその応用について

• Item type: SIG Technical Reports(1)
• 公開日: 2004-12-02
• タイトル: 不完全定義多出力論理関数を表現するBDDとその応用について
• タイトル / 言語: en
• タイトル: BDD Representation for Incompletely Specified Multiple - Output Logic Functions and Its Applications
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 九州工業大学情報工学部電子情報工学科
• 著者所属: 九州工業大学情報工学部電子情報工学科
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Electronics, Kyushu Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science and Electronics, Kyushu Institute of Technology
• 著者名: 松浦, 宗寛; 笹尾, 勤
• 著者名(英): Munehiro, Matsuura; Tsutomu, Sasao
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 多出力論理関数を表現する二分決定グラフ(Binary Decision Diagram: BDD)の一つに，特性関数(Characteristic Function)を表現するBDD(BDD_for_CF)がある．本稿では，不完全定義多出力論理関数をBDD_for_CFで表現する方法を提案する．次に，不完全定義多出力論理関数を表現するBDD_for_CFの幅を小さくする方法について述べる．この手法は関数分解やLUTカスケードの合成に有用である．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A multiple-output function can be represented by a binary decision diagram (BDD) for characteristic function (CF). This paper considers a method to represent multiple-output incompletely specified functions using BDD_for CF. An algorithm to reduce the widths of BDD_for_CFs is presented. This method is useful for functional decomposition and synthesis of LUT cascade.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11451459
• 書誌情報: 情報処理学会研究報告システムLSI設計技術（SLDM）; 巻 2004, 号 122(2004-SLDM-117), p. 209-214, 発行日 2004-12-02
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会