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

Research on high-performance and highly-dependable floating-point arithmetic unit arrays by contriving data representation

Research Project

Project/Area Number 24300019
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypePartial Multi-year Fund
Section一般
Research Field Computer system/Network
Research InstitutionKyoto University

Principal Investigator

TAKAGI Naofumi  京都大学, 情報学研究科, 教授 (10171422)

Co-Investigator(Kenkyū-buntansha) TAKAGI Kazuyoshi  京都大学, 大学院情報学研究科, 准教授 (70273844)
Project Period (FY) 2012-04-01 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥10,530,000 (Direct Cost: ¥8,100,000、Indirect Cost: ¥2,430,000)
Fiscal Year 2014: ¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2013: ¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2012: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000)
Keywords算術演算回路 / 演算器アレイ / オンライン誤り検出 / (2)算術演算回路
Outline of Final Research Achievements

We have studied methods for making a floating-point arithmetic unit (FPU) array high-performance and highly-dependable by contriving data representation in it. We have proposed methods for constructing concurrently error-detectable FPUs by parity prediction or partial duplication or residue checking, and a method for performing quasi-quadruple precision arithmetic by coupling two double precision floating-point fused multiply-adders. We also proposed a synthesis method of an array of processing elements consisting of an FPU and memory from a program comprising multiple loop structure and matrix operations. In addition, we have developed a simulator of an FPU array.

Report

