講演抄録/キーワード |
講演名 |
2014-07-29 09:00
回路分割機構付き高位合成ツールによる分割回路の検証手法 ○松田和也(東京農工大)・三好健文(イーツリーズ・ジャパン)・竹本正志(東京農工大)・船田悟史(イーツリーズ・ジャパン)・中條拓伯(東京農工大) CPSY2014-17 |
抄録 |
(和) |
近年,従来の回路設計に用いられてきたHDLに替わり,高位合成ツールの活用に注目が集まっている.しかし,複雑なアルゴリズムをハードウェア化する際に,合成回路が大規模化する場合やシミュレーション時間が膨大となる場合がある.そこで,複数FPGAに対する分割実装が用いられるが,FPGAの回路規模やI/Oブロック数による制約が問題となり,検証環境の構築は容易ではない.本研究では,高位合成ツールの合成回路を部分回路に分割し,回路検証用のラッパーを生成することで,部分回路単位での検証を可能とする.高位合成ツールを用いて,FFTを実行するプログラムを合成し,回路分割機構により分割した.各部分回路は,シミュレーションおよびFPGA上で動作検証を行い,正常に動作することを確認した. |
(英) |
In recent years, a high-level synthesis tool has been attracted in designing hardware circuits instead of traditional HDL. However, there exist two issues to implement a complex algorithm into hardware, which brings growing scale of a synthesized circuit and 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 circuit partitioning mechanism. 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. |
キーワード |
(和) |
高位合成 / 回路分割 / 回路検証 / / / / / |
(英) |
High Levek Synthesize / HLS / Circuit Partitioning / Circuit Verification / / / / |
文献情報 |
信学技報, vol. 114, no. 155, CPSY2014-17, pp. 43-48, 2014年7月. |
資料番号 |
CPSY2014-17 |
発行日 |
2014-07-21 (CPSY) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
CPSY2014-17 |