Skip to main content
In the News

Military And Aerospace Electronics Article: AdaCore And NVIDIA Team On Ada And SPARK Programming Languages For Safety-Critical Software

By February 15, 2019May 12th, 2021No Comments

Software specialist AdaCore in New York is working with NVIDIA Corp. in Santa Clara, Calif., to implement the Ada and SPARK programming languages for security- and safety-critical firmware in applications like avionics and self-driving cars.
Some NVIDIA system-on-a-chip product lines will migrate to a new architecture using the RISC-V instruction set architecture (ISA). Also, NVIDIA plans to upgrade security-critical firmware software, rewriting it from C to Ada and SPARK.
To read more, please visit:

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.