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 –– December 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. Website: www.onespin-solutions.com.
|
Related News
- New Software for Mentor Graphics Questa Platform Enables Early Verification of IEEE 1149.1-2013 Compliant IP and On-Chip Instruments
- Cadence JasperGold Formal Verification Platform Enables Hitachi to Develop Measures for Fault Avoidance to Comply with IEC 61508 Series SIL 4 Requirements
- Faraday Launches SoReal! 2.0 Virtual Platform to Support Its FPGA Board for Early SoC Software Development
- Mentor Graphics Signs Multi-year Agreement with ARM for Early Access to ARM IP to Accelerate SoC Verification, Implementation and Testing
- Cadence Tensilica HiFi DSPs Now Support Dynamic Speaker Management Software from Maxim Integrated
Breaking News
- UltraSoC extends on-chip analytics architecture for the age of machine learning, artificial intelligence and parallel computing
- Cadence Selected as Primary EDA Tool Vendor by GLOBALFOUNDRIES
- Can MIPS Leapfrog RISC-V?
- Soitec Becomes Strategic Partner of Silicon Catalyst Start-up Incubator
- Next-generation Armv8.1-M architecture: Delivering enhanced machine learning and signal processing for the smallest embedded devices
Most Popular
- Can Arm Survive RISC-V Challenge?
- Next-generation Armv8.1-M architecture: Delivering enhanced machine learning and signal processing for the smallest embedded devices
- Can MIPS Leapfrog RISC-V?
- China's Semi Capex Forecast to be Larger than Europe and Japan Combined in 2018
- SmartDV Unveils SimXL Portfolio of Synthesizable Transactors for Hardware Emulation, FPGA Prototyping Platforms
![]() |
E-mail This Article | ![]() |
![]() |
Printer-Friendly Page |