Suraj Kamble
FV@Microsoft, Ex - Intel
- Role
- Formal Verification Engineer at Microsoft
- Location
- Bengaluru, KA, IN
- LinkedIn followers
- 500 followers
About Suraj Kamble
I am a Datapath Formal Verification Engineer at Intel, specializing in the verification of GPU datapath components, including integer, floating-point, and format conversion instructions. I have hands-on experience on various formal verification tools, and I’ve led efforts to build C2RTL equivalence verification environments from scratch. I also collaborate with internal teams and vendors to develop tools that automate formal verification processes and improve regression workflows. My focus is on ensuring the correctness and efficiency of processor designs, especially in complex GPU systems.
Experience
Formal Verification Engineer
Dec 2024 — Present · Bengaluru, IN
Education
Government College of Engineering Aurangabad
Bachelor of Engineering - BE
2013 — 2017
Indian Institute of Technology, Kharagpur
MTech in Visual Information Processing and Embedded Systems(VIPES)
2017 — 2019
Find verified contacts for anyone on LinkedIn
Unifers gives sales teams verified emails and direct dials, enriched profiles, and outreach that lands in the inbox.
Free plan included · No credit card required
This profile is compiled from publicly available professional sources. Unifers is not affiliated with or endorsed by LinkedIn. Request removal of this profile.