Shivam Yadav

Formal Verification Engineer at Google

Role
Formal Verification Engineer at Google
Location
New Delhi, DL, IN
LinkedIn followers
500 followers
Information TechnologyView LinkedIn profile

About Shivam Yadav

Part of Google\'s chips formal Verification group applying formal methods to verify consumer IPsShort summary of my Skills (technical)Assertion based verificationFormal modellingFormal abstractions and convergenceVerilog | System VerilogDynamic verification using UVM

Experience

  1. Formal Verification Engineer

    Google

    Apr 2025 — Present · Bengaluru, IN

Education

  • JSS Academy of Technical Education

    Bachelor of Technology - BTech, Electrical and Electronics Engineering

    2015 — 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.

Shivam Yadav — Formal Verification Engineer at Google in New Delhi, DL, IN | Unifers