About OneSpin Solutions

OneSpin Solutions of Munich, Germany, is an electronic design automation (EDA) supplier and was founded in 2005 as a spin-off from Infineon Technologies AG. Its international team of experts leverages more than 300 engineer-years of formal verification technology development and application service experience to enable design teams to avoid costly redesigns and respins, while dramatically cutting their verification effort, costs and time-to-market pressures. Market-leading automotive, telecommunications, consumer electronics, and embedded systems companies rely on OneSpin to reduce their verification effort and achieve the industry's highest possible verification quality. 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. Formal verification technology development and application services at Infineon and Siemens which accumulated since 1989 are the roots of the OneSpin's broad experience in the formal verification domain. Consequently, OneSpin has the greatest expertise and longest track-record in formal verification in the EDA industry. Today, OneSpin provides enduring solutions that enable the most thorough and easiest to use logic verification available.