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
Project Manager for Keystone Aerial Surveys at Philadelphia, PA
GIS Specialist for Fresno Irrigation District at Fresno, CA
Geospatial Analyst - Senior for BAE Systems Intelligence & Security at Springfield, VA
GIS Analyst for City of Columbia, MO at Columbia, MO
Geospatial Systems Administrator for BAE Systems Intelligence & Security at arnold, MO
Senior Mechanical Engineer for BAE Systems Intelligence & Security at Arlington, VA
Upcoming Events
USC Spatial Science Summit at 3540 South Figueroa Los Angeles CA - Feb 23, 2018
2018 Los Angeles Geospatial Summit at USC Radisson Hotel 3540 S Figueroa St. Los Angeles CA - Feb 23, 2018
Webinar: What's New in Global Mapper v19.1 at United States - Feb 27, 2018
2018 Esri Developer Summit at Palm Springs Convention Center Palm Springs CA - Mar 6 - 9, 2018
Teledyne Optech
University of Denver GIS Masters Degree Online
Teledyne:



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