Skip to main content

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

Conference: DVCLUB Europe | Formal Verification
Speaker: Vikram Khosa, Principal Engineer, Arm

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:


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

Close Menu