講演名 2009-12-04
3アドレスQDDマシン用コードの最適アルゴリズムについて(アプリケーションとシミュレーション,デザインガイア2009 VLSI設計の新しい大地)
福山 泰介, 笹尾 勤, 松浦 宗寛,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 論理シミュレーションの高速化を目的として,4値の決定グラフQDDを用いる.本論文では,QDDをデータ構造とする3アドレス方式のQDDマシン用コードを,O(N^2)(NはQDDの節点数)の計算時間で最適化するアルゴリズムを提案する.種々の多出力ベンチマーク関数に対し,アルゴリズム適用時の処理時間を測定した.
抄録(英) To speed up the evaluation of logic functions, we use quaternary decision diagrams(QDDs). A 3-adress QDD machine is a branching program machine which has 3-adress QDD branch instructions. In this paper, we show a method to minimize a 3-adress QDD machine code in time complexity of O(N^2), where N is the number of QDD nodes. We minimized codes for 3-adress QDD machines representing various benchmark functions. Experimental results are shown.
キーワード(和) QDD / ブランチング・プログラム・マシン / QDDマシン
キーワード(英) QDD / Branching Program Machine / QDD Machine
資料番号 RECONF2009-52
発行日

研究会情報
研究会 RECONF
開催期間 2009/11/26(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Reconfigurable Systems (RECONF)
本文の言語 JPN
タイトル(和) 3アドレスQDDマシン用コードの最適アルゴリズムについて(アプリケーションとシミュレーション,デザインガイア2009 VLSI設計の新しい大地)
サブタイトル(和)
タイトル(英) An Optimal Algorithm for 3-adress QDD Machine Code
サブタイトル(和)
キーワード(1)(和/英) QDD / QDD
キーワード(2)(和/英) ブランチング・プログラム・マシン / Branching Program Machine
キーワード(3)(和/英) QDDマシン / QDD Machine
第 1 著者 氏名(和/英) 福山 泰介 / Taisuke FUKUYAMA
第 1 著者 所属(和/英) 九州工業大学大学院情報工学研究院
Department of Computer Science and Electronics, Kyusyu Institute of Technology
第 2 著者 氏名(和/英) 笹尾 勤 / Tsutomu SASAO
第 2 著者 所属(和/英) 九州工業大学大学院情報工学研究院
Department of Computer Science and Electronics, Kyusyu Institute of Technology
第 3 著者 氏名(和/英) 松浦 宗寛 / Munehiro MATSUURA
第 3 著者 所属(和/英) 九州工業大学大学院情報工学研究院
Department of Computer Science and Electronics, Kyusyu Institute of Technology
発表年月日 2009-12-04
資料番号 RECONF2009-52
巻番号(vol) vol.109
号番号(no) 320
ページ範囲 pp.-
ページ数 6
発行日