AdaCore today announced its membership in the RISC-V Foundation, a non-profit organization chartered to standardize and promote the free and open RISC-V instruction set architecture (ISA) together with its hardware and software ecosystem.
RISC-V is an open instruction set initially developed by the Computer Science Division of the EECS Department at the University of California, Berkeley. Today the RISC-V Foundation comprises more than 200 members building the first open, collaborative community of software and hardware innovators powering a new era of processor innovation. The RISC-V ISA can be implemented through either open or proprietary architectures, offering silicon designers a unique way to take advantage of a cleanly designed assembly language associated with an existing software ecosystem.
In joining the RISC-V Foundation, AdaCore is bringing the Ada and SPARK programming languages to the forefront of the technologies available to RISC-V developers, offering a unique environment for safety- and security-critical applications developed on this platform.
To read more, please visit: https://www.adacore.com/press/adacore-joins-the-risc-v-foundation.