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.|
|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.|
- June 14, 2018
- Reading & Online
- FREE to attend
Now in its 8th successful year, VF2018 Europe (now incorporating Formal Verification 2018) is a unique one day conference, exhibition and industry networking event organised by T&VS in partnership with the community to discuss the challenges faced in hardware and software verification.
DVCLUB Europe is made possible through the generosity of our sponsors.