| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-03-17 10:00 システムコール模倣によるソフトプロセッサ相互検証手法の要件導出と拡張 ○杉山皓星・藤枝直輝（愛知工大）  CPSY2024-45 DC2024-116 |
|
| 抄録 | （和） | ソフトプロセッサの開発手法の1つに，シミュレータとプロセッサとの間で実行結果を比較する，相互検証がある． ファイル操作などを含む実用的なプログラムでの相互検証は， パイプラインの実装ミスなどを検出し，検証のカバレッジを広げる手段として有効である． 松川らは，Verilatorを用いることで，システムコールを模倣する部分のコードを共通化できる相互検証手法を提案した． しかし，松川らの研究には，単一のプロセッサにしか対応していない， 限られたプログラムにしか対応していないなどの問題点がある． そこで本研究では，相互検証手法において，プロセッサや模倣処理が満たすべき要件の導出を行う． また，この要件をもとに，相互検証手法が適用できるように，別のプロセッサに対する拡張を施す． |
| （英） | Cross-Verification is one of the development methods for soft processors, where execution results are compared between a simulator and a processor. The use of practical programs including file operations is effective there in detecting implementation errors and expanding verification coverage. Matsukawa et al. proposed a method using Verilator, where a simulator and a processor could share code for system call emulation. A major problem of the method was that it only supported a single processor and a limited number of programs. In this study, we derive requirements that processors and emulation enviromnents must meet to adopt the method. We then extend two distinct processors to meet the requirements. |
|
| キーワード | （和） | システムコール / ソフトプロセッサ / 相互検証 / / / / / |
| （英） | System Call / Soft Processor / Cross-Verification / / / / / | |
| 文献情報 | 信学技報, vol. 124, no. 438, CPSY2024-45, pp. 1-6, 2025年3月. | |
| 資料番号 | CPSY2024-45 | |
| 発行日 | 2025-03-10 (CPSY, DC) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | CPSY2024-45 DC2024-116 |
|
| 研究会情報 | |
| 研究会 | DC CPSY IPSJ-SLDM IPSJ-EMB IPSJ-ARC |
| 開催期間 | 2025-03-17 - 2025-03-19 |
| 開催地（和） | おきえらぶフローラルホテル |
| 開催地（英） | Okierabu Floral Hotel |
| テーマ（和） | 組込み技術とネットワークに関するワークショップ ETNET2025 |
| テーマ（英） | ETNET2025 |
| 講演論文情報の詳細 | |
| 申込み研究会 | CPSY |
| 会議コード | 2025-03-DC-CPSY-SLDM-EMB-ARC |
| 本文の言語 | 日本語 |
| タイトル（和） | システムコール模倣によるソフトプロセッサ相互検証手法の要件導出と拡張 |
| サブタイトル（和） | |
| タイトル（英） | Derivation of Requirements for Soft Processor Cross-Verification Methodology using System Call Emulation and Its Extension |
| サブタイトル（英） | |
| キーワード(1)（和/英） | システムコール / System Call |
| キーワード(2)（和/英） | ソフトプロセッサ / Soft Processor |
| キーワード(3)（和/英） | 相互検証 / Cross-Verification |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 杉山 皓星 / Kosei Sugiyama / スギヤマ コウセイ |
| 第1著者 所属（和/英） | 愛知工業大学大学院 (略称： 愛知工大) Aichi Institute of Technology (略称： AIT) |
| 第2著者 氏名（和/英/ヨミ） | 藤枝 直輝 / Naoki Fujieda / フジエダ ナオキ |
| 第2著者 所属（和/英） | 愛知工業大学 (略称： 愛知工大) Aichi Institute of Technology (略称： AIT) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-03-17 10:00:00 |
| 発表時間 | 20分 |
| 申込先研究会 | CPSY |
| 資料番号 | CPSY2024-45, DC2024-116 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.438(CPSY), no.439(DC) |
| ページ範囲 | pp.1-6 |
| ページ数 | 6 |
| 発行日 | 2025-03-10 (CPSY, DC) |
[研究会発表申込システムのトップページに戻る]