Electronics Components World

Industry News / OneSpin 360™ MV Formal Verification Solution Wins Coveted IEC DesignVision Award

Publication date: 08 February 2007

OneSpin 360™ MV Formal Verification Solution Wins Coveted IEC DesignVision Award

OneSpin Solutions GmbH, an electronic design automation (EDA) company that provides breakthrough formal verification solutions, today announced that its flagship OneSpin 360™ Module Verifier (360 MV) product has captured the International Engineering Consortium’s (IEC) highest honor in the third annual DesignVision Awards program – winning the “Design Verification Tools” category award.


The Awards program recognizes technologies, applications, products and services that are the most unique and beneficial for the industry.

Judging criteria include innovation, market impact, customer benefits, uniqueness and value to society. Among a record number of competing entries, OneSpin Solutions was both the only finalist and the only award winner focused on formal verification solutions.

OneSpin’s winning 360 MV solution is a static property checker with automated completeness analysis. Verification teams use it to produce a gap-free verification plan and property set.

360 MV is the first and only commercially available functional register transfer-level (RTL) verification solution to enable true functional sign-off for complex digital modules and intellectual property (IP), enabling companies to verify peripherals, processors, and subsystems of up to a few hundred thousand lines of code.

By efficiently detecting all functional errors in the RTL, it can save millions of dollars in re-design and re-spin costs.

Peter Feist, OneSpin’s President and Chief Executive Officer, said, “OneSpin is extremely proud to receive the DesignVision Award for best design verification tool in the industry.

We consider it a high honor to be singled out by the IEC for our breakthrough formal verification solution that drives positive change by enabling design teams – for the very first time – to determine without any doubt their verification is complete.

Our customers have proven that 360 MV is easy to adopt, speeds their time to market, reduces costs, and significantly improves the quality of their products.”

Chief Technology Officer Wolfram Büttner, who founded OneSpin and whose work forms the basis of OneSpin’s winning verification solution, added, “More than 250 engineering-years of formal verification technology development and hundreds of customer verification projects contributed to the value, maturity and ease-of-use of 360 MV.

It delivers the highest quality of results that functional verification can achieve.”

http://www.onespin-solutions.com 

 

Send to a Colleague!
Your Email:
Their Email:
Comments: