Design Verification Engineer - Hardware for High-Perf Silicon

River AI; Palo Alto (CA); Presencial; USD 200.000 - 420.000; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

Health benefits? (see listing)

Descripción de la vacante

River AI is seeking exception design verification engineers to ensure our high-performance custom silicon is functionally correct. Based in Austin, TX or Palo Alto, CA, you will define test benches and verification environments across simulation, formal, and emulation, collaborating with RTL, performance modeling, and compiler teams.

You will develop scalable UVM test benches, constrained-random sequences, and coverage models, while debugging issues to accelerate silicon bring-up and

Formación

• Bachelor’s degree in Electrical Engineering or Computer Engineering or Computer Science, and 5+ years industry experience.
• Deep, hands-on experience building UVM-based environments (Agents, Scoreboards, Drivers, Monitors, and Predictors).
• Expert command of SystemVerilog for verification, including OOP principles, randomization, and functional coverage.
• Strong understanding of computer architecture, including pipelines, cache coherency protocols, memory consistency models, and high-speed interconnects (e.g., AXI, CHI).
• Proven track record of verifying high-performance silicon (CPU, GPU, AI accelerator, or complex SoC).
• A highly collaborative mindset and a bias for action to push boundaries and co-design effectively with other engineers.

Responsabilidades

• Verification Strategy & Planning: Define comprehensive verification plans by extracting features from architectural and micro-architectural specifications for complex blocks.
• UVM Environment Development: Architect and implement scalable, reusable, and robust test benches using SystemVerilog and UVM (Universal Verification Methodology).
• Constrained-Random Testing: Develop complex sequences and test cases to achieve high functional coverage, ensuring the design handles architectural corner cases and error conditions.
• Coverage-Driven Verification: Define and implement functional coverage models and perform detailed code coverage analysis to quantify verification progress.
• Formal Verification: Leverage formal methods (SVA, Property Checking) where applicable to exhaustively prove the correctness of critical logic.
• Emulation: Use emulation and prototyping platforms like ZeBu/HAPS and Palladium/Protium to perform scaled testing.
• Debug & Analysis: Debug failures using waveform viewers and work closely with RTL designers to resolve functional bugs and architectural non-compliance.
• Automation & Scripting: Build and maintain regression flows and productivity tools using Python, Perl, Bash, or TCL to streamline the verification cycle.

Conocimientos

UVM-based environments

SystemVerilog

Computer architecture

Silicon verification

Team collaboration

Educación

Bachelor's degree in Electrical/Computer Engineering or CS

Herramientas

Jasper Formal

VC Formal

ZeBu

Palladium

Protium

Python

Perl

Bash

TCL

Descripción del empleo

River AI is seeking exception design verification engineers to ensure our high-performance custom silicon is functionally correct. Based in Austin, TX or Palo Alto, CA, you will define test benches and verification environments across simulation, formal, and emulation, collaborating with RTL, performance modeling, and compiler teams.

You will develop scalable UVM test benches, constrained-random sequences, and coverage models, while debugging issues to accelerate silicon bring-up and