• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

データ表現の工夫による高性能・高信頼浮動小数点演算器アレイに関する研究

研究課題

研究課題/領域番号 24300019
研究種目

基盤研究(B)

配分区分一部基金
応募区分一般
研究分野 計算機システム・ネットワーク
研究機関京都大学

研究代表者

高木 直史  京都大学, 情報学研究科, 教授 (10171422)

研究分担者 高木 一義  京都大学, 大学院情報学研究科, 准教授 (70273844)
研究期間 (年度) 2012-04-01 – 2015-03-31
研究課題ステータス 完了 (2014年度)
配分額 *注記
10,530千円 (直接経費: 8,100千円、間接経費: 2,430千円)
2014年度: 2,600千円 (直接経費: 2,000千円、間接経費: 600千円)
2013年度: 4,030千円 (直接経費: 3,100千円、間接経費: 930千円)
2012年度: 3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
キーワード算術演算回路 / 演算器アレイ / オンライン誤り検出 / (2)算術演算回路
研究成果の概要

浮動小数点演算器アレイを、アレイ内のデータ表現を工夫して高性能化、高信頼化する研究を行い、パリティ予測や部分二重化、剰余検査によるオンライン誤り検出可能な演算器の構成法、および、二つの倍精度浮動小数点積和演算器を用いて4倍精度相当の高精度演算を行う手法等を提案した。また、多重ループ構造および配列操作を含むプログラムから浮動小数点演算器とメモリ等からなるプロセッシングエレメントのアレイを自動合成する手法を提案した。さらに、浮動小数点演算器アレイのシミュレータを開発した。

報告書

(4件)
  • 2014 実績報告書   研究成果報告書 ( PDF )
  • 2013 実績報告書
  • 2012 実績報告書
  • 研究成果

    (20件)

すべて 2015 2014 2013 2012

