|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.
|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|
DVCLUB Europe is made possible through the generosity of our sponsors.