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

2016 Fiscal Year Research-status Report

メモリ性能を最大限活用するFPGAアクセラレータ最適設計フレームワーク

Research Project

Project/Area Number 16K16026
Research InstitutionHokkaido University

Principal Investigator

高前田 伸也  北海道大学, 情報科学研究科, 准教授 (60738897)

Project Period (FY) 2016-04-01 – 2018-03-31
Keywords高位合成 / コンパイラ / Python / FPGA
Outline of Annual Research Achievements

本研究では,FPGAがもつオンチップメモリの総容量や帯域の制約下で,演算器および内部メモリシステムの構成を最適化し,最大性能を達成する高位設計フレームワークの実現を目指して研究を進めている.平成28年度は,研究計画に基づいて,性能予測が容易な高位ハードウェア設計方式の開発に取り組んだ.具体的には,以前より開発に取り組んでいる,プログラミング言語Pythonの文法と記述能力を活用したハードウェア設計技術のVeriloggenをベースに,レジスタ転送レベルの抽象度が低いハードウェア記述中に,より抽象度の高いハードウェア記述を埋め込むことができる,混合パラダイム型高位設計技術の開発に取り組んだ.まず,データフロー形式の計算パイプライン記述モデルとそれに対応するコンパイラを開発した.演算間の依存関係のみを記述するだけで,演算のスケジューリングやインターロック機構の挿入などが自動的に行われ,最大スループットの演算パイプラインを自動的に合成する技術が実現された.次に,Pythonの逐次処理記述をレジスタ転送レベルのFSMに変換する高位合成コンパイラを開発した.従来の高位合成コンパイラとは異なり,レジスタ転送レベルとの共存が可能であり,逐次処理部から任意のレジスタ転送レベルの信号に対して読み書きが可能である.そのため,従来の組み込みFPGAハードウェアでは,プロセッサ上のソフトウェアがオンチップバスを介してハードウェアを制御しており,性能と面積の面でコストが小さくなかったが,本技術により,対象ハードウェアをより低遅延に制御するシーケンサーを,より小規模な回路で実現することが可能になった.これらの今年度開発した技術を用いることで,性能が低い逐次処理レベルから,高い性能を達成するデータフローレベルおよびレジスタ転送レベルへの置き換えによる,明示的な性能最適化が可能になった.

Current Status of Research Progress
Current Status of Research Progress

2: Research has progressed on the whole more than it was originally planned.

Reason

Veriloggenが以前よりサポートするレジスタ転送レベルに加えて,レジスタ転送レベルに埋め込み可能なデータフローレベル・逐次処理レベルの高位合成コンパイラを年度内に実現できたため,高い抽象度による明示的なハードウェア最適化のための基本技術は実現できたと考えられる.一方,汎用的なIPコア化技術の開発に先行して取り組んだため,計画段階で予定していたパフォーマンスカウンタの実装について,今年度の課題とする.開発したコンパイラの評価についても,深層学習や最適化ソルバーなどの発展的なアプリケーションについての評価を進めている.

Strategy for Future Research Activity

当初の計画通りに,メモリ量や帯域などの制約条件に基づいて,ハードウェア構成を自動最適化する技術の開発に取り組む.現時点で,データフローレベルの記述モデルにより計算パターンの表現を,逐次処理モデルにより外部とのデータ転送パターンの表現をそれぞれ可能であり,両者は分離されている.そのため,ルーフラインモデルに基づくシンプル方法で制約下で性能を最大化する構成を発見するため方法を定義することが可能であると考えている.また,深層学習等の実用に即したアプリケーションにより,開発する設計方式・コンパイラの有用性を評価する.

Causes of Carryover

研究代表者が奈良先端科学技術大学院大学から北海道大学に異動となり、それに際してスタートアップ研究費などの他の研究費が利用可能となり、そちらを優先して利用したため、繰り越しが発生した。

Expenditure Plan for Carryover Budget

開発するコンパイラの評価に用いるFPGAプラットフォームの購入費用の一部に充てる。

  • Research Products

    (10 results)