(4 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Annual Research Report
  • 2012 Annual Research Report
  • Research Products

    (20 results)

All 2015 2014 2013 2012

All Journal Article (2 results) (of which Peer Reviewed: 2 results,  Acknowledgement Compliant: 1 results) Presentation (18 results)

  • [Journal Article] Nested Loop Parallelization Using Polyhedral Optimization in High-Level Synthesis2014

    • Author(s)
      Akihiro Suda, Hideki Takase, Kazuyoshi Takagi, Naofumi Takagi
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: E97.A Issue: 12 Pages: 2498-2506

    • DOI

      10.1587/transfun.E97.A.2498

    • NAID

      130004706413

    • ISSN
      0916-8508, 1745-1337
    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] Low-Overhead Fault-Secure Parallel Prefix Adder by Carry-Bit Duplication2013

    • Author(s)
      Nobutaka Kito, Naofumi Takagi
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E96.D Issue: 9 Pages: 1962-1970

    • DOI

      10.1587/transinf.E96.D.1962

    • NAID

      130003370984

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2013 Annual Research Report
    • Peer Reviewed
  • [Presentation] 部分二重化を用いたオンライン誤り検出可能な浮動小数点乗算器の設計と評価2015

    • Author(s)
      鬼頭信貴、秋元一志、高木直史
    • Organizer
      ETNET2015(電子情報通信学会ディペンダブルコンピューティング研究会)
    • Place of Presentation
      奄美市 奄美社会福祉協議会
    • Year and Date
      2015-03-06 – 2015-03-07
    • Related Report
      2014 Annual Research Report
  • [Presentation] 2つの浮動小数点倍精度加算器を用いた仮数部104ビット拡張倍精度加算器2014

    • Author(s)
      矢高裕之、高木直史、高木一義
    • Organizer
      デザインガイア2014(電子情報通信学会コンピュータシステム研究会)
    • Place of Presentation
      別府市 ビーコンプラザ(別府国際コンベンションセンター)
    • Year and Date
      2014-11-26 – 2014-11-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] 2つの浮動小数点積和演算器を用いた複素数乗算器2014

    • Author(s)
      高田雄平、高木直史、高木一義
    • Organizer
      デザインガイア2014(電子情報通信学会コンピュータシステム研究会)
    • Place of Presentation
      別府市 ビーコンプラザ(別府国際コンベンションセンター)
    • Year and Date
      2014-11-26 – 2014-11-28
    • Related Report
      2014 Annual Research Report
  • [Presentation] 行列多項式 I+A+A^2+…+A^{N-1} の計算における乗算回数について2014

    • Author(s)
      松本耕太郎、高木直史、高木一義
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      豊橋市 豊橋技術科学大学
    • Year and Date
      2014-09-02
    • Related Report
      2014 Annual Research Report
  • [Presentation] 部分二重化を用いた微小誤りを許容するオンライン誤り検出可能な浮動小数点乗算器2014

    • Author(s)
      鬼頭信貴、秋元一志、高木直史
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      東京都港区 機械振興会館
    • Year and Date
      2014-06-20
    • Related Report
      2014 Annual Research Report
  • [Presentation] プログラマブルSoCのためのシステム設計環境の検討とSW-HWインタフェース生成手法の実装2014

    • Author(s)
      東遼平、高瀬英希、高木一義、高木直史
    • Organizer
      情報処理学会システムLSI設計技術研究会
    • Place of Presentation
      横浜市 慶応義塾大学日吉キャンパス
    • Related Report
      2013 Annual Research Report
  • [Presentation] プログラマブルSoCのためのシステム設計環境におけるフロントエンドの実装と事例評価2014

    • Author(s)
      東遼平、高瀬英希、高木一義、高木直史
    • Organizer
      ETNET2014
    • Place of Presentation
      沖縄県石垣市  ICT文化ホール
    • Related Report
      2013 Annual Research Report
  • [Presentation] 浮動小数点演算器アレイの構成のための評価環境2013

    • Author(s)
      伊藤勇也、高木一義、高木直史, 他
    • Organizer
      電子情報通信学会コンピュータシステム研究会
    • Place of Presentation
      対馬市交流センター(長崎県対馬市)
    • Year and Date
      2013-03-14
    • Related Report
      2012 Annual Research Report
  • [Presentation] 桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器2013

    • Author(s)
      三苫晃弘、鬼頭信貴、高木直史
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      対馬市交流センター(長崎県対馬市)
    • Year and Date
      2013-03-14
    • Related Report
      2012 Annual Research Report
  • [Presentation] 部分二重化を用いたオンライン誤り検出可能な乗算器2013

    • Author(s)
      秋元一志、鬼頭信貴、高木直史
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      対馬市交流センター(長崎県対馬市)
    • Year and Date
      2013-03-14
    • Related Report
      2012 Annual Research Report
  • [Presentation] 剰余符号を用いたオンライン誤り検出可能な浮動小数点乗算器2013

    • Author(s)
      山口大樹、鬼頭信貴、高木直史
    • Organizer
      第69回FTC研究会
    • Place of Presentation
      山口市 かんぽの宿湯田
    • Related Report
      2013 Annual Research Report
  • [Presentation] 剰余検査によるオンライン誤り検出可能な浮動小数点乗算器2013

    • Author(s)
      山口大樹、鬼頭信貴、高木直史
    • Organizer
      情報処理学会 DAシンポジウム
    • Place of Presentation
      岐阜県下呂市 ホテル水明館
    • Related Report
      2013 Annual Research Report
  • [Presentation] 組込みマルチコアシステムにおけるタスク割付およびスクラッチパッドメモリ割当の同時最適化2013

    • Author(s)
      松本耕太朗、高瀬英希、高木一義、高木直史
    • Organizer
      情報処理学会 DAシンポジウム
    • Place of Presentation
      岐阜県下呂市 ホテル水明館
    • Related Report
      2013 Annual Research Report
  • [Presentation] 組込みシステム向けDVFSアルゴリズムのリアルタイムOSへの実装および比較評価2013

    • Author(s)
      岩田淳、高瀬英希、高木一義、高木直史
    • Organizer
      第12回情報科学技術フォーラム
    • Place of Presentation
      鳥取市 鳥取大学
    • Related Report
      2013 Annual Research Report
  • [Presentation] High-Level Synthesis for Nested Loop Kernels with Non-Uniform Dependencies2013

    • Author(s)
      Akihiro Suda, Hideki Takase, Kazuyoshi Takagi, Naofumi Takagi
    • Organizer
      SASIMI2013
    • Place of Presentation
      札幌市 ホテル札幌ガーデンパレス
    • Related Report
      2013 Annual Research Report
  • [Presentation] IEEE754標準丸めに対応した斜辺計算のためのVLSIアルゴリズム2013

    • Author(s)
      矢高裕之、高木直史
    • Organizer
      デザインガイア2013
    • Place of Presentation
      鹿児島市 鹿児島県文化センター
    • Related Report
      2013 Annual Research Report
  • [Presentation] 高位合成における非一様依存性を持つ入れ子ループ向けのバッファ構成法2013

    • Author(s)
      須田瑛太、高瀬英希、高木一義、高木直史
    • Organizer
      デザインガイア2013
    • Place of Presentation
      鹿児島市 鹿児島県文化センター
    • Related Report
      2013 Annual Research Report
  • [Presentation] 桁上げ生成二重化によるフォールドセキュアな並列プレフィクス加算器の構成法2012

    • Author(s)
      鬼頭信貴、高木直史
    • Organizer
      電子情報通信学会ディペンダブルコンピューティング研究会
    • Place of Presentation
      九州大学医学部百周年講堂(福岡市)
    • Year and Date
      2012-11-28
    • Related Report
      2012 Annual Research Report

URL: 

Published: 2012-04-24   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi