MEDIA ALERT: OneSpin Solutions Will Present Paper, Demonstrate Formal
Verification Tool Suite at ChipEx 2013 in Tel Aviv, Israel
"Formal Metric-Driven Verification" to Be Given by OneSpin's Dr. Raik
SANTA CLARA, CA -- (Marketwired) -- 04/22/13 --
OneSpin Solutions(TM) (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
For information about OneSpin Solutions, go to:
Details about ChipEx 2013 can be found
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.
For more information, contact:
Public Relations for OneSpin Solutions
Press spacebar to pause and continue. Press esc to stop.