Lead ASIC Verification Engineer – RTL, UVM & FPGA

Anysilicon; Sunnyvale, Northern (CA, KY); Hybrid; USD 160,000 - 220,000; Full time

Job summary

Amazon Kuiper Manufacturing Enterprises LLC in Sunnyvale, CA seeks a Lead ASIC Design Verification Engineer to advance digital chip SOC verification for satellite communications.

You will implement verification environments, write tests in C/C++, run regressions, and collaborate across design and systems teams using UVM, SystemC, and DPI-C. The role emphasizes formal verification and automation of regressions for a high-reliability space-grade project.

Qualifications

• 7+ years in verification, preferably in communication systems.
• 5+ years in UVM, C/C++, and scripting.
• Bachelor's degree in Electrical or Communications Engineering or a related field.
• Master's degree or PhD preferred (optional).

Responsibilities

• Implement a verification environment for testing RTL against reference Matlab/C models.
• Develop detailed test plans, write tests, run regressions, and report progress.
• Write tests in C/C++ for execution on embedded CPUs.
• Develop tests for FPGA and emulation platforms.
• Conduct formal verification of complex blocks for functional correctness.
• Collaborate with design and communication systems teams for system-level verification using UVM, SystemC, and DPI-C.
• Create a highly automated environment for running regressions and maintaining database organization.

Skills

UVM

C/C++

SystemC

DPI-C

Matlab familiarity

Formal verification

Education

Bachelor's degree in Electrical/Communications Engineering

Master's or PhD preferred

Tools

UVM

SystemC

DPI-C

Matlab

Job description

Amazon Kuiper Manufacturing Enterprises LLC in Sunnyvale, CA seeks a Lead ASIC Design Verification Engineer to advance digital chip SOC verification for satellite communications.

You will implement verification environments, write tests in C/C++, run regressions, and collaborate across design and systems teams using UVM, SystemC, and DPI-C. The role emphasizes formal verification and automation of regressions for a high-reliability space-grade project.