- 360-DV Verify, EDA - Design Tools

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.
Nymphenburger Straße 20a
Munich 80335
Germany
Phone: +49 89 99013 0
Fax: +49 89 99013 400
http://www.onespin-solutons.com