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
 True Circuits: Ultra PLL

AMIQ: dvteclipse

Featured Video
Editorial
Peggy AycinenaIP Showcase
by Peggy Aycinena
Grant Pierce: Grand Challenges in IP
More Editorial  
Jobs
LVS PEX DESIGN ENGINEERS SILICON VALLEY for EDA Careers at San Jose, CA
LVS for PDK Design Engineer SILICON VALLEY for EDA Careers at San Jose, CA
Technical Support Engineer for EDA Careers at Freemont, CA
Upcoming Events
Automotive E/E Architecture China Conference at Shanghai China - May 25 - 26, 2017
EMC PCB Design Integration at 13727 460 Ct SE North Bend WA - Jun 6 - 9, 2017
DAC 2017 Conference at Austin TX - Jun 18 - 22, 2017
2017 FLEX Conference at Monterey Conference Center 1 Portola Plaza, Monterey CA - Jun 19 - 22, 2017
ClioSoft
DAC2017



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 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