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

動的再構成可能FPGAを用いた可変構造システムの設計および検証に関する研究

基于动态可重构FPGA的变结构系统设计与验证研究

基本信息

批准号：
14780216
负责人：
北道淳司
金额：
$ 1.86万
依托单位：
The University of Aizu
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2002
资助国家：
日本
起止时间：
2002 至 2003
项目状态：
已结题

项目摘要

平成15年度の研究実績の概要は以下の通りである.[1]形式的検証法の提案非同期式回路の設計あるいは同期式システムのシステムレベル設計では、設計の正しさを保証するためにタイミングを考慮した検証が必要である。今年度は、イベントの発生時間(信号線の挙動時間なども含む)を実数および整数変数で表した時間制約論理のためのアルゴリズムを考案した。BDD(二分決定グラフ)を拡張したもので、従来提案されている時間制約論理のための手法に比べ扱えるクラスが広く、BDDのもつ一意性など処理の高速化のための性質を有している。現在評価および高速化のための改善を行っているところであり、文献[4]において平成16年5月に学会発表予定である。[2]可変構造システムのシステムレベルからの段階的設計法の提案と試作設計すべきシステムに対して,既存の可変構造システムではその特徴を活かせず,必要なパフォーマンスが得られない場合がある.そのような場合,新たな可変構造システムを設計し,それらの上で必要とされるシステムを実装するほうが有利と考えられる.そのような場合,新たな可変構造システムをプロトタイプし,その上で高速なシステムシミュレーションによるパフォーマンス評価を行う必要がある.近年回路システム設計においてC言語ベースの回路記述言語による手法が注目されており,この手法を用いた可変構造システムの段階的設計方法を文献[1]で提案した。実際に設計手法を実現するために、分散プロセッサおよび信号処理方法の一つであるアダマール変換について複数の実現方法を提案し発表した(文献[2],[3])。NTTによって提案されている動的再構成デバイスPCAに対して、SystemCを用いたモデルを開発し、高速シミュレーションによりパフォーマンス評価が可能となった。平成16年5月に学会発表予定である。

Summary of research results for the year 2015 [1]The design of asynchronous circuits is necessary to consider the design of synchronous circuits. This year, the occurrence time of the event (signal line movement time) is calculated as a number of integer values to indicate the time constraint logic. BDD(binary decision making) is a time-constrained logic technique that is more efficient than BDD (binary decision making) and BDD (binary decision making). Now comment on the improvement of high speed, literature [4], May 16, 1996, the society made a reservation [2]A design method for variable structure system is proposed. The design method for variable structure system is proposed. The characteristics of existing variable structure system are shown. In all cases, the new structure can be changed to design the system, so it is necessary to install the system. The new structure can be used to improve the quality of the products, and it is necessary to improve the quality of products. In recent years, the design method of loop system has been proposed in document [1]. A practical design method for the realization of multiple-phase signal processing is proposed (References [2] and [3]). NTT's proposed dynamic reconfiguration device PCA, the development of SystemC enabled devices, and the development of high-speed system applications make it possible to provide comprehensive evaluation. In May 2016, the Society announced its decision.