Login

Important information

This site uses cookies to store information on your computer. By continuing to use our site, you consent to our cookies.

ARM websites use two types of cookie: (1) those that enable the site to function and perform as required; and (2) analytical cookies which anonymously track visitors only while using the site. If you are not happy with this use of these cookies please review our Privacy Policy to learn how they can be disabled. By disabling cookies some features of the site will not work.

Company Profile

OneSpin Soutions

OneSpin Soutions

Company Description

OneSpin Solutions is a pioneer of advanced, award winning formal verification technologies, incubated at Infineon and leveraging 300+ engineering years of development and applications experience. The company’s product line includes plug & play design analysis requiring no knowledge of formal methods, to powerful, exhaustive, coverage-driven property verification.  Excelling in ease-of-use, high-performance and accessibility, OneSpin’s products have been leveraged by a large number of electronic product and semiconductor companies on many leading edge designs. The company maintains its headquarters and engineering teams in Munich, Germany and operates on a global basis.

Contact Us





Headquarters

Nymphenburger Straße 20a
Munich 80335
Germany
Phone: +49 89 99013 0
Fax: +49 89 99013 400
http://www.onespin-solutons.com

ARM Connected