@techreport{oai:ipsj.ixsq.nii.ac.jp:00210437,
 author = {松川, 達哉 and 藤枝, 直輝 and Tatsuya, Matsukawa and Naoki, Fujieda},
 issue = {37},
 month = {Mar},
 note = {ソフトプロセッサの検証では，しばしばプロセッサシミュレータとソフトプロセッサとの間で命令実行結果を比較することが行われる．システムコールを含み，ファイルなどを扱う実用的なアプリケーションに対しては，シミュレータではシステムコールを模倣する対応法があるが，この方法をソフトプロセッサに適用するのは困難であった．本稿では，SystemVerilog を C/C++ 言語に変換する Verilator というツールを用いて，こうしたアプリケーションを用いたソフトプロセッサの検証を容易に行う手法を提案する．また，本手法を RISC-V ソフトプロセッサである kronos の検証に適用したケーススタディについて述べる．, 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.},
 title = {ソフトプロセッサの相互検証に関するケーススタディ},
 year = {2021}
}