AdaCore 加入 RISC-V 基金會，帶來C 與Ada 編譯支援

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 開發生態，為該生態帶來了一股新力量。