SANTA CLARA, CA — (Marketwired) — 04/30/13 —
OneSpin Solutions (), 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: .
Details about ChipEx 2013 can be found at: .
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: . Website: .
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.
For more information, contact:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822
You must be logged in to post a comment Login