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
- Siemens' Calibre platform expands early design verification solutions
- New Software for Mentor Graphics Questa Platform Enables Early Verification of IEEE 1149.1-2013 Compliant IP and On-Chip Instruments
- Jasper Launches Security Path Verification App - Industry's First Formal Solution for Detecting Security Vulnerabilities in SoC Designs
- OneSpin's New Debug Automation Technology Boosts Formal Assertion-Based Verification Productivity
- Tieto Signs Long-Term Agreement to Deploy OneSpin Solutions' Formal Assertion-Based Verification Solution
Breaking News
- Xylon's Updated logiHSSL IP Core Seamlessly Connects Infineon AURIX Microcontrollers with AMD Adaptive SoCs and FPGAs
- Electronic System Design Industry Posts $4.7 Billion in Revenue in Q2 2024, ESD Alliance Reports
- NVMe Updates Expand Discoverability, Security
- Boosting Efficiency and Reducing Costs: Silvaco's Approach to Semiconductor Fabrication
- Alphacore teams with Southwest Advanced Prototyping HUB at ASU to advance national security with nearly $30 million in federal funding award
Most Popular
- BrainChip Introduces Lowest-Power AI Acceleration Co-Processor
- Launching MosChip DigitalSky™ for Building Connected Intelligent Enterprises
- RaiderChip brings Meta Llama 3.2 LLM HW acceleration to low cost FPGAs
- Siemens collaborates with GlobalFoundries to certify Analog FastSPICE for the foundry's high-performance processes
- Xiphera Partners with IPro for the Israeli Chip Design Market
E-mail This Article | Printer-Friendly Page |