Anjan Bhowmik

Software Engineer

Delhi, India5 yrs 7 mos experience
Highly Stable

Key Highlights

  • Expert in Formal Verification and RTL delivery.
  • Experience with cutting-edge Intel CCD Thunderbolt technology.
  • Strong background in training and mentoring new engineers.
Stackforce AI infers this person is a Semiconductor Verification Engineer with expertise in formal verification methodologies.

Contact

Skills

Core Skills

Formal VerificationFpv

Other Skills

SECAbstraction techniquesC (Programming Language)SystemVerilogProgrammingSemiconductorsJavaVerilogC++RTL CodingRTL VerificationIntel

About

Working on Intel CCD Thunderbolt cutting edge technology Having good experience with FPV, SEC, Superlint in Formal Verification. Handling complexity issues with various Formal abstraction techniques.

Experience

5 yrs 7 mos
Total Experience
4 yrs 9 mos
Average Tenure
9 mos
Current Experience

Qualcomm

Senior Engineer

Jul 2025Present · 9 mos · Noida, Uttar Pradesh, India

Intel corporation

2 roles

Pre-Si Valid/Verif Engineer

Jun 2021Jul 2025 · 4 yrs 1 mo

  • Performing Formal verification - FPV, SEC, Abstraction techniques, other FV activities to deliver high quality bug free rtl.
  • Training new candidates to get along with FV
Formal VerificationFPVSECAbstraction techniques

Intern

Aug 2020May 2021 · 9 mos

  • Applied Formal verification (FPV, SEC) in JG- implemented on DMA engines
Formal VerificationFPVSEC

Education

National Institute of Technology Calicut

Masters of Technology-Electronics — Electronics Design And Technology

Jan 2019Jan 2021

Stackforce found 100+ more professionals with Formal Verification & Fpv

Explore similar profiles based on matching skills and experience