Media Alert: OneSpin Solutions Named Silver Sponsor of ARM

Media Alert: OneSpin Solutions Named Silver Sponsor of ARM Technology
Symposium 2012 Paris 
Will Present "Push-Button Verification of Power Optimizations for
Xilinx FPGAs," Demonstrate Entire Suite of Formal Verification Tools 
MUNICH, GERMANY -- (Marketwire) -- 12/06/12 --  
 OneSpin Solutions(TM) (, provider
of innovative formal assertion-based verification solutions for
integrated circuit (IC) and field programmable gate array (FPGA)
system-on-chip (SoC) designs 
 Will participate at the ARM Technology Symposium 2012 Paris
as a Silver Sponsor, presenting a session on equivalence checking
titled, "Push Button Verification of Power Optimizations for Xilinx
OneSpin will demonstrate OneSpin 360(TM) MV, a suite of formal
assertion-based verification (ABV) tools to comprehensively analyze
and track register transfer level (RTL) code and assertions
throughout the design space, as well as OneSpin 360(TM) EC. OneSpin
360 EC is a suite of equivalence checking solutions that includes the
integration with FPGA synthesis software Xilinx's Vivado(TM)
synthesis software to address the unique challenges of FPGA synthesis
based on complex optimizations. 
 Thursday, December 13, from 9 a.m. until 5 p.m. 
 Cap15, Paris, France 
For more information about OneSpin Solutions, visit: 
Details on the ARM Technology Symposium 2012 Paris can be found at: 
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 and the OneSpin logo are
trademarks of OneSpin Solutions GmbH. All other trademarks are the
property of their respective owners. 
For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822 
Press spacebar to pause and continue. Press esc to stop.