ハードウェアの動的再構成機能を積極的に利用する計算パラダイムの探求

探索积极利用硬件动态重新配置能力的计算范式

• 批准号: 16700067
• 负责人: 山下 茂
• 金额: $ 1.86万
• 依托单位: Nara Institute of Science and Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2006
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16700067/
• 关键词: 再構成可能アーキテクチャ; ビットシリアルアーキテクチャ; オンライン資源管理; 配置配線; SAT; アクティブソフトウェア; 論理設計; 例外処理検出; 粗粒度アーキテクチャ; 連立方程式; 省配線領域アーキテクチャ; 動的再構成アーキテクチャ

本研究では、動的に機能を書き換えられれるハードウェアの可能性を追求するために、新しいアーキテクチャ、設計手法、利用方法など様々な面について新しい知見を得ることを目指している。今年度はこれらに関して、以下のような研究を進めた。1.SATを再構成可能なデバイスで解く効率の良い手法の開発ソフトウェアSATソルバはnonchronologicalバックトラッキング、clauseレコーディングを用いて、大幅な速度増加を実現している。しかしながら、これらの手法は複雑な処理を必要とするため、多くのハードウェアSATソルバでは実装されていない。そこで、これらの手法を複雑な処理を用いずに動的ハードウェアで実装する方法を提案した。EDAに関する問題において現在のソフトウェアSATソルバに比べ32-197倍の処理速度増加を見積もる事ができた。2.1ビットプロセッサアレイ向け再構成可能1ビットプロセッサアレイ向けのハード・ソフト協調設計リコンフィギュラブルアーキテクチャ向けのHW/SW分割手法に関しては、既に多くの研究が行われている。しかし、1ビットプロセッサアレイ向けのHW/SW分割手法には、従来の手法をそのまま適用することはできない。そこで、ヒューリスティックなアルゴリズムを用いた1ビットプロセッサアレイ向けHW/SW分割手法を提案した。提案手法は、1ビットアーキテクチャではパイプラン処理が可能であることを考慮して、ハードウェアではパイプライン処理が可能であることをスケジューリングのコスト計算に勘案することにより従来手法よりも効率的なスケジューリングを可能とした。これらの研究成果を踏まえて、今後更なる研究を進め、動的再構成可能なデバイスの利用方法を明らかにすることを目指す。

This study aims to explore the possibility of changing the functions of the mobile communication system, design methods, and utilization methods. This year's research is progressing. 1. SAT reconstruction is possible to solve the problem of high efficiency and good method of development. SAT reconstruction is possible to solve the problem of high efficiency and high speed increase. The method of recovery is necessary, and the method of recovery is necessary. This paper proposes a new method for solving the problem of internal combustion engine failure. EDA-related problems are now solved by 32-197 times faster than SAT. 2.1 The re-construction of the structure. The HW/SW split method is applicable to the following methods: A method of HW/SW separation is proposed for the first time in the history of the company. The proposal method is to consider whether or not the processing of a file is possible. The research results of this paper will be further developed and the reconstruction of the research results will be further developed.

项目成果

Event-Oriented Computing with Reconfigurable Platform

具有可重构平台的面向事件的计算

• 发表时间: 2005
• 期刊: In Proc. of the 10th Asia and South Pacific Design Automation Conference ASP-DAC 2005
• 作者: M.Tomono;M.Nakanishi;S.Yamashita;K.Watanabe
• 通讯作者: K.Watanabe

ソフトウェアの自己変更を支援する機構について

支持软件自我修改的机制

• 发表时间: 2004
• 期刊: 電子情報通信学会 ソフトウェアサイエンス研究会 信学技報 SS2004-34
• 作者: 渡邉勝正;井上晶広;山田洋平;中西正樹;山下茂
• 通讯作者: 山下茂

A hardware SAT solver using non-chronological backtracking and clause recording without overheads

使用非时间回溯和子句记录且无开销的硬件 SAT 求解器

• 发表时间: 2007
• 期刊: Proc. of 3rd International Workshop on Applied Reconfigurable Computing ARC2007
• 作者: Yoshiaki KONDO;Keiichi SAKAI;S.Hiramoto
• 通讯作者: S.Hiramoto

配線リソースを考慮した再構成可能1bitプロセッサアレイ

考虑布线资源的可重构 1 位处理器阵列

• 发表时间: 2005
• 期刊: 電子情報通信学会,信学技法 SLDM2005-1
• 作者: 中井伸郎;中西正樹;山下茂;渡邉勝正
• 通讯作者: 渡邉勝正

耐タンパCPUによるプログラム実行の証明

防篡改CPU执行程序的证明

• 发表时间: 2004
• 期刊: 情報処理学会研究会報告CSECコンピュータセキュリティ Vol.2004, No.75
• 作者: 岡崎篤也;中西正樹;山下茂;渡邉勝正
• 通讯作者: 渡邉勝正