If functions from the C standard library are used in a safety-critical application, ISO 26262 requires verification of the library.
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. Today, the company is a leading supplier of processor solutions for IC designers, offering products based on open standards such as the RISC-V ISA, LLVM and UVM.
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 for ‘Reliability’.
Advanced compiler optimisations are not always robust and well-tested. Recent experiments with optimisation testing have uncovered errors in every compiler technology available, leading to the conclusion that advanced optimisation testing is currently an underdeveloped skill of compiler developers, requiring urgent action.
Click here to read the full magazine on Electronics World.
SuperTest – helping Ambarella deliver AI-powered vision systems for next-generation vehicle autonomy
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.
Leading one-stop-shop developer of Ada and SPARK tool sets uses SuperTest to validate its C compiler for mixed-language programming environments.