WHO:
OneSpin Solutions™ ( www.onespin-solutions.com), provider of innovative formal assertion-based verification solutions for integrated circuit (IC) and field programmable gate array (FPGA) system-on-chip (SoC) designs

WHAT:
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 FPGAs."

OneSpin will demonstrate OneSpin 360™ 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™ EC. OneSpin 360 EC is a suite of equivalence checking solutions that includes the integration with FPGA synthesis software Xilinx's Vivado™ synthesis software to address the unique challenges of FPGA synthesis based on complex optimizations.

WHEN:
Thursday, December 13, from 9 a.m. until 5 p.m.

WHERE:
Cap15, Paris, France

For more information about OneSpin Solutions, visit: www.onespin-solutions.com.

Details on the ARM Technology Symposium 2012 Paris can be found at: www.arm.com/about/events/arm-technology-symposium-2012-paris.php.

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: Email Contact. Website: www.onespin-solutions.com.

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

Email Contact