Subscribe to the InfoTech eNewsletter

infoTECH Feature

December 18, 2012

Maxim Integrated Selects OneSpin Solutions' Formal Verification Software

OneSpin Solutions has announced that Maxim Integrated Products (News - Alert), Inc. has selected the company’s OneSpin 360 MV software at design centers all over the globe.

OneSpin secured the deal as the product could pinpoint bugs that the other formal tool in the evaluation missed. This included corner cases and new bugs uncovered with help from OneSpin's formal coverage report. Not identifying these bugs would have resulted in a delay in the tapeout of the design. OneSpin 360 MV is actively installed within three business units at Maxim and the company’s designers are being trained to use it.

A system on a chip (SoC) is a combined circuit (IC) that brings together all components of a computer or other electronic system into a single chip.

For formal verification starters, experienced users and experts, 360 MV includes a wide range of formal ABV applications. This includes completely automatic RTL checks along with OneSpin's patented, highest quality gap-free verification. It provides guidance design, verification and integration engineers in selecting the ideal approach such as simulation or formal techniques. For the design and project schedule, it also provides users complete control over the right verification effort/quality mix.

“Maxim has exacting requirements to satisfy the markets it serves," remarked 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.”

In 2011, the company announced Quantify MDV. According to the company, this is the industry's first metric-driven verification (MDV) solution and it automatically and completely analyzes and measures formal verification progress and quality in register transfer level (RTL) designs. Allowing verification engineers for the first time to answer some important questions quantitatively and precisely, this improvement to the OneSpin 360 MV product family offers accurate feedback all through one project.

Want to learn more about the latest in communications and technology? Then be sure to attend ITEXPO Miami 2013, Jan 29- Feb. 1 in Miami, Florida.  Stay in touch with everything happening at ITEXPO (News - Alert). Follow us on Twitter.

Edited by Rachel Ramsey

Subscribe to InfoTECH Spotlight eNews

InfoTECH Spotlight eNews delivers the latest news impacting technology in the IT industry each week. Sign up to receive FREE breaking news today!
FREE eNewsletter

infoTECH Whitepapers