Senior Verification Engineer, Digital Signal Processing

Google•Sunnyvale, CA

About The Position

In this role, you’ll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google's most demanding AI/ML applications. You’ll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's TPU. You'll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems. As a Senior DSP Verification Engineer, you are the gatekeeper of functional integrity. You will build the environments that prove our high-speed DSP blocks (Filters, AGCs, and Equalizers) are bit-exact to our architectural models, ensuring no "mathematical bugs" reach the tape-out stage.The AI and Infrastructure team is redefining what’s possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide. We're behind Google's groundbreaking innovations, empowering the development of AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable developers to build the future. From software to hardware our teams are shaping the future of world-leading hyperscale computing, with key teams working on the development of our TPUs, Vertex AI for Google Cloud, Google Global Networking, Data Center operations, systems research, and much more.

Requirements

Bachelor's degree in Electrical Engineering, Computer Engineering, or a related technical field.
8 years of experience in Design Verification (DV) with a focus on DSP (Digital Signal Processing), Communication Systems, or Arithmetic Logic blocks.
Experience with scripting in Python, Perl, or Makefile for automation.

Nice To Haves

Master's or PhD degree in Electrical Engineering, Computer Engineering, or a related technical field.
Experience with Bit-Exact Verification comparing RTL against MATLAB or C++ golden models.
Experience with Assertion-Based Verification (SVA) and functional coverage closure.
Familiarity with high-speed protocols such as Ethernet (802.3) or PCIe.
Knowledge of Fixed-Point Arithmetic and quantization error analysis.

Responsibilities

Design, build, and maintain constrained-random verification environments using SystemVerilog and UVM for individual DSP blocks (e.g., AGC, FFE, DFE, and Interpolators).
Develop "Golden Model" checkers to compare RTL output against architectural models (MATLAB/C++/SystemC) to ensure accuracy.
Define and implement functional coverage plans, using covergroups and assertions (SVA) to ensure all architectural corner cases and fixed-point overflows are exercised.
Create complex sequences and virtual sequencers to stress-test DSP adaptation loops under various noise and jitter profiles.
Lead the debug of RTL failures, working closely with DSP designers to resolve discrepancies between the hardware implementation and the algorithmic specification.