Atharva Bhawsar

Software Engineer

Bengaluru, Karnataka, India2 yrs 4 mos experience
Most Likely To Switch

Key Highlights

  • Expert in CPU microarchitecture and formal verification.
  • Developed innovative motor control algorithms.
  • Hands-on experience with advanced verification methodologies.
Stackforce AI infers this person is a Semiconductor and Embedded Systems specialist with a focus on CPU architecture and verification.

Contact

LinkedIn

Skills

Core Skills

Formal VerificationCpu MicroarchitectureCompiler OptimizationMotor Control

Other Skills

SystemVerilogVerilogCCS studioMotor designJasperGoldVerification and Validation (V&V)Advanced Computer ArchitectureDigital Circuit DesignAnalog Integrated Circuit DesignField-Programmable Gate Arrays (FPGA)Compiler ConstructionHardware Software Co-DesignLLVMEmbedded CTexas f280x microcontroller

Experience

2 yrs 4 mos
Total Experience
9 mos
Average Tenure
10 mos
Current Experience

Intel corporation

CPU Formal Verification Engineer

Jul 2025 – Present · 10 mos · Bengaluru · On-site

  • Working on Formal Verification of various Complex Units in the Intel Performance CPU Cores across multiple generations. Hands-on experience developing and implementing end-to-end formal proofs and properties from scratch for new functionalities, ensuring proper formal verification test plan, Coverage and methodological tasks for formal sign-of.
  • Deep expertise in CPU microarchitecture and verification methodologies, including exposure to various CPU Architechtures.
  • Deploying AI Agents and automation workflows for making FV even more interesting :)
Formal VerificationSystemVerilogCPU Microarchitecture

Siemens eda (siemens digital industries software)

Digital R&D Intern

Jan 2025 – Jun 2025 · 5 mos · On-site

  • Worked on Performance Evaluation and Quality Assurance of Emulation runs on diverse Designs. Validation of the Emulation Analytics and Insights platform to ensure proper funtionality across different Emulator Platforms.

The hong kong university of science and technology

Research Intern

May 2024 – Jul 2024 · 2 mos · Hong Kong SAR · On-site

  • Worked on automated memory management solutions for efficient task partitioning between CPU and FPGA on a CPU-FPGA SoC platform
Compiler OptimizationVerilog

Indian institute of technology (iit) goa

2 roles

Summer Intern

May 2023 – Jun 2023 · 1 mo

  • Worked on developing a motor control algorithm for sensor less operation of FSPM (flux switching permanent magnet) motor for achieving superior torque-speed characteristics.
CCS studioMotor designMotor Control

Electronics and Robotics Secretary

Jul 2022 – Aug 2023 · 1 yr 1 mo

Education

Indian Institute of Technology (IIT) Goa

Bachelor of Technology - BTech — Electrical and Electronics Engineering

Oct 2021 – Jun 2025

The Lexicon International School, Wagholi

High School Diploma — PCM

Jan 2019 – Jan 2021

St Arnolds Central School

Secondary School

Jan 2018 – Jan 2019

Atharva Bhawsar - Software Engineer | Stackforce