Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. AdaCore products include the GNAT Pro Ada, C and C++ software development environments, the CWE-compatible CodePeer deep static analysis tool for Ada, the SPARK Pro formal methods-based verification environment, and the QGen qualifiable code generator and debugger for a safe subset of Simulink / Stateflow models. All products come with expert and timely support provided by the developers themselves.
For more information about AdaCore, please visit www.adacore.com
Andes Technology Corporation was founded in Hsinchu Science Park, Taiwan in 2005 to develop innovative high-performance/low-power 32/64-bit processor cores and associated development environment to serve worldwide rapidly growing embedded system applications. The company delivers the best super low power CPU cores with integrated development environment and associated software and hardware solutions for efficient SoC design.
To meet the demanding requirements of today’s electronic devices, Andes Technology delivers configurable software/hardware IP and scalable platforms to respond to customers’ needs for quality products and faster time-to-market. Andes Technology’s comprehensive CPU includes entry-level, mid-range, high-end, extensible and security families to address the full range of embedded electronics products, especially for connected, smart and green applications.
For more information about Andes Technology, please visit http://www.andestech.com/.
Microsemi’s Mi-V™ RISC-V ecosystem is a continuously expanding, comprehensive suite of tools and design resources developed by Microsemi and numerous third parties to fully support RISC-V designs. The Mi-V™ ecosystem aims to increase adoption of RISC-V ISA and Microsemi’s FPGA product families. The Mi-V Ecosystem consists of CPUs, Design Tools, Operating Systems, Solutions, Boards and Support.
For more information, visit https://www.microsemi.com/product-directory/fpga-soc/5210-mi-v-embedded-ecosystem#mi-v-partners
SiFive is the leading provider of market-ready processor core IP based on the RISC-V instruction set architecture. Led by a team of industry veterans and founded by the inventors of RISC-V, SiFive helps SoC designers reduce time-to-market and realize cost savings with customized, open-architecture processor cores, and democratizes access to optimized silicon by enabling system designers to build customized RISC-V based semiconductors. SiFive is located in Silicon Valley and has venture backing from Sutter Hill Ventures, Spark Capital, Osage University Partners, Intel Capital and Chengwei Capital, along with strategic partners Huami, SK Telecom and Western Digital.
For more information, visit www.sifive.com.