|Designation:||Senior Application Engineer|
|Title:||Metric Driven Formal ABV|
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.
Sasa Stamenkovic is a noted verification expert, highly experienced at applying formal techniques in real design scenarios. With a strong verification background Stamenkovic has been engaged by multiple leading electronic product companies to consult on the application of formal methods to solve the most complex verification problems.