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

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 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.