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

Harris

Featured Video
Jobs
Software Developer for CHA Consulting, Inc. at Norwell, Massachusetts
Product Manager for CHA Consulting, Inc. at Boston, Massachusetts
Geospatial Analyst/Programmer for LANDIQ at Sacramento, California
GIS Data Analyst for CostQuest Associates, Inc. at Cincinnati, Ohio
System Designer/Engineer for Bluewater at Southfield, Michigan
Mid-Level Mechanical Engineer for Kiewit at lenexa, Kansas
Upcoming Events
Upper Midwest Geospatial Conference (UMGEOCON) at 521 East Ave North La Crosse WI - May 23 - 24, 2018
Locate 2018 at Pier 27, The Embarcadero San Francisco CA - May 30 - 31, 2018
2nd WY UAV Symposium at UW Convention Center 2229 Grand Ave LARAMIE WY - May 30 - 31, 2018
GeoIntelligence Asia at NEW DELHI India - Jun 4 - 5, 2018
University of Denver GIS Masters Degree Online
Teledyne:
Interdrone 2018



Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — 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 PolicyAdvertise