AdaCore 近日宣布其成为 RISC-V 基金会的成员。
RISC-V 基金会是一个非盈利组织，旨在标准化和推广免费和开放的 RISC-V 指令集架构（ISA）及其硬件和软件生态系统，当前由 200 多名成员组成。
RISC-V 是一个开放式指令集，最初由加州大学伯克利分校 EECS 系计算机科学部开发，近两年其发展势头不小，因其简单、开放等特性，相继吸引来 IBM、NXP、西部数据、英伟达、高通、三星、谷歌、华为与特斯拉等 100 多家科技公司加入其阵营，行业也不断在围绕它构建生态系统，对 ARM 等竞争对手造成了巨大的冲击。
AdaCore 成立于 1994 年，为关键任务与安全关键型系统提供软件开发和验证工具。知名编程语言 Ada 与 SPARK 即出自其手。
加入 RISC-V 基金会，AdaCore 将其 Ada 与 SPARK 编程语言引入 RISC-V 开发生态，为该生态带来了一股新力量。