Media Alert: OneSpin Solutions, IMEC to Host Hands-On Tutorial on Metric-Driven Formal Verification

MUNICH, GERMANY -- (Marketwire) -- Nov 07, 2012 --


WHO:
OneSpin Solutions™ ( www.onespin-solutions.com), 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 ( www.imec.be)

WHAT:
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.

WHEN:
Thursday, November 15, 2012 from 9 a.m. until 5 p.m.

WHERE:
IMEC, Leuven, Belgium

The tutorial is free for qualified engineering and verification managers and digital design and verification engineers. To register, send email to: Email Contact.

For more information about OneSpin Solutions, visit: www.onespin-solutions.com.

The IMEC (Interuniversity Microelectronics Centre) website can be found at: www.imec.be.

About OneSpin Solutions
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: Email Contact. Website: www.onespin-solutions.com.

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 

Email Contact 





Review Article Be the first to review this article
Trimble

Photosat

Jobs
IT Analyst III (GIS) for Orange County Sanitation District at Fountain Valley, CA
CAD Design Specialist I for Waterpik, Inc. at Fort Collins, CO
Upcoming Events
MAGIN's 26th Annual Conference at Michigan Hagerty Conference Center and Park Place Hotel Downtown Traverse City Michigan - Jun 4 - 6, 2017
GEOINT Cesium Exploration Seminar at Henry B. Gonzalez Convention Center 900 E Market St San Antonio TX - Jun 4, 2017
GEOINT 2017 Symposium at 900 E Market St San Antonio TX - Jun 4 - 7, 2017
University of Denver GIS Masters Degree Online
Teledyne:
InterDrone2017
CADalog.com - Countless CAD add-ons, plug-ins and more.



Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation TechJobsCafe - Technical Jobs and Resumes  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy