P

Prateek Jain

Software Engineer

Noida, Uttar Pradesh, India13 yrs 10 mos experience

Key Highlights

  • Expert in Formal Verification and Low Power FPGA Design.
  • Proven track record in ASIC verification and product validation.
  • Strong communication and presentation skills in technical domains.
Stackforce AI infers this person is a specialist in Semiconductor and EDA industries with a focus on verification methodologies.

Contact

Skills

Core Skills

Formal VerificationApplication Engineering

Other Skills

CommunicationProduct DemonstrationPresentationsInterpersonal SkillsTechnical PresentationsEDAVerilogSimulationsAssertion Based VerificationUVMSystemVerilogVHDLPSLSVA AssertionsProduct validation

About

Research Areas: Formal Verification Nano-Plasmomics and Photonics Low Power FPGA and ASIC Design SoC Power and Performance

Experience

13 yrs 10 mos
Total Experience
--
Average Tenure
--
Current Experience

Ieee

Member

Jul 2022Present · 3 yrs 11 mos

Synopsys inc

Principal Engineer

Sep 2021Present · 4 yrs 9 mos · Noida, Uttar Pradesh, India

CommunicationProduct DemonstrationFormal VerificationApplication Engineering

Ciena

Senior Design Engineer

Oct 2019Sep 2021 · 1 yr 11 mos

Presentations

Nvidia

Senior ASIC Engineer

Aug 2018Oct 2019 · 1 yr 2 mos · Bengaluru, Karnataka, India

Presentations

Cadence design systems

Lead Software Engineer

Aug 2012Aug 2018 · 6 yrs · Noida, Uttar Pradesh, India

  • .
Presentations

Education

Indian Institute of Technology, Delhi

Doctor of Philosophy - PhD — Electrical engineering

Jan 2021Jul 2025

Indian Institute of Technology, Delhi

Master's degree — VLSI Design Tools and Technologies

Jan 2015Jan 2017

Amity University

Bachelor of Technology (B.Tech.) — ECE

Jan 2008Jan 2012

Stackforce found 100+ more professionals with Formal Verification & Application Engineering

Explore similar profiles based on matching skills and experience