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
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.
Thursday, December 13, from 9 a.m. until 5 p.m.
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