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.

TVS Formal Verification Seminar


Formal Verification Seminar 23rd May 2013

TVS is holding a one day Formal Verification Seminar on 23rd May 2013 where Verification Engineers and Managers can join EDA vendors.

Watch OneSpin's contribution "Metric Driven Formal ABV" presented by Sasa Stamenkovic at 16:10.


In modern verification environments it is vital that progress towards completion (or coverage) is measured using some form of metric. This presentation will discuss the notion of Observation and Control Coverage and suggest practical metrics that may be applied, using formal techniques, to methodically drive verification programs to unambiguous completion.

To join the live event in Reading email Mike Bartley. To register for the remote webinar click here.

For more information click here.

Royal Berkshire Conference Centre