Media Alert: OneSpin Solutions, IMEC to Host Hands-On Tutorial on Metric-Driven Formal Verification
Attendees Will Learn Fundamentals of Formal Assertion-Based Verification
(firmenpresse) - MUNICH, GERMANY -- (Marketwire) -- 11/07/12 --
OneSpin Solutions™ (), provider of innovative formal assertion-based verification solutions for integrated circuit (IC) and field programmable gate array (FPGA) system-on-chip (SoC) designs, and IMEC ()
Will host a free hands-on tutorial titled, "Metric-Driven Formal Verification with 360 MV." Attendees will learn the fundamentals of OneSpin 360™ MV, a formal assertion-based verification (ABV) tool to comprehensively analyze and track register transfer level (RTL) code and assertions throughout the design space.
Thursday, November 15, 2012 from 9 a.m. until 5 p.m.
IMEC, Leuven, Belgium
The tutorial is free for qualified engineering and verification managers and digital design and verification engineers. To register, send email to: .
For more information about OneSpin Solutions, visit: .
The IMEC (Interuniversity Microelectronics Centre) website 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 and the OneSpin logo 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: 07.11.2012 - 16:30 Uhr
Sprache: Deutsch
News-ID 200645
Anzahl Zeichen: 0
contact information:
Town:
MUNICH, GERMANY
Kategorie:
Aircraft
Diese Pressemitteilung wurde bisher 202 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"Media Alert: OneSpin Solutions, IMEC to Host Hands-On Tutorial on Metric-Driven Formal Verification"
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).
