OneSpin Solutions' Formal Verification Software Enables Maxim Integrated to Identify SoC Design Issues Early in the Project Cycle

MUNICH, GERMANY--(Marketwire - Dec 17, 2012) - OneSpin Solutions™ (www.onespin-solutions.com), provider of innovative formal assertion-based verification (ABV) solutions, today announced that Maxim Integrated Products, Inc. enhanced productivity by deploying OneSpin 360™ MV software at design centers worldwide.

"OneSpin 360 MV can identify issues early in the design cycle, when it's easier and more cost effective to make changes," notes Frank Hsu, senior principal member of technical staff at Maxim.

Maxim designs and manufactures highly integrated analog and mixed-signal devices that serve a range of market segments, such as mobile communications, industrial, automotive and medical. Its system-on-chip (SoC) project teams need a formal verification methodology that can quickly identify structural issues prior to synthesis and provide quantitative coverage metrics.

Maxim conducted a three-month evaluation using a microcontroller design. OneSpin was awarded the Maxim business because OneSpin 360 MV was able to identify bugs that the other formal tool in the evaluation missed, including corner cases and new bugs uncovered with help from OneSpin's formal coverage report. Missing these bugs was significant enough that it would have caused a delay in the tapeout of the design.

OneSpin 360 MV is actively deployed within three business units at Maxim today as designers get trained to use it.

"Maxim has exacting requirements to satisfy the markets it serves," remarks Dr. Raik Brinkmann, president and chief executive officer of OneSpin Solutions. "We're delighted to have an opportunity to work with its sophisticated SoC design teams around the globe."

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.

About OneSpin Solutions
Electronic design automation (EDA) supplier OneSpin Solutions of Munich, Germany, was founded in 2005 as a spin-off from Infineon Technologies AG. It 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 and costs and time-to-market pressures. Market-leading telecommunications, automotive, consumer electronics, and embedded systems companies rely on OneSpin to reduce their verification effort and achieve the industry's highest possible verification quality. Email: info@onespin-solutions.com. Website: www.onespin-solutions.com.

OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and GapFreeVerification are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.