AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support

GNAT Pro and GNAT Community toolchains available both for professionals and hobbyists

NEW YORK & PARIS — (BUSINESS WIRE) — January 29, 2019 — 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.

AdaCore’s initial product offerings include GNAT Pro Ada and GNAT Pro C targeted to bare metal RISC-V 32- and 64-bit architectures (for more information see, as well as the GNAT Community edition for bare metal RISC-V 32-bit configurations. The latter is free of charge and can be downloaded from For GNAT Pro customers with software safety certification requirements, run-time library certification and tool qualification materials are available as an add-on for standards in industries such as avionics (DO-178C/ED-12C), railway (EN-50128) and automotive (ISO-26262).

“We’re happy to see Ada joining the front row of the languages available to the RISC-V ecosystem,” says Rick O’Connor, executive director of the non-profit RISC-V Foundation. “This will create an extremely appealing option for RISC-V users with the most stringent reliability requirements.”

“As we’re seeing the growth of Ada in new projects and markets, RISC-V has rapidly emerged as an indispensable ecosystem to be part of,” says Quentin Ochem, lead of Business Development at AdaCore. “We are fascinated by the opportunities it creates both at the technical and business levels, and we look forward to becoming an active member of the community.”

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability. GNAT Pro is available for Ada and also for C and C++.
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software. CodePeer can detect a number of the “Top 25 Most Dangerous Software Errors” in the MITRE Corporation’s Common Weakness Enumeration (CWE).
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems.
  • The QGen model-based development tool suite for safety-critical control systems, providing a qualifiable and customizable code generator and static verifier for a safe subset of Simulink® and Stateflow® models, and a model-level debugger.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defense systems, air traffic management/control, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.


Press Contacts
Email Contact

Jessie Glockner
AdaCore Public Relations Representative

Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82

Review Article Be the first to review this article

 Advanced Asembly

Featured Video
Latest Blog Posts
Bob Smith, Executive DirectorBridging the Frontier
by Bob Smith, Executive Director
What’s on Tap from the ESD Alliance? Plenty! Read On …
Anupam BakshiAgnisys Automation Review
by Anupam Bakshi
Automating IP and SoC Development
Test and Measurement System Architect for Xilinx at San Jose, California
ASIC SoC Verification Engineer for Ericsson at Austin, Texas
SerDes Applications Design Engineer for Xilinx at San Jose, California
ASIC Engineer for Amazon at seattle, Washington
Business Operations Planner for Global Foundaries at Santa Clara, California
Principle Engineer (Analog-Mixed-Signal Implementation) for Global Foundaries at Santa Clara, California
Upcoming Events
SEMI MEMS & Sensors Industry Group (MSIG), MSTC 2021 at United States - Apr 13 - 15, 2021
Simulation World at United States - Apr 20 - 21, 2021
Virtual ASMC 2021 at United States - May 10 - 12, 2021
DVCon China 2021 at Shanghai China - May 26, 2021
Verific: SystemVerilog & VHDL Parsers

© 2021 Internet Business Systems, Inc.
670 Aberdeen Way, Milpitas, CA 95035
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise