OneSpin Solutions' Formal Verification Software Enables Maxim

OneSpin Solutions' Formal Verification Software Enables Maxim
Integrated to Identify SoC Design Issues Early in the Project Cycle 
OneSpin 360 MV to Be Deployed at Design Centers Worldwide 
MUNICH, GERMANY -- (Marketwire) -- 12/17/12 --  OneSpin Solutions(TM)
(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(TM) 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(TM). 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. 
For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822
nanette@nvc.com 
 
 
Press spacebar to pause and continue. Press esc to stop.