close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Free Workshop @ IMEC-Academy

2014-01-28 (09:00 - 17:00)

From Push-Button Formal Verification to Metric-Driven Verification

Formal verification is often perceived to be complicated and hard to apply – a domain for engineers with a PhD in formal verification only. OneSpin 360DV, on the other hand, offers a wide range of automated solutions that are applicable by the typical designer or verification engineer with next to no knowledge of formal verification. These solutions allow to flush out a wide range of bugs much earlier in the design phase than in simulation-only flows, without even the need for a testbench.

In addition, OneSpin 360DV enables a verification engineer with basic SVA knowledge to apply a true metric-driven verification that integrates with the overall simulation-based coverage. Traditional formal verification flows leave the engineer in the dark on verification progress and quality. New users of the technology often struggle with questions like: how good are my assertions, or how much of my design have I verified? Metric-driven formal verification with OneSpin 360 DV removes this uncertainty by analyzing and tracking RTL code and assertions throughout the design space, continuously checking verification coverage. It identifies both verified and unverified RTL code, directing engineers at a glance exactly where to locate assertions to fill the verification holes. Complemented by a number of useful automated solutions, this methodology makes formal verification a productive tool for everyone.

OneSpin Solutions and the IMEC-Academy are pleased to invite you to a free, hands-on workshop.

Who Should Attend: Engineering and Verification Managers, Digital Design and Verification Engineers

Fees and Regulations:

  • The workshop is free
  • Hotel accommodation and meals other than lunch are not included.


Tuesday, January 28th, 2014, 9:00-17:30, IMEC, Kapeldreef 75, B‐3001, Leuven, Belgium