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

OneSpin_products.jpg

Formal RTL Verification solutions
Formal Equivalence Checking solutions

Suitable for ASICs and FPGA's 

Field-proven on hundreds of complex designs

 

Management

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
E-mail: info@onespin-solutions.com
Website: www.onespin-solutions.com

Field offices: Paris, Santa Clara and Tokio