OneSpin Solutions, IMEC Host Metric-Driven Formal Verification with 360 MV Tutorial

Metric-Driven Formal Verification with 360 MV Tutorial

OneSpin Solutions and IMEC are hosting a tutorial next week. The training is titled, Metric-Driven Formal Verification with 360 MV. The event is free for qualified engineering and verification managers and digital design and verification engineers. The tutorial will take place Thursday, November 15, 2012 from 9 am to 5 pm in Leuven, Belgium.

The tutorial will discuss the fundamentals of OneSpin 360 MV, which is a formal assertion-based verification (ABV) tool for analyzing and tracking register transfer level (RTL) code and assertions throughout the design space. To register, send email to: training@imec.be

Metric-Driven Formal Verification with 360 MV Tutorial

Traditional formal verification flows leave the user in the dark about the verification progress and quality. Novice users often struggle with questions like: “How good are my assertions?”, or “How much have I verified?” Metric driven formal verification with 360 MV removes this uncertainty by comprehensively analyzing and tracking RTL code and assertions throughout the design space. It identifies both verified and unverified RTL code, showing engineers at a glance exactly where to put assertions to fill the verification holes. Complemented by a number of useful push-button solutions, this methodology makes formal verification a productive tool for everyone.

More info: IMEC | OneSpin Solutions