onespin-158x158.jpgOneSpin Solutions

OneSpin Solutions provides comprehensive formal verification solutions for ASIC and FPGA designs. Our patented solutions – built upon more than 300 engineer-years of experience and technology development in formal verification – significantly reduce verification effort and costs and deliver certified, highest functional quality. OneSpin's customer-proven methodologies and tools mainstream formal verification – providing solutions for formal verification starters, experienced users and experts. 

Founded in 2005

Venture-funded Infineon spin-off

Track record in formal verification since 1989
More than 20 patents in formal verification

OneSpin Solutions was established in May 2005 as a commercial EDA company and is funded by Azini Capital, London Uk. The company is headquartered in Munich, Germany and has operations in North America, Europe and Japan.


Established Products


Formal RTL Verification solutions
Formal Equivalence Checking solutions

Suitable for ASICs and FPGA's 

Field-proven on hundreds of complex designs



Dr. Raik Brinkmann - President and Chief Executive Officer
Oliver Habeck - Managing Director and Chief Financial Officer
Dominik Strasser - Vice President Engineering 

Global operations

Head quarters: Munich, GermanyOneSpin-Office-in-Germany1_1.jpg

OneSpin Solutions GmbH
Nymphenburger Strasse 20a
80335 Munich / Germany
Phone: +49 89 99013 0

Fax: +49 89 99013 400

Field offices: Paris, Santa Clara and Tokio