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
(firmenpresse) - SANTA CLARA, CA -- (Marketwired) -- 04/22/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
Themen in dieser Pressemitteilung:
Unternehmensinformation / Kurzprofil:
Datum: 22.04.2013 - 09:00 Uhr
Sprache: Deutsch
News-ID 1218795
Anzahl Zeichen: 0
contact information:
Contact person:
Town:
SANTA CLARA, CA
Phone:
Kategorie:
Electronic Components
Anmerkungen:
Diese Pressemitteilung wurde bisher 100 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"MEDIA ALERT: OneSpin Solutions Will Present Paper, Demonstrate Formal Verification Tool Suite at ChipEx 2013 in Tel Aviv, Israel
"
steht unter der journalistisch-redaktionellen Verantwortung von
OneSpin Solutions (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
