• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2002 Fiscal Year Annual Research Report

作動時に再構成可能な演算チップのためのソフトウェア開発技術に関する研究

Research Project

Project/Area Number 14658094
Research InstitutionKyushu University

Principal Investigator

藤田 博  九州大学, 大学院・システム情報科学研究院, 助教授 (70284552)

Co-Investigator(Kenkyū-buntansha) 越村 三幸  九州大学, 大学院・システム情報科学研究院, 助手 (30274492)
長谷川 隆三  九州大学, 大学院・システム情報科学研究院, 教授 (20274483)
Keywords再構成可能計算 / FPGA / Verilog-HDL
Research Abstract

作動時に再構成可能な演算チップのソフトウェア開発技術を研究する上で必要と考えられる基礎的な知見を得るため,現状の技術における問題点の洗い出しを目的とした作業を行なった.
通常,ソフトウェアで実現される応用問題の解法アルゴリズムをハードウェア記述言語を用いて記述し,両者の記述性に関する比較を行なうとともに,再構成可能デバイスの現行技術として利用可能なFPGA上に実際に回路を構成し,実行効率についても比較した.具体的には,制約充足問題をいくつか選び,C言語とVerilog-HDLによる記述の比較評価を行なった.
実験の結果,現行のFPGAでもCプログラムに対して100倍ほどの高速化が可能であり,ソフトアルゴリズムをハードウェア化することの有効性が実証できた.これは,主に制約式判定等においてソフトウェアでは繰り返し計算に基づくため長いステップ数を経るのに対し,ハードウェアにおいては同等の計算ステップが組み合わせ回路として全展開された形で実現でき,1クロックでの実行が可能となることによる.
記述の比較に関しては,Cプログラムにおける条件分岐と繰り返しの実行制御記述がVerilog-HDLにおいては状態遷移機械の記述に置き換わるほか,C言語においては多次元配列と制御変数によるデータ操作が可能なのに対し,Verilog-HDLにおいては高々1次元のビット列の単純レジスタしか扱えず,より高次の添え字については変域内のすべての具体値ごとにレジスタ名を設定し,同様の操作を何度も個別に記述しなければならない等,基本的なデータ構造と計算モデルの相違,延いては,記述に関わるユーザの負担増が著しいことが明らかとなった.
今後の課題として,上述のような現状のソフトウェア記述とハードウェア記述のギャップを埋めるための支援技術について研究を進めるとともに,回路の動的再構成を考慮した記述方式についての検討に入りたい.

  • Research Products

    (1 results)

All Other

All Publications (1 results)

  • [Publications] 白井康之, Reiner Hahnle, 長谷川隆三: "有限区間制約を付加したモデル生成型定理証明系とその応用"情報処理学会論文誌. 43・12. 4059-4066 (2002)

URL: 

Published: 2004-04-07   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi