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
Marelli’s experience with Solid Sands’ Compiler Qualification Service
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
Continuous Improvements of Compiler Toolchain for Synopsys ARC Processors
Helping Graphcore accelerate the future of AI
Helping Ambarella deliver AI-powered vision systems for next-generation vehicle autonomy