Verifying RISC-V Platforms for Space
针对航天领域的RISC-V平台验证
➀ 卫星发射成本的急剧下降正在推动太空经济的快速发展，同时也催生了对高可靠性、抗辐射处理器的迫切需求；
➁ RISC-V 因其开放标准的特性，允许定制指令集和针对太空应用的硬件安全模块，正成为航空航天领域的首选架构；
➂ 文章重点介绍了 Breker Verification Systems 的解决方案，该公司利用 AI 驱动的测试合成技术，来应对 New Space（新航天）时代复杂 SoC 的巨大验证挑战。