Name:Desikan Srinivasan
Designation:Principal Engineer in System IP team
Challenges:Exploiting formal
Coherency – System level
Verification schedule predictability

Biography:  Desikan holds Bachelor in Engineering degree in ECE from Madras University. He has been with ARM for last 7 years and has 15+ years of industry experience in design and verification domain. Currently, he is leading verification of System Memory Management Unit. He has managed and led ARM architecture verification team as well as CPU micro architecture verification teams in the past.

Verification Futures Conference Presentation                                                                   Video Presentation