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.
For more information click here.
Royal Berkshire Conference Centre