すべて 雑誌論文 (2件) (うち査読あり 2件、 謝辞記載あり 1件) 学会発表 (18件)

  • [雑誌論文] Nested Loop Parallelization Using Polyhedral Optimization in High-Level Synthesis2014

    • 著者名/発表者名
      Akihiro Suda, Hideki Takase, Kazuyoshi Takagi, Naofumi Takagi
    • 雑誌名

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      巻: E97.A 号: 12 ページ: 2498-2506

    • DOI

      10.1587/transfun.E97.A.2498

    • NAID

      130004706413

    • ISSN
      0916-8508, 1745-1337
    • 関連する報告書
      2014 実績報告書
    • 査読あり / 謝辞記載あり
  • [雑誌論文] Low-Overhead Fault-Secure Parallel Prefix Adder by Carry-Bit Duplication2013

    • 著者名/発表者名
      Nobutaka Kito, Naofumi Takagi
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: E96.D 号: 9 ページ: 1962-1970

    • DOI

      10.1587/transinf.E96.D.1962

    • NAID

      130003370984

    • ISSN
      0916-8532, 1745-1361
    • 関連する報告書
      2013 実績報告書
    • 査読あり
  • [学会発表] 部分二重化を用いたオンライン誤り検出可能な浮動小数点乗算器の設計と評価2015

    • 著者名/発表者名
      鬼頭信貴、秋元一志、高木直史
    • 学会等名
      ETNET2015(電子情報通信学会ディペンダブルコンピューティング研究会)
    • 発表場所
      奄美市 奄美社会福祉協議会
    • 年月日
      2015-03-06 – 2015-03-07
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 2つの浮動小数点倍精度加算器を用いた仮数部104ビット拡張倍精度加算器2014

    • 著者名/発表者名
      矢高裕之、高木直史、高木一義
    • 学会等名
      デザインガイア2014(電子情報通信学会コンピュータシステム研究会)
    • 発表場所
      別府市 ビーコンプラザ(別府国際コンベンションセンター)
    • 年月日
      2014-11-26 – 2014-11-28
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 2つの浮動小数点積和演算器を用いた複素数乗算器2014

    • 著者名/発表者名
      高田雄平、高木直史、高木一義
    • 学会等名
      デザインガイア2014(電子情報通信学会コンピュータシステム研究会)
    • 発表場所
      別府市 ビーコンプラザ(別府国際コンベンションセンター)
    • 年月日
      2014-11-26 – 2014-11-28
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 行列多項式 I+A+A^2+…+A^{N-1} の計算における乗算回数について2014

    • 著者名/発表者名
      松本耕太郎、高木直史、高木一義
    • 学会等名
      電子情報通信学会コンピュテーション研究会
    • 発表場所
      豊橋市 豊橋技術科学大学
    • 年月日
      2014-09-02
    • 関連する報告書
      2014 実績報告書
  • [学会発表] 部分二重化を用いた微小誤りを許容するオンライン誤り検出可能な浮動小数点乗算器2014

    • 著者名/発表者名
      鬼頭信貴、秋元一志、高木直史
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      東京都港区 機械振興会館
    • 年月日
      2014-06-20
    • 関連する報告書
      2014 実績報告書
  • [学会発表] プログラマブルSoCのためのシステム設計環境の検討とSW-HWインタフェース生成手法の実装2014

    • 著者名/発表者名
      東遼平、高瀬英希、高木一義、高木直史
    • 学会等名
      情報処理学会システムLSI設計技術研究会
    • 発表場所
      横浜市 慶応義塾大学日吉キャンパス
    • 関連する報告書
      2013 実績報告書
  • [学会発表] プログラマブルSoCのためのシステム設計環境におけるフロントエンドの実装と事例評価2014

    • 著者名/発表者名
      東遼平、高瀬英希、高木一義、高木直史
    • 学会等名
      ETNET2014
    • 発表場所
      沖縄県石垣市  ICT文化ホール
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 浮動小数点演算器アレイの構成のための評価環境2013

    • 著者名/発表者名
      伊藤勇也、高木一義、高木直史, 他
    • 学会等名
      電子情報通信学会コンピュータシステム研究会
    • 発表場所
      対馬市交流センター(長崎県対馬市)
    • 年月日
      2013-03-14
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 桁上げビットの二重化によるセルフチェッキング桁上げ先見加算器2013

    • 著者名/発表者名
      三苫晃弘、鬼頭信貴、高木直史
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      対馬市交流センター(長崎県対馬市)
    • 年月日
      2013-03-14
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 部分二重化を用いたオンライン誤り検出可能な乗算器2013

    • 著者名/発表者名
      秋元一志、鬼頭信貴、高木直史
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      対馬市交流センター(長崎県対馬市)
    • 年月日
      2013-03-14
    • 関連する報告書
      2012 実績報告書
  • [学会発表] 剰余符号を用いたオンライン誤り検出可能な浮動小数点乗算器2013

    • 著者名/発表者名
      山口大樹、鬼頭信貴、高木直史
    • 学会等名
      第69回FTC研究会
    • 発表場所
      山口市 かんぽの宿湯田
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 剰余検査によるオンライン誤り検出可能な浮動小数点乗算器2013

    • 著者名/発表者名
      山口大樹、鬼頭信貴、高木直史
    • 学会等名
      情報処理学会 DAシンポジウム
    • 発表場所
      岐阜県下呂市 ホテル水明館
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 組込みマルチコアシステムにおけるタスク割付およびスクラッチパッドメモリ割当の同時最適化2013

    • 著者名/発表者名
      松本耕太朗、高瀬英希、高木一義、高木直史
    • 学会等名
      情報処理学会 DAシンポジウム
    • 発表場所
      岐阜県下呂市 ホテル水明館
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 組込みシステム向けDVFSアルゴリズムのリアルタイムOSへの実装および比較評価2013

    • 著者名/発表者名
      岩田淳、高瀬英希、高木一義、高木直史
    • 学会等名
      第12回情報科学技術フォーラム
    • 発表場所
      鳥取市 鳥取大学
    • 関連する報告書
      2013 実績報告書
  • [学会発表] High-Level Synthesis for Nested Loop Kernels with Non-Uniform Dependencies2013

    • 著者名/発表者名
      Akihiro Suda, Hideki Takase, Kazuyoshi Takagi, Naofumi Takagi
    • 学会等名
      SASIMI2013
    • 発表場所
      札幌市 ホテル札幌ガーデンパレス
    • 関連する報告書
      2013 実績報告書
  • [学会発表] IEEE754標準丸めに対応した斜辺計算のためのVLSIアルゴリズム2013

    • 著者名/発表者名
      矢高裕之、高木直史
    • 学会等名
      デザインガイア2013
    • 発表場所
      鹿児島市 鹿児島県文化センター
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 高位合成における非一様依存性を持つ入れ子ループ向けのバッファ構成法2013

    • 著者名/発表者名
      須田瑛太、高瀬英希、高木一義、高木直史
    • 学会等名
      デザインガイア2013
    • 発表場所
      鹿児島市 鹿児島県文化センター
    • 関連する報告書
      2013 実績報告書
  • [学会発表] 桁上げ生成二重化によるフォールドセキュアな並列プレフィクス加算器の構成法2012

    • 著者名/発表者名
      鬼頭信貴、高木直史
    • 学会等名
      電子情報通信学会ディペンダブルコンピューティング研究会
    • 発表場所
      九州大学医学部百周年講堂(福岡市)
    • 年月日
      2012-11-28
    • 関連する報告書
      2012 実績報告書

URL: 

公開日: 2012-04-24   更新日: 2019-07-29  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi