Sumit Kumar

About Sumit Kumar

Summary Worked with MIPS, Bangalore in the RISC-V CPU verification domain.• Worked with Arm, Bangalore in the A-profile AArch64 CPU verification domain.• Worked with AMD, Bangalore in the x86 Core verification Team for the next-generation Zen cores (Zen2, Zen3).• Worked with AMD, Hyderabad in the SoC verification Team, and participated in the tape-out of the first Zen based servers (EPYC).• Worked with STMicroelectronics, Greater Noida in the Functional verification and the RTL designing domains at IP level.Skillset RISC-V ISA • ARM ISA• x86 ISA (Zen/Bulldozer micro-architectures)• Caches and Computer-Architecture• Processor Security• CHI, ACE, AXI4, APB AMBA protocols• SystemVerilog and UVM• Rich Experience of e/Specman/AOP based Functional verification domain• Hands-on experience of developing e Verification Component (eVC) from scratch using eRM Verification Methodology• In-depth knowledge of HVL components e.g, Driver, Checker, Monitor, Scoreboard, Coverage, Sequences etc. • Thorough knowledge of developing Test-plans at IP, Sub-system and SoC level• RTL Designing (using Verilog), Synthesis (Design Compiler) & Static Timing Analysis (PrimeTime)• Memory BIST Development, JTAG (TAP) protocol• Verification Qualification (Certitude) & Regression Management (vManager)Areas of Interest Parallel Computer Architecture• Cache Coherence Protocol ( Design and Verification )• Memory Consistency• Memory-Subsystem• NOC• Performance Evaluation of multi-core Processor based systems• Hardware-Software Interface• Verification IP development from scratch• Processor Security• Formal Property Verification

Experience

1. Cpu Verification Engineer

   IBM

   Aug 2025 — Present · Bengaluru, IN

Education

• Indian Institute of Technology (BHU) , VARANASI

  B.Tech, Electronics Engineering

  2002 — 2006

Skills

• Microprocessors
• Microarchitecture
• Soc
• Verilog
• Specman
• Ncsim
• Assembly Language
• Formal Verification
• Functional Verification
• Processors
• Cmos
• X86
• Rtl Coding
• Rtl Design
• Dft
• System on a Chip (Soc)
• Bist
• Logic Synthesis
• Debugging