Latest News
Solid Sands & CEA List, together for quality code
Solid Sands & CEA List today announced their research collaboration to reinforce software trust.
See the Press Release
SuperTest Vermeer Release Update #2 adds enhanced C++ library coverage, C library code coverage and compiler error checking
Near 100% code coverage for the C standard library.
See the Press Release
ROHM’s Compiler Development – Improving Reliability with SuperTest
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’.
Optimisation verification in embedded system design
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 Vermeer Release Update #1 from Solid Sands adds enhanced usability features for compiler developers and users
Calling convention testing is now integrated into standard SuperTest runtime configurations. It allows users to invoke it by simply adding the -c option to the test driver.
See the Press Release
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.
SuperTest – elevating AdaCore’s C compiler to Ada/SPARK safety
Leading one-stop-shop developer of Ada and SPARK tool sets uses SuperTest to validate its C compiler for mixed-language programming environments.
Solid Sands introduces license-free service to ease compiler qualification
Introduction of Solid Sands’ new Compiler Qualification Service is a direct response to the growing number of quality-related questions from functional safety and security conscious users, many of them in highly innovative SMEs that drive technological change.
See the Press Release
Solid Sands @ Renault Co-Innovation Days
The Renault Co-Innovation Days are organized by AutomotiveNL, Renault and the Dutch Embassy at the Renault Technocentre and the Dutch Residency in Paris. Solid Sands will exhibit here on the 25th and 26th of June 2019.
Verification of Optimization Correctness with SuperTest
If you think advanced compiler optimizations are robust and well-tested, you are wrong. Our recent experiments with optimization testing have uncovered errors in every compiler technology that we got our hands on.