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

動作レベルハードウェア記述言語と動作合成に関する研究

Research Project

Project/Area Number 09780268
Research Category

Grant-in-Aid for Encouragement of Young Scientists (A)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionKyoto University

Principal Investigator

五島 正裕  京都大学, 情報学研究科, 助手 (90283639)

Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 1998: ¥300,000 (Direct Cost: ¥300,000)
Fiscal Year 1997: ¥1,900,000 (Direct Cost: ¥1,900,000)
Keywordsハードウェア記述言語 / トップダウン設計 / 動作記述 / 機能合成 / 動作合成 / 合成ディレクティブ / 動作レベルHDL
Research Abstract

動作レベルハードウエア記述言語Evelynでは,システムの動作が時間方向に記述され,それにより自動的にパイプラインを合成することができる.ハードウェアを動作単位に記述し,その記述に対して徐々に詳細な設計情報を付加していく,というアプローチをとっているため,設計変更も記述のマイナーな変更のみで行なうことができる.
本年度は,Evelynの言語仕様のうち記述方法を,ユーザがより理解しやすい記述方法となるように,また,より設計変更のコストを減らすことができるように改良した.具体的には,パイプラインの記述を代入文毎に実行サイクル数を指定する方法で行なうと,記述の抽象度を上げることができ,より理解しやすく,設計変更のコストを減らすことがわかったので,その方法を採用した.また,通信を行なう際に手続きを呼び出すことで実現する方法を用い名と,自然に記述を行なうことが可能であり,理解しやすいことがわかったので,この方法を採用した.
さらに本年度は,具体的な物理的制約を記述する前に,動作記述の段階で誤りがないかどうかを確認することができる動作シミュレータを完成させた.動作記述の段階で誤りを発見することができれば,そうしない場合と比較して,設計変更のコストを減らすことがわかっている.動作シミュレータでは,各代入文毎に実行可能かどうかを判定し,そのサイクルで実行可能なサイクルがないと次のサイクルへと移るという方法を採っている.この方法で動作記述の段階でのシミュレーションとしては,十分であることがわかった.補助金で購入したワークステーションは,動作シミュレータの作成および動作シミュレータの実行に使用した.

Report

(2 results)
  • 1998 Annual Research Report
  • 1997 Annual Research Report
  • Research Products

    (5 results)

All Other

All Publications (5 results)

  • [Publications] Masahiro Goshima: "The intelligent cache controller of a massively parallel processor JUMP-1" Proc.IWIA'98 Int'1 Workshop on Innovative Architecture for Future Generation High-Poformance Processors & Systems. 116-124 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 五島正裕: "並列化コンパイラTINPARによる非均質計算環境向けコード生成手法" 並列処理シンポジウム JSPP'97. 205-212 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Masahiro Goshima: "Improvement of Message Communication in Concurrent Logic Language" Proceeding of the Second International Symposium on Parallel Symbolic Computation PASCO'97. 156-164 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Masahiro Goshima: "A Technique to Eliminate pedundunt Inter-Processor Communication on Parallelizing Compiler TINPAR" Proc. of Int'l Symposium on High Performance Computing. 195-204 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] Masahiro Goshima: "Efficlont Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis" Advances in Computing Science ASIAN'97. 268-282 (1997)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi