【要約】
米国Breker Verification Systems（半導体検証ソリューション）と、スウェーデンFrontgrade Gaisler（宇宙向けマイクロプロセッサIP）は、高信頼性RISC-Vプロセッサの検証分野で協力関係を強化した。報道によると、Gaislerは耐故障性を備えたRISC-VプロセッサIP「NOEL-V」の開発において、BrekerのSystemVIPおよびテストスイート合成技術を採用している。これらのツールにより、宇宙用途で求められる高い検証カバレッジを確保し、複雑なコーナーケースの検出とリスク低減に寄与するとされる。NOEL-Vは、Gaislerが開発する次世代耐放射線マイクロプロセッサ「GR765」の中核技術として活用される。

【編集部コメント】
RISC-Vは宇宙・防衛分野でも採用が進み、従来の独自アーキテクチャからオープン標準への移行が広がっている。民生分野で利用されてきた検証ツールを宇宙用プロセッサに適用する動きは、開発効率と信頼性向上の両立に資する。自動生成型のテスト技術は、人手では網羅が難しい複雑なエラーケースの抽出に有効であり、宇宙用SoC検証の質的向上に寄与する。本件は、宇宙向けRISC-Vプラットフォーム強化と検証プロセス高度化の動きの一環と位置付けられる。

【出典情報】

公式リリース：
Breker Verification Systems and Frontgrade Gaisler Collaborate on High-Reliability RISC-V Fault Tolerant Processor Core
https://www.businesswire.com/news/home/20251120600508/en/

参照情報（媒体名）：Press Release Hub
発行日：2025/11/20
リンク：Breker Verification Systems and Frontgrade Gaisler Collaborate on High-Reliability RISC-V Fault Tolerant Processor Core
https://pressreleasehub.pa.media/article/breker-verification-systems-and-frontgrade-gaisler-collaborate-on-high-reliability-risc-v-fault-tolerant-processor-core-60475.html

関連記事：
KP Labs and Frontgrade Gaisler Join Forces to Advance Fault-Tolerant Computing for Next-Generation Space Missions
https://www.businesswire.com/news/home/20251118359687/en/

Frontgrade Gaisler and DELTATEC Enable Advanced Space Computing Across Multiple Missions
https://www.businesswire.com/news/home/20251119011567/en/Frontgrade-Gaisler-and-DELTATEC-Enable-Advanced-Space-Computing-Across-Multiple-Missions