ソフトプロセッサの相互検証に関するケーススタディ

• Item type: SIG Technical Reports(1)
• 公開日: 2021-03-18
• タイトル: ソフトプロセッサの相互検証に関するケーススタディ
• タイトル / 言語: en
• タイトル: A case study on cross-verification of soft processor
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: プロセッサアーキテクチャ
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 愛知工業大学
• 著者所属: 愛知工業大学
• 著者所属(英): en
• 著者所属(英): Aichi Institute of Technology
• 著者所属(英): en
• 著者所属(英): Aichi Institute of Technology
• 著者名: 松川, 達哉; 藤枝, 直輝
• 著者名(英): Tatsuya, Matsukawa; Naoki, Fujieda
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ソフトプロセッサの検証では，しばしばプロセッサシミュレータとソフトプロセッサとの間で命令実行結果を比較することが行われる．システムコールを含み，ファイルなどを扱う実用的なアプリケーションに対しては，シミュレータではシステムコールを模倣する対応法があるが，この方法をソフトプロセッサに適用するのは困難であった．本稿では，SystemVerilog を C/C++ 言語に変換する Verilator というツールを用いて，こうしたアプリケーションを用いたソフトプロセッサの検証を容易に行う手法を提案する．また，本手法を RISC-V ソフトプロセッサである kronos の検証に適用したケーススタディについて述べる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Verification of a soft processor is often conducted by comparing results of instruction execution between a processor simulator and a soft processor. To simulate a practical application that includes system call, a simulator can emulate the execution of system call; however, it is difficult for a soft processor to adopt this approach. In this paper, we propose a method to apply system call emulation easily to a soft processor using Verilator, which converts SystemVerilog to C/C++ language. We also present a case study where the proposed method is applied to Kronos, a RISC-V soft processor.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12149313
• 書誌情報: 研究報告組込みシステム（EMB）; 巻 2021-EMB-56, 号 37, p. 1-6, 発行日 2021-03-18
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-868X
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会