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

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

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: Email Contact.

For more information about OneSpin Solutions, visit:

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

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:

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

True Circuits:

Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
SENIOR ASIC Design Engineer for TiBit Communications at Petaluma, CA
Sr. staff ASIC Design Engineer -2433 for Microchip at San Jose, CA
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
DownStream: Solutions for Post Processing PCB Designs
S2C: FPGA Base prototyping- Download white paper
TrueCircuits: UltraPLL

Internet Business Systems © 2016 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 TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy