Ankit Gupta

Software Engineer

Hyderabad, Telangana, India13 yrs experience
Highly Stable

Key Highlights

  • Expert in Formal Verification for GPU architecture.
  • Strong background in ASIC design and automotive safety.
  • Proficient in numerical solvers for electromagnetic applications.
Stackforce AI infers this person is a specialist in semiconductor design and verification within the automotive and electronics industries.

Contact

LinkedIn

Skills

Core Skills

Formal VerificationComputer ArchitectureMathematical ModelingApplied Mathematics

Other Skills

GPU ArchitectureVerilogSystemVerilogFailure Modes, Effects, and Diagnostic Analysis (FMEDA)Assertion Based VerificationElectromagneticsSignal ProcessingMathematical AnalysisOptimizationComputational ElectromagneticsLinear Algebra and Convex OptimizationFunctional VerificationDigital ElectronicsSQLUnix

About

My work experience at Micron have been into Formal Verification, Process Modelling and Automotive Functional Safety requirements(FUSA). Currently, I am working on FuSa and ASIC design related work which involves digital design and computer architecture concepts. Have worked on several projects in each vertical of verification domain mentioned above.

Experience

13 yrs
Total Experience
2 yrs 2 mos
Average Tenure
2 yrs 1 mo
Current Experience

Amd

MTS Silicon Design Engineer

Apr 2024 – Present · 2 yrs 1 mo · Hybrid

  • Formal Verification for GPU architecture
Formal VerificationGPU ArchitectureComputer Architecture

Micron technology

ASIC Design

Jul 2019 – Mar 2024 · 4 yrs 8 mos · Hyderabad, Telangana

VerilogSystemVerilogComputer ArchitectureFormal VerificationFailure Modes, Effects, and Diagnostic Analysis (FMEDA)Assertion Based Verification

Indian institute of technology, madras

2 roles

Researcher

Jul 2016 – Jul 2019 · 3 yrs

  • Problems related to area of Electromagnetics/signal processing/mathematical analysis/optimization, interest me the most.
  • Currently working to formulate/code/debug the numerical solvers for plane wave scattering from rough surfaces using MoM and FEM techniques.

Research Scholar

Jul 2016 – Jul 2019 · 3 yrs

Gateforum

Signals & Systems Faculty

Aug 2015 – Apr 2016 · 8 mos · Kanpur Area, India

  • Worked as signals and systems part-time faculty.

Infosys

TEST ANALYST

Jun 2013 – Jul 2015 · 2 yrs 1 mo · Pune

  • Dataware house testing

Gateforum

Signals & Systems Faculty

Jul 2012 – Jan 2013 · 6 mos · Kanpur Area, India

  • Worked as a part-time faculty with GateForum Institute.

Education

Indian Institute of Technology, Madras

Researcher — Electrical Engineering

Jan 2016 – Jan 2019

Jaypee University of Information Technology

Bachelor’s Degree — Electronics and Communications Engineering

Stackforce found 100+ more professionals with Formal Verification & Computer Architecture

Explore similar profiles based on matching skills and experience

Sandeep Shukla

Sandeep Shukla

Director

at International Institute of Information Technology Hyderabad (IIITH)

Hyderabad, India38 yrs 5 mos exp
David Galindo

David Galindo

Co-Founder, Chief Technology Officer

at Valory

Great Malvern, United Kingdom24 yrs 1 mo exp
BlockchainCryptographyLeadershipManagementProject Management
Neeraj Kothari

Neeraj Kothari

ASIC Design Verification Engineer

at NVIDIA

Bengaluru, India10 yrs 8 mos exp
Functional VerificationDesign Verification Testing
Sumit Sourabh

Sumit Sourabh

Director

at ING

Amsterdam, Netherlands14 yrs 3 mos exp
Algorithm DevelopmentAlgorithm ImplementationEpistemic ReasoningMachine LearningPredictive Analytics
Neha Bajaj

Neha Bajaj

Power Management IP Architecture Lead

at Google

San Diego, United States19 yrs 1 mo exp
Anindya Nandi

Anindya Nandi

Sr. Director, Hardware Engineering

at NVIDIA

Bengaluru, India23 yrs 2 mos exp
Processor Core Design & VerificationPower Management VerificationFormal Verification
Muhammad Shoaib

Muhammad Shoaib

Lead Member of Technical Staff

at Siemens EDA (Siemens Digital Industries Software)

Delhi, India3 yrs 9 mos exp
Deep LearningFPGA Design
Aaqib Ahmad

Aaqib Ahmad

Founder

at BETTR.

Gurugram, India8 yrs 8 mos exp
ASIC VerificationDigital Circuit DesignVLSI