講演名 2007-03-09
決定グラフに基づく論理関数の評価のメモリパッキングを用いた高速化について(上流設計技術(2),システムオンシリコン設計技術並びにこれを活用したVLSI)
田中 浩之, 中原 啓貴, 松浦 宗寛, 笹尾 勤,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 決定グラフに基づく論理関数の評価法について検討する.特に,Quasi-Reduced Multi-valued Decision Diagrams(QRMDDs)に基づく論理関数の評価において,メモリパッキングを用いてメモリを削減し,高速化する方法を提案する.メモリ量を削減することによって,キャッシュミスが減少し,その結果,高速になったものと推測できる.
抄録(英) This paper proposes a method to evaluate logic functios using decision diagrams. Quasi-Reduced Multi-valued Decision Diagrams(QRMDDs) are used for logic simulation. This paper also shows a method to reduce memory requirement and computation time by memory packing. The speedup is due to the reduction of cache miss.
キーワード(和) QRMDD / メモリパッキング
キーワード(英) QRMDD / memory packing
資料番号 VLD2006-148,ICD2006-239
発行日

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

講演論文情報詳細
申込み研究会 Integrated Circuits and Devices (ICD)
本文の言語 JPN
タイトル(和) 決定グラフに基づく論理関数の評価のメモリパッキングを用いた高速化について(上流設計技術(2),システムオンシリコン設計技術並びにこれを活用したVLSI)
サブタイトル(和)
タイトル(英) A Method to Evaluate Logic Functions Based On Decision Diagram Using Memory Packing
サブタイトル(和)
キーワード(1)(和/英) QRMDD / QRMDD
キーワード(2)(和/英) メモリパッキング / memory packing
第 1 著者 氏名(和/英) 田中 浩之 / Hiroyuki TANAKA
第 1 著者 所属(和/英) 九州工業大学大学院情報工学研究科情報創成工学専攻
Program of Creation Informatics, Kyushu Institute of Technology
第 2 著者 氏名(和/英) 中原 啓貴 / Hiroki NAKAHARA
第 2 著者 所属(和/英) 九州工業大学大学院情報工学研究科情報創成工学専攻
Program of Creation Informatics, Kyushu Institute of Technology
第 3 著者 氏名(和/英) 松浦 宗寛 / Munehiro MATSUURA
第 3 著者 所属(和/英) 九州工業大学情報工学部電子情報工学科
Department of Computer Science and Electronics, Kyushu Institute of Technology
第 4 著者 氏名(和/英) 笹尾 勤 / Tsutomu SASAO
第 4 著者 所属(和/英) 九州工業大学情報工学部電子情報工学科
Department of Computer Science and Electronics, Kyushu Institute of Technology
発表年月日 2007-03-09
資料番号 VLD2006-148,ICD2006-239
巻番号(vol) vol.106
号番号(no) 552
ページ範囲 pp.-
ページ数 6
発行日