回路分割機能付きJava言語ベース高位合成ツールにおける回路検証機構

• Item type: Journal(1)
• 公開日: 2016-08-15
• タイトル: 回路分割機能付きJava言語ベース高位合成ツールにおける回路検証機構
• タイトル / 言語: en
• タイトル: Verification Mechanism for Partitioned Circuits on a Java-based High Level Synthesizer with a Circuit Partiotioning Function
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：組込みシステム工学] 高位合成，回路分割，回路検証
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京農工大学
• 著者所属: わさらぼ合同会社
• 著者所属: 東京農工大学／株式会社ビート・クラフト
• 著者所属: 株式会社イーツリーズ・ジャパン
• 著者所属: 東京農工大学
• 著者所属(英): en
• 著者所属(英): Tokyo University of Agriculture and Technology
• 著者所属(英): en
• 著者所属(英): BeatCraft, Inc.
• 著者所属(英): en
• 著者所属(英): Tokyo University of Agriculture and Technology / BeatCraft, Inc.
• 著者所属(英): en
• 著者所属(英): e-trees.Japan, Inc.
• 著者所属(英): en
• 著者所属(英): Tokyo University of Agriculture and Technology
• 著者名: 松田, 和也; 三好, 健文; 竹本, 正志; 船田, 悟史; 中條, 拓伯
• 著者名(英): Kazuya, Matsuda; Takefumi, Miyoshi; Masashi, Takemoto; Satoshi, Funada; Hironori, Nakajo
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，従来の回路設計に用いられてきたHDLに替わり，高位合成ツールの活用に注目が集まっている．しかし，複雑なアルゴリズムをハードウェア化する際に，合成回路が大規模化する場合やシミュレーションに膨大な時間を要する場合がある．そこで，複数FPGAに対する分割実装が用いられるが，FPGAの回路規模やI/Oブロック数による制約が問題となり，検証環境の構築は容易ではない．本研究では，高位合成ツールの合成回路を部分回路に分割し，回路検証用のラッパーを生成することで，部分回路単位での検証を可能とする．高位合成ツールを用いて，FFTを実行するプログラムを合成し，回路分割検証機構により分割した．各部分回路は，シミュレーションおよびFPGA上で動作検証を行い，正常に動作することを確認した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In recent years, a high-level synthesis tool has been attracted in designing hardware circuits instead of conventional HDL. However, there exist two issues to implement a complex algorithm into hardware, which brings growing scale of a synthesized circuit and long time for simulation. Therefore, though partitioning a circuit into multiple FPGAs is currently put into practical use, there are two constrains in implementation; the scale and the number of I/O blocks in an FPGA. Thus it is difficult to build a verification environment. In this study, we partition a circuit synthesized by a high-level synthesis tool into some reduced circuits. Moreover, the small circuits are equipped with self-verification function with generating a wrapper for each circuit verification. An FFT circuit which is generated by a high-level synthesis tool is partitioned by our proposed verification mechanism for partitioned circuits. We verify the partitioned circuits in RTL simulation as well as implementation on an FPGA in order to confirm our targeted circuits are correctly operated.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 57, 号 8, p. 1680-1689, 発行日 2016-08-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764