OneSpin Solutions to Demonstrate Entire Family of Innovative Formal Assertion-Based Verification Solutions at DVCon 2013
Will Showcase Push-Button Formal Analysis, Automated Assertion Generation, Transaction-Level ABV, Functional Coverage, Equivalence Checking
(firmenpresse) - MUNICH, GERMANY -- (Marketwire) -- 02/21/13 -- At DVCon BOOTH #405
OneSpin Solutions™ (), provider of innovative formal assertion-based verification (ABV) solutions
Will demonstrate the OneSpin 360 DV product family with push-button formal analysis, automated transaction-level ABV and functional coverage at DVCon 2013 in Booth #405. The recently announced 360™ EC-RTL, equivalence checking (EC) software that compares revisions of register transfer level (RTL) code, and the OneSpin 360 EC product family will be showcased as well.
Tuesday and Wednesday, February 26-27, from 3:30 p.m. until 6:30 p.m.
Doubletree Hotel in San Jose, Calif.
The OneSpin Solutions website address is: .
More information about DVCon can be found at: .
Electronic design automation (EDA) supplier OneSpin Solutions of Munich, Germany, 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. 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: 21.02.2013 - 10:00 Uhr
Sprache: Deutsch
News-ID 1199427
Anzahl Zeichen: 0
contact information:
Contact person:
Town:
MUNICH, GERMANY
Phone:
Kategorie:
Electronic Components
Anmerkungen:
Diese Pressemitteilung wurde bisher 101 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"OneSpin Solutions to Demonstrate Entire Family of Innovative Formal Assertion-Based Verification Solutions at DVCon 2013
"
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).
