Swapnil Bansal

Product Engineer

Santa Clara, California, United States4 yrs 6 mos experience

Key Highlights

  • Expert in Digital VLSI design and verification methodologies.
  • Hands-on experience with leading EDA tools like Cadence and Synopsys.
  • Strong academic background with high GPA and multiple internships.
Stackforce AI infers this person is a VLSI Design Engineer with expertise in digital circuit design and formal verification.

Contact

Skills

Other Skills

Application-Specific Integrated Circuits (ASIC)Cadence InnovusCadence JasperGoldCadence SpectreCadence VirtuosoCircuit DesignDFTDigital Circuit DesignDigital VLSIField-Programmable Gate Arrays (FPGA)Formal VerificationIntegrated Circuits (IC)Layout DesignLogic SynthesisMentor Graphics - ELDO

About

✅ Swapnil is an Electronics & Communications graduate from IIIT-Delhi. He has actively worked in the field of Digital VLSI design, SRAM Memory Circuits Design & Testability, RTL to GDS-II Flow, Computer Architecture, High Level Synthesis & Formal Verification. Swapnil has completed several projects successfully in these domains and has relevant experience working on Cadence/Synopsys EDA tools & flows along with programming languages such as Verilog, SystemVerilog and TCL/Spice Scripting. ✅ Swapnil worked as an Associate Engineer in the GCAD team in Qualcomm, Bangalore, where he was responsible for Formal Verification activities such as developing verification methodologies and performing block/IP level verification of various Qualcomm designs. ✅ Currently, Swapnil is pursuing Master’s in Electrical & Computer Engineering at Purdue University, West Lafayette with specialization in VLSI, Circuit Design & Semiconductors. ✅ Swapnil worked as a Summer 2024 Intern in SRAM SEG Circuits Design Group at Apple, Cupertino. He also worked in the CPU Cores Physical Design Team at AMD, Santa Clara as a Fall 2024 Intern.

Experience

Apple

2 roles

SRAM Circuit Design Engineer

Jun 2025Present · 9 mos · Cupertino, California, United States

  • Part of the Digital Custom Group working on Semi Custom High-Speed SRAM memory circuits.

SRAM Circuit Design Intern

May 2024Aug 2024 · 3 mos · Cupertino, California, United States · On-site

  • Interned in the CPU Memory Digital Custom Team focused on high performance cores. Worked on exploring Analog charge-sharing based and Digital Bus Encode Inversion schemes to save power in long-channel IPs such as UFDI. The analysis estimated a better scheme for given bundle size in terms of PPA metrics & computational errors under random variations.

Amd

CPU Cores Physical Design Intern

Aug 2024Dec 2024 · 4 mos · Santa Clara, California, United States · On-site

  • Interned in the CPU team focused on high performance Zen-series cores. Evaluated and benchmarked the complete PnR flow for Branch-Prediction Buffer tile using Fusion Compiler & PrimeTime to attain a target power value by introducing “clock-gating” cells and timing metrics by fixing high TNS/WNS timing paths.

Purdue university

Graduate Teaching Assistant

Aug 2023May 2025 · 1 yr 9 mos · West Lafayette, Indiana, United States

  • GTA for ECE 43700: Computer Design & Prototyping (Fall’23)
  • GTA for ECE 33700: ASIC Design Laboratory (Spring’24)
  • GTA for SoCET VLSI Team (Fall’23, Spring’24 & Spring‘25)

Advanced multicore systems lab, iiit delhi

2 roles

Undergraduate Student Researcher

Promoted

Jan 2022Jun 2022 · 5 mos

  • In collaboration with DRDO, I worked alongside the AMS lab's PhD group to design and prototype an efficient, low-power SoC based on ARM Cortex-M0 for health-wearable applications. We performed the full SoC design flow to produce a GDSII with many area, memory and power optimization methodologies developed.
  • This work has been accepted at the 2022 IEEE India Council Conference.

Undergraduate Student Researcher

Jul 2020Dec 2021 · 1 yr 5 mos

  • Working on the development of "5 Stage RV32-I processor on FPGA board for Edge Computing" under the guidance of Dr. Sujay Deb at the Advanced Multi-core Systems (AMS) lab in IIIT Delhi. The processor built on the board is capable of executing multiple RISC instruction sets, under full bypassing & stalling scenarios. An efficient, low-latency, low-power ECG signal processing application has been built on the RISC machine, which explores the domains like Near Memory Computation.

Qualcomm

Formal Verification Engineer

Jan 2022Jun 2023 · 1 yr 5 mos · Bangalore Urban, Karnataka, India

  • Worked in the GCAD team with focus on Formal Verification activities, flows and methodologies in Qualcomm. Have signed-off multiple IPs ranging from Memory to Power Cores.

Indraprastha institute of information technology, delhi

2 roles

Undergraduate Student Researcher : VICAS (VLSI Circuits and Systems Lab)

Jan 2021Jul 2021 · 6 mos · Delhi, India

  • Working on an Independent project to propose & design a diagnostic circuit to raise alarms for impending write driver failures in SRAM memory under the able guidance of Dr Anuj Grover. A Write Driver design has been proposed, which employs the scheme of Negative Bitline level, but under the presence of ageing-induced resistive defects, writability of the cell degrades & hence is prone to failures. Therefore, a novel process & temperature-compensated test circuit has been designed to detect latent faults.
  • The work has been accepted in IEEE APCCAS 2021, Malaysia

Undergraduate Teaching Assistant

Aug 2019Dec 2021 · 2 yrs 4 mos · Delhi, India

  • UTA for Digital VLSI Design, Integrated Electronics & Linear Algebra courses spanning over 2 years with responsibilities ranging from conducting weekly tutorials, labs to setting up exam papers and mentoring for course projects.

Qualcomm

Hardware Engineering Intern

May 2020Jul 2020 · 2 mos · Bengaluru, Karnataka

  • Deploy formal verification of one of the IP CORE designs based on DDR Cache Controller through tools like Synopsys VC Formal and Cadence Jasper Gold.
  • Performed AHB Bus Certification for the registers in the RTL Design (FPV), performing Register checks to analyse the behaviour of the design (FRV) and debugging the failures using the Verdi tool.
  • Analyzed FSM deadlock stage in the design using the formal linting process of the RTL design using JG Superlint.
  • Using the AEP app, I performed Arithmetic Overflow Checks, Bound Checks, Conflicting Bus Checks on the RTL design and verified the design flaws.
  • Made this flow a push-button solution by writing suitable Make files, Bind file, TCL scripts and generating IP-XACT file.
  • Designed the Confluence Page (JIRA) fo the workflow of Formal Verification steps.
  • Contributed in performing the Formal Signoff for a RTL design using the JasperGold FPV+COV tools.

Education

Purdue University

Master of Science - MS — Electrical and Computer Engineering

Aug 2023May 2025

Indraprastha Institute of Information Technology, Delhi

Bachelor of Technology - BTech

Jul 2017Dec 2021

Stackforce found 100+ more professionals with Application-Specific Integrated Circuits (ASIC) & Cadence Innovus

Explore similar profiles based on matching skills and experience