Conference: | DVCLUB Europe | Formal Verification |
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: |
|
Sponsors
DVCLUB Europe is made possible through the generosity of our sponsors.
![client](https://www.tessolve.com/wp-content/uploads/2020/06/sidebar264-dvclub-sponsor-breker-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2022/10/sidebar264-dvclub-sponsor-arm-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2020/06/sidebar264-dvclub-sponsor-synopsys-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2020/06/sidebar264-dvclub-sponsor-st-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2022/10/Siemens-Logo_gold_1.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2020/06/sidebar264-dvclub-sponsor-onespin-1a.jpg)
![client](https://www.tessolve.com/wp-content/uploads/2022/10/sponsor-vf2018-cadence-1f.jpg)