Vikram Khosa is a distinguished Principal Engineer at Arm, where he spearheads the formal verification efforts for next-generation Cortex and Neoverse Arm CPUs. With a robust focus on CPU formal verification, Vikram drives the application of formal methods to ensure the functionality and security of...
Vikram Khosa is a distinguished Principal Engineer at Arm, where he spearheads the formal verification efforts for next-generation Cortex and Neoverse Arm CPUs. With a robust focus on CPU formal verification, Vikram drives the application of formal methods to ensure the functionality and security of high-performance processors. His expertise extends to cache-coherent memory systems, where he leverages advanced verification techniques to validate complex architectures that are critical for modern computing environments.
In his current role, Vikram is instrumental in enhancing the reliability and robustness of Arm's CPU designs, ensuring they meet the rigorous demands of today's applications. His previous experience includes leading the verification of symmetric multiprocessing (SMP) memory systems for the Cortex-A15, where he implemented innovative verification strategies that significantly improved design integrity and performance.
Vikram's extensive background in scalable ccNUMA interconnect protocols and ASIC designs, including high-throughput technologies like HyperTransport (HT) and QuickPath Interconnect (QPI), provides him with a unique perspective on the intricacies of computer architecture. His proficiency in object-oriented design using SystemVerilog, Java, and C++ further enriches his capability to develop and refine simulation-based verification methodologies for CPUs and system-on-chip (SoC) designs.
With a deep understanding of functional verification, microprocessors, and microarchitecture, Vikram is a key contributor to Arm's mission of delivering cutting-edge technology. His commitment to excellence in formal verification not only enhances product quality but also fortifies Arm's position as a leader in the semiconductor industry.
