Dilip Kumar S

Dilip Kumar S is a Formal Verification Lead with expertise in formal property-based verification and simulation-based verification. They previously served as a Senior Engineer at NVIDIA from 2018 to 2021, leading formal verification activities within the PCIE team. Prior to that, Dilip held the position of Senior Lead Engineer at Qualcomm, where they oversaw simulation-based verification of the SMMU IP projects. Currently, they are a Staff Verification Engineer at Arm, where they build and lead a strong Formal Verification team focused on verifying Compute Matrix Extension designs that accelerate AI workloads. Dilip holds a B.E. in Electronics and Communication from Visvesvaraya Technological University.