Rekha G
Senior Formal Verification Engineer at NVIDIA
- Role
- Formal Verification Engineer Sr Ii at NVIDIA
- Location
- Bengaluru, KA, IN
- LinkedIn followers
- 500 followers
About Rekha G
Contributing on Formal Property Verification Plan, Execution and Sign-off for CPU/GPU blocks. Working on Abstraction Techniques, Bounded Proof Analysis. Driving to leverage the Formal Methodology in Design Development Cycle
Experience
Formal Verification Engineer Sr Ii
Mar 2025 — Present · Bengaluru, IN
Started exploring GPU designs, working on FPV for major blocks in GPU design
Education
B. M. S. College of Engineering
BE - Bachelor of Engineering, Electrical, Electronics and Communications Engineering
2015 — 2018
BITS Pilani Work Integrated Learning Programmes
Master of Technology - MTech, Microelectronics
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.