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 and successful reuse for complex digital modules and intellectual property. 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 speeds their time to market, reduces costs, and 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 contributed to the value of 360 MV. It delivers the highest quality of results that functional verification can achieve.
ABOUT ONESPIN SOLUTIONS
OneSpin Solutions provides electronic design automation (EDA) methodologies, tools and services for fundamental verification tasks at transaction, RT and gate levels. OneSpin's patented formal verification technology builds on 250 engineer-years of innovation and development, and has been field-proven on hundreds of complex designs to increase the quality of results, while reducing the cost and time to results. Market-leading consumer, telecommunications, automotive, computer, and embedded system companies rely on OneSpin's technology to achieve true functional sign-off for their complex subsystems, processors and peripherals, and to preserve this quality level through subsequent design phases. Privately held, OneSpin was founded in 2005 and has offices in Munich, Germany and Sunnyvale, Calif. For further information please visit http://www.onespin-solutions.com/ or email email@example.com, or contact the local offices at Theresienhoehe 12, 80339 Munich, Germany, Phone: +49 89 99013 0, Fax: +49 89 99013 400; and 1275 Orleans Drive, Sunnyvale, CA 94089, Phone: 408.470.4970, Fax: 408.904.7515.
OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH.