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

内部構造が可変な汎用コプロセッサシステムおよびその最適化コンパイラに関する研究

研究課題

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

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 計算機科学
研究機関奈良先端科学技術大学院大学

研究代表者

渡邊 勝正 (渡邉 勝正)  奈良先端科学技術大学院大学, 情報科学研究科, 教授 (60026078)

研究分担者 高木 一義  奈良先端科学技術大学院大学, 情報科学研究科, 助手 (70273844)
國島 丈生  岡山県立大学, 情報工学部, 助手 (20263436)
木村 晋二  奈良先端科学技術大学院大学, 情報科学研究科, 助教授 (20183303)
研究期間 (年度) 1995 – 1997
研究課題ステータス 完了 (1997年度)
配分額 *注記
5,800千円 (直接経費: 5,800千円)
1997年度: 700千円 (直接経費: 700千円)
1996年度: 1,600千円 (直接経費: 1,600千円)
1995年度: 3,500千円 (直接経費: 3,500千円)
キーワードハードウェア / ソフトウェアコデザイン / ソフトウェア協調動作 / 高位合成 / 再構成可能システム / ハードウェアアクセラレータ / FPGA / 汎用コプロセッサ / Cコンパイラ / 汎用コブロセッサ / ソフトウェア協調設計 / ハードウェア記述言語 / 並列化コンパイラ / コデザイン / エミュレーション / コプロセッサ / 論理合成
研究概要

本研究では、任意の回路を再構成して実現でき、計算機の主プロセッサと協調動作できる汎用コプロセッサ(General Purpose Coprocessor,GPCP)のアーキテクチャ、ハードウェアモジュールの自動生成手法、主プロセサとの協調動作手法の研究を行い、以下のような成果が得られた。
1.FPGAを用いた再構成可能なハードウェア、キャッシュメモリ、バスインタフェースから構成される汎用コプロセッサのアーキテクチャの提案を行った。また、実際にSunワークステーション用のプロトタイプの設計と実現を行った。プロトタイプでは、5万ゲート相当の可変回路部、1MBのキャッシュ、書き込みキューを持つインタフェースを実現した。
2.協調動作手法に関しては、バスアクセスをベースに用いて主プロセッサとコプロセッサとがデータ通信を行う手法を提案し、実際にSunのワークステーション上に実現してアクセス時間の評価やキャッシュの有効性を評価を行った。
3.協調設計手法に関しては、Cのプログラムをハードウェア化する手法、およびFPGA向け最適化手法の研究を行った。ついで、Cのプログラムの各関数毎でハードウェア実現した場合の実行時間とハードウェア量を評価する手法を提案し、関数の実現方法(ハードウェア実現かソフトウェア実現か)の決定手法の研究を行った。ハードウェアモジュールの最適化については、変数のビット幅を自動的に縮める手法、ビットレベル演算機能のまとめあげに基づく実行クロック数の最小化法、待ち状態を用いた演算のタイミング保証法の研究を行った。また、待ち状態で保護された経路を除いて最長タイミング経路を検出する手法の研究を行った。
4.実際の応用に関しては、いくつかの応用プログラムに関して実際に協調設計・動作を行い、構文解析など同じ入力について複数の比較を行う場合や、グラフィックスの応用のようにビットレベルの演算を含む場合において、汎用コプロセッサを用いた高速化の有効性を確認した。

報告書

(4件)
  • 1997 実績報告書   研究成果報告書概要
  • 1996 実績報告書
  • 1995 実績報告書
  • 研究成果

    (29件)

すべて その他

すべて 文献書誌 (29件)

  • [文献書誌] 木村 晋二: "Residue BDD and Its Application to the veripication of Arithmetic Circuits" 32nd Design Automation Conference. 542-545 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] 伊藤 康史, 平尾 誠, 木村 晋二, 渡邊 勝正: "汎用コプロセッサGPCP-SSの実現と評価" 電子情報通信学会VLD研究会. VLDG5-89 (FTS95-62). 87-94 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] 雪下充 輝, 名古屋 彰, 伊藤 康史, 木村 晋二: "ハードウェア/ソフトウェア協調動作システム" 情報処理学会DA研究会. 78-21. 127-132 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] 伊藤 康史, 平尾 誠, 木村 晋二, 渡邊 勝正: "汎用コプロセッサGPCP-SSのハードウェア/ソフトウェア協調設計のためのコンパイラ" DAシンポジウム′96論文集. 123-128 (1996)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] 木村 晋二, 雪下充 輝, 伊藤 康史, 名古屋 彰, 平尾 誠, 渡邊 勝正: "A Hardware/Software Codesign Method for a General Purpose Reconfigureble Coproceser" 5th International Workshop on Hardware/Software Codesign. 147-151 (1997)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] 中村 一博, 木村 晋二, 高木 一義, 渡邊 勝正: "順序回路の待ち状態に起因するフォールスパスの解析手法" 電子情報通信学会 VLD研究会. (1998)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shinji Kimura: "Residue BDDand Its Application to the Verification of Arithmetic Circuits" Proc.32bd Design Automation Conference. 542-545 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shinji Kimura: "Design Verification of Arithmetic Circuits Using Residue BBD's (in Japanese)" Technical Reports of IEICE. VLD95-46. 1-8 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Futoshi Matsumoto, Shinji Kimura and Katsumasa Watanabe: "A Parallel Transduction Method using Parallel BDD Manipulation (in Japanese)" Technical Report of IEICE. VLD95-89. 1-8 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Yasufumi Itoh, Makoto Hirao, Shinji Kimura and Katsumasa Watanabe: "Design and Implementation of Reconfigurable General Purpose Coprocessor GPCP-SS (in Japanese)" Technical Report of IEICE. VLD95-100/FTS95-62. 87-94 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Mitsuteru Yukishita, Akira Nagoya, Yasufumi Itoh, and Shinji Kimura: "Hardware/Software Co-design System (in Japanese)" Technical Report of IPSJ. DA78-21. 127-132 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Shinji Kimura, Makoto Hirao, Kazuyoshi Takagi and Katsumasa Watanabe: "Timing Analysis of Logic Circuits with Multiple Clock Operations" Technical Report of IEICE. VLD96-33. 53-58 (1996)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Yasufumi Itoh, Makoto Hirao, Shinji Kimura and Katsumasa Watanabe: "Hardware/Software Codesign Compiler for General Purpose Coprocessor GPCP-SS (in Japanese)" Proceedings of DA Symposium'96. 123-128 (1996)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Takanori Sakate, Shinji Kimura and Katsumasa Watanabe: "A Reduaction Method of Register Transfer Level Logic Circuits for Design Verification (in Japanese)" Technical Report of IEICE. VLD96-91. (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Yasufumi Itoh, Makoto Hirao, Kazuyoshi Takagi, Shinji Kimura and Katsumasa Watanabe: "Hardware/Software Codesign and Co-operation on General Purpose Coprocessor using DMA (in Japanese)" Technical Report of IEICE. VLD96-98 ICD96-208. 17-22 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] S.Kimura, M.Yukishita, Y.Itoh, A.Nagoya, M.Hirao and K.Watanabe: "A Hardware/Software Codesign Method for a General Purpose Reconfigurable Coprocessor" 5th International Workshop on Hardware/Software Codesign (CODES/CASHE'97). 147-151 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Yasufumi Itoh, Shinji Kimura, and Katsumasa Watanabe: "Hardware Resource Management on Computer Systems with Reconfigurable Hardware (in Japanese)" Technical Report of IEICE. VLD97-101. 9-14 (1997)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] Kazuhiro Nakamura, Shinji Kimura, Kazuyoshi Takagi and Katsumasa Watanabe: "Waiting False Path Analysis of Sequential Logic Circuits (in Japanese)" Technical Report of IEICE. VLD97-133. 71-78 (1998)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1997 研究成果報告書概要
  • [文献書誌] 伊藤康史, 木村晋二, 渡邉勝正: "可変ハードウェアを有する計算機システムにおけるハードウェア資源の管理について" 電子情報通信学会 VLD研究会. VLD97-101(CPSY97-89). 9-14 (1997)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 中村一博, 木村晋二, 高木一義, 渡邉勝正: "順序回路の待ち状態に起因するフォールスパスの解析手法" 電子情報通信学会 VLD研究会. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 中村一博, 木村晋二, 高木一義, 渡邉勝正: "順序回路の待ち状態に起因するフォールスパスの解析とそれを用いたタイミング検証" 電子情報通信学会 総合大会. A-3-8. (1998)

    • 関連する報告書
      1997 実績報告書
  • [文献書誌] 木村晋二、平尾誠、高木一義、渡邉勝正: "マルチクロック演算を考慮した論理回路のタイミング解析" 電子情報通信学会VLD研究会. VLD96-33 No.201. 53-58 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 伊藤康史、平尾誠、木村晋二、渡邉勝正: "汎用コプロセッサGPCP-SSのハードウェア/ソフトウェア協調設計のためのコンパイラ" 情報処理学会DAシンポジウム'96論文集. 123-128 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 伊藤康史、平尾誠、高木一義、木村晋二、渡邉勝正: "汎用コプロセッサを有する計算機システムのためのハードウェア/ソフトウェア協調設計手法" 電子情報通信学会ソサイエティ大会講演論文集. A-66. (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 平尾誠、伊藤康史、高木一義、木村晋二、渡邉勝正: "汎用コプロセッサのための最大遅延を保証するハードウェア設計手法の提案" 電子情報通信学会ソサイエティ大会講演論文集. A-67. (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 伊藤康史、平尾誠、高木一義、木村晋二、渡邉勝正: "汎用コプロセッサのDNAを用いたハードウェア/ソフトウェア協調動作法およびそのハードウェア部の最適化法について" 電子情報通信学会ICD研究会/VLD研究会. VLD96-98(ICD96-208)No.556. 17-22 (1997)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] Shinji Kimura,Mitsuteru Yukishita,Yasufumi Itoh,Akira Nagoya,Makoto Hirao,Katsumasa Watanabe: "A Hardware/Software Codesign Method for a General Purpose Reconfigurable Co-Rrocessor" Proceedings of 5th IEEE International Workshop on Hardware/Software Codesign. (1997)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 伊藤,康史: "汎用コプロセッサGPCP-SSの実現と評価" 信学技報VLD95-100. 87-94 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 雪下,充輝: "ハードウェア/ソフトウェア協調設計システム" 情報研報DA 78-21. 127-132 (1995)

    • 関連する報告書
      1995 実績報告書

URL: 

公開日: 1995-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi