SUJEET KUMAR

Software Engineer

Bengaluru, Karnataka, India16 yrs 7 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • 14 years of expertise in functional and formal verification.
  • Led verification activities for complex systems at Intel.
  • Published seven papers and co-authored a book.
Stackforce AI infers this person is a Semiconductor Verification Engineer with extensive experience in formal and functional verification.

Contact

Skills

Core Skills

Functional VerificationFormal Verification

Other Skills

OVMUVMPCIEARMSystem VerilogTest BenchesSimulation AnalysisVHDLVerilogFormal Test BenchesCore Logic VerificationSixthSenseModelSimPerlOperating Systems

About

Sujeet Kumar is an experienced professional with over 14 years of expertise in functional and formal verification of various products including floating point, decimal floating point, ALU, memory control bridge, memory subsystem, AXI, AHB, I2C, PCIE, networking subsystem, FPGA based products and accelerators. He has a strong background in IBM Power, ARM, and X86 architectures and is skilled in programming languages such as C and C++, hardware description languages like VHDL and Verilog, scripting languages such as PERL, and verification languages like System Verilog and Fusion. Sujeet has experience with formal verification tools like SixthSense and Jasper Gold, and has a deep understanding of functional verification methodologies like OVM/UVM. He is proficient in operating systems like Windows, Linux, and UNIX and has experience in machine learning with tools like Numpy, Scipy, Scikit-learn, Theano, TensorFlow, Keras, PyTorch, Pandas, and Matplotlib. Sujeet has been granted two patents and is always happy to share his knowledge on VLSI-related topics on Quora(https://www.quora.com/profile/Sujeet-Kumar-236/). Please note that he is not interested in networking-related business opportunities such as Amway. Apart from his professional work, Sujeet has also published seven papers in various international journals and co-authored a book titled "Current Mode Signaling for On-Chip Interconnect." He is an active researcher who is currently focusing on Guiding Formal Verification Orchestration Using Machine Learning Methods.

Experience

16 yrs 7 mos
Total Experience
2 yrs 9 mos
Average Tenure
7 yrs 7 mos
Current Experience

Intel corporation

DV Engineer

Oct 2018Present · 7 yrs 7 mos · Bengaluru Area, India

  • My work involved full chip functional verification, including network subsystem, PMBUS, SMBUS, I2C, PCIE, and ARM processor. I led the formal verification activities of the Memory Subsystem, ensuring that it met all specifications and design requirements.
  • In addition, I also led the functional verification of Granite Rapids (GNR)-accelerator subsystem streamline, where I applied my expertise in various functional verification methodologies such as OVM/UVM to ensure that the subsystems functioned correctly and met all performance requirements.
  • Overall, my experience in functional verification of complex systems, leading formal verification activities, and leading functional verification of various subsystems.
Functional VerificationFormal VerificationOVMUVMPCIEARM

Appliedmicro

Staff Engineer

Jan 2016Oct 2018 · 2 yrs 9 mos · Bengaluru Area, India

  • My responsibilities included creating and implementing test benches using UVM methodology, developing test cases, and analyzing simulation results to ensure that the memory subsystems met all specifications and design requirements.
  • I collaborated closely with the design team to identify and resolve any issues that arose during the verification process. This required strong communication skills and the ability to work collaboratively to ensure that the memory subsystems were optimized for performance and reliability.
  • Additionally, I utilized my expertise in System Verilog to develop complex verification environments that could test the memory subsystems in a variety of scenarios. I also conducted coverage analysis and created reports to track the progress of the verification process.
UVMSystem VerilogTest BenchesSimulation AnalysisFunctional Verification

Applied micro

Staff Verification Engineer

Jan 2016Oct 2018 · 2 yrs 9 mos · Bengaluru Area, India

Ibm

2 roles

Staff R & D Engineer

May 2015Jan 2016 · 8 mos · Bengaluru Area, India

  • My work involved utilizing my expertise in hardware description languages such as VHDL and Verilog.
  • I was responsible for developing formal test benches and test cases to ensure that the PowerPC core met all specifications and design requirements. This required an in-depth understanding of the core architecture and the ability to create complex verification environments to test the core under a variety of conditions.
  • In addition, I collaborated closely with the design team to identify and resolve any issues that arose during the verification process. This required strong communication skills and the ability to work collaboratively to optimize the performance and reliability of the PowerPC core.
VHDLVerilogFormal Test BenchesFormal Verification

Senior Research And Development Engineer

Feb 2014Mar 2015 · 1 yr 1 mo · Bengaluru Area, India

  • Worked on Core logic verification
Core Logic Verification

Ibm system and technology

3 roles

Research and Development Engineer

Promoted

Oct 2012May 2014 · 1 yr 7 mos

  • I led the formal verification activities for these blocks, which involved utilizing formal methods to verify the correctness of the design. This required an in-depth understanding of formal verification tools such as SixthSense and the ability to create formal properties and assertions to prove the correctness of the design.
  • Furthermore, I worked closely with the design team to identify and resolve any issues that arose during the verification process. This required strong communication skills and the ability to work collaboratively to optimize the performance and reliability of the VSU and DFU blocks.
Formal VerificationSixthSense

Associate Hardware Engineer

Jul 2011Sep 2012 · 1 yr 2 mos

  • Formal/Functional verification on VSU and DFU block
Formal VerificationFunctional Verification

Internship(Processor development)

Mar 2011Jun 2011 · 3 mos

Vnit nagpur

Teaching Associate

Jun 2009Mar 2011 · 1 yr 9 mos · Nagpur Area, India

  • During my Master's program, I had the opportunity to gain valuable teaching experience by instructing undergraduate Digital Design Lab and Basic Electronics Lab. I was responsible for designing and teaching laboratory sessions, developing hands-on activities, and grading lab reports. I worked closely with students to ensure that they understood the material and could apply it to real-world projects.
  • In addition to teaching, I also had the opportunity to set the papers for Basic Electronics and Digital Circuits, two foundational courses in electrical and electronics engineering. As a paper setter, I was responsible for developing clear and concise questions that effectively tested students' understanding of the course material. I also reviewed papers submitted by students and provided detailed feedback on areas for improvement.

Education

Visvesvaraya National Institute of Technology

M.tech — Vlsi Design

Jan 2009Jan 2011

Visvesvaraya National Institute of Technology, Nagpur

M.Tech — VLSI Design

Jan 2009Jan 2011

West Bengal University of Technology, Kolkata

B.Tech — Electronics and Communication

Jan 2005Jan 2009

Stackforce found 100+ more professionals with Functional Verification & Formal Verification

Explore similar profiles based on matching skills and experience