History
OneSpin Solutions was established as a commercial EDA company in May 2005, as the result of a spinout from Infineon. We are privately held and funded by Azini Capital of London, UK. The company is headquartered in Munich, Germany and has operations in North America, Europe, and Japan. The roots of the OneSpin's broad experience in the formal verification domain started at Infineon and Siemens--we draw from knowledge that had accumulated since 1989. Consequently, OneSpin has the greatest expertise and longest track-record in formal verification in the EDA industry.
Specialties
Electronic design automation (EDA) vendor OneSpin provides software tools that allow engineers to create reliable, bug-free digital integrated circuits.