Our Customers
Customer experience stories

Helping bring AI edge computing to next-generation Intelligent Connected Vehicles

Helping TrustInSoft guarantee its customers 100% bug-free source code

Continuous Improvements of Compiler Toolchain for Synopsys ARC Processors

Aiding compiler/library selection for functional safety in KUKA’s advanced robots

Helping to lead the RISC-V revolution at SiFive

Helping eSOL deliver safety-compliant real-time embedded software platforms

Taking compiler risk out of RISC-V at Codasip

ROHM’s Compiler Development – Improving Reliability with SuperTest

Elevating AdaCore’s C compiler to Ada/SPARK safety

Helping Peloton enhance ‘big-rig’ safety and fuel efficiency

Reducing the risk in safety-critical automotive applications

Marelli’s experience with Solid Sands’ Compiler Qualification Service

Helping Graphcore accelerate the future of AI

Helping Ambarella deliver AI-powered vision systems for next-generation vehicle autonomy

Strengthening Quality Control for KMC’s LLVM/Clang Based Compiler Products
A selection of our Customers































