|Name:||Sai Karthik Madabhushi|
|Designation:||Senior Field Application Engineer|
|Title:||Formal-based Coverage-Driven Verification|
Abstract: In the not too distant future formal will be your default choice for virtually every verification task. As such, it’s critical for formal practitioners to have metrics to track their progress independent of simulation-related data. Hence, this presentation will focus on formal-specific coverage metrics for stimuli and property completeness, as well as proof coverage – both for bounded and full proofs. We will show how this data will help you guard against the potential over-constraint problem and eliminate false confidence in design correctness, as well as provide an empirical measurement of the ROI of your formal verification.
Biography: Sai Karthik Madabhushi is Jasper’s Senior Field Application Engineer, based in Watford, UK. He specializes in Formal Verification methodology and applications from Jasper to solve verification needs of Jasper customers. He has extensive experience in product development of Formal Verification tools and Verification IP. Protocol Verification and Formal Coverage Metrics are a few areas of his expertise and present interests. Sai holds a BE degree in Electrical Engineering from Osmania University and a MS degree in VLSI and Embedded systems from IIIT, Pune. More details are available on his LinkedIn profile: http://www.linkedin.com/in/saikarthik