SOURCE: OneSpin Solutions
SANTA CLARA, CA--(Marketwired - Apr 22, 2013) -
OneSpin Solutions™ (www.onespin-solutions.com), provider of innovative formal assertion-based verification (ABV) and formal equivalence checking solutions
Will offer demonstrations of the OneSpin 360 DV product family with push-button formal analysis, automated transaction-level ABV and functional coverage, and the OneSpin 360 EC product family at ChipEx 2013 in Booth K2. Dr. Raik Brinkmann, president and chief executive officer of OneSpin, will present a paper titled, "Formal Metric-Driven Verification," during the ChipEx Technical Conference
Wednesday, May 1, from 8 a.m. until 4:30 p.m. Dr. Brinkmann's talk will be held May 1 from 2:30 p.m. until 4 p.m.
David Intercontinental Tel Aviv Convention Center in Tel Aviv, Israel
For information about OneSpin Solutions, go to: www.onespin-solutions.com.
Details about ChipEx 2013 can be found at: www.chipex.co.il/.
About OneSpin Solutions
Electronic design automation (EDA) supplier OneSpin Solutions 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. Its United States headquarters is located in Santa Clara, Calif. Corporate headquarters is in Munich, Germany. Email: firstname.lastname@example.org. Website: www.onespin-solutions.com.
OneSpin, OneSpin Solutions, OneSpin 360, the OneSpin logo and GapFreeVerification are trademarks of OneSpin Solutions GmbH. All other trademarks are the property of their respective owners.