
Smruthi Balaji
Formal Verification Engineer, working at Qualcomm. Worked on Formal Property Verification, Datapath Verification, Formal Equivalence Verification and Security... | Bengaluru, Bengaluru, India
*50 free lookup(s) per month.
No credit card required.
Smruthi Balaji’s Emails s.****@co****.it
Smruthi Balaji’s Phone Numbers No phone number available.
Social Media
Smruthi Balaji’s Location Bengaluru, Bengaluru, India
Smruthi Balaji’s Expertise Formal Verification Engineer, working at Qualcomm. Worked on Formal Property Verification, Datapath Verification, Formal Equivalence Verification and Security Formal Verification. Hands-On experience with industry formal tools from Cadence, Synopsys and Mentor Graphics. Skilled in SystemVerilog, C++ and TCL. Bachelors in Electronics and Instrumentation Engineering from BITS, Pilani.
Smruthi Balaji’s Current Industry Qualcomm
Smruthi
Balaji’s Prior Industry
Central Leather Research Institute Chennai
|
Intel
|
Qualcomm
Not the Smruthi Balaji you were looking for?
Find accurate emails & phone numbers for over 700M professionals.
Work Experience

Qualcomm
Staff Engineer
Mon May 01 2023 00:00:00 GMT+0000 (Coordinated Universal Time) — Present
Intel
Formal Verification Engineer
Mon Jul 01 2019 00:00:00 GMT+0000 (Coordinated Universal Time) — Mon May 01 2023 00:00:00 GMT+0000 (Coordinated Universal Time)
Intel
Intern
Fri Jun 01 2018 00:00:00 GMT+0000 (Coordinated Universal Time) — Sat Jun 01 2019 00:00:00 GMT+0000 (Coordinated Universal Time)
Central Leather Research Institute Chennai
Research Intern
Sun May 01 2016 00:00:00 GMT+0000 (Coordinated Universal Time) — Fri Jul 01 2016 00:00:00 GMT+0000 (Coordinated Universal Time)