Satyam S.
Formal Verification, Senior Lead Engineer @ Qualcomm | Ex- Samsung R&D | Ex-Intel | Formal Verification Enthusiast
- Role
- Senior Lead Engineer at Qualcomm
- Location
- Bengaluru, KA, IN
- LinkedIn followers
- 500 followers
About Satyam S.
Formal verification expert of digital design through SV assertion/covers and formal tools like JasperGold (Cadence), VcFormal.Demonstrated work span with hands-on experience in Formal Verification Technology. Validated microprocessor units and NVMe memory controller units. Driving RTL design to bug free state and bringing formal verification early in project cycle. Formal Verification methods\' planning, enhancement and their placement in the verification team.LPV: Low power assertions for formal environment to verify isolation, retention, clock and reset gating rules in RTL & UPFFPV: SVA placements across whole NVMe, all handshake protocol validation, unit level validation using assertions, covers and forming fpv TB.Functional LINT: Created assertions to catch Functional Lint issues in design that are not caught using any existing Structural Lint Tools in the market.SEC: Jasper Sec tool to perfrom clock gating verification.Coverage: Jasper Coverage app for sign off and determining gaps in Fpv TB.Constantly recognized by the managers and the team for work outcomes and sound cultural values. Objectives: Putting full bandwidth to validate complex digital circuits using Formal methods. Bug clean up and design quality enhancement discussion with stake holders.Major Skills and Tools: JasperGold, Verdi, Front end validation of digital circuits, SystemVerilog, VHDL, Linux/Unix, MS Office Suit, LATEX, Editors- gvim, xemacs.
Experience
Senior Lead Engineer
Jul 2024 — Present · Bengaluru, IN
Senior Lead Formal Verification Engineer.Oversees formal flows such as Low power formal verification, fpv, Seq/sec, coverage etc.Drives the tool evaluation and scope determination for upcoming Formal GenAI technologies, such as GenFv (Synopsys).Support all teams across the Qualcomm groups for formal deployment.
Education
University Institute of Technology, RGPV
Bachelor of Engineering - BE, Electronics and Communications Engineering
2012 — 2016
Indian Institute of Technology, Kanpur
Master of Technology, Signal Processing & Communication Networks
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.