Vivek Singh

DevOps Engineer

Gurugram, Haryana, India7 yrs 3 mos experience

Most Likely To SwitchHighly Stable

Key Highlights

Expert in Formal Verification and Debugging.
Strong analytical and problem-solving skills.
Leadership experience as Team Captain and Organizer.

Stackforce AI infers this person is a Formal Verification Engineer with expertise in Digital Electronics and Hardware Verification.

Contact

Skills

Core Skills

Formal VerificationDebugging

Other Skills

Analytical SkillsAssertion Based VerificationC++Code CoverageCodingComplexity ReductionComputer ArchitectureCritical ThinkingData Structures and AlgorithmsDigital DesignsDigital ElectronicsFormal Abstraction ModelsFormal CoverageFunctional VerificationFunctional coverage

Experience

Nvidia

2 roles

Senior Formal Verification Engineer

Promoted

Jun 2023 – Present · 2 yrs 9 mos · Gurugram, Haryana, India · On-site

Formal VerificationDebuggingProblem SolvingAnalytical Skills

Formal Verification Engineer II

Oct 2021 – Jun 2023 · 1 yr 8 mos · Gurugram, Haryana, India · On-site

Formal VerificationDebuggingProblem SolvingAnalytical Skills

Takneek’19

Overall Organizer

Jul 2019 – Apr 2020 · 9 mos

Jindal stainless

Summer Internship

May 2019 – Jul 2019 · 2 mos · Hisar, Haryana, India

Association of mechanical engineers, iit kanpur

General and Account Secretary

Jul 2018 – Jun 2019 · 11 mos

Team iitk motorsports

Team Captain

Mar 2018 – Jul 2019 · 1 yr 4 mos · Greater Lucknow Area

Hall of residence v, iit kanpur

Science and Technology Secretary

Jul 2017 – Jul 2018 · 1 yr

Education

Indian Institute of Technology, Kanpur

Bachelor of Technology - BTech

Jan 2016 – Jan 2020

Stackforce found 100+ more professionals with Formal Verification & Debugging

Explore similar profiles based on matching skills and experience

Janak Patel

Design Verification Engineer

at Amazon Web Services (AWS)

Milpitas, United States15 yrs 3 mos exp

Functional VerificationSoC

Deepak Garg

Director of Engineering

at Siemens EDA (Siemens Digital Industries Software)

Noida, India19 yrs 11 mos exp

Kumar Shivam

Senior Application Specific Integrated Circuit Design Verification Engineer

at Qualcomm

Bengaluru, India4 yrs 9 mos exp

SystemVerilogUniversal Verification Methodology (UVM)

Vishal Mistry

Technical Manager

at eInfochips (An Arrow Company)

Ahmedabad, India17 yrs exp

satish kumar agarwal

Director of Engineering

at Siemens EDA (Siemens Digital Industries Software)

Noida, India19 yrs 5 mos exp

Supriya Suresh

Member of Technical Staff

at Cohesity

Bengaluru, India5 yrs 7 mos exp

CryptographyMicroservicesOperating SystemsSystems Design

Paresh Patel

ASIC Design Verification Engineer

at Google

United States16 yrs 1 mo exp

ASIC Design VerificationFunctional Verification

Swetha G.

Verification Engineer - IP

at NVIDIA

Bengaluru, India11 yrs 3 mos exp

SystemVerilogUniversal Verification Methodology (UVM)RTL design verilog