In-depth technical papers on compiler validation, library testing, and safety-critical software
The Synopsys ARC® Processor IP portfolio includes an extensive range of ARC-V™ RISC-V based processors, along with a corresponding set of optimizing compilers.
Many companies use SuperTest to qualify the compiler or library they are already using. However, for leading automation company KUKA, SuperTest is also a decision-making tool that helps them decide, on a project-by-project basis, which C/C++ compiler and standard library to use.
California-based SiFive is a semiconductor IP company founded in 2015 by the inventors of the open RISC-V instruction set architecture. Its semiconductor IP ranges from high-performance application processors and vector processors to low-power embedded 64- and 32-bit microcontrollers.
Virtually all of today’s safety-critical embedded software applications are made up of three components – developer written application code, standard library components, and a real-time operating system (RTOS). For Rolland Dudemaine, Vice President Engineering at eSOL Europe, that last element is why compliance to safety standards, such as ISO 26262 for automotive, is so important.
Codasip is a founding member of RISC-V International (formerly the RISC-V Foundation) and in 2015 became the first company to offer a commercial RISC-V IP core.
Japanese semiconductor company ROHM Co., Ltd. was established in 1958 in Kyoto and has since come a long way. The company was named ‘ROHM’ after the letter ‘R’ in its original main product, resistors, plus ‘ohm’, the unit of resistance. In line with the company’s mission of ‘Quality is First’, the R now also stands […]
Leading one-stop-shop developer of Ada and SPARK tool sets uses SuperTest™ to validate its C compiler for mixed-language programming environments.
California-based Ambarella Inc., an AI vision silicon company, implements deep neural network Artificial Intelligence (AI) in its autonomous driving and automotive vision system chips. To provide its customers with comprehensive hardware/software solutions that incorporate the latest AI algorithms, the company partners with some of the world’s leading AI software developers.
It’s not only compiler developers who need to think about compiler validation. Software developers who require proof that their application code compiles without errors also need to think about it – especially when their applications are safety critical.
Kyoto Microcomputer Co., Ltd. (KMC), a Japanese provider of embedded software development tools, has more than 20 years of experience in the design and supply of high-performance development tools for embedded microcontrollers in the automotive, industrial control, communications, computer and consumer electronics industries.
Banma uses SuperTest to certify the toolchain to develop Banma-based applications for ISO 26262 functional safety requirements. “Running SuperTest gives us the ability to maximize code coverage for a wide range of optimizers.”
Home / Knowledge / Categories / Customer Case