OneSpin Solutions, Oasys Design Systems Ink OEM Agreement

OneSpin Solutions, Oasys Design Systems Ink OEM Agreement 
OneSpin Equivalence Checking to Be Bundled With Oasys RealTime
Physical RTL Synthesis Software 
MUNICH, GERMANY and SANTA CLARA, CA -- (Marketwire) -- 02/26/13 -- 
OneSpin Solutions(TM) (, 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)
Under terms of the agreement, OneSpin is licensing a portion of its
OneSpin 360(TM) EC technology, automated functional equivalence
checking software, to Oasys to integrate with its RealTime
Designer(TM) physical RTL synthesis software. More details on the
flow integration will be announced by Oasys over the next several
"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 f
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. 
For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822  
Dan Ganousis
Oasys Design Systems
(303) 859-3048 
Press spacebar to pause and continue. Press esc to stop.