OneSpin: A Siemens Business

OneSpin Solutions is an electronic design automation (EDA) supplier focused on formal verification. The OneSpin team leverages more than 300 combined engineering-years of formal verification technology development and application service experience. We partner closely with our users, enabling 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 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. Today, OneSpin provides enduring solutions that enable the most thorough and easy to use logic verification available. Our solutions range from synthesis verification at gate-level to design verification at the transaction level, addressing the increasing demand for predictable, functional quality of digital modules and SoCs. We enable our users to increase the productivity of their design and verification teams, transforming formal verification into a broadly applicable engineering practice.