OneSpin Solutions

OneSpin Solutions GmbH, founded in 2005 as a spin-off from Infineon Technologies AG and Siemens AG, operates in the Electronic Design Automation (EDA) sector, providing formal verification software for integrated circuits (ICs). The company was established in Munich, Germany, by a team of engineers including Raik Brinkmann, Dominik Strasser, and Wolfram Büttner, leveraging extensive experience in formal verification from their time at Infineon and Siemens. In April 2021, Siemens Digital Industries Software acquired OneSpin, integrating its technology into the Siemens Xcelerator portfolio to enhance its IC verification offerings.

The firm specializes in ensuring the integrity of complex SoCs, ASICs, and FPGAs, which are critical components in markets like automotive, aerospace, defense, 5G, and the Internet of Things (IoT). OneSpin's business model centers on licensing its specialized software tools and providing expert support services to semiconductor and electronics companies. These clients rely on OneSpin's solutions to verify that their chip designs are functionally correct, safe from random operational faults, and secure from malicious hardware vulnerabilities before manufacturing, thereby reducing costly respins and accelerating time-to-market.

OneSpin's product suite is built on a formal verification platform that mathematically proves a design's correctness against its specification. Key solutions include the 360 DV-Verify for assertion-based verification and the 360 EC-FPGA for checking the equivalence between RTL code and the final FPGA netlist. The company has developed automated "apps" that streamline complex verification tasks, such as ensuring compliance with safety standards like ISO 26262, verifying RISC-V processor implementations, and detecting RTL Trojans. A notable offering is its unique technology that facilitates the retargeting of designs from obsolete FPGAs to modern ones, addressing supply chain challenges and extending the lifecycle of established systems.

Keywords: formal verification, IC integrity, EDA, functional safety, ISO 26262, semiconductor, ASIC, FPGA, RISC-V, hardware security