ソフトウェア互換な専用ハードウェアを合成する高位合成系に関する研究

2010 年度 研究成果報告書

• 研究課題/領域番号: 20500058
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 計算機システム・ネットワーク
• 研究機関: 関西学院大学
• 研究代表者: 石浦 菜岐佐 関西学院大学, 理工学部, 教授 (60193265)
• 研究分担者: 神原 弘之 (財)都高度技術研究所, 研究開発部, 主任研究員 (80373497) ; 冨山 宏之 立命館大学, 理工学部, 教授 (80362292)
• 研究期間 (年度): 2008 – 2010
• キーワード: 組み込みシステム / 高位合成 / 動作合成

研究概要

本研究では,ANSI-Cで書かれたプログラムに対し,その中の指定された部分を,CPUでソフトウェアとして実行される他の部分からアクセラレータとして起動できるハードウェアに合成する方法について研究を行った.高位合成システムを試作し,FPGAボード上で動作を確認できた.また,サイクル数がオペランドやハードウェアの状態に依存して変動する演算の存在下で,無駄な待ちを生じさせない「可変スケジューリング」とその近似計算法を開発した.

研究成果

• [雑誌論文] Stat ic Scheduling of Dynamic Execution for High-Level Synthesis (2009)
  • 著者名/発表者名: Y.Toda, N.Ishiura, K.Sone
  • 雑誌名: Proc.the Workshop on Synthesis and System Integration of Mixed Inf ormation Technologies 2 ページ: 107-11
  • 査読あり
• [雑誌論文] High-Level Synthesis of Software Function Calls (2008)
  • 著者名/発表者名: M.Nishimura, N.Ishiura, Y.Ishimori, H.Kanbara, H.Tomiyama
  • 雑誌名: IEICE Trans.Fundamentals No.E91-A ページ: 3556-3558
  • 査読あり
• [学会発表] 高位合成における可変スケジューリングの近似手法 (2011)
  • 著者名/発表者名: 曽根康介,石浦菜岐佐
  • 学会等名: 電子情報通信学会VLSI 設計技術研究会
  • 発表場所: 慶応義塾大学(神奈川県)
  • 年月日: 2011-01-17
• [学会発表] MIPSアセンブリを中間表現とする高位合成システムの実装 (2010)
  • 著者名/発表者名: 入谷賢孝,池上達也,石浦菜岐佐,神原弘之,冨山宏之
  • 学会等名: 情報処理学会組込みシステム研究会
  • 発表場所: 八丈シーパークリゾート(東京都)
  • 年月日: 2010-03-28
• [学会発表] CPUと密に結合したコプロセッサに基づくハードウェア/ソフトウェア協調設計 (2010)
  • 著者名/発表者名: 戸田勇希,石浦菜岐佐,神原弘之,冨山宏之
  • 学会等名: 情報処理学会組込みシステム研究会
  • 発表場所: 株式会社東芝(東京都)
  • 年月日: 2010-01-29
• [学会発表] 高位合成における可変スケジューリングの近似アルゴリズム (2009)
  • 著者名/発表者名: 曽根康介,石浦菜岐佐,入谷賢孝,戸田勇希
  • 学会等名: 情報処理学会関西支部大会, A-06
  • 発表場所: 神戸大学(兵庫県)
  • 年月日: 2009-09-29
• [学会発表] パイプラインプロセッサを理解するための教材RUE-CHIP (2009)
  • 著者名/発表者名: 神原弘之,金城良太,戸田勇希,矢野正治,小柳滋
  • 学会等名: 情報処理学会関西支部大会, A-09
  • 発表場所: 神戸大学(兵庫県)
  • 年月日: 2009-09-29
• [学会発表] 高位合成システムCCAPのAMPマルチコアシステム設計のための拡張 (2009)
  • 著者名/発表者名: 石守祥之,石浦菜岐佐,冨山宏之,神原弘之
  • 学会等名: 電子情報通信学会VLSI設計技術研究会
  • 発表場所: 慶応義塾大学(神奈川県)
  • 年月日: 2009-01-29
• [学会発表] 不定サイクル演算を考慮した高位合成の可変スケジューリング・バインディング (2008)
  • 著者名/発表者名: 戸田勇希,石浦菜岐佐,曽根康介
  • 学会等名: 電子情報通信学会VLSI設計技術研究会
  • 発表場所: 北九州市学術研究都市(福岡県)
  • 年月日: 2008-11-19