OneSpin Solutions GmbH, an electronic design automation (EDA) company that provides breakthrough formal verification solutions, announced that its flagship OneSpin 360(TM) Module Verifier (360MV) product has been chosen by the International Engineering Consortium (IEC) as a finalist in its third annual DesignVision Awards program.
According to the IEC, its DesignVision Awards program recognizes technologies, applications, products, and services judged to be the most unique and beneficial to the industry.
Among 29 finalists in nine categories, OneSpin Solutions is the only company focused on formal verification solutions.
IEC President John Janowiak commented, “Our DesignVision Awards honor those catalyzing positive change in high-technology, business, and academia, completely in line with the IEC’s mission. We are delighted to recognize our DesignVision Finalists and share the best design advancements and innovators with the entire industry.”
Peter Feist, OneSpin’s President and Chief Executive Officer, said, “OneSpin is honored to be selected as a finalist by the IEC, and doubly honored to be recognized as a company ‘catalyzing positive change’ in electronics. Using 360MV, design teams now – for the first time – can be certain their verification is complete. This means they can achieve true functional sign-off, and improve the quality, cost and schedule of their products.”
About THE 360 MV SOLUTION
OneSpin’s 360 MV solution is a static property checker with automated completeness analysis that enables verification teams to produce a gap-free verification plan and property set. It 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 processor-based subsystems of up to a few hundred thousand lines of code.
By efficiently detecting all functional errors in the RTL, 360MV can save millions of dollars in re-design and re-spin costs.
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.
OneSpin Solutions and the OneSpin logo are trademarks of OneSpin Solutions GmbH.