REMINDER: MEDIA ALERT: OneSpin Solutions Will Present Paper, Demonstrate Formal Verification Tool Suite at ChipEx 2013 in Tel

REMINDER: 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
Brinkmann 
SANTA CLARA, CA -- (Marketwired) -- 04/30/13 --  
WHO: 
 OneSpin Solutions(TM) (www.onespin-solutions.com), provider
of innovative formal assertion-based verification (ABV) and formal
equivalence checking solutions 
WHAT: 
 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 
WHEN: 
 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. 
WHERE: 
 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:
info@onespin-solutions.com. 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:
Nanette Collins
Public Relations for OneSpin Solutions
(617) 437-1822
nanette@nvc.com 
 
 
Press spacebar to pause and continue. Press esc to stop.