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™ (, 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: Email Contact. Website:

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.

For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822

Email Contact 

Review Article Be the first to review this article


Featured Video
GIS Specialist for Olsson Technology at Overland park, Kansas
Body Structure Engineer (Entry Level) for HATCI at Superior Twp, California
GIS Specialist for ERDMAN at Madison, Wisconsin
Upcoming Events
GIS4SmartGrid 2018 at Radisson Blu Palace Hotel Amsterdam Netherlands - Nov 20 - 22, 2018
Esri WAMEA UC 2018 at Dubai World Trade Centre Dubai United Arab Emirates - Dec 11 - 13, 2018
GeoBuiz Summit 2019 at A-145, SECTOR-63 NOIDA India - Jan 14 - 15, 2019
PrecisionAg Vision Conference 2019 at Hyatt Regency Lake Washington Seattle WA - Jan 15 - 16, 2019
Penn State
Teledyne Optech

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation TechJobsCafe - Technical Jobs and Resumes  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise