条件分岐と繰り返し構造を含む動作記述からの高位合成手法に関する研究
条件分岐と繰り返し構造を含む動作記述からの高位合成手法に関する研究
批准号:
08780272
负责人:
石浦 菜岐佐
金额:
$0.58万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Encouragement of Young Scientists (A)
财政年份:
1996
资助国家:
日本
项目状态:
已结题
起止时间:
1996 至 --
中文摘要
点击翻译按钮获取中文摘要
英文摘要
本研究では,条件分岐や繰り返し構造を含む複雑な制御構造に対応できる高位合成手法を確立を目標に,アルゴリズム,システム試作の研究を行ない,以下の成果を得た.(1)スケジューリング/アロケーション手法の研究プログラムを分岐を含まない「基本ブロック」と制御構造に分解したデータ構造を開発し,各基本ブロックに対してスケジューリング/アロケーションを行なうという方法をとった.マルチサイクル演算器,パイプライン演算器の他,ALUなどの多機能演算器も扱える方法を開発した.(2)高位合成システムの試作上記アルゴリズムに基づき,C言語のサブセットを入力とし,レジスタ転送レベルのハードウェア記述生成のための中間言語を出力とする高位合成システムを試作した.また,この中間言語から,論理合成を行なってレイアウトの生成ができるVHDL記述を生成する方法論も確立することができた.開平,ソーティング,楕円フィルタ,メディアンフィルタ等,条件分岐,ループを含む120行程度のCプログラムに対して実験を行なった結果1分以下で合成が行なえることが確認できた.(3)アーキテクチャ評価システムの検討プログラムからハードウェアの高位合成とは異なるもう一つの設計支援のアプローチとして,プログラムとハードウェアのアーキテクチャを与えて,そのアーキテクチャの評価(実行サイクル数,演算・転送資源率,消費電力など)を行なう方法についても検討を行なった.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
S.Nakamura 他: "High-Level Synthesis System for Behavioral Description with Conditional Branches" Proceedings of International Technical Conference on Cirduits/Systems,Computers and Communications. 935-938 (1996)
S. Nakamura 等人:“具有条件分支的行为描述的高级综合系统”国际电路/系统、计算机和通信技术会议记录 935-938 (1996)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
RTOS利用システムのフルハードウェア化の実用化に関する研究
-
批准号:24K14885
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$3.0万
-
财政年份:2024
-
负责人:石浦 菜岐佐
-
依托单位:
論理関数処理による記号シミュレーションと無解釈評価に基づくプロセッサの形式的検証
-
批准号:07780258
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1995
-
负责人:石浦 菜岐佐
-
依托单位:
二分決定グラフに基づく組合せ論理回路の合成法に関する研究
-
批准号:06780264
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.45万
-
财政年份:1994
-
负责人:石浦 菜岐佐
-
依托单位:
符号化時間記号シミュレーションに基づく論理回路のタイミングエラー確率の解析
-
批准号:04750332
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1992
-
负责人:石浦 菜岐佐
-
依托单位:
非決定的動作モデルNESに基づくハードウェア記述言語の形式的意味付けに関する研究
-
批准号:02750271
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1990
-
负责人:石浦 菜岐佐
-
依托单位:
ハードウェア記述言語の形式的意味付けのための時間のモデル化に関する研究
-
批准号:01750332
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1989
-
负责人:石浦 菜岐佐
-
依托单位:
時間記号シミュレーションによる論理回路のタイミング検証に関する研究
-
批准号:63750351
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1988
-
负责人:石浦 菜岐佐
-
依托单位:
海外基金