DVCLUB Europe | Formal Verification

Deep Formal Methodology for Arm Austin’s A-class CPUs – Evolution and Learnings

Conference:DVCLUB Europe | Formal Verification | May 2018
Speaker:Vikram Khosa, Principal Engineer, Arm
Abstract:This presentation describes the journey of how a deep-formal verification program matured from early inception into a closely-integrated part of the overall CPU design and verification flows at Arm Austin.

  • Learning phase: developed a team and methodology
  • Execution phase: applied methodology to a grounds-up complex CPU project; discussion of results
  • Learnings from the first project applied to subsequent projects with better results
Speaker Biography:Vikram Khosa currently leads the CPU formal verification effort at Arm’s Austin design center. He was previously memory-system verification lead for the Cortex-A15 CPU. Other past experience includes CPU/ASIC/SoC verification roles with multiple companies, including 2 early-stage startups. He has a Bachelors in Engineering from BITS, Pilani and a Masters in Computer Engineering from University of Minnesota, Twin Cities
Presentation Downloads:Visit the main Formal Verification page to download the presentations.


DVCLUB Europe is made possible through the generosity of our sponsors.