OneSpin Solutions Closes 2012 With Double-Digit Growth, Continued Adoption of Formal Verification Solutions

“We consider 2012 to be a year of transformation,” remarks Dr. Brinkmann. “We developed a new business strategy and focused our attention on providing enduring solutions that enable the most thorough and easiest-to-use logic verification software.”

The new business strategy detailed a product roadmap that streamlines the existing product lines to focus on tool solutions and sets a course for new verification products to be unveiled throughout 2013. With this new strategy comes the goal to continue to provide the best return on investment (ROI) for formal verification with the lowest technical hurdles to adoption. New and efficient design verification solutions include structural assertion synthesis, system-on-chip interconnect verification, coverage closure and ABV intellectual property.

In May, OneSpin secured a round of funding from Azini Capital to grow its business and implement the new strategy. Azini Capital outlined a number of reasons for its investment, including the new strategy and the professionalism of the team. It acknowledged OneSpin’s competitive tools and market opportunity to reach new verification teams who will adopt formal verification as a means to getting their products to market on time and within budget.

The funding enabled OneSpin to increase the size of its engineering team and hire additional sales managers and application engineers in North America and Europe, including new distributors in Eastern Europe and Israel. To accommodate this rapid growth, OneSpin moved its corporate headquarters in Germany and opened a new office in Santa Clara, Calif.

The OneSpin Solutions Product Portfolio

OneSpin Solutions provides comprehensive formal verification solutions for ASIC and FPGA designs to reduce verification effort and costs and deliver high functional quality.

Semiconductor companies such as Maxim Integrated Products, Inc., designer of highly integrated analog and mixed-signal devices, began integrating OneSpin formal ABV solutions into its design and verification flows in 2012. Maxim enhanced its productivity by deploying OneSpin 360 MV software at design centers worldwide.

The OneSpin 360 MV Product Family covers the full spectrum of formal ABV applications, from push-button automatic register transfer level (RTL) analysis to OneSpin’s unique GapFreeVerification. OneSpin 360 MV accelerates a multitude of verification tasks, shortens verification schedules and enables engineers to achieve a design quality that cannot be ensured by any other functional verification approach. It enables step-by-step learning, making new users productive in days.

The OneSpin 360 Equivalence Checker is an automated verification solution to show the functional equivalence of design representations. It can be used standalone for full-chip implementation design equivalence in both ASIC and FPGA flows or in conjunction with the 360 MV Product Family to preserve design quality through subsequent implementation and optimization phases.