MANGESH KONDALKAR

Software Engineer

Bengaluru, Karnataka, India12 yrs 9 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • 11+ years in Design Verification with UVM expertise
  • Led a team of 5+ engineers in AI/ML hardware projects
  • Published papers in renowned DV forums
Stackforce AI infers this person is a VLSI and Formal Verification expert in the Semiconductor industry.

Contact

Skills

Core Skills

VlsiFormal Verification

Other Skills

System VerilogConstraint Random VerificationPower ManagementFirmware InfrastructureSystemCC++VerilogSoftware DevelopmentEmbedded CDigital Circuit DesignRPGIBM iSeriesMainframeEmbedded SystemsFirmware

About

Design Verification Lead | UVM | System-Verilog | Formal Verification | VLSI Expert | Author Gold Medalist in Electronics Engineering (B.Tech, Mumbai University) and M.Tech in VLSI Design with Distinction (VTU). I bring 11+ years of experience in Design Verification domain with expertise in UVM, System-Verilog, and Advanced Verification Methodologies. Experience in developing complex testbench for IP and Subsystem verification, ensuring robust and high-quality designs. Currently, I lead a team of 5+ DV engineers for an IP used in AI/ML hardware. My responsibilities include planning effort estimates, Testbench strategy to verify new IP features and delivering bug free RTL across multiple projects. Hands on experience in Formal verification tools (JG & VCF) and methodologies like FPV & SEQ. Proven track record in driving Innovation and Quality in DV methodologies. Published papers in internal and external DV forums (DVCon & DTDC).

Experience

12 yrs 9 mos
Total Experience
6 yrs 4 mos
Average Tenure
7 yrs 3 mos
Current Experience

Qualcomm

3 roles

Senior Staff Engineer

Promoted

Dec 2024Present · 1 yr 5 mos

Staff Engineer

Nov 2021Dec 2024 · 3 yrs 1 mo

Senior Lead Engineer

Feb 2019Nov 2021 · 2 yrs 9 mos

Intel corporation

2 roles

Hardware Verification Engineer

Oct 2014Feb 2019 · 4 yrs 4 mos

  • Sensor based Subsystem verification with complex low power features
  • Lead for Constraint Random verification for subsystem that involves multiple subIPs and Power management unit
  • Lead for all the firmware infrastructure issues such as makefile, hex code and core interrupt programming
  • Migrated entire firmware from IA based core to ARM M7 based core with backward compatibility and transparent to the user
VLSIFormal VerificationSystem VerilogConstraint Random VerificationPower ManagementFirmware Infrastructure

Intern

Jul 2013Sep 2014 · 1 yr 2 mos

  • Working as Formal Verification Engineer.
  • Responsibilities
  • 1. RTL-RTL Formal Equivalence Verification.
  • 2. Formal Property Verification using System Verilog Assertions.
  • 3. Modeling the hardware in SystemC/C++ and using High Level Synthesis Tool to generate RTL.
  • 4. C-RTL Formal Equivalence Verification.
Formal VerificationSystem VerilogSystemCC++

Education

RV College Of Engineering

Master of Technology (M.Tech.) — VLSI Design and Embedded Systems

Jan 2012Jan 2014

MUMBAI UNIVERSITY

BE — ELECTRONICS

Jan 2006Jan 2010

Stackforce found 100+ more professionals with Vlsi & Formal Verification

Explore similar profiles based on matching skills and experience