权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

リアクティブプログラミングに基づくハードウェア・ソフトウェアの協調設計環境

基于反应式编程的软硬件协同设计环境

基本信息

批准号：
18J22381
负责人：
照屋大地
金额：
$ 1.41万
依托单位：
Tokyo University of Agriculture and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for JSPS Fellows
财政年份：
2018
资助国家：
日本
起止时间：
2018-04-25 至 2021-03-31
项目状态：
已结题

项目摘要

本研究は，ディジタル回路設計やコンピュータアーキテクチャの知識が少ないソフトウェア開発者でもFPGAによるアクセラレータが設計できるようにするための技術を研究するものである．GUI設計やデータベース操作などに広く利用されるFunctional Reactive Programming (FRP) を応用したディジタル回路設計手法を提案し，ディジタル回路設計支援ツールMulveryの開発を進めている．本年度は，Mulveryの今後の最適化技術の研究を進める基盤として，中間表現 Mulvery IR の開発を進めた．一般的にディジタル回路設計で用いられているHardware description language (HDL) と同等の抽象度に細分化し最適化を行う．また本年度は，カナダのトロント大学 Programmable digital systems group (PDSG) に約半年間訪問し，ディジタル回路生成の最適化に関する研究を中心に行った．研究１：条件分岐の多いプログラムは回路化した際の演算効率が低くなりやすい．このような条件分岐を圧縮し投機的に計算し，高い演算密度を実現する手法について提案した．研究２：PDSGで研究するLegUpは，C言語のプログラムをディジタル回路を記述したVerilog HDLに変換するツールである．C言語ではプログラムの再利用性を高めるため関数ポインタを利用するが，このような動的な動作はディジタル回路設計では容易に実現できない．このような関数ポインタを用いた間接呼び出しを削除し直接呼出しに置き換える手法を開発した．本研究で開発するMulveryが用いるFRPでも多数の高階関数を利用するため，同様の最適化手法が適用できる．

This study proposes a new approach to design a circuit for FPGA based on GUI design and Functional Reactive Programming (FRP). Design support for multi-loop design. This year, Mulvery's future optimization technology research has progressed. General Hardware description language (HDL) is used for circuit design and optimization. This year, the University Programmable Digital Systems Group (PDSG) visited the Research Center for Optimization of Circuit Generation for approximately half a year. Study 1: The efficiency of conditional divergence is low due to the multiple choice of conditional divergence. The condition of divergence reduces the calculation of speculation, and the calculation density increases. Study 2: PDSG Study LegUp: C Speech and Speech Loop Description Verilog HDL Transformation.C Speech and Speech Loop Reusability High.C Speech and Speech Loop Reusability High. C Speech and Speech Loop Design Easy to Implement. The number of calls is reduced and the number of calls is reduced. In this study, we developed a method for optimizing FRP by using most of the higher-order relations.