All 2017 2016 Other

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (8 results) (of which Int'l Joint Research: 4 results,  Invited: 4 results) Remarks (1 results)

  • [Journal Article] FPGAハードウエア・アクセラレーション向け日の丸高位合成ツール2017

    • Author(s)
      渡邊 実, 佐野 健太郎, 高前田 伸也, 三好 健文, 中條 拓伯
    • Journal Title

      電子情報通信学会論文誌B招待論文

      Volume: Vol.J100-B Pages: pp.1-10

    • DOI

      10.14923/transcomj.2016JBI0002

    • Peer Reviewed
  • [Presentation] CPRring: A Structure-aware Ring-based Checkpointing Architecture for FPGA Computing2017

    • Author(s)
      Hoang Gia Vu, Shinya Takamaeda-Yamazaki, Takashi Nakada, and Yasuhiko Nakashima
    • Organizer
      The 25th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM2017)
    • Place of Presentation
      Napa, CA, USA
    • Year and Date
      2017-04-30 – 2017-05-02
    • Int'l Joint Research
  • [Presentation] ゆるふわコンピュータ2017

    • Author(s)
      高前田 伸也
    • Organizer
      情報処理学会第79回全国大会IPSJ-ONE
    • Place of Presentation
      名古屋大学
    • Year and Date
      2017-03-18 – 2017-03-18
    • Invited
  • [Presentation] A Multi-Level Power-Capping Mechanism for FPGAs2017

    • Author(s)
      Keisuke Fujimoto, Takashi Nakada, Shinya Takamaeda-Yamazaki, and Yasuhiko Nakashima
    • Organizer
      The 1st. cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2017)
  • [Presentation] CPRtree: A Tree-based Checkpointing Architecture for Heterogeneous FPGA Computing2016

    • Author(s)
      Hoang Gia Vu, Supasit Kajkamhaeng, Shinya Takamaeda-Yamazaki, and Yasuhiko Nakashima
    • Organizer
      4th International Symposium on Computing and Networking (CANDAR 2016)
    • Place of Presentation
      Higashi-Hiroshima, Hiroshima, Japan
    • Year and Date
      2016-11-22 – 2016-11-25
    • Int'l Joint Research
  • [Presentation] Stop the World: A Lightweight Runtime Power-Capping Mechanism for FPGAs2016

    • Author(s)
      Keisuke Fujimoto, Shinya Takamaeda-Yamazaki, and Yasuhiko Nakashima
    • Organizer
      4th International Symposium on Computing and Networking (CANDAR 2016)
    • Place of Presentation
      Higashi-Hiroshima, Hiroshima, Japan
    • Year and Date
      2016-11-22 – 2016-11-25
    • Int'l Joint Research
  • [Presentation] Pythonによるカスタム可能な高位設計技術2016

    • Author(s)
      高前田 伸也
    • Organizer
      Design Solution Forum 2016
    • Place of Presentation
      新横浜国際ホテル
    • Year and Date
      2016-10-14 – 2016-10-14
    • Invited
  • [Presentation] ハードウェアはやわらかい2016

    • Author(s)
      高前田 伸也
    • Organizer
      第15回情報科学技術フォーラム (FIT 2016) 助教が吼える!各界の若手研究者大集合
    • Place of Presentation
      富山大学
    • Year and Date
      2016-09-07 – 2016-09-09
    • Invited
  • [Presentation] Customizable Hardware Abstraction2016

    • Author(s)
      Shinya Takamaeda-Yamazaki
    • Organizer
      16th International Forum on MPSoC for Software-defined Hardware (MPSoC 2016)
    • Place of Presentation
      Nara Hotel, Nara, Nara, Japan
    • Year and Date
      2016-07-11 – 2016-07-15
    • Int'l Joint Research / Invited
  • [Remarks] Veriloggen

    • URL

      https://github.com/PyHDI/veriloggen

URL: 

Published: 2018-01-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi