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

行为级硬件描述语言与行为综合研究

• 批准号: 09780268
• 负责人: 五島 正裕
• 金额: $ 1.41万
• 依托单位: Kyoto University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1997
• 资助国家: 日本
• 起止时间: 1997 至 1998
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-09780268/
• 关键词: ハードウェア記述言語; トップダウン設計; 動作記述; 機能合成; 動作合成; 合成ディレクティブ; 動作レベルHDL

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

Action description Speech Evelyn Description of action in time direction, automatic description of action in time direction, automatic description of action in time direction. The design information is added to the description of the action unit, and the description is added to the detailed design information. This year,Evelyn's speech description method, change understanding, change design and improvement. Specific description of the text into the text to implement the number of specified methods, the description of the degree of abstraction, to understand the design of the change in the number of reduced methods adopted. The method of communication is to use the name, to describe the nature, to describe the possibility, to understand, to adopt. This year, specific physical constraints are described before, and the stage errors of the action description are confirmed. Action description of the stage error is found in the case of comparison, design change and reduction. The action is reversed, each substitution text is possible to determine, and the method is adopted. This method is used to describe the movement of the paragraph. The grant was purchased and used in the preparation and implementation of the action plan.

项目成果

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)

Masahiro Goshima：“并行逻辑语言中消息通信的改进”第二届并行符号计算国际研讨会 PASCO97 论文集。

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

Masahiro Goto：“使用并行编译器 TINPAR 的非同质计算环境的代码生成方法”并行处理研讨会 JSPP97 (1997)。

Masahiro Goshima: "Efficlont Goal Scheduling in Concurrent Logic Language using Type-Based Dependency Analysis" Advances in Computing Science ASIAN'97. 268-282 (1997)

Masahiro Goshima：“使用基于类型的依赖性分析的并发逻辑语言中的高效目标调度”计算科学 ASIAN97 的进展。

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)

Masahiro Goshima：“一种消除并行编译器 TINPAR 上的待处理处理器间通信的技术”Proc。

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)

Masahiro Goshima：“大规模并行处理器 JUMP-1 的智能缓存控制器”Proc.IWIA98 Int1 下一代高性能处理器创新架构研讨会