MUNICH, GERMANY and SANTA CLARA, CA--(Marketwire - Feb 26, 2013) - OneSpin Solutions™ (, provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions, and Oasys Design Systems (, provider of Oasys RealTime physical register transfer level (RTL) exploration and synthesis software, today announced they have signed an original equipment manufacturer (OEM) agreement.

Under terms of the agreement, OneSpin is licensing a portion of its OneSpin 360™ EC technology, automated functional equivalence checking software, to Oasys to integrate with its RealTime Designer™ physical RTL synthesis software. More details on the flow integration will be announced by Oasys over the next several months.

"Oasys Design Systems is working on solving some of the most difficult IC design problems and making great strides," says Dr. Raik Brinkmann, OneSpin Solutions' president and chief executive officer (CEO). "We're delighted to partner with Oasys, knowing that the OneSpin EC technology will be part of its solution. Design teams should be pleased with the result, improved user productivity and faster runtime."

Scott Seaton, Oasys' president and CEO, adds: "We have developed a close working relationship with OneSpin. Together, we are bundling equivalence checking with our next-generation physical RTL synthesis into an effective solution for a range of design environments."

The OneSpin/Oasys partnership spans a number of years, beginning in 2010 when Oasys began using OneSpin 360 EC-ASIC during the development of RealTime Designer. OneSpin 360 EC-ASIC is being used for synthesis verification, comparing two representations of the same design before and after synthesis to ensure functional equivalence. Oasys enhanced the interface between the tools and demonstrated a compelling solution. A prototype is currently in beta development.

The OneSpin Product Family will be demonstrated today and tomorrow, February 26-27, from 3:30 p.m. until 6:30 p.m. at DVCon 2013 at the Doubletree Hotel in San Jose, Calif. Details about DVCon can be found at:

For more information, visit

The Oasys Design Systems website can be found at:

About Oasys Design Systems
Oasys Design Systems is a privately funded electronic design automation (EDA) software supplier with a revolutionary new synthesis platform called RealTime, a fundamental shift in how register transfer level (RTL) synthesis is used to design and implement today's SoCs and ASICs. Corporate headquarters is located at 3250 Olcott Street, Suite 105, Santa Clara, Calif. 95054. Telephone: (408) 855-8531. Facsimile: (408) 855-8537. Email: For more information, visit:

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. Email: Website:

OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and GapFreeVerification are trademarks of OneSpin Solutions GmbH. RealTime, RealTime Designer and RealTime Explorer are trademarks of Oasys Design Systems. All other trademarks are the property of their respective owners.

Contact Information:

For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822

Dan Ganousis
Oasys Design Systems
(303) 859-